Sciweavers

1418 search results - page 23 / 284
» How to Explain Mistakes
Sort
View
SGAI
2009
Springer
14 years 3 months ago
Coping with Noisy Search Experiences
The so-called social Web has helped to change the very nature of the Internet by emphasising the role of our online experiences as new forms of content and service knowledge. User...
Pierre-Antoine Champin, Peter Briggs, Maurice Coyl...
MLMI
2007
Springer
14 years 2 months ago
Automatic Labeling Inconsistencies Detection and Correction for Sentence Unit Segmentation in Conversational Speech
In conversational speech, irregularities in the speech such as overlaps and disruptions make it difficult to decide what is a sentence. Thus, despite very precise guidelines on how...
Sébastien Cuendet, Dilek Z. Hakkani-Tü...
TPHOL
2003
IEEE
14 years 1 months ago
Program Extraction from Large Proof Developments
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
Luís Cruz-Filipe, Bas Spitters
FAST
2008
13 years 10 months ago
EIO: Error Handling is Occasionally Correct
The reliability of file systems depends in part on how well they propagate errors. We develop a static analysis technique, EDP, that analyzes how file systems and storage device d...
Haryadi S. Gunawi, Cindy Rubio-González, An...
AAAI
2010
13 years 10 months ago
Community-Guided Learning: Exploiting Mobile Sensor Users to Model Human Behavior
Modeling human behavior requires vast quantities of accurately labeled training data, but for ubiquitous people-aware applications such data is rarely attainable. Even researchers...
Daniel Peebles, Hong Lu, Nicholas D. Lane, Tanzeem...