4460 search results - page 184 / 892 » Formal methods for interactive systems |
143
click to vote
CHI
2000
ACM
15 years 8 months ago
2000
ACM
We present lessons learned from developing Alice, a 3D graphics programming environment designed for undergraduates with no 3D graphics or programming experience. Alice is a Windo...
116
click to vote
ATAL
2005
Springer
2005
Springer
The DEFACTO system for human omnipresence to coordinate agent teams: the future of disaster response
15 years 9 months ago
Enabling interactions of agent-teams and humans is a critical area of research, with encouraging progress in the past few years. However, previous work suffers from three key lim...
156
click to vote
CADE
2004
Springer
16 years 4 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...
146
click to vote
HCI
2011
14 years 7 months ago
2011
Using Web information in example-based dialogue systems is considered to be a good way to increase the topical relevance of system responses. However, Web content is mostly written...
131
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...