7623 search results - page 1153 / 1525 » Constructive Volume Modeling |
121
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
115
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
149
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
The past decades have witnessed a rapid growth of Distributed Interactive Multimedia Environments (DIMEs). Despite their intensity of user-involved interaction, the existing evalu...
157
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
This paper addresses the problem of Named Entity Recognition in Query (NERQ), which involves detection of the named entity in a given query and classification of the named entity...
137
click to vote
RECOMB
2010
Springer
15 years 11 months ago
2010
Springer
Given molecular genetic data from diploid individuals that, at present, reproduce mostly or exclusively asexually without recombination, an important problem in evolutionary biolog...