7623 search results - page 362 / 1525 » Constructive Volume Modeling |
158
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
The holy grail of a mathematical model of secure encryption is to devise a model that is both faithful in its description of the real world, and yet admits a construction for an en...
134
click to vote
EPIA
1995
Springer
15 years 10 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
153
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
The Bacterial Foraging Optimization (BFO) algorithm is a biologically inspired computation technique which is based on mimicking the foraging behavior of E.coli bacteria. This pape...
158
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
171
click to vote
EMNLP
2007
15 years 8 months ago
2007
We develop latent Dirichlet allocation with WORDNET (LDAWN), an unsupervised probabilistic topic model that includes word sense as a hidden variable. We develop a probabilistic po...