Sciweavers

866 search results - page 46 / 174
» Incremental Class Testing from a Class Test Order
Sort
View
WACV
2005
IEEE
15 years 8 months ago
A Hierarchical Approach to Sign Recognition
Sighted individuals draw a significant amount of information from signs but this information is denied to the visually impaired. VIDI is an evolving system for detecting and reco...
Piyanuch Silapachote, Allen R. Hanson, Richard S. ...
JAIR
2008
123views more  JAIR 2008»
15 years 3 months ago
The Computational Complexity of Dominance and Consistency in CP-Nets
We investigate the computational complexity of testing dominance and consistency in CP-nets. Up until now, the complexity of dominance has been determined only for restricted clas...
Judy Goldsmith, Jérôme Lang, Miroslaw...
TIT
2010
148views Education» more  TIT 2010»
14 years 10 months ago
Compressed genotyping
Abstract--Over the past three decades we have steadily increased our knowledge on the genetic basis of many severe disorders. Nevertheless, there are still great challenges in appl...
Yaniv Erlich, Assaf Gordon, Michael Brand, Gregory...
JMLR
2008
144views more  JMLR 2008»
15 years 3 months ago
Search for Additive Nonlinear Time Series Causal Models
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
Tianjiao Chu, Clark Glymour
AI
2005
Springer
15 years 3 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf