1078 search results - page 102 / 216 » Using Machine Learning to Support Debugging with Tarantula |
106
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
We implement statically-typed multi-holed contexts in OCaml using an underlying algebraic datatype augmented with phantom types. Existing approaches require dynamic checks or more...
128
click to vote
ICALT
2009
IEEE
15 years 9 months ago
2009
IEEE
Scientific practices increasingly incorporate sensors for data capture, information visualization for data analysis, and low-cost mobile devices for fieldbased inquiries incorpora...
131
click to vote
COLT
2003
Springer
15 years 8 months ago
2003
Springer
Recent work has introduced Boolean kernels with which one can learn linear threshold functions over a feature space containing all conjunctions of length up to k (for any 1 ≤ k ...
119
click to vote
ESSMAC
2003
Springer
15 years 8 months ago
2003
Springer
We apply a constrained Hidden Markov Model architecture to the problem of simultaneous localization and surveying from sensor logs of mobile agents navigating in unknown environmen...
116
click to vote
ICML
2006
IEEE
16 years 3 months ago
2006
IEEE
Semi-Supervised Support Vector Machines (S3 VMs) are an appealing method for using unlabeled data in classification: their objective function favors decision boundaries which do n...