1712 search results - page 158 / 343 » A Computational Approach to Binding Theory |
154
Voted
ENTCS
2006
15 years 1 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
105
click to vote
COLING
2002
15 years 1 months ago
2002
This paper investigates methods to automatically infer structural information from large XML documents. Using XML as a reference format, we approach the schema generation problem ...
118
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
This paper takes a computational learning theory approach to a problem of linear systems identification. It is assumed that inputs are generated randomly from a known class consist...
ICIP
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper deals with Hidden Markov Quadtree model for multiband image segmentation. This task, requiring multivariate probability density computations for the data likelihood ter...
106
Voted
AIMS
2009
Springer
15 years 8 months ago
2009
Springer
Ontological modelling for machine inference has featured prominently in IT management research recently, but there is more immediate scope for knowledge modelling in the realm of h...