1411 search results - page 60 / 283 » Interactive Coding for Interactive Proofs |
HCI
2007
15 years 1 months 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...
95
Voted
WSC
1997
15 years 1 months 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...
95
Voted
AAAI
1996
15 years 1 months 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...
146
Voted
GECCO
2008
Springer
15 years 1 months 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...
150
Voted
IDA
2010
Springer
14 years 11 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...