3742 search results - page 274 / 749 » On the Use of Formal Techniques for Validation |
182
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We present a study on the use of cooperative robots to execute a caging mission on the water’s surface. In particular, we consider the problem of using two robotic boats (und...
189
click to vote
STTT
2011
15 years 1 months ago
2011
Web-based applications are one of the most widely used types of software, and have become the backbone of many e-commerce and communications businesses. These applications are ofte...
170
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper addresses the problem of probabilistic recognition of activities from local spatio-temporal appearance. Joint statistics of space-time filters are employed to define hi...
166
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
Matching two images with similar contents is one of the most fundamental tasks in image processing. Due to its importance, in recent years, many novel techniques have been propose...
168
click to vote
BSN
2009
IEEE
16 years 1 months ago
2009
IEEE
— This article describes an approach to detecting mental stress using unobtrusive wearable sensors. The approach relies on estimating the state of the autonomic nervous system fr...