10159 search results - page 1632 / 2032 » System Design Validation Using Formal Models |
209
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
The probabilistic formalism of quantum physics is said to provide a sound basis for building a principled information retrieval framework. Such a framework can be based on the not...
184
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
177
Voted
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
Abstract—This paper addresses the problem of execution time estimation for tasks in a software pipeline independent of the application structure or the underlying architecture. A...
223
click to vote
DAGM
2003
Springer
16 years 2 days ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
177
click to vote
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...