Sciweavers

4772 search results - page 570 / 955
» Annotations in Data Streams
Sort
View
DEXA
2003
Springer
95views Database» more  DEXA 2003»
16 years 20 hour ago
XML and Knowledge Technologies for Semantic-Based Indexing of Paper Documents
Effective daily processing of large amounts of paper documents in office environments requires the application of semantic-based indexing techniques during the transformation of pa...
Donato Malerba, Michelangelo Ceci, Margherita Bera...
EDBTW
2006
Springer
15 years 10 months ago
Implementing a Linguistic Query Language for Historic Texts
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
Lukas Faulstich, Ulf Leser, Thorsten Vitt
ISSTA
2010
ACM
15 years 8 months ago
Analysis of invariants for efficient bounded verification
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
Juan P. Galeotti, Nicolás Rosner, Carlos L&...
NAR
2008
127views more  NAR 2008»
15 years 6 months ago
miRBase: tools for microRNA genomics
miRBase is the central online repository for microRNA (miRNA) nomenclature, sequence data, annotation and target prediction. The current release (10.0) contains 5071 miRNA loci fr...
Sam Griffiths-Jones, Harpreet Kaur Saini, Stijn va...
SPEECH
2008
109views more  SPEECH 2008»
15 years 6 months ago
DialogStudio: A workbench for data-driven spoken dialog system development and management
Recently, data-driven speech technologies have been widely used to build speech user interfaces. However, developing and managing data-driven spoken dialog systems are laborious a...
Sangkeun Jung, Cheongjae Lee, Seokhwan Kim, Gary G...