Sciweavers

6018 search results - page 389 / 1204
» Factored Translation Models
Sort
View
ATVA
2008
Springer
148views Hardware» more  ATVA 2008»
15 years 9 months ago
Decidable Compositions of O-Minimal Automata
We identify a new class of decidable hybrid automata: namely, parallel compositions of semi-algebraic o-minimal automata. The class we consider is fundamental to hierarchical model...
Alberto Casagrande, Pietro Corvaja, Carla Piazza, ...
BIRTHDAY
2008
Springer
15 years 9 months ago
Some Results on the Expressive Power and Complexity of LSCs
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
David Harel, Shahar Maoz, Itai Segall
CSR
2006
Springer
15 years 8 months ago
Weighted Logics for Traces
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
Ingmar Meinecke
ECCV
2008
Springer
15 years 8 months ago
Shape-Based Retrieval of Heart Sounds for Disease Similarity Detection
Retrieval of similar heart sounds from a sound database has applications in physician training, diagnostic screening, and decision support. In this paper, we exploit a visual rende...
Tanveer Fathima Syeda-Mahmood, Fei Wang
ACL
2007
15 years 8 months ago
Substring-Based Transliteration
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based approach to transliteration, inspired by phrasebased mo...
Tarek Sherif, Grzegorz Kondrak