1633 search results - page 297 / 327 » On the Verification of Temporal Properties |
108
click to vote
VCIP
2001
15 years 1 months ago
2001
Lossless video coding is useful in applications where no loss of information or visual quality is tolerable. In embedded to lossless coding an encoded video stream can be decoded ...
WSCG
2004
15 years 1 months ago
2004
Collision detection between moving objects is an open question which raises major problems concerning its algorithmic complexity. In this paper we present a polygon collision dete...
NIPS
2003
15 years 1 months ago
2003
Psychophysical studies suggest the existence of specialized detectors for component motion patterns (radial, circular, and spiral), that are consistent with the visual motion prop...
WISES
2003
15 years 1 months ago
2003
— More and more fieldbus applications require a communication with real-time properties, while still being economically feasible. The fieldbuses LIN and TTP/A take this require...
106
click to vote
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...