Sciweavers

5409 search results - page 265 / 1082
» Basic Observables for Processes
Sort
View
GLOBECOM
2006
IEEE
16 years 1 months 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 25 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 9 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