3256 search results - page 575 / 652 » Applications of Formal Methods to System Design and Verifica... |
ACMACE
2006
ACM
15 years 3 months ago
2006
ACM
Research in Interactive Narrative has developed new approaches to the behaviour of virtual actors, but has dedicated little attention to the physical behaviour of the environment ...
CSL
2004
Springer
14 years 9 months ago
2004
Springer
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
ISM
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper presents a shape-based retrieval system and its application to infrared satellite images. A complete system is presented, from region extraction of a full hemisphere...
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
124
click to vote
CG
2005
Springer
14 years 9 months ago
2005
Springer
OpenGL is the industry-leading, cross-platform graphics application programming interface (API), and the only major API with support for virtually all operating systems. Many lang...