Sciweavers

2438 search results - page 377 / 488
» Incremental Learning in Biological and Machine Learning Syst...
Sort
View
IGPL
2006
110views more  IGPL 2006»
15 years 4 months ago
Adaptive Model Checking
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...
Alex Groce, Doron Peled, Mihalis Yannakakis
PAMI
2008
179views more  PAMI 2008»
15 years 4 months ago
Modeling, Clustering, and Segmenting Video with Mixtures of Dynamic Textures
A dynamic texture is a spatio-temporal generative model for video, which represents video sequences as observations from a linear dynamical system. This work introduces the mixtur...
Antoni B. Chan, Nuno Vasconcelos
IUI
2012
ACM
13 years 11 months ago
Towards automatic functional test execution
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
Pablo Pedemonte, Jalal Mahmud, Tessa Lau
CVPR
2001
IEEE
16 years 6 months ago
Rapid Object Detection using a Boosted Cascade of Simple Features
This paper describes a machine learning approach for visual object detection which is capable of processing images extremely rapidly and achieving high detection rates. This wor...
Paul A. Viola, Michael J. Jones
IPTPS
2003
Springer
15 years 9 months ago
Adaptive Peer Selection
In a peer-to-peer file-sharing system, a client desiring a particular file must choose a source from which to download. The problem of selecting a good data source is difficult...
Daniel S. Bernstein, Zhengzhu Feng, Brian Neil Lev...