890 search results - page 96 / 178 » An Experimental Comparison of Stereo Algorithms |
154
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
126
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Many coordination algorithms claim to be general, implying that they can be used to coordinate agents in a variety of domains. However, little work has been done to quantitatively...
159
click to vote
COMPGEOM
2000
ACM
15 years 10 months ago
2000
ACM
The purpose of this paper is to present a new method to design exact geometric predicates in algorithms dealing with curved objects such as circular arcs. We focus on the comparis...
125
click to vote
ECIR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we describe a new approach for retrieval in texts with non-standard spelling, which is important for historic texts in English or German. For this purpose, we presen...
164
click to vote
ESANN
2006
15 years 7 months ago
2006
Abstract. Feature Selection techniques usually follow some search strategy to select a suitable subset from a set of features. Most neural network growing algorithms perform a sear...