Sciweavers

8099 search results - page 1420 / 1620
» Higher-Order Task Models
Sort
View
FMICS
2008
Springer
15 years 5 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
ACL
2007
15 years 5 months ago
Improved Word-Level System Combination for Machine Translation
Recently, confusion network decoding has been applied in machine translation system combination. Due to errors in the hypothesis alignment, decoding may result in ungrammatical co...
Antti-Veikko I. Rosti, Spyridon Matsoukas, Richard...
AAAI
2010
15 years 5 months ago
Unsupervised Learning of Event Classes from Video
We present a method for unsupervised learning of event classes from videos in which multiple actions might occur simultaneously. It is assumed that all such activities are produce...
Muralikrishna Sridhar, Anthony G. Cohn, David C. H...
ECIR
2010
Springer
15 years 5 months ago
Using the Quantum Probability Ranking Principle to Rank Interdependent Documents
A known limitation of the Probability Ranking Principle (PRP) is that it does not cater for dependence between documents. Recently, the Quantum Probability Ranking Principle (QPRP)...
Guido Zuccon, Leif Azzopardi
BNCOD
2008
143views Database» more  BNCOD 2008»
15 years 5 months ago
Reconciling Inconsistent Data in Probabilistic XML Data Integration
Abstract. The problem of dealing with inconsistent data while integrating XML data from different sources is an important task, necessary to improve data integration quality. Typic...
Tadeusz Pankowski
« Prev « First page 1420 / 1620 Last » Next »