5158 search results - page 248 / 1032 » Generalization of the Dempster-Shafer Theory |
191
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
177
click to vote
MMSEC
2006
ACM
16 years 17 days ago
2006
ACM
In the watermark detection scenario, also known as zero-bit watermarking, a watermark, carrying no hidden message, is inserted in content. The watermark detector checks for the pr...
179
click to vote
SIGSOFT
2006
ACM
16 years 17 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
176
click to vote
ACMACE
2005
ACM
16 years 5 days ago
2005
ACM
Building upon research on motivation theory, we provide insights on how video games can be framed as expert tools that naturally reconcile learning and fun, a worthy goal since st...
201
click to vote
GROUP
2005
ACM
16 years 5 days ago
2005
ACM
Traditional activities change in surprising ways when computermediated communication becomes a component of the activity system. In this descriptive study, we leverage two perspec...