3318 search results - page 460 / 664 » The Weak Instance Model |
152
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Word discovery is the task of discovering and collecting occurrences of repeating words in the absence of prior acoustic and linguistic knowledge, or training material. The capabi...
245
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
182
Voted
ARCS
2012
Springer
13 years 11 months ago
2012
Springer
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
187
Voted
TCC
2012
Springer
13 years 11 months ago
2012
Springer
We propose a 2-party UC-secure protocol that can compute any function securely. The protocol requires only two messages, communication that is poly-logarithmic in the size of the ...
155
click to vote
JMLR
2012
13 years 6 months ago
2012
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...