523 search results - page 91 / 105 » Online Testing of Real-time Systems Using Uppaal |
131
click to vote
CRV
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
106
click to vote
ICRA
1999
IEEE
15 years 6 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
112
click to vote
CVPR
1997
IEEE
15 years 6 months ago
1997
IEEE
We describe a new multi-phase, color-based image retrieval system, FOCUS Fast Object Color-based qUery System , with an online user interface which is capable of identifying mult...
100
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...
119
click to vote
ISI
2008
Springer
15 years 1 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...