3886 search results - page 139 / 778 » Toward Recovery-Oriented Computing |
ICAI
2004
13 years 10 months ago
2004
Even though the Genetic Programming (GP) mechanism is capable of evolving any computable function, the means through which it does so is inherently flawed: the user must provide th...
RECOMB
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Perfection has been used as a criteria to select rearrangement scenarios since 2004. However, there is a fundamental bias towards extant species in the original definitio...
ATAL
2006
Springer
14 years 26 days ago
2006
Springer
Intelligent software personal assistants for human organizations are an active research area within the multiagent community. However, while many capabilities for these software p...
AAAI
2008
13 years 11 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...