2594 search results - page 116 / 519 » Elements of a Theory of Simulation |
HYBRID
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
— We present a framework for composing motor controllers into autonomous composite reactive behaviors for bipedal robots and autonomous, physically-simulated humanoids. A key con...
SIGGRAPH
2010
ACM
14 years 29 days ago
2010
ACM
We develop an accurate, unified treatment of elastica. Following the method of resultant-based formulation to its logical extreme, we derive a higher-order integration rule, or el...
BIOCOMP
2006
13 years 10 months ago
2006
- We developed a method of reverse engineering to compare the behaviour the enzyme proteins with the existing standard concepts. Our work is based on the strong assumption from the...
FOSSACS
2004
Springer
14 years 18 days ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...