Sciweavers

2934 search results - page 476 / 587
» Universality in Multi-Agent Systems
Sort
View
CLEF
2006
Springer
14 years 12 months ago
Experiments for the Cross Language Speech Retrieval Task at CLEF 2006
This paper presents the second participation of the University of Ottawa group in the Cross-Language Speech Retrieval (CL-SR) task at CLEF 2006. We present the results of the submi...
Muath Alzghool, Diana Zaiu Inkpen
CSL
2008
Springer
14 years 11 months ago
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
Abstract. We present decision procedures for logical constraints involving collections such as sets, multisets, and fuzzy sets. Element membership in our collections is given by ch...
Ruzica Piskac, Viktor Kuncak
DAS
2008
Springer
14 years 11 months ago
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
Stephen M. Watt
GROUP
2007
ACM
14 years 11 months ago
From plans to planning: the case of nursing plans
Drawing on a critical perspective stemming from socially informed studies of medicine, we analyze an ongoing effort to establish electronic nursing plans at the university hospita...
Glenn Munkvold, Gunnar Ellingsen, Eric Monteiro
AGI
2008
14 years 11 months ago
Probabilistic Quantifier Logic for General Intelligence: An Indefinite Probabilities Approach
: Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which i...
Matthew Iklé, Ben Goertzel