Sciweavers

21430 search results - page 42 / 4286
» Abstract Effective Models
Sort
View
SARA
2005
Springer
16 years 4 days ago
Learning Abstract Scheduling Models
Tom Carchrae, J. Christopher Beck
SARA
2005
Springer
16 years 4 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 4 days ago
The PER Model of Abstract Non-interference
Sebastian Hunt, Isabella Mastroeni