6431 search results - page 19 / 1287 » Model Building by Resolution |
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
We present a computation model for Z, which is based on a reduction to a small calculus, called Z, and on concurrent constraint resolution techniques applied for computing in thi...
SDM
2009
SIAM
15 years 6 months ago
2009
SIAM
Recently, many advanced machine learning approaches have been proposed for coreference resolution; however, all of the discriminatively-trained models reason over mentions rather ...
MICCAI
1998
Springer
15 years 1 months ago
1998
Springer
The goals of this work were to (i) establish a method for building subject-specific biomechanical models from medical image data, (ii) construct a subject-specific model of the elb...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We present a proof procedure that is complete for first-order logic, but which can also be used when searching for finite models. The procedure uses a normal form which is based on...
ACL
2009
14 years 7 months ago
2009
This paper explores how to apply the notion of caching introduced by Walker (1996) to the task of zero-anaphora resolution. We propose a machine learning-based implementation of a...