6799 search results - page 1026 / 1360 » The Tao of Modeling Spaces |
151
click to vote
GLVLSI
2005
IEEE
16 years 13 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
169
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Locating eyes in face images is an important step for automatic face analysis and recognition. In this paper, we present a novel approach for eye detection without finding the fa...
177
click to vote
WACV
2005
IEEE
16 years 11 days ago
2005
IEEE
A method for the simultaneous localization and recognition of dynamic hand gestures is proposed. At the core of this method is a dynamic space-time warping (DSTW) algorithm, that ...
155
click to vote
SIGIR
2005
ACM
16 years 11 days ago
2005
ACM
Previous research into the efficiency of text retrieval systems has dealt primarily with methods that consider inverted lists in sequence; these methods are known as term-at-a-tim...
159
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...