1024 search results - page 123 / 205 » Value complete, column complete, predicate complete |
150
click to vote
CTRSA
2011
Springer
14 years 5 months ago
2011
Springer
Non-malleability of a cryptographic primitive is a fundamental security property which ensures some sort of independence of cryptographic values. The notion has been extensively st...
116
Voted
EUROGRAPHICS
2010
Eurographics
15 years 10 months ago
2010
Eurographics
We present a new technique to implement operators that modify the topology of polygonal meshes at intersections and self-intersections. Depending on the modification strategy, th...
119
Voted
TPHOL
2007
IEEE
15 years 8 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
119
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
129
click to vote
ISRR
2005
Springer
15 years 7 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...