4485 search results - page 764 / 897 » Equivalences on Observable Processes |
108
Voted
ENTCS
2007
15 years 3 months ago
2007
We present a powerful and flexible method for automatically checking the secrecy of values inside components. In our framework an attacker may monitor the external communication ...
131
Voted
NN
2008
Springer
15 years 3 months ago
2008
Springer
The problem of controlling locomotion is an area in which neuroscience and robotics can fruitfully interact. In this article, I will review research carried out on locomotor centr...
121
click to vote
PAMI
2008
15 years 3 months ago
2008
Face recognition algorithms perform very unreliably when the pose of the probe face is different from the gallery face: typical feature vectors vary more with pose than with identi...
135
Voted
PR
2008
15 years 3 months ago
2008
This paper reports a document retrieval technique that retrieves machine-printed Latin-based document images through word shape coding. Adopting the idea of image annotation, a wo...
129
Voted
NN
2006
Springer
15 years 3 months ago
2006
Springer
Previous studies have shown that non-human primates can generate highly stochastic choice behaviour, especially when this is required during a competitive interaction with another...