Sciweavers

1288 search results - page 220 / 258
» Algorithmic detection of semantic similarity
Sort
View
CVPR
2010
IEEE
14 years 6 months ago
Automatic Discovery of Meaningful Object Parts with Latent CRFs
Object recognition is challenging due to high intra-class variability caused, e.g., by articulation, viewpoint changes, and partial occlusion. Successful methods need to strike a...
Paul Schnitzspan, Stefan Roth, Bernt Schiele
ISSTA
2009
ACM
14 years 4 months ago
SideTrack: generalizing dynamic atomicity analysis
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
ICASSP
2008
IEEE
14 years 4 months ago
Learning with noisy supervision for Spoken Language Understanding
Data-driven Spoken Language Understanding (SLU) systems need semantically annotated data which are expensive, time consuming and prone to human errors. Active learning has been su...
Christian Raymond, G. Riccardfi
CAV
2001
Springer
83views Hardware» more  CAV 2001»
14 years 2 months ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen
AIEDU
2004
71views more  AIEDU 2004»
13 years 9 months ago
Using Intelligent Feedback to Improve Sourcing and Integration in Students' Essays
Learning and reasoning from multiple documents requires students to employ the skills of sourcing (i.e., attending to and citing sources) and information integration (i.e., making ...
Mary Anne Britt, Peter M. Wiemer-Hastings, Aaron A...