29046 search results - page 188 / 5810 » Computable Models |
115
click to vote
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
The problem of Writer Verification is to make a decision of whether or not two handwritten documents are written by the same person. Providing a strength of evidence for any such ...
123
click to vote
ISWC
2002
IEEE
15 years 8 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
126
click to vote
COMPGEOM
2007
ACM
15 years 7 months ago
2007
ACM
The Bentley-Ottmann (BO) algorithm, initially designed to report the intersection points of line-segments in the plane, is the prototypical sweep-line algorithm. This video presen...
124
click to vote
TCC
2005
Springer
15 years 9 months ago
2005
Springer
For computationally bounded adversarial models of error, we construct appealingly simple, efficient, cryptographic encoding and unique decoding schemes whose error-correction capab...
100
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this work we start walking the path to a new perspective for viewing cyberwarfare scenarios, by introducing conceptual tools (a formal model) to evaluate the costs of an attack...