Sciweavers

8719 search results - page 366 / 1744
» A Categorical Approach to Simulations
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Detecting bandlimited audio in broadcast television shows
For TV and radio shows containing narrowband speech, Speech-to-text (STT) accuracy on the narrowband audio can be improved by using an acoustic model trained on acoustically match...
Mark C. Fuhs, Qin Jin, Tanja Schultz
MODELS
2009
Springer
16 years 1 months ago
Dead or Alive: finding zombie features in the Linux kernel
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
Reinhard Tartler, Julio Sincero, Wolfgang Schr&oum...
TLCA
2009
Springer
16 years 1 months ago
Initial Algebra Semantics for Cyclic Sharing Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
Makoto Hamana
WISE
2007
Springer
16 years 1 months ago
Goal-Based Visualization and Browsing for Semantic Web Services
Abstract. We present a goal-based approach for visualizing and browsing the search space of available Web services. A goal describes an obthat a client wants to solve by using Web ...
Michael Stollberg, Mick Kerrigan
INEX
2007
Springer
16 years 28 days ago
Integrating Document Features for Entity Ranking
The Knowledge Media Institute of the Open University participated in the entity ranking and entity list completion tasks of the Entity Ranking Track in INEX 2007. In both the entit...
Jianhan Zhu, Dawei Song, Stefan M. Rüger