Sciweavers

4586 search results - page 430 / 918
» Computing stable models in parallel
Sort
View
PPSN
2004
Springer
15 years 11 months ago
Spread of Vector Borne Diseases in a Population with Spatial Structure
Mathematical modeling of the spread of infectious diseases is a well established field with high practical importance. Underlying most analytical approaches is the assumption of ...
Dominique Chu, Jonathan E. Rowe
ARTS
1999
Springer
15 years 10 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston
154
Voted
HPDC
1997
IEEE
15 years 10 months ago
Predicting Slowdown for Networked Workstations
Most applications share the resources of networked workstations with other applications. Since system load can vary dramatically, allocation strategies that assume that resources ...
Silvia M. Figueira, Francine Berman
ACL
2010
15 years 4 months ago
Bilingual Sense Similarity for Statistical Machine Translation
This paper proposes new algorithms to compute the sense similarity between two units (words, phrases, rules, etc.) from parallel corpora. The sense similarity scores are computed ...
Boxing Chen, George F. Foster, Roland Kuhn
ICCV
2007
IEEE
16 years 8 months ago
A Robust Graph-Based Method for The General Correspondence Problem Demonstrated on Image Stitching
We pose robust matching with parametric and non-parametric constraints as the problem of finding a stable independent set (SIS) in an oriented graph whose vertices are all possible...
Martin Bujnak, Radim Sára