4211 search results - page 814 / 843 » Types as Abstract Interpretations |
ROBOCUP
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
RANDOM
1998
Springer
14 years 26 days ago
1998
Springer
Abstract. Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended ...
ECP
1997
Springer
14 years 25 days ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
SIGIR
1996
ACM
14 years 24 days ago
1996
ACM
The aggregated structure of documents plays a key role in full-text, multimedia, and network Information Retrieval (IR). Considering aggregation provides new querying facilities a...
PLILP
1997
Springer
14 years 24 days ago
1997
Springer
Abstract. Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scienti c int...