908 search results - page 40 / 182 » Generating maximal models using the stable model semantics |
180
click to vote
ESOP
1992
Springer
15 years 8 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
144
click to vote
AH
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
143
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a generative statistical approach to human motion modeling and tracking that utilizes probabilistic latent semantic (PLSA) models to describe the mapping of image featu...
117
click to vote
ANLP
2000
15 years 5 months ago
2000
We present three systems for surface natural language generation that are trainable from annotated corpora. The first two systems, called NLG1 and NLG2, require a corpus marked on...
148
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
"Bag of words" models have enjoyed much attention and achieved good performances in recent studies of object categorization. In most of these works, local patches are mo...