9507 search results - page 1513 / 1902 » Time-based language models |
217
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
180
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
196
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Active learning (AL) is a framework that attempts to reduce the cost of annotating training material for statistical learning methods. While a lot of papers have been presented on...
182
click to vote
AAI
2006
15 years 6 months ago
2006
Extensive experimental evidence is required to study the impact of text categorization approaches on real data and to assess the performance within operational scenarios. In this ...
175
click to vote
FMSD
2006
15 years 6 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...