2286 search results - page 336 / 458 » Algorithms for Categorical Equivalence |
178
click to vote
RT
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we develop a technique for measuring the perceptual equivalence of a graphical scene to a real scene. Ability to compare images is valuable in computer graphics for a...
164
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...
171
click to vote
ICALP
2010
Springer
15 years 10 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
188
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an approach for constructing improved visual representations of high dimensional objective spaces using virtual reality. These spaces arise from the solution of...
196
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...