Sciweavers

8067 search results - page 404 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
ACL
2011
14 years 10 months ago
Gappy Phrasal Alignment By Agreement
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
Mohit Bansal, Chris Quirk, Robert C. Moore
ECCV
2004
Springer
16 years 8 months ago
Spatially Homogeneous Dynamic Textures
Abstract. We address the problem of modeling the spatial and temporal second-order statistics of video sequences that exhibit both spatial and temporal regularity, intended in a st...
Gianfranco Doretto, Eagle Jones, Stefano Soatto
142
Voted
ICALP
2010
Springer
15 years 11 months ago
Streaming Algorithms for Independent Sets
We find “combinatorially optimal” (guaranteed by the degree-sequence alone) independent sets for graphs and hypergraps in linear space in the semi-streaming model. We also pr...
Bjarni V. Halldórsson, Magnús M. Hal...
DATE
2010
IEEE
126views Hardware» more  DATE 2010»
15 years 10 months ago
Scenario-based analysis and synthesis of real-time systems using uppaal
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
ICLP
1999
Springer
15 years 11 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo