2263 search results - page 238 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
172
click to vote
CLIN
2004
15 years 8 months ago
2004
This paper presents a machine learning approach to the resolution of coreferential relations between nominal constituents in Dutch. It is the first significant automatic approach ...
163
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Discovering additive structure is an important step towards understanding a complex multi-dimensional function because it allows the function to be expressed as the sum of lower-d...
175
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We discuss the problem of fitting an implicit shape model to a set of points sampled from a co-dimension one manifold of arbitrary topology. The method solves a non-convex optimis...
164
click to vote
ISSTA
1989
ACM
15 years 10 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
202
click to vote
TAP
2010
Springer
15 years 4 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...