Sciweavers

15782 search results - page 2861 / 3157
» Network Optimization and Control
Sort
View
ECAL
2007
Springer
16 years 1 months ago
New Models for Old Questions: Evolutionary Robotics and the 'A Not B' Error
Abstract. In psychology the ‘A not B’ error, whereby infants perseverate in reaching to the location where a toy was previously hidden after it has been moved to a new location...
Rachel Wood, Ezequiel A. Di Paolo
ECAL
2007
Springer
16 years 1 months ago
Neural Uncertainty and Sensorimotor Robustness
Real organisms live in a world full of uncertain situations and have evolved cognitive mechanisms to cope with problems based on actions and perceptions which are not always reliab...
Jose A. Fernandez-Leon, Ezequiel A. Di Paolo
EPEW
2007
Springer
16 years 1 months ago
Towards an Automatic Modeling Tool for Observed System Behavior
Current computer systems and communication networks tend to be highly complex, and they typically hide their internal structure from their users. Thus, for selected aspects of capa...
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, B...
ESORICS
2007
Springer
16 years 1 months ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...
FCT
2007
Springer
16 years 1 months ago
Rewriting Systems with Data
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Miha...
« Prev « First page 2861 / 3157 Last » Next »