8874 search results - page 1676 / 1775 » A New Implementation of Automath |
133
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
An emerging tapestry of computations will soon integrate systems around the globe. It will evolve without central control. Its complexity will be vast. We need new ideas, tools an...
155
Voted
ICVS
2001
Springer
15 years 8 months ago
2001
Springer
In this paper a system will be presented that was developed for ESA for the support of planetary exploration. The system that is sent to the planetary surface consists of a rover a...
142
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
117
Voted
MASA
2001
Springer
15 years 8 months ago
2001
Springer
Abstract 1 Different definitions of agents use concepts such as autonomy, pro-activity, reactivity, social abilities, and intentional models. Very few (if any), however, refer to...
106
click to vote
PVM
2001
Springer
15 years 8 months ago
2001
Springer
Parallel IO (PIO) support for larger scale computing is becoming more important as application developers better understand its importance in reducing overall execution time by avo...