1987 search results - page 214 / 398 » Directional filtering transform |
114
click to vote
INFOVIS
1997
IEEE
15 years 8 months ago
1997
IEEE
Thematic variables are commonly used to encode additional information such as population density within the spatial layout of a map. Such «themes» are typically encoded using co...
123
click to vote
CA
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper an operational model for the automatic generation of lifelike gestures of an anthropomorphic virtual agent is described. The biologically motivated approach to contr...
149
click to vote
FASE
2000
Springer
15 years 7 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
153
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
132
click to vote
IJISTA
2008
15 years 3 months ago
2008
: We present techniques for computing 3D velocity fields from range data acquired with cameras working on the principles of modulation based Time-Of-Flight measurement. We derive a...