1992 search results - page 350 / 399 » Model Based Testing with Labelled Transition Systems |
119
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In this paper we present an efficient high resolution Image Based Visual Hull (IBVH) algorithm that entirely runs in real-time on a single consumer graphics card. The target appli...
115
click to vote
CHI
2008
ACM
16 years 2 months ago
2008
ACM
We designed an activity-based prototyping process realized in the ActivityDesigner system that combines the theoretical framework of Activity-Centered Design with traditional iter...
117
click to vote
DAC
2007
ACM
15 years 6 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
118
click to vote
ICMI
2009
Springer
15 years 9 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
133
click to vote
ISMAR
2005
IEEE
15 years 8 months ago
2005
IEEE
Computer Aided Design applications have become designers’ inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials ...