1411 search results - page 60 / 283 » Interactive Coding for Interactive Proofs |
HCI
2007
14 years 14 days ago
2007
In this paper, we investigate how to use future interaction technologies to enhance learning technologies. We examine in detail how tracking the mouse pointer and observing the use...
WSC
1997
14 years 10 days ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
AAAI
1996
14 years 10 days ago
1996
Almost any information you might want is becoming available on-line. The problem is how to find what you need. One strategy to improve access to existing information sources, is i...
GECCO
2008
Springer
14 years 3 days ago
2008
Springer
The goal of this project is to develop an agent capable of learning and behaving autonomously and making decisions quickly in a dynamic environment. The agent’s environment is a...
IDA
2010
Springer
13 years 9 months ago
2010
Springer
Data-driven knowledge discovery is becoming a new trend in various scientific fields. In light of this, the goal of the present paper is to introduce a novel framework to study one...