Sciweavers

2383 search results - page 399 / 477
» Anticipatory Behavioral Control
Sort
View
DIMACS
1996
13 years 9 months ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
AAAI
1990
13 years 9 months ago
Introducing the Tileworld: Experimentally Evaluating Agent Architectures
We describe a system called Tileworld, which consists of a simulated robot agent and a simulated environment which is both dynamic and unpredictable. Both the agent and the enviro...
Martha E. Pollack, Marc Ringuette
IJCAI
1989
13 years 9 months ago
Reasoning About Assumptions in Graphs of Models
Solving design and analysis problems in physical worlds requires the representatio n of large amounts of knowledge. Recently, there has been much interest in explicitly making ass...
Sanjaya Addanki, Roberto Cremonini, J. Scott Penbe...
IJCAI
1989
13 years 9 months ago
A Model for Projection and Action
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
Keiji Kanazawa, Thomas Dean
WCE
2007
13 years 8 months ago
Modeling and Analysis of an Elastic Compound Strut in Axial Compression
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...
Joshua R. Omer