Sciweavers

898 search results - page 25 / 180
» Transitions of the Pre-Symmetry Set
Sort
View
ENTCS
2002
90views more  ENTCS 2002»
14 years 9 months ago
A Language for Multi-dimensional Updates
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
João Alexandre Leite, José Jú...
TMM
2011
177views more  TMM 2011»
14 years 4 months ago
MIMiC: Multimodal Interactive Motion Controller
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
Dumebi Okwechime, Eng-Jon Ong, Richard Bowden
FOSSACS
2005
Springer
15 years 3 months ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...
BIRTHDAY
2008
Springer
14 years 11 months ago
Transformations in Reconfigurable Place/Transition Systems
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Ju...
BCS
2008
14 years 11 months ago
Overcoming Software Fragility with Interacting Feedback Loops and Reversible Phase Transitions
Programs are fragile for many reasons, including software errors, partial failures, and network problems. One way to make software more robust is to design it from the start as a ...
Peter Van Roy