3342 search results - page 327 / 669 » Automating Abstract Interpretation |
118
click to vote
BIOSURVEILLANCE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
134
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
145
click to vote
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
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...
160
click to vote
DALT
2007
Springer
15 years 10 months ago
2007
Springer
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...
135
click to vote
ECAL
2007
Springer
15 years 10 months ago
2007
Springer
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...