Sciweavers

4679 search results - page 561 / 936
» Modeling When Connections Are the Problem
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 6 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
MDIC
2001
Springer
134views Communications» more  MDIC 2001»
15 years 11 months ago
Querying and Browsing Multimedia Presentations
Querying and searching the Web is an important research field which has drawn a number of concepts from databases and information retrieval fields, but has added its own models, ...
Augusto Celentano, Ombretta Gaggi
ANSS
1997
IEEE
15 years 11 months ago
Performance Issues of Task Routing and Task Scheduling with Resequencing in Homogeneous Distributed Systems
An important part of a distributed system design is the workload sharing among the processors. This includes partitioningthe arriving jobs into tasks that can be executed in paral...
Anthony Karageorgos, Helen D. Karatza
EMNLP
2007
15 years 8 months ago
Smooth Bilingual N-Gram Translation
We address the problem of smoothing translation probabilities in a bilingual N-grambased statistical machine translation system. It is proposed to project the bilingual tuples ont...
Holger Schwenk, Marta R. Costa-Jussà, Jos&e...
UAI
2008
15 years 8 months ago
Convergent Message-Passing Algorithms for Inference over General Graphs with Convex Free Energies
Inference problems in graphical models can be represented as a constrained optimization of a free energy function. It is known that when the Bethe free energy is used, the fixedpo...
Tamir Hazan, Amnon Shashua