886 search results - page 61 / 178 » Generalized Bezout Identity |
SIGIR
2010
ACM
13 years 7 months ago
2010
ACM
The state-of-the-art in Named Entity Recognition relies on a combination of local features of the text and global knowledge to determine the types of the recognized entities. This...
IDEAL
2010
Springer
13 years 7 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
CHARME
2005
Springer
14 years 2 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
LCTRTS
2007
Springer
14 years 3 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
EUROCRYPT
2010
Springer
14 years 2 months ago
2010
Springer
We construct the first public-key encryption scheme in the Bounded-Retrieval Model (BRM), providing security against various forms of adversarial “key leakage” attacks. In th...