Sciweavers

212 search results - page 22 / 43
» Electoral search using the VerkiezingsKijker: an experience ...
Sort
View
CVPR
1996
IEEE
13 years 12 months ago
Occlusion Detectable Stereo -- Occlusion Patterns in Camera Matrix
In stereo algorithms with more than two cameras, the improvement of accuracy is often reported since they are robust against noise. However, another important aspect of the polyno...
Yuichi Nakamura, Tomohiko Matsuura, Kiyohide Satoh...
CMMR
2003
Springer
1215views Music» more  CMMR 2003»
14 years 1 months ago
FMF(Fast Melody Finder): A Web-Based Music Retrieval System
Abstract. As the use of digital music is getting popular, there is an increasing demand for efficient retrieval of music. To do that, an effective music indexing and natural way o...
Seung-Min Rho, Een-Jun Hwang
LWA
2004
13 years 9 months ago
Modeling Rule Precision
This paper reports first results of an empirical study of the precision of classification rules on an independent test set. We generated a large number of rules using a general co...
Johannes Fürnkranz
TAP
2008
Springer
153views Hardware» more  TAP 2008»
13 years 7 months ago
Bounded Relational Analysis of Free Data Types
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif
ICDE
2010
IEEE
247views Database» more  ICDE 2010»
14 years 7 months ago
Efficient Verification of Shortest Path Search via Authenticated Hints
Shortest path search in transportation networks is unarguably one of the most important online search services nowadays (e.g., Google Maps, MapQuest, etc), with applications spanni...
Man Lung Yiu, Yimin Lin, Kyriakos Mouratidis