4894 search results - page 839 / 979 » Dynamic Abstraction Planning |
97
Voted
ICLP
1998
Springer
15 years 2 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
95
Voted
IDMS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. This paper describes a world wide collaboration system through multimedia Post-its (user generated annotations). DIANE is a service to create multimedia annotations to ev...
87
Voted
ITS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Lifelike animated agents for knowledge-based learning environments can provide timely, customized advice to support leaners' problem-solving activities. By drawing o...
117
Voted
KI
1998
Springer
15 years 2 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
86
Voted
ICCD
1997
IEEE
15 years 2 months ago
1997
IEEE
Abstract— In this paper we consider the problem of clustering sequential circuits subject to a bound on the area of each cluster, with the objective of minimizing the clock perio...