11808 search results - page 1961 / 2362 » Isometries and Computability Structures |
204
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
Cellular networks are a critical component of the economic and social infrastructures in which we live. In addition to voice services, these networks deliver alphanumeric text mes...
203
click to vote
CCS
2005
ACM
16 years 12 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
174
click to vote
CIKM
2005
Springer
16 years 12 days ago
2005
Springer
We study suitable indexing techniques to support efficient exact match search in large biological sequence databases. We propose a suffix tree (ST) representation, called STA-DF, ...
210
click to vote
CIS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we present a novel multi-stage algorithm for 3D medical image segmentation that is inspired by an improved Fast Marching method and a morphological reconst...
187
click to vote
CSL
2005
Springer
16 years 11 days ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...