927 search results - page 36 / 186 » A Data Abstraction Alternative to Data Structure Algorithm M... |
111
click to vote
ICTAC
2010
Springer
14 years 10 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
99
Voted
VIP
2001
15 years 1 months ago
2001
A new graph algorithm for multiscale segmentation of threedimensional medical data sets is presented. It is a threedimensional generalisation of an existing two-dimensional Mumfor...
106
click to vote
SIS
2004
15 years 1 months ago
2004
Abstract. Sometimes there is a need to store sensitive data on an untrusted database server. Song, Wagner and Perrig have introduced a way to search for the existence of a word in ...
114
click to vote
JAR
2006
15 years 15 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
116
Voted
ICDM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--We propose a framework for discovery of collaborative community structure in Wiki-based knowledge repositories based on raw-content generation analysis. We leverage topic...