4098 search results - page 279 / 820 » Sound mobility models |
185
click to vote
ICRA
1993
IEEE
15 years 10 months ago
1993
IEEE
A survey of blackboard robotics applications shows the improvements of blackboard models used in telerobotics and autonomous robots from the use of sequential blackboard in the ro...
150
click to vote
CALCO
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
166
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
The goal of this communication is to present a weighted likelihood discriminant for minimum error shape classification. Different from traditional Maximum Likelihood (ML) methods...
172
click to vote
ICFEM
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
151
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...