Sciweavers

4894 search results - page 40 / 979
» Dynamic Abstraction Planning
Sort
View
93
Voted
OOPSLA
2010
Springer
15 years 1 months ago
A dynamic evaluation of the precision of static heap abstractions
Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv
106
Voted
ENTCS
2011
72views more  ENTCS 2011»
14 years 10 months ago
Abstract Interpretation of Dynamics of Biological Regulatory Networks
Loïc Paulevé, Morgan Magnin, Olivier R...
154
Voted
WILF
2005
Springer
124views Fuzzy Logic» more  WILF 2005»
15 years 9 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