Sciweavers

2169 search results - page 222 / 434
» Testing Incremental Adaptation
Sort
View
124
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
PLDI
2010
ACM
15 years 7 months ago
Finding low-utility data structures
Many opportunities for easy, big-win, program optimizations are missed by compilers. This is especially true in highly layered Java applications. Often at the heart of these misse...
Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas ...
158
Voted
KDD
2010
ACM
259views Data Mining» more  KDD 2010»
15 years 6 months ago
A probabilistic model for personalized tag prediction
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
Dawei Yin, Zhenzhen Xue, Liangjie Hong, Brian D. D...
150
Voted
DIS
2006
Springer
15 years 4 months ago
Change Detection with Kalman Filter and CUSUM
Knowledge discovery systems are constrained by three main limited resources: time, memory and sample size. Sample size is traditionally the dominant limitation, but in many present...
Milton Severo, João Gama
145
Voted
CVPR
2004
IEEE
16 years 4 months ago
An Unsupervised, Online Learning Framework for Moving Object Detection
Object detection with a learned classifier has been applied successfully to difficult tasks such as detecting faces and pedestrians. Systems using this approach usually learn the ...
Vinod Nair, James J. Clark