Sciweavers

4513 search results - page 671 / 903
» Modeling with a Sense of Purpose
Sort
View
ECAL
2007
Springer
16 years 26 days ago
Hermeneutic Resonance in Animats and Art
One major criticism of direct or active perception (and other forms of embodied action) from the perspective of cognitive psycology is that, according to common sense, there are so...
Alasdair Turner
ESORICS
2007
Springer
16 years 26 days 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 ...
FUN
2007
Springer
98views Algorithms» more  FUN 2007»
16 years 25 days ago
Die Another Day
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
Rudolf Fleischer
IBPRIA
2007
Springer
16 years 25 days ago
Bayesian Oil Spill Segmentation of SAR Images Via Graph Cuts
Abstract. This paper extends and generalizes the Bayesian semisupervised segmentation algorithm [1] for oil spill detection using SAR images. In the base algorithm on which we buil...
Sónia Pelizzari, José M. Bioucas-Dia...
ICALP
2007
Springer
16 years 25 days ago
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
Marcelo Arenas, Pablo Barceló, Leonid Libki...