4485 search results - page 273 / 897 » Equivalences on Observable Processes |
164
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
211
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— In this contribution, we propose an efficient collaborative strategy for online change detection, in a distributed sensor network. The collaborative strategy ensures t...
133
click to vote
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
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...
116
click to vote
AAAI
2008
15 years 6 months ago
2008
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...
126
click to vote
USS
2008
15 years 6 months ago
2008
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...