Sciweavers

4894 search results - page 40 / 979
» Dynamic Abstraction Planning
Sort
View
OOPSLA
2010
Springer
14 years 8 months ago
A dynamic evaluation of the precision of static heap abstractions
Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
ENTCS
2011
72views more  ENTCS 2011»
14 years 4 months ago
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Loïc Paulevé, Morgan Magnin, Olivier R...
WILF
2005
Springer
124views Fuzzy Logic» more  WILF 2005»
15 years 3 months ago
Possibilistic Planning Using Description Logics: A First Step
Abstract. This paper is a first step in the direction of extending possibilistic planning to take advantage of the expressive power and reasoning capabilities of fuzzy description...
Célia da Costa Pereira, Andrea Tettamanzi