Sciweavers

2490 search results - page 267 / 498
» The Generalized Theory of Model Preference
Sort
View
ATAL
2007
Springer
16 years 24 days ago
Online auctions for bidders with interdependent values
Interdependent values (IDV) is a valuation model allowing bidders in an auction to express their value for the item(s) to sell as a function of the other bidders’ information. W...
Florin Constantin, Takayuki Ito, David C. Parkes
LICS
2006
IEEE
16 years 19 days ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
SIGECOM
2006
ACM
115views ECommerce» more  SIGECOM 2006»
16 years 17 days ago
Multi-attribute coalitional games
We study coalitional games where the value of cooperation among the agents are solely determined by the attributes the agents possess, with no assumption as to how these attribute...
Samuel Ieong, Yoav Shoham
FCT
2005
Springer
16 years 4 days ago
Deterministic Automata on Unranked Trees
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
Julien Cristau, Christof Löding, Wolfgang Tho...
VSTTE
2005
Springer
16 years 3 days ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller