2819 search results - page 215 / 564 » Automatic Structures |
141
click to vote
JAR
2010
15 years 21 days ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
108
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In the field of neuroanatomy, automatic segmentation of electron microscopy images is becoming one of the main limiting factors in getting new insights into the functional struct...
122
Voted
NIPS
2007
15 years 3 months ago
2007
Dynamic Bayesian networks are structured representations of stochastic processes. Despite their structure, exact inference in DBNs is generally intractable. One approach to approx...
105
click to vote
LREC
2008
15 years 3 months ago
2008
This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotat...
115
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...