142 search results - page 21 / 29 » Automatic Visualization of Relational Logic Models |
CGF
2008
13 years 7 months ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...
FMCAD
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
MM
2006
ACM
14 years 1 months ago
2006
ACM
We present a novel, innovative user interface to music repositories. Given an arbitrary collection of digital music files, our system creates a virtual landscape which allows the...
INTERACT
2007
13 years 9 months ago
2007
This paper describes a novel browsing paradigm, taking benefit of the various types of links (e.g. thematic, temporal, references, etc.) that can be automatically built between mul...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
An intelligent robot is required for natural interaction with humans. Visual interpretation of gestures can be useful in accomplishing natural Human-Robot Interaction (HRI). Previ...