4211 search results - page 447 / 843 » A formal approach to MASQ |
144
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— We describe a novel intelligent execution monitoring approach for mobile robots acting in indoor environments such as offices and houses. Traditionally, monitoring exe...
174
click to vote
ICSNC
2007
IEEE
16 years 1 months ago
2007
IEEE
This article presents a new trend in computerized medical image analysis of breast cancer features, existing in mammograms (grey scale 2D images), based on recent approaches of th...
151
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
The governance of open multi-agent systems is particular important since those systems are composed by heterogeneous, autonomous and independently designed agents. Such governance ...
170
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
223
click to vote
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...