Sciweavers

1847 search results - page 72 / 370
» Hybrid Functional Interpretations
Sort
View
ICTAI
2010
IEEE
14 years 9 months ago
Discountings of a Belief Function Using a Confusion Matrix
In this paper, we present an analysis of different approaches relative to the correction of belief functions based on the results given by a confusion matrix. Three different mecha...
Zied Elouedi, Eric Lefevre, David Mercier
ICRA
2008
IEEE
119views Robotics» more  ICRA 2008»
15 years 6 months ago
Maximum likelihood estimation of sensor and action model functions on a mobile robot
— In order for a mobile robot to accurately interpret its sensations and predict the effects of its actions, it must have accurate models of its sensors and actuators. These mode...
Daniel Stronger, Peter Stone
LICS
2005
IEEE
15 years 5 months ago
A Functional Quantum Programming Language
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
Thorsten Altenkirch, Jonathan Grattage
NIPS
2003
15 years 1 months ago
Margin Maximizing Loss Functions
Margin maximizing properties play an important role in the analysis of classi£cation models, such as boosting and support vector machines. Margin maximization is theoretically in...
Saharon Rosset, Ji Zhu, Trevor Hastie
AML
2006
87views more  AML 2006»
14 years 12 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer