4099 search results - page 741 / 820 » A Framework for Interactive Proof |
KES
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes the experience of introducing a service for semantic bookmarking and search in the Earth Observation (EO) domain. To perform the work reported such a service h...
KES
2008
Springer
14 years 9 months ago
2008
Springer
This paper introduces the Perplexus hardware platform, a scalable computing substrate made of custom reconfigurable devices endowed with bio-inspired capabilities. This platform w...
ENTCS
2007
14 years 9 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 ...
LRE
2006
14 years 9 months ago
2006
When building a new spoken dialogue application, large amounts of domain specific data are required. This paper addresses the issue of generating in-domain training data when litt...
107
click to vote
NAR
2006
14 years 9 months ago
2006
The MPI Bioinformatics Toolkit is an interactive web service which offers access to a great variety of public and in-house bioinformatics tools. They are grouped into different se...