Sciweavers

1065 search results - page 168 / 213
» Towards a Meaning of LIFE
Sort
View
CSL
2008
Springer
15 years 1 months ago
An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
Sven Schewe
EMSOFT
2008
Springer
15 years 1 months ago
Disassembling real-time fault-tolerant programs
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
Borzoo Bonakdarpour, Sandeep S. Kulkarni, Anish Ar...
LREC
2010
207views Education» more  LREC 2010»
15 years 21 days ago
Metaphor Corpus Annotated for Source - Target Domain Mappings
Besides making our thoughts more vivid and filling our communication with richer imagery, metaphor also plays an important structural role in our cognition. Although there is a co...
Ekaterina Shutova, Simone Teufel
EISWT
2007
15 years 21 days ago
Evaluation Criteria for Self-Management in DBMSs
As computing systems continue to grow in size and complexity, the need for self-management is becoming more prevalent. The difficulty and cost associated with the maintenance of l...
Armando Barreto, Ben Wongsaroj, Tariq M. King, Tua...
HIS
2008
15 years 21 days ago
New Crossover Operator for Evolutionary Rule Discovery in XCS
XCS is a learning classifier system that combines a reinforcement learning scheme with evolutionary algorithms to evolve rule sets on-line by means of the interaction with an envi...
Sergio Morales-Ortigosa, Albert Orriols-Puig, Este...