2909 search results - page 521 / 582 » Consistency of the theory of contexts |
162
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
A combinatorial auction mechanism consists of an allocation rule that defines the allocation of goods for each agent, and a payment rule that defines the payment of each winner....
173
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Hybrid Scheduling Problems (HSPs) combine temporal and finite-domain variables via hybrid constraints that dictate that specific bounds on temporal constraints rely on assignments...
166
click to vote
IVA
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The challenge of making a virtual world believable includes a requirement for AI entities which autonomously react to a dynamic environment. After the breakthroughs in be...
154
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
177
click to vote
MM
2009
ACM
16 years 21 days ago
2009
ACM
In this paper, we exploit the problem of inferring images’ semantic concepts from community-contributed images and their associated noisy tags. To infer the concepts more accura...