696 search results - page 36 / 140 » Explaining abstract counterexamples |
132
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. We explain the raison d’ˆetre and basic ideas of our gametheoretic approach to normative multiagent systems, sketching the central elements with pointers to other publ...
119
Voted
ISIM
2007
15 years 4 months ago
2007
Abstract. In this paper we presentperformancemeasurementsin a cluster environment. First, we briefly explain our version of optimistic concurrency control and load balance.Then we ...
126
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
133
Voted
CSCLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
120
Voted
TMI
2008
15 years 2 months ago
2008
Abstract-- This paper provides a comprehensive and quantitative review of spatial transformations models for nonrigid image registration. It explains the theoretical foundation of ...