Sciweavers

2517 search results - page 197 / 504
» Specifying Weak Sets
Sort
View
ENTCS
2008
100views more  ENTCS 2008»
15 years 6 months ago
A Calculus for Team Automata
Team automata are a formalism for the component-based specification of reactive, distributed systems. Their main feature is a flexible technique for specifying coordination patter...
Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens
IJBC
2006
50views more  IJBC 2006»
15 years 6 months ago
Phenomenology of Reaction-diffusion Binary-State Cellular Automata
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
Andrew Adamatzky, Genaro Juárez Martí...
CVGIP
2007
86views more  CVGIP 2007»
15 years 6 months ago
A performance-based technique for timing keyframe animations
From our experience observing novice animators, it is clear that setting keyframe spatial values is straightforward while specifying the keyframe timing is difficult and often tim...
Sílvio César Lizana Terra, Ronald A....
MMS
2008
15 years 6 months ago
Canonical processes of semantically annotated media production
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...
Lynda Hardman, Zeljko Obrenovic, Frank Nack, Brigi...
LOGCOM
2007
97views more  LOGCOM 2007»
15 years 6 months ago
A General Framework for Expressing Preferences in Causal Reasoning and Planning
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
James P. Delgrande, Torsten Schaub, Hans Tompits