3053 search results - page 457 / 611 » Structured Objects: Modeling and Reasoning |
105
Voted
AI
2005
Springer
15 years 1 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
122
click to vote
TCS
2008
15 years 1 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
126
click to vote
JAIR
2010
15 years 9 days ago
2010
We develop multiattribute auctions that accommodate generalized additive independent (GAI) preferences. We propose an iterative auction mechanism that maintains prices on potentia...
112
click to vote
SIGMOD
2011
ACM
14 years 4 months ago
2011
ACM
We study the problem of context-sensitive ranking for document retrieval, where a context is defined as a sub-collection of documents, and is specified by queries provided by do...
203
click to vote
ETVC
2008
15 years 3 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...