2780 search results - page 48 / 556 » Generalizing by Removing Detail |
122
click to vote
EVOW
2009
Springer
15 years 2 months ago
2009
Springer
Divide-and-Evolve (DAE) is the first evolutionary planner that has entered the biennial International Planning Competition (IPC). Though the overall results were disappointing, a d...
CGI
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a new technique for CSG operations with voxelized geometric objects, which are represented by truncated discrete distance fields supplemented by additional information ...
159
click to vote
PR
2007
15 years 3 months ago
2007
In this paper, a novel method for accurate subject tracking, by selecting only tracked subject boundary edges in a video stream with a changing background and moving camera, is pr...
164
click to vote
GEOINFORMATICA
1998
15 years 3 months ago
1998
ally related entity types, or classes, into higher level, more abstract types, as part of a hierarchical classi®cation scheme. graphy, generalization retains the notion of abstrac...
141
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...