Sciweavers

5409 search results - page 265 / 1082
» Basic Observables for Processes
Sort
View
GLOBECOM
2006
IEEE
16 years 22 days ago
Distributed Bayesian Fault diagnosis in Collaborative Wireless Sensor Networks
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
Hichem Snoussi, Cédric Richard
ICTAI
2005
IEEE
16 years 8 days ago
Planning with POMDPs Using a Compact, Logic-Based Representation
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
Chenggang Wang, James G. Schmolze
AAAI
2008
15 years 9 months ago
An Extended Interpreted System Model for Epistemic Logics
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
Kaile Su, Abdul Sattar
USS
2008
15 years 9 months ago
In Defense of Pseudorandom Sample Selection
Generation of random numbers is a critical component of existing post-election auditing techniques. Recent work has largely discouraged the use of all pseudorandom number generato...
Joseph A. Calandrino, J. Alex Halderman, Edward W....
ACMDIS
2008
ACM
15 years 8 months ago
Zebra: exploring users' engagement in fieldwork
Participatory Design is a design approach that provides a popular set of techniques for designing interactive systems in collaboration with end-users. Technology probes are one of...
Yann Riche, Matthew Simpson, Stephen Viller