1247 search results - page 43 / 250 » Reasoning about Function Objects |
ECSQARU
2009
Springer
14 years 3 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...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
AMR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We report our work towards building user models of learner’s development based upon evidence of their interactions with an e-learning website composed of multimedia lea...
EMNLP
2008
13 years 10 months ago
2008
The conditional phrase translation probabilities constitute the principal components of phrase-based machine translation systems. These probabilities are estimated using a heurist...
ECOOP
1993
Springer
14 years 18 days ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...