4987 search results - page 879 / 998 » Support Ordered Resolution |
154
click to vote
POPL
2012
ACM
14 years 6 hour ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
149
click to vote
CAISE
1999
Springer
15 years 8 months ago
1999
Springer
The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
160
click to vote
EUROCRYPT
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
166
click to vote
SAGA
2007
Springer
15 years 10 months ago
2007
Springer
We consider applications of probabilistic techniques in the framework of algorithmic game theory. We focus on three distinct case studies: (i) The exploitation of the probabilistic...
181
click to vote
TALG
2008
15 years 4 months ago
2008
We present simple, fully dynamic and kinetic data structures, which are variants of a dynamic two-dimensional range tree, for maintaining the closest pair and all nearest neighbors...