Sciweavers

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