3115 search results - page 307 / 623 » Interactive Speech Understanding |
185
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
136
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Software systems of today are characterized by increasing size, complexity, distribution, heterogeneity, and lifespan. Understanding and supporting the interaction between softwar...
180
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a general method for integrating visual components into a multi-modal cognitive system. The integration is very generic and can work with an arbitrary set of modalit...
168
click to vote
VL
2007
IEEE
16 years 26 days ago
2007
IEEE
We are currently investigating what types of end user personas (or homogeneous groups in the population) exist and what works for or hinders each in end-user debugging. These pers...
162
click to vote
HICSS
2005
IEEE
16 years 6 days ago
2005
IEEE
The public nature of discussion in open source projects provides a valuable resource for understanding the mechanisms of open source software development. In this paper we explore...