Sciweavers

2272 search results - page 241 / 455
» Capture Complexity by Partition
Sort
View
CAV
2007
Springer
157views Hardware» more  CAV 2007»
16 years 20 days ago
An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
Three-color parity games capture the disjunction of a B¨uchi and a co-B¨uchi condition. The most efficient known algorithm for these games is the progress measures algorithm by ...
Luca de Alfaro, Marco Faella
CSL
2007
Springer
16 years 20 days ago
The Theory of Calculi with Explicit Substitutions Revisited
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
Delia Kesner
ECAL
2007
Springer
16 years 20 days ago
Emergence of Genetic Coding: An Information-Theoretic Model
This paper1 introduces a simple model for evolutionary dynamics approaching the “coding threshold”, where the capacity to symbolically represent nucleic acid sequences emerges ...
Piraveenan Mahendra, Daniel Polani, Mikhail Prokop...
EDUTAINMENT
2007
Springer
16 years 20 days ago
Method of Motion Data Processing Based on Manifold Learning
Due to the high-dimensionality of motion captured data which resulted in the complexity in motion analysis, a method of motion data processing based on manifold learning was propos...
Fengxia Li, Tianyu Huang, Lijie Li
EEMMAS
2007
Springer
16 years 20 days ago
Engineering Business Ecosystems Using Environment-Mediated Interactions
Abstract The increasingly complex and dynamic nature of contemporary markets demands that a business engages in an ongoing dialogue with all aspects of its environment, including o...
César A. Marín, Iain Duncan Stalker,...