106 search results - page 10 / 22 » On Verifying Complex Properties using Symbolic Shape Analysi... |
ATAL
2010
Springer
14 years 12 months ago
2010
Springer
Experimental analysis of networks of cooperative learning agents (to verify certain properties such as the system's stability) has been commonly used due to the complexity of...
136
click to vote
MICCAI
2001
Springer
15 years 3 months ago
2001
Springer
Standard practice in quantitative structural neuroimaging is a segmentation into brain tissue, subcortical structures, fluid space and lesions followed by volume calculations of gr...
ICCV
1995
IEEE
15 years 2 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— A key challenge for autonomous navigation in cluttered outdoor environments is the reliable discrimination between obstacles that must be avoided at all costs, and lesser obsta...
104
Voted
ICFEM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...