Sciweavers

2272 search results - page 241 / 455
» Capture Complexity by Partition
Sort
View
113
Voted
CAV
2007
Springer
157views Hardware» more  CAV 2007»
15 years 10 months 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
149
Voted
CSL
2007
Springer
15 years 9 months 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
113
Voted
ECAL
2007
Springer
15 years 9 months 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...
134
Voted
EDUTAINMENT
2007
Springer
15 years 9 months 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
97
Voted
EEMMAS
2007
Springer
15 years 9 months 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,...