1689 search results - page 292 / 338 » Refining abstract interpretations |
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...
117
click to vote
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...