Sciweavers

1845 search results - page 255 / 369
» Machine-Learning Applications of Algorithmic Randomness
Sort
View
ICIP
2006
IEEE
14 years 10 months ago
Foveated Analysis and Selection of Visual Fixations in Natural Scenes
The ability to automatically detect visually interesting regions in images has practical applications in the design of active machine vision systems. Analysis of the statistics of...
Umesh Rajashekar, Ian van der Linde, Alan C. Bovik...
ECCV
2010
Springer
14 years 1 months ago
Graph Cut based Inference with Co-occurrence Statistics
Abstract. Markov and Conditional random fields (CRFs) used in computer vision typically model only local interactions between variables, as this is computationally tractable. In t...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
14 years 18 days ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
AAAI
2006
13 years 9 months ago
The Impact of Balancing on Problem Hardness in a Highly Structured Domain
Random problem distributions have played a key role in the study and design of algorithms for constraint satisfaction and Boolean satisfiability, as well as in our understanding o...
Carlos Ansótegui, Ramón Béjar...
ICAI
2003
13 years 9 months ago
Threshold Behavior in a Boolean Network Model for SAT
Boolean satisfiability (SAT) is the canonical NP-complete problem that plays an important role in AI and has many practical applications in Computer Science in general. Boolean n...
Alejandro Bugacov, Aram Galstyan, Kristina Lerman