10159 search results - page 1808 / 2032 » System Design Validation Using Formal Models |
158
click to vote
WSCG
2003
15 years 8 months ago
2003
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...
229
click to vote
AAAI
1993
15 years 8 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
176
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Linear pushbroom cameras are widely used in passive remote sensing from space as they provide high resolution images. In earth observation applications, where several pushbroom se...
190
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
Although solid models play a central role in modern CAD systems, 2D CAD systems are still commonly used for designing products without complex curved faces. Therefore, an importan...
183
click to vote
ISCA
2005
IEEE
16 years 6 days ago
2005
IEEE
Instruction set customization is an effective way to improve processor performance. Critical portions of application dataflow graphs are collapsed for accelerated execution on s...