1445 search results - page 187 / 289 » Properties of state spaces and their applications |
173
click to vote
CLEF
2010
Springer
15 years 6 months ago
2010
Springer
Image classification or annotation is proved difficult for the computer algorithms. The Naive-Bayes Nearest Neighbor method is proposed to tackle the problem, and achieved the stat...
183
click to vote
PAMI
2006
15 years 6 months ago
2006
Estimating human body poses in static images is important for many image understanding applications including semantic content extraction and image database query and retrieval. Th...
226
click to vote
FOGA
2011
14 years 9 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
174
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
155
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...