4099 search results - page 365 / 820 » A Framework for Interactive Proof |
201
click to vote
UIC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
194
click to vote
IV
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents the first prototype of an interactive visualisation framework specifically designed for presenting geographical information in both indoor and outdoor environm...
164
click to vote
ECAI
2004
Springer
16 years 4 days ago
2004
Springer
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
181
click to vote
NIME
2004
Springer
16 years 3 days ago
2004
Springer
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...
187
click to vote
AMET
1998
Springer
15 years 11 months ago
1998
Springer
We present a simple and uniform communication framework for an agent-based market infrastructure, the goal of which is to enable automation of consumer goods markets distributed ov...