3359 search results - page 322 / 672 » A Simplified Idea Algorithm |
126
click to vote
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
116
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
In the model-based policy search approach to reinforcement learning (RL), policies are found using a model (or "simulator") of the Markov decision process. However, for ...
202
click to vote
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Given a set of multidimensional data points, skyline query retrieves a set of data points that are not dominated by any other points. This query is useful for multi-preference ana...
110
click to vote
EDBT
2004
ACM
16 years 3 months ago
2004
ACM
Efficient search for nearest neighbors (NN) is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper we propose a novel techniq...
146
click to vote
MICCAI
2009
Springer
16 years 14 days ago
2009
Springer
Generating realistic geometric models from 3D segmented images is an important task in many biomedical applications. Segmented 3D images impose particular challenges for meshing a...