1133 search results - page 54 / 227 » Local Logics for Traces |
109
Voted
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper studies the effects of the geometry of a mobile robot formation on the accuracy of the robots’ localization. The general case of heterogeneous (in terms of sensor ...
78
Voted
ACNS
2006
Springer
15 years 6 months ago
2006
Springer
Network attacks often employ scanning to locate vulnerable hosts and services. Fast and accurate detection of local scanners is key to containing an epidemic in its early stage. Ex...
SMI
2005
IEEE
15 years 6 months ago
2005
IEEE
— The ability to identify similarities between shapes is important for applications such as medical diagnosis, object registration and alignment, and shape retrieval. In this pap...
101
Voted
EOR
2008
15 years 24 days ago
2008
Constrained Optimization Problems (COP) often take place in many practical applications such as kinematics, chemical process optimization, power systems and so on. These problems ...
133
Voted
TCS
2010
14 years 11 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...