1914 search results - page 332 / 383 » Verification by Abstract Interpretation |
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
CLOR
2006
14 years 1 months ago
2006
Abstract. A popular framework for the interpretation of image sequences is the layers or sprite model, see e.g. [1], [2]. Jojic and Frey [3] provide a generative probabilistic mode...
COMPLIFE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...
DALT
2006
Springer
14 years 1 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...
DILS
2006
Springer
14 years 1 months ago
2006
Springer
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...