613 search results - page 46 / 123 » Executable Visual Contracts |
120
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes the implementation of a featurebased visual tracking algorithm on a SIMD MasPar MP-1 and the mixed-mode PASM prototype. The sequential algorithm is introduced...
121
click to vote
DAGSTUHL
2001
15 years 3 months ago
2001
To understand the dynamics of a running program, it is often useful to examine its state at specific moments during its execution. We present memory graphs as a means to capture an...
104
click to vote
CGF
2010
15 years 2 months ago
2010
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
125
click to vote
AROBOTS
1998
15 years 1 months ago
1998
This paper discusses the emergence of sensorimotor coordination for ESCHeR, a 4DOF redundant foveated robot-head, by interaction with its environment. A feedback-error-learning(FEL...
EDBT
2006
ACM
16 years 2 months ago
2006
ACM
We present the architecture of Natix V2. Among the features of this native XML Data Store are an optimizing XPath query compiler and a powerful API. In our demonstration we explain...