7264 search results - page 1142 / 1453 » A multiplicative up-propagation algorithm |
178
click to vote
SAINT
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we propose an analytic approach of modeling a closed-loop network with multiple feedback loops using fluid-flow approximation. Specifically, we model building bl...
187
click to vote
SAT
2005
Springer
16 years 5 days ago
2005
Springer
Much attention has been given in recent years to the problem of finding Minimally Unsatisfiable Subformulas (MUSes) of Boolean formulas. In this paper, we present a new view of the...
195
click to vote
ACMICEC
2004
ACM
16 years 4 days ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...
155
click to vote
DMKD
2004
ACM
16 years 3 days ago
2004
ACM
Record linkage, the problem of determining when two records refer to the same entity, has applications for both data cleaning (deduplication) and for integrating data from multipl...
166
click to vote
IUI
2004
ACM
16 years 3 days ago
2004
ACM
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...