Sciweavers

3179 search results - page 24 / 636
» Applications of PCF Theory
Sort
View
ECBS
2004
IEEE
80views Hardware» more  ECBS 2004»
14 years 12 days ago
Theory and Applications of Evolvable Embedded Systems
Lukás Sekanina, Vladimír Dráb...
AAAI
2008
13 years 11 months ago
Anticipatory Perceptual Simulation for Human-Robot Joint Practice: Theory and Application Study
With the aim of fluency and efficiency in human-robot teams, we have developed a cognitive architecture based on the neuro-psychological principles of anticipation and perceptual ...
Guy Hoffman, Cynthia Breazeal
BIRTHDAY
2008
Springer
13 years 10 months ago
Unfolding Graph Transformation Systems: Theory and Applications to Verification
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
Paolo Baldan, Andrea Corradini, Barbara König
FOIKS
2008
Springer
13 years 10 months ago
Autonomous Sets - A Method for Hypergraph Decomposition with Applications in Database Theory
We present a method for decomposing a hypergraph with certain regularities into smaller hypergraphs. By applying this to the set of all canonical covers of a given set of functiona...
Henning Köhler