Sciweavers

4211 search results - page 313 / 843
» Types as Abstract Interpretations
Sort
View
ADAPTIVE
2007
Springer
16 years 27 days ago
Adaptive Support for Distributed Collaboration
Abstract. Through interaction with others, a person develops multiple perspectives that become the basis for innovation and the construction of new knowledge. This chapter discusse...
Amy Soller
BIOSURVEILLANCE
2007
Springer
16 years 27 days ago
High Performance Computing for Disease Surveillance
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
David W. Bauer, Brandon W. Higgs, Mojdeh Mohtashem...
CONTEXT
2007
Springer
16 years 27 days ago
Contexts and Ontologies in Schema Matching
Abstract. In this paper, we propose a general model of schema matching based on the following ideas: on the one hand, a schema is viewed as a context (namely as a partial and appro...
Paolo Bouquet
DALT
2007
Springer
16 years 27 days ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
ECAL
2007
Springer
16 years 27 days ago
Adaptation to Sensory Delays
Abstract. Evolutionary robotics simulations can serve as a tool to clarify counterintuitive or dynamically complex aspects of sensorimotor behaviour. We present a series of simulat...
Marieke Rohde, Ezequiel A. Di Paolo