Sciweavers

6455 search results - page 131 / 1291
» Research problems
Sort
View
JCS
2008
109views more  JCS 2008»
15 years 6 months ago
Secrecy for bounded security protocols with freshness check is NEXPTIME-complete
The secrecy problem for security protocols is the problem to decide whether or not a given security protocol has leaky runs. In this paper, the (initial) secrecy problem for bound...
Ferucio Laurentiu Tiplea, Catalin V. Birjoveanu, C...
SIGMOD
2008
ACM
119views Database» more  SIGMOD 2008»
16 years 6 months ago
Report on the Principles of Provenance Workshop
Provenance, or records of the origin, context, custody, derivation or other historical information about a (digital) object, has recently become an important research topic in a n...
James Cheney, Peter Buneman, Bertram Ludäscher
AIM
1999
15 years 6 months ago
Machine Learning, Machine Vision, and the Brain
The problem of learning is arguably at the very core of the problem of intelligence, both biological and artificial. In this paper we review our work over the last ten years in th...
Tomaso Poggio, Christian R. Shelton
HICSS
2010
IEEE
487views Biometrics» more  HICSS 2010»
16 years 1 months ago
A Survey of Game Theory as Applied to Network Security
Network security is a complex and challenging problem. The area of network defense mechanism design is receiving immense attention from the research community for more than two de...
Sankardas Roy, Charles Ellis, Sajjan Shiva, Dipank...
CIG
2005
IEEE
15 years 12 months ago
Coevolution in Hierarchical AI for Strategy Games
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...
Daniel Livingstone