8587 search results - page 228 / 1718 » Interactive dynamic abstraction |
160
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— To compute collision-free and dynamicallyfeasibile trajectories that satisfy high-level specifications given in a planning-domain definition language, this paper prop...
180
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...
248
click to vote
BIOCOMP
2010
15 years 3 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
169
click to vote
CDC
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
142
click to vote
SIAMADS
2010
15 years 10 days ago
2010
Abstract. We derive a simple criterion for transverse instabilities along a general invariant manifold of a multidimensional dynamical system. The criterion requires an appropriate...