Sciweavers

15792 search results - page 96 / 3159
» Computational Abstraction Steps
Sort
View
86
Voted
CG
2002
Springer
15 years 3 months ago
Using Abstraction for Planning in Sokoban
Adi Botea, Martin Müller 0003, Jonathan Schae...
80
Voted
TCS
1998
15 years 3 months ago
The Quotient of an Abstract Interpretation
Agostino Cortesi, Gilberto Filé, William H....
120
Voted
SOCA
2010
IEEE
15 years 1 months ago
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...
107
Voted
CMSB
2010
Springer
14 years 10 months ago
A generic abstract machine for stochastic process calculi
Loïc Paulevé, Simon Youssef, Matthew R...