Sciweavers

21430 search results - page 42 / 4286
» Abstract Effective Models
Sort
View
SARA
2005
Springer
16 years 20 days ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck
SARA
2005
Springer
16 years 20 days ago
Multinomial Event Model Based Abstraction for Sequence and Text Classification
Dae-Ki Kang, Jun Zhang 0002, Adrian Silvescu, Vasa...
SAS
2005
Springer
117views Formal Methods» more  SAS 2005»
16 years 20 days ago
The PER Model of Abstract Non-interference
Sebastian Hunt, Isabella Mastroeni