Sciweavers

662 search results - page 25 / 133
» A Dynamic Knowledge Representation Model based on Hybrid App...
Sort
View
CONCUR
2007
Springer
14 years 2 months ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...
RTCSA
1997
IEEE
14 years 28 days ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
RAS
2002
117views more  RAS 2002»
13 years 8 months ago
Statistical environment representation for navigation in natural environments
In this paper we present a novel approach to mobile robot navigation based on environment representation by statistical models. Natural unstructured scenes are interpreted as real...
Stefan Rolfes, Maria-João Rendas
IJCAI
1993
13 years 10 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
13 years 8 months ago
Dynamic buffer management using optimal control of hybrid systems
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
Wei Zhang, Jianghai Hu