Sciweavers

4434 search results - page 655 / 887
» On the Composition of Hybrid Systems
Sort
View
TACAS
2010
Springer
156views Algorithms» more  TACAS 2010»
15 years 4 months ago
Preemption Sealing for Efficient Concurrency Testing
The choice of where a thread scheduling algorithm preempts one thread in order to execute another is essential to reveal concurrency errors such as atomicity violations, livelocks,...
Thomas Ball, Sebastian Burckhardt, Katherine E. Co...
ACL
2009
15 years 4 months ago
Toward Smaller, Faster, and Better Hierarchical Phrase-based SMT
We investigate the use of Fisher's exact significance test for pruning the translation table of a hierarchical phrase-based statistical machine translation system. In additio...
Mei Yang, Jing Zheng
EUSFLAT
2009
187views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Intensity Assessment of Pedestrian Collisions in City of Mashhad based on Fuzzy Probabilities
Fuzzy probabilities have been widely used in the areas of risk assessment and decision making. Here, we propose a system based on fuzzy probabilities for assessing the intensity of...
Farzaneh Tatari, Mohammad R. Akbarzadeh-Totonchi
IADIS
2009
15 years 4 months ago
Semantically distinct verb classes involved in sentiment analysis
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
ICMCS
2009
IEEE
82views Multimedia» more  ICMCS 2009»
15 years 4 months ago
An interactive video streaming architecture for H.264/AVC compliant players
In this paper, we describe an interactive streaming architecture. The content streamed by this architecture is encoded with the H.264/AVC standard for video compression. The archi...
Etienne Bömcke, Christophe De Vleeschouwer