Sciweavers

1929 search results - page 358 / 386
» Change Propagation Analysis Using Domain Information
Sort
View
EMNLP
2008
15 years 5 months ago
Modeling Annotators: A Generative Approach to Learning from Annotator Rationales
A human annotator can provide hints to a machine learner by highlighting contextual "rationales" for each of his or her annotations (Zaidan et al., 2007). How can one ex...
Omar Zaidan, Jason Eisner
JAR
1998
134views more  JAR 1998»
15 years 3 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
RECOMB
2004
Springer
16 years 4 months ago
Designing multiple simultaneous seeds for DNA similarity search
The challenge of similarity search in massive DNA sequence databases has inspired major changes in BLAST-style alignment tools, which accelerate search by inspecting only pairs of...
Yanni Sun, Jeremy Buhler
BCSHCI
2007
15 years 5 months ago
Voice art: investigating paralinguistic voice as a mode of interaction to create visual art
In this paper, we report on our investigation into people’s ability to use the volume of their voice to control cursor movement to create drawings. Early analysis of the results...
Dharani Priyahansika Perera, R. T. Jim Eales, Kath...
CIVR
2007
Springer
273views Image Analysis» more  CIVR 2007»
15 years 10 months ago
Scalable near identical image and shot detection
This paper proposes and compares two novel schemes for near duplicate image and video-shot detection. The first approach is based on global hierarchical colour histograms, using ...
Ondrej Chum, James Philbin, Michael Isard, Andrew ...