2364 search results - page 137 / 473 » An Engine for Computing Well-Founded Models |
148
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
120
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
146
click to vote
DEM
2001
Springer
15 years 9 months ago
2001
Springer
With the advances in rendering hardware, it is possible to render very complex scenes in real-time. In general, computers do not have enough memory to store all the necessary infor...
138
Voted
GRAPHITE
2004
ACM
15 years 9 months ago
2004
ACM
This article introduces a new class of constraints for spline variational modeling, which allows more flexible user specification, as a constrained point can ”slide” along a...
159
click to vote
FOSSACS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...