4616 search results - page 465 / 924 » Extreme Components Analysis |
196
click to vote
TACAS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
184
click to vote
IROS
2006
IEEE
16 years 27 days ago
2006
IEEE
This paper presents design and manufacturing procedure of a tele-operative rescue robot. First, the general task to be performed by such a robot is defined, and variant kinematic m...
171
click to vote
IPCCC
2005
IEEE
16 years 14 days ago
2005
IEEE
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
198
Voted
CBSE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Predicting the performance of component-based applications is difficult due to the complexity of the underlying component technology. This problem is exacerbated when a m...
171
Voted
CIVR
2004
Springer
16 years 8 days ago
2004
Springer
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...