22909 search results - page 259 / 4582 » A System of Interaction and Structure |
193
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Creating coordinated multiagent policies in environments with uncertainty is a challenging problem, which can be greatly simplified if the coordination needs are known to be limi...
221
click to vote
CADE
1990
Springer
15 years 11 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
213
click to vote
IWSOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
186
click to vote
VRST
2005
ACM
16 years 23 days ago
2005
ACM
Much work has been done on the development of laser pointers as interaction devices. Typically a camera captures images of a display surface and extracts a laser pointer dot locat...
170
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes an effort to provide automated support for the interactive inquiry and explanation process that is at the heart of software understanding. A hypermedia tool c...