EasyCrypt is a toolset for reasoning about relational properties of probabilistic computations with adversarial code. Its main application is the construction and verification of code-based, ...
Abstract: The ability to understand spatialtemporal patterns for crowds of people is crucial for achieving long-term autonomy of mobile robots deployed in human environments. The traditional ...
Uncertainties are widespread in the optimization of process systems, such as uncertainties in process technologies, prices, and customer demands. In this paper, we review the basic concepts and recent ...
Computer-aided diagnosis (CAD) has been a major field of research for the past few decades. CAD uses machine learning methods to analyze imaging and/or nonimaging patient data and makes assessment of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results