914 search results - page 123 / 183 » Design spaces: The explicit representation of spaces of alte... |
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Simple binary patterns have been successfully used for extracting feature representations for visual object classification. In this paper, we present a method to learn a set of d...
WEBDB
2007
Springer
15 years 3 months ago
2007
Springer
Publish/subscribe (or pub/sub) systems perform asynchronous message transmission, from publishers to subscribers, without any of the parties having knowledge of the other. The pub...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— A robot exploring an environment can estimate its own motion and the relative positions of features in the environment. Simultaneous Localization and Mapping (SLAM) algorithms ...
IV
2005
IEEE
15 years 3 months ago
2005
IEEE
While searching the Web, the user is often confronted by a great number of results, generally sorted by their rank. These results are then displayed as a succession of ordered lis...
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...