Sciweavers

1512 search results - page 154 / 303
» When Suboptimal Rules
Sort
View
CEC
2007
IEEE
15 years 5 months ago
Evolutionary search for cellular automata that exhibit self-organizing properties induced by external perturbations
— Cellular Automata (CAs) have been investigated extensively as abstract models of the distributed systems composed of autonomous entities characterized by local interaction. How...
Yusuke Iwase, Reiji Suzuki, Takaya Arita
DASFAA
2007
IEEE
174views Database» more  DASFAA 2007»
15 years 5 months ago
Efficient Holistic Twig Joins in Leaf-to-Root Combining with Root-to-Leaf Way
Finding all the occurrences of a twig pattern on multiple elements in an XML document is a core operation for efficient evaluation of XML queries. Holistic twig join algorithms, Tw...
Guoliang Li, Jianhua Feng, Yong Zhang, Lizhu Zhou
LICS
2007
IEEE
15 years 5 months ago
Strong Normalization as Safe Interaction
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
Colin Riba
MIDDLEWARE
2007
Springer
15 years 5 months ago
A service-oriented middleware for context-aware applications
Context awareness has emerged as an important element in distributed computing. It offers mechanisms that allow applications to be aware of their environment and enable these appl...
Luiz Olavo Bonino da Silva Santos, Remco Poortinga...
TARK
2007
Springer
15 years 5 months ago
The computational complexity of choice sets
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
Felix Brandt, Felix A. Fischer, Paul Harrenstein