Sciweavers

7512 search results - page 1219 / 1503
» Robust Computations with Dynamical Systems
Sort
View
ECSQARU
1997
Springer
15 years 10 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
IFIP
1994
Springer
15 years 10 months ago
Modeling Motion Simulation with DEDS
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
J. T. F. Camargo, Léo Pini Magalhães...
ECAI
1992
Springer
15 years 10 months ago
Towards a Cooperation Knowledge Level For Collaborative Problem Solving
The cooperation knowledge level is a new computer level specifically for multi-agent problem solvers which describes rich and explicit models of common social phenomena. A cooperat...
Nicholas R. Jennings
AI50
2006
15 years 10 months ago
AI in Locomotion: Challenges and Perspectives of Underactuated Robots
Abstract. This article discusses the issues of adaptive autonomous navigation as a challenge of artificial intelligence. We argue that, in order to enhance the dexterity and adapti...
Fumiya Iida, Rolf Pfeifer, André Seyfarth
CIKM
2006
Springer
15 years 10 months ago
Resource-aware kernel density estimators over streaming data
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
Christoph Heinz, Bernhard Seeger
« Prev « First page 1219 / 1503 Last » Next »