2783 search results - page 293 / 557 » The Nature Of Near-Synonymic Relations |
124
click to vote
APGV
2010
ACM
15 years 5 months ago
2010
ACM
Computer graphics as well as related disciplines often benefit from understanding the human visual system and its input. In this paper, we study statistical regularities of both ...
106
click to vote
FMCAD
2007
Springer
15 years 5 months ago
2007
Springer
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
100
click to vote
ACRI
2006
Springer
15 years 5 months ago
2006
Springer
This paper describes a model of three-dimensional cellular automata allowing to simulate different phenomena in the fields of computer graphics or image processing. Our method allo...
106
click to vote
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic spec...
123
click to vote
ASWEC
2004
IEEE
15 years 5 months ago
2004
IEEE
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...