Sciweavers

31387 search results - page 200 / 6278
» Abstracting abstract machines
Sort
View
SARA
2005
Springer
16 years 2 days ago
Abstract Policy Evaluation for Reactive Agents
Krysia Broda, Christopher J. Hogger
SARA
2005
Springer
16 years 2 days ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck
SARA
2005
Springer
16 years 2 days ago
Multinomial Event Model Based Abstraction for Sequence and Text Classification
Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasa...
SAS
2005
Springer
16 years 2 days ago
Widening Operators for Weakly-Relational Numeric Abstractions
Roberto Bagnara, Patricia M. Hill, Elena Mazzi, En...
SAS
2005
Springer
16 years 2 days ago
Locality-Based Abstractions
Javier Esparza, Pierre Ganty, Stefan Schwoon