1368 search results - page 183 / 274 » Avoiding Simplicity Is Complex |
115
Voted
FOCS
2005
IEEE
15 years 8 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
129
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
The goal of this research is to find a mechanism to guarantee that a file stored in a conventional file system, on disk, has not been modified. Our proposal for achieving that goa...
112
Voted
ICCV
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. This paper presents a method to segment the hand over complex backgrounds, such as the face. The similar colors and texture of the hand and face make the problem particul...
132
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
122
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— Vision is one of the most powerful sensory modalities in robotics, allowing operation in dynamic environments. One of our long-term research interests is mobile manipulation, w...