6431 search results - page 19 / 1287 » Model Building by Resolution |
117
Voted
ZUM
2000
Springer
15 years 5 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...
110
Voted
SDM
2009
SIAM
15 years 11 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 ...
107
Voted
MICCAI
1998
Springer
15 years 6 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...
98
Voted
CADE
2006
Springer
16 years 2 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...
82
Voted
ACL
2009
14 years 11 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...