2470 search results - page 114 / 494 » Liveness-Preserving Simulation Relations |
111
click to vote
GAMEON
2009
14 years 10 months ago
2009
This article, assuming that player motivations are the outcome of continuous player-environment interactions, applies the needs framework of Murray (1938) to a computer game and i...
68
Voted
DATE
1998
IEEE
15 years 5 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
91
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
-- In this tutorial we discuss concepts and techniques for the accurate and efficient modeling and extraction of interconnect parasitics in VLSI designs. Due toincreasing operating...
82
Voted
RTSS
1996
IEEE
15 years 4 months ago
1996
IEEE
Admission control and overload management techniques are central to the design and implementation of RealTime Database Systems. In this paper, we motivate the need for these mecha...
103
Voted
COLT
1994
Springer
15 years 4 months ago
1994
Springer
Realistic domains for learning possess regularities that make it possible to generalize experience across related states. This paper explores an environment-modeling framework tha...