4447 search results - page 520 / 890 » Model Checking Games |
182
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Canonical problems are simplified representations of a class of real world problems. They allow researchers to compare algorithms in a standard setting which captures the most im...
181
click to vote
ACMICEC
2006
ACM
16 years 25 days ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
169
click to vote
DEON
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
202
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Probabilistic matrix factorization (PMF) is a powerful method for modeling data associated with pairwise relationships, finding use in collaborative filtering, computational biolo...
232
Voted
MIDDLEWARE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While Web Services ensure interoperability and extensibility for networked applications, they also complicate the deployment of highly collaborative systems, such as virt...