1024 search results - page 59 / 205 » Value complete, column complete, predicate complete |
219
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
CP
2006
Springer
15 years 5 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...
111
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We present a detailed study about the role of the short-cuts of a network in promoting the emergence of cooperation in a population of agents playing the Prisoner's Dilemma Ga...
107
click to vote
CLUSTER
2006
IEEE
2006
IEEE
A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems
15 years 1 months ago
When users' tasks in a distributed heterogeneous computing environment (e.g., cluster of heterogeneous computers) are allocated resources, the total demand placed on some sys...
130
click to vote
TMM
2010
14 years 8 months ago
2010
In this paper we report on our experiments on aligning names and faces as found in images and captions of online news websites. Developing accurate technologies for linking names a...