Sciweavers

2025 search results - page 7 / 405
» On the Utility of Inference Mechanisms
Sort
View
IUI
1993
ACM
13 years 12 months ago
Inferring complex plans
We examine the need for plan inference in intelligent help mechanisms. We argue that previous approaches have drawbacks that need to be overcome to make plan inference useful. Fir...
Kristina Höök, Jussi Karlgren, Annika W&...
CMMR
2009
Springer
148views Music» more  CMMR 2009»
14 years 11 days ago
Evaluating the Utility of Auditory Perspective-Taking in Robot Speech Presentations
In speech interactions, people routinely reason about each other’s auditory perspective and adjust their manner of speaking accordingly by raising their voice to overcome noise ...
Derek P. Brock, Brian McClimens, Christina Wasylys...
PR
2011
13 years 2 months ago
A variational Bayesian methodology for hidden Markov models utilizing Student's-t mixtures
The Student’s-t hidden Markov model (SHMM) has been recently proposed as a robust to outliers form of conventional continuous density hidden Markov models, trained by means of t...
Sotirios Chatzis, Dimitrios I. Kosmopoulos
ITP
2010
165views Mathematics» more  ITP 2010»
13 years 11 months ago
A Mechanized Translation from Higher-Order Logic to Set Theory
Abstract. In order to make existing formalizations available for settheoretic developments, we present an automated translation of theories from Isabelle/HOL to Isabelle/ZF. This c...
Alexander Krauss, Andreas Schropp
ATAL
2008
Springer
13 years 9 months ago
Incorporating user utility into sponsored-search auctions
We study principled methods for incorporating user utility into the selection of sponsored search ads. We describe variations of the GSP allocation/pricing mechanism that accommod...
Yagil Engel, David Maxwell Chickering