3760 search results - page 679 / 752 » Logic-Based Probabilistic Modeling |
154
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Our work deals with schema or ontology matching and is driven by the following statements: (1) Most of works only consider intensional description of schemas; (2) They mostly use s...
153
click to vote
COLT
2006
Springer
15 years 10 months ago
2006
Springer
We propose a sequential randomized algorithm, which at each step concentrates on functions having both low risk and low variance with respect to the previous step prediction functi...
151
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
142
click to vote
EUC
2006
Springer
15 years 9 months ago
2006
Springer
We present the first Utility Accrual (or UA) real-time scheduling algorithm for multiprocessors, called gMUA. The algorithm considers an application model where real-time activiti...
179
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...