Sciweavers

537 search results - page 41 / 108
» Problems from CGCS Luminy, May 2007
Sort
View
ICRA
2007
IEEE
154views Robotics» more  ICRA 2007»
15 years 5 months 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
15 years 5 months 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»
15 years 5 months 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
15 years 5 months 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»
15 years 5 months 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...