197 search results - page 16 / 40 » Undecidability Results for Distributed Probabilistic Systems |
116
Voted
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
Heuristic algorithms have enjoyed increasing interests and success in the context of Utility Accrual (UA) scheduling. However, few analytical results, such as bounds on task-level...
126
click to vote
IPM
2007
15 years 1 months ago
2007
A recommender system has an obvious appeal in an environment where the amount of on-line information vastly outstrips any individual’s capability to survey. Music recommendation...
137
click to vote
ICDT
2010
ACM
15 years 11 months ago
2010
ACM
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
106
Voted
STACS
2009
Springer
15 years 8 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
111
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...