Sciweavers

1617 search results - page 154 / 324
» Knowledge Condition Games
Sort
View
111
Voted
APIN
2004
89views more  APIN 2004»
15 years 18 days ago
A Prototypical System for Soft Evidential Update
Autonomous agents that communicate using probabilistic information and use Bayesian networks for knowledge representation need an update mechanism that goes beyond conditioning on ...
Young-Gyun Kim, Marco Valtorta, Jirí Vomlel
80
Voted
FOSSACS
2009
Springer
15 years 7 months ago
Full Abstraction for Reduced ML
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...
Andrzej S. Murawski, Nikos Tzevelekos
81
Voted
UIST
2009
ACM
15 years 7 months ago
Optically sensing tongue gestures for computer input
Many patients with paralyzing injuries or medical conditions retain the use of their cranial nerves, which control the eyes, jaw, and tongue. While researchers have explored eye-t...
T. Scott Saponas, Daniel Kelly, Babak A. Parviz, D...
ICIP
2005
IEEE
15 years 6 months ago
Robust highlight extraction using multi-stream hidden Markov models for baseball video
This paper proposes a robust statistical framework to extract highlights from a baseball broadcast video. We applied multistream Hidden Markov Models (HMMs) to control the weights...
Nguyen Huu Bach, Koichi Shinoda, Sadaoki Furui
ICALP
2004
Springer
15 years 6 months ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...