2863 search results - page 381 / 573 » Computer modelling and natural phenomena |
196
click to vote
EJC
2010
15 years 1 months ago
2010
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
158
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
164
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This paper presents a novel active surface segmentation algorithm using a multiscale shape representation and prior. We define a parametric model of a surface using spher...
152
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
184
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
In various settings, such as when customers use the same passwords at several independent web sites, security decisions by one organization may have a significant impact on the s...