31387 search results - page 17 / 6278 » Abstracts |
ANLP
1992
13 years 11 months ago
1992
CAL ABSTRACTS Hans Paulussen Facult6s Universitaires Notre-Dame de la Paix, rue de Bruxelles 61, B-5000 Namur, Belgium
EGOV
2010
Springer
13 years 11 months ago
2010
Springer
Application for Water Abstractions Authorizations Miguel
ATVA
2010
Springer
13 years 10 months ago
2010
Springer
ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...