3192 search results - page 522 / 639 » A Requirements-Driven Development Methodology |
AFRIGRAPH
2001
ACM
14 years 1 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
AMFG
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper addresses the 3D tracking of pose and animation of the human face in monocular image sequences using Active Appearance Models. The classical appearancebased tracking su...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
FPGA
2000
ACM
14 years 1 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
FROCOS
2000
Springer
14 years 1 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...