4378 search results - page 224 / 876 » On the Complexity of Ordered Colourings |
173
click to vote
VW
2000
Springer
15 years 10 months ago
2000
Springer
Architecture experience of order and hierarchies in spatial event plays an important role in virtual environments notion of `presence'. Architecture monument urbane definition...
156
click to vote
TAPSOFT
1991
Springer
15 years 10 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
122
click to vote
DCC
2010
IEEE
15 years 10 months ago
2010
IEEE
We explore several local and global strategies for adaptive scan ordering of transform coefficients in JPEG XR/HD Photo. This codec applies a global adaptive scan-order heuristic ...
166
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
164
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...