Sciweavers

256 search results - page 21 / 52
» Separation of NP-Completeness Notions
Sort
View
ECAL
2007
Springer
15 years 6 months ago
Adapting to Your Body
Abstract. This paper investigates the processes used by an evolved, embodied simulated agent to adapt to large disruptive changes in its sensor morphology, whilst maintaining perfo...
Peter Fine, Ezequiel A. Di Paolo, Eduardo Izquierd...
89
Voted
KI
2007
Springer
15 years 6 months ago
Imagining Contexts
Abstract. The aim of this paper is to present a formal semantics inspired by the notion of Mental Imagery, largely researched in Cognitive Science and Experimental Psychology, that...
Ander Altuna
LOPSTR
2007
Springer
15 years 5 months ago
Termination Analysis of Logic Programs Based on Dependency Graphs
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
Manh Thang Nguyen, Jürgen Giesl, Peter Schnei...
WEBI
2007
Springer
15 years 5 months ago
Layers and Hierarchies in Real Virtual Networks
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
Olga Goussevskaia, Michael Kuhn 0002, Roger Watten...
ICAS
2006
IEEE
145views Robotics» more  ICAS 2006»
15 years 5 months ago
A Model-Driven Development Framework for Non-Functional Aspects in Service Oriented Grids
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba