Sciweavers

7623 search results - page 1136 / 1525
» Algorithmic Features of Eclat
Sort
View
ICIAP
2005
ACM
16 years 6 months ago
Interactive, Mobile, Distributed Pattern Recognition
As the accuracy of conventional classifiers, based only on a static partitioning of feature space, appears to be approaching a limit, it may be useful to consider alternative appro...
George Nagy
ICSE
2005
IEEE-ACM
16 years 6 months ago
Data structure repair using goal-directed reasoning
Data structure repair is a promising technique for enabling programs to execute successfully in the presence of otherwise fatal data structure corruption errors. Previous research...
Brian Demsky, Martin C. Rinard

Publication
383views
16 years 6 months ago
Hunting Nessie -- Real-Time Abnormality Detection from Webcams
We present a data-driven, unsupervised method for unusual scene detection from static webcams. Such time-lapse data is usually captured with very low or varying framerate. This ...
Michael D. Breitenstein, Helmut Grabner, Luc Van G...
ICFP
2008
ACM
16 years 6 months ago
From ML to MLF: graphic type constraints with efficient type inference
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
Boris Yakobowski, Didier Rémy
ICFP
2005
ACM
16 years 6 months ago
Simple, partial type-inference for System F based on type-containment
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
Didier Rémy
« Prev « First page 1136 / 1525 Last » Next »