834 search results - page 122 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
104
click to vote
3DPVT
2004
IEEE
15 years 3 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
WSC
2004
15 years 1 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
114
click to vote
DAGSTUHL
1997
15 years 1 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
105
click to vote
AAAI
1996
15 years 1 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
118
click to vote
COMPGEOM
2003
ACM
15 years 5 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...