Sciweavers

267 search results - page 30 / 54
» Constructing Test Suites for Interaction Testing
Sort
View
HRI
2006
ACM
14 years 1 months ago
Effects of adaptive robot dialogue on information exchange and social relations
Human-robot interaction could be improved by designing robots that engage in adaptive dialogue with users. An adaptive robot could estimate the information needs of individuals an...
Cristen Torrey, Aaron Powers, Matthew Marge, Susan...
CATA
2001
13 years 9 months ago
A graphical environment for transcription of american sign language
A system to interactively create and modify/edit American Sign Language signs is described. The system is grounded on the use of three-dimensional computer graphics to construct t...
Jorge Toro, Jacob D. Furst, Karen Alkoby, Roymieco...
CGI
2001
IEEE
13 years 11 months ago
Towards Real Time Virtual Human Life Simulations
This paper describes an approach to construct interactive virtual environments, which are suitable for the development of artificial virtual human life simulations. Our main goal ...
Etienne de Sevin, Marcelo Kallmann, Daniel Thalman...
VSTTE
2010
Springer
13 years 5 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
ECCB
2003
IEEE
14 years 29 days ago
Gene networks inference using dynamic Bayesian networks
This article deals with the identification of gene regulatory networks from experimental data using a statistical machine learning approach. A stochastic model of gene interactio...
Bruno-Edouard Perrin, Liva Ralaivola, Aurél...