Sciweavers

5726 search results - page 370 / 1146
» Supporting annotations on relations
Sort
View
IJKWI
2010
78views more  IJKWI 2010»
15 years 5 months ago
Construction of linefeed insertion rules for lecture transcript and their evaluation
: The development of a captioning system that supports the real-time understanding of monologue speech such as lectures and commentaries is required. In monologues, since a sentenc...
Masaki Murata, Tomohiro Ohno, Shigeki Matsubara
JUCS
2010
135views more  JUCS 2010»
15 years 5 months ago
Locating and Crawling eGovernment Services A Light-weight Semantic Approach
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
Luis Álvarez Sabucedo, Luis E. Anido-Rif&oa...
GCB
2010
Springer
198views Biometrics» more  GCB 2010»
15 years 4 months ago
RNALfoldz: Efficient Prediction of Thermodynamically Stable, Local Secondary Structures
Abstract: The search for local RNA secondary structures and the annotation of unusually stable folding regions in genomic sequences are two well motivated bioinformatic problems. I...
Andreas R. Gruber, Stephan H. F. Bernhart, You Zho...
IPAW
2010
15 years 4 months ago
StarFlow: A Script-Centric Data Analysis Environment
We introduce StarFlow, a script-centric environment for data analysis. StarFlow has four main features: (1) extraction of control and data-flow dependencies through a novel combina...
Elaine Angelino, Daniel Yamins, Margo I. Seltzer
ICSE
2009
IEEE-ACM
15 years 4 months ago
VCC: Contract-based modular verification of concurrent C
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
Markus Dahlweid, Michal Moskal, Thomas Santen, Ste...