128 search results - page 14 / 26 » Extensible encoding of type hierarchies |
CADE
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
XIMEP
2006
ACM
14 years 1 months ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
CVPR
2009
IEEE
14 years 5 months ago
2009
IEEE
The aim of this paper is to address the problem of recognizing human group activities in surveillance videos. This task has great potentials in practice, however was rarely studie...
IJCAI
2001
13 years 9 months ago
2001
A new, general approach is described for approximate inference in first-order probabilistic languages, using Markov chain Monte Carlo (MCMC) techniques in the space of concrete po...