Sciweavers

222 search results - page 13 / 45
» Search Space Reduction and Russian Doll Search
Sort
View
CVPR
2011
IEEE
13 years 3 months ago
Inference for Order Reduction in Markov Random Fields
This paper presents an algorithm for order reduction of factors in High-Order Markov Random Fields (HOMRFs). Standard techniques for transforming arbitrary high-order factors in...
Andrew C. Gallagher, Dhruv Batra, Devi Parikh
EUROSYS
2006
ACM
14 years 4 months ago
Ferret: a toolkit for content-based similarity search of feature-rich data
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
Qin Lv, William Josephson, Zhe Wang, Moses Charika...
ESA
2009
Springer
151views Algorithms» more  ESA 2009»
14 years 2 months ago
Experimental Study of FPT Algorithms for the Directed Feedback Vertex Set Problem
Abstract. We evaluate the performance of FPT algorithms for the directed feedback vertex set problem (DFVS). We propose several new data reduction rules for DFVS. which can signi...
Rudolf Fleischer, Xi Wu, Liwei Yuan
ISPAN
2005
IEEE
14 years 1 months ago
External Double Hashing with Choice
A novel extension to external double hashing providing significant reduction to both successful and unsuccessful search lengths is presented. The experimental and analytical resu...
Walter A. Burkhard
POPL
2005
ACM
14 years 7 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid