2909 search results - page 539 / 582 » Consistency of the theory of contexts |
195
click to vote
ALGORITHMICA
2011
14 years 9 months ago
2011
Algorithms for determining quality/cost/price tradeoffs in saturated markets are consid-3 ered. A product is modeled by d real-valued qualities whose sum determines the unit cost ...
154
click to vote
JOCN
2011
14 years 9 months ago
2011
■ Humans commonly understand the unobservable mental states of others by observing their actions. Embodied simulation theories suggest that this ability may be based in areas of...
209
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
Central to a data cleaning system are record matching and data repairing. Matching aims to identify tuples that refer to the same real-world object, and repairing is to make a dat...
175
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
219
click to vote
PODC
2012
ACM
13 years 8 months ago
2012
ACM
The goal of Byzantine Broadcast (BB) is to allow a set of fault-free nodes to agree on information that a source node wants to broadcast to them, in the presence of Byzantine faul...