5550 search results - page 605 / 1110 » Different Approaches to Proof Systems |
154
Voted
FCCM
2006
IEEE
16 years 1 months ago
2006
IEEE
We propose a novel defect-tolerant design methodology using Bloom filters for defect mapping for nanoscale computing devices. It is a general approach that can be used for any pe...
193
click to vote
DAGM
2004
Springer
16 years 19 days ago
2004
Springer
The goal of our work is object categorization in real-world scenes. That is, given a novel image we want to recognize and localize unseen-before objects based on their similarity t...
200
click to vote
ICCV
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...
217
click to vote
EWRL
2008
15 years 9 months ago
2008
Policy Learning approaches are among the best suited methods for high-dimensional, continuous control systems such as anthropomorphic robot arms and humanoid robots. In this paper,...
225
Voted
SBBD
2008
15 years 8 months ago
2008
Abstract Data mining algorithms have been recently applied to software repositories to help on the maintenance of evolving software systems. In the past, information about what cla...