121 search results - page 12 / 25 » ideas 1997 |
IJCAI
1997
13 years 9 months ago
1997
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
IJCAI
1997
13 years 9 months ago
1997
We introduce our research approach to investigating real world intelligence by building 'Remote-Brained Robots'. The key idea is that of interfacing AI systems with real...
INTERACT
1997
13 years 9 months ago
1997
ABSTRACT This paper builds on an existing model of human-computer interaction that focuses on the information structures employed as distributed information resources by users in d...
SODA
1997
ACM
13 years 9 months ago
1997
ACM
We present theoretical algorithms for sorting and searching multikey data, and derive from them practical C implementations for applications in which keys are character strings. T...
WSC
1997
13 years 9 months ago
1997
Descriptive Sampling (DS), a Monte Carlo sampling technique based on a deterministic selection of the input values and their random permutation, represents a deep conceptual chang...