Sciweavers

1902 search results - page 219 / 381
» Differential Dynamic Logics
Sort
View
ENTCS
2008
122views more  ENTCS 2008»
15 years 6 months ago
Concurrency in Biological Modeling: Behavior, Execution and Visualization
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...
David Harel, Yaki Setty, Sol Efroni, Naamah Swerdl...
JMLR
2008
92views more  JMLR 2008»
15 years 6 months ago
Theoretical Advantages of Lenient Learners: An Evolutionary Game Theoretic Perspective
This paper presents the dynamics of multiple learning agents from an evolutionary game theoretic perspective. We provide replicator dynamics models for cooperative coevolutionary ...
Liviu Panait, Karl Tuyls, Sean Luke
TCSV
2008
291views more  TCSV 2008»
15 years 6 months ago
A Statistical Video Content Recognition Method Using Invariant Features on Object Trajectories
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
CGF
2004
140views more  CGF 2004»
15 years 6 months ago
Measurement-Based Interactive Simulation of Viscoelastic Solids
Animation of viscoelastic solids in entertainment and medical applications as well as scientific simulation can be improved through observations of real world objects. This paper ...
Jeffrey Schoner, Jochen Lang, Hans-Peter Seidel
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 5 months ago
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
Jeremy H. Gillula, Haomiao Huang, Michael P. Vitus...