Sciweavers

5964 search results - page 291 / 1193
» A theory of speculative computation
Sort
View
ATAL
2010
Springer
15 years 8 months ago
Combining statistics and arguments to compute trust
We propose a method for constructing Dempster-Shafer belief functions modeling the trust of a given agent (the evaluator) in another (the target) by combining statistical informat...
Paul-Amaury Matt, Maxime Morge, Francesca Toni
LMCS
2006
79views more  LMCS 2006»
15 years 7 months ago
Computably Based Locally Compact Spaces
tract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same...
Paul Taylor 0002
IJMMS
2000
70views more  IJMMS 2000»
15 years 7 months ago
Computer generation of process explanations in nuclear astrophysics
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...
Sakir Kocabas, Pat Langley
PSYCHNOLOGY
2010
116views more  PSYCHNOLOGY 2010»
15 years 5 months ago
Social and Spatial Presence: An Application to Optimize Human-Computer Interaction
This study provides a framework for researchers who study human-computer interaction to develop and evaluate user-centric user-interfaces by applying existing theories about telep...
Karl Horvath, Matthew Lombard
HCI
2009
15 years 5 months ago
Computer-Assisted Lip Reading Recognition for Hearing Impaired
Within the communication process of human beings, the speaker's facial expression and lip-shape movement contains extremely rich language information. The hearing impaired, a...
Yun-Long Lay, Hui-Jen Yang, Chern-Sheng Lin