15416 search results - page 2700 / 3084 » Embeddings of Computable Structures |
206
click to vote
CAISE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. To cope with the ever increasing diversity of markup languages, programming languages, tool kits and interface development environments, conceptual modeling of user inter...
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, ...
211
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...