528 search results - page 93 / 106 » Construction of concrete verification models from C |
NC
2006
13 years 8 months ago
2006
Biochemical reactions taking place in living systems that map different inputs to specific outputs are intuitively recognized as performing information processing. Conventional wis...
STOC
2005
ACM
14 years 9 months ago
2005
ACM
This paper explores what kinds of information two parties must communicate in order to correct errors which occur in a shared secret string W. Any bits they communicate must leak ...
ICARCV
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, we propose solutions to real time simulation and interaction of deformable objects in virtual reality. Firstly, we present LEM - Long Element Method, a method creat...
DEBS
2009
ACM
13 years 12 months ago
2009
ACM
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
3DGIS
2006
Springer
14 years 2 months ago
2006
Springer
The modelling or reconstruction of buildings has two aspects – on the one hand we need a data structure and the associated geometric information, and on the other hand we need a...