4099 search results - page 485 / 820 » A Framework for Interactive Proof |
155
click to vote
AO
2005
15 years 6 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
193
click to vote
RAS
2007
15 years 6 months ago
2007
We coordinate in discrete time the interaction of two heterogeneous groups of mobile agents: a group of ground vehicles (ugvs) and a group of aerial vehicles (uavs). The ground ag...
199
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
We investigate incremental word learning with few training examples in a Hidden Markov Model (HMM) framework suitable for an interactive learning scenario with little prior knowle...
163
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
We present a tool for interactive exploration of graphs that integrates advanced graph mining methods in an interactive visualization framework. The tool enables efficient explorat...
199
Voted
HCI
2009
15 years 4 months ago
2009
Recent work demonstrates the potential for extracting patterns from users' behavior as detected by sensors. Since there is currently no generalized framework for reasoning abo...