Sciweavers

537 search results - page 41 / 108
» Problems from CGCS Luminy, May 2007
Sort
View
ICRA
2007
IEEE
154views Robotics» more  ICRA 2007»
16 years 28 days ago
Oracular Partially Observable Markov Decision Processes: A Very Special Case
— We introduce the Oracular Partially Observable Markov Decision Process (OPOMDP), a type of POMDP in which the world produces no observations; instead there is an “oracle,” ...
Nicholas Armstrong-Crews, Manuela M. Veloso
INFOCOM
2007
IEEE
16 years 28 days ago
pDCS: Security and Privacy Support for Data-Centric Sensor Networks
—The demand for efficient data dissemination/access techniques to find the relevant data from within a sensor network has led to the development of data-centric sensor networks...
Min Shao, Sencun Zhu, Wensheng Zhang, Guohong Cao
EUROCAST
2007
Springer
104views Hardware» more  EUROCAST 2007»
16 years 24 days ago
Entropy-Based Modeling and Simulation of Evolution in Biological Systems
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
Stanislaw Sieniutycz
FOSSACS
2007
Springer
16 years 24 days ago
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
Matthew Hague, C.-H. Luke Ong
SSS
2007
Springer
130views Control Systems» more  SSS 2007»
16 years 22 days ago
Secure Failure Detection in TrustedPals
We present a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC)[?]. TrustedPals allows to reduce SMC to the probl...
Roberto Cortiñas, Felix C. Freiling, Marjan...