3113 search results - page 75 / 623 » Efficiently Generating Efficient Generating Extensions in Pr... |
146
click to vote
AAAI
2006
15 years 4 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
135
click to vote
EMO
2006
Springer
15 years 7 months ago
2006
Springer
The multi-objective covariance matrix adaptation evolution strategy (MO-CMA-ES) combines a mutation operator that adapts its search distribution to the underlying optimization prob...
158
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
141
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
We present an efficient method for learning part-based object class models from unsegmented images represented as sets of salient features. A model includes parts' appearance...
113
click to vote
ATS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a new pseudorandom testing algorithm for the Built-In Self-Test (BIST) of DRAM. In this algorithm, test patterns are complemented to generate state-transitions that are...