Sciweavers

2827 search results - page 419 / 566
» CCured in the real world
Sort
View
81
Voted
MCS
2004
Springer
15 years 3 months ago
Learn++.MT: A New Approach to Incremental Learning
An ensemble of classifiers based algorithm, Learn++, was recently introduced that is capable of incrementally learning new information from datasets that consecutively become avail...
Michael Muhlbaier, Apostolos Topalis, Robi Polikar
METAINFORMATICS
2004
Springer
15 years 3 months ago
Looking Beyond Computer Applications: Investigating Rich Structures
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...
Claus Atzenbeck, Peter J. Nürnberg
PAKDD
2004
ACM
199views Data Mining» more  PAKDD 2004»
15 years 3 months ago
Temporal Sequence Associations for Rare Events
In many real world applications, systematic analysis of rare events, such as credit card frauds and adverse drug reactions, is very important. Their low occurrence rate in large da...
Jie Chen, Hongxing He, Graham J. Williams, Huidong...
SEKE
2004
Springer
15 years 3 months ago
Automated Assistance for Eliciting User Expectations
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip K...
WDAG
2004
Springer
134views Algorithms» more  WDAG 2004»
15 years 3 months ago
An Optimistic Approach to Lock-Free FIFO Queues
Abstract. First-in-first-out (FIFO) queues are among the most fundamental and highly studied concurrent data structures. The most effective and practical dynamic-memory concurren...
Edya Ladan-Mozes, Nir Shavit