4245 search results - page 549 / 849 » Input Modeling |
189
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
170
Voted
ISLPED
1995
ACM
15 years 10 months ago
1995
ACM
A dual-rail CMOS adiabatic switching circuit approach is described which follows the electroid model of Hall. These circuits can operate in either the retractile cascade or the re...
162
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
132
click to vote
SIGGRAPH
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes a method for synthesizing images that match the texture appearanceof a given digitized sample. This synthesisis completely automatic and requires only the “...
168
click to vote
AAAI
2008
15 years 9 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...