1422 search results - page 238 / 285 » Complementation in Abstract Interpretation |
146
click to vote
CLOR
2006
15 years 5 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...
129
click to vote
COMPLIFE
2006
Springer
15 years 5 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...
144
click to vote
DALT
2006
Springer
15 years 5 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...
149
click to vote
DILS
2006
Springer
15 years 5 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...
110
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...