2066 search results - page 113 / 414 » Word Maturity: Computational Modeling of Word Knowledge |
189
click to vote
SIAMCOMP
1998
15 years 5 months ago
1998
We initiate an investigation of general fault-tolerant distributed computation in the full-information model. In the full information model no restrictions are made on the computat...
162
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
163
click to vote
SIAMIS
2010
15 years 3 months ago
2010
In image processing, the Rudin-Osher-Fatemi (ROF) model [L. Rudin, S. Osher, and E. Fatemi, Physica D, 60(1992), pp. 259–268] based on total variation (TV) minimization has prove...
130
click to vote
BIOSYSTEMS
2008
15 years 5 months ago
2008
We present a computational model that successfully captures the cell behaviors that play important roles in 2-D cell aggregation. A virtual cell in our model is designed as an ind...
154
click to vote
AML
1998
15 years 5 months ago
1998
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...