4617 search results - page 635 / 924 » Automation of Diagrammatic Reasoning |
174
Voted
CSL
2009
Springer
16 years 2 months ago
2009
Springer
We develop a polarised variant of Curien and Herbelin’s ¯λµ˜µ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised ...
186
Voted
ECSQARU
2009
Springer
16 years 2 months ago
2009
Springer
We describe a procedure for inducing conditional densities within the mixtures of truncated exponentials (MTE) framework. We analyse possible conditional MTE specifications and pr...
200
Voted
ECSQARU
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In this paper, belief functions, defined on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...
197
Voted
LOPSTR
2009
Springer
16 years 2 months ago
2009
Springer
We propose a new grouping operator for logic programs based on the group_by operator of SQL. The novelty of our proposal lies in the use of modes, which allows us to relax some rat...
209
Voted
LOPSTR
2009
Springer
16 years 2 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...