26472 search results - page 378 / 5295 » Interactive |
169
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper describes the taxonomy for designing interactive groupware systems. The taxonomy defines the objectives, methods and principles for classifying models and facilitates ...
133
Voted
ENTCS
2007
15 years 6 months ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
176
click to vote
JAR
2007
15 years 6 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
201
click to vote
AAI
2004
15 years 6 months ago
2004
In open environments in which autonomous agents can break contracts, computational models of trust have an important role to play in determining who to interact with and how inter...
140
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, the development of a framework based on the Realtime Database (RTDB) for processing multimodal data is presented. This framework allows readily integration of input...