3630 search results - page 396 / 726 » How to Compare Treebanks |
175
click to vote
PKC
2007
Springer
16 years 27 days ago
2007
Springer
We provide a positive result about the Fiat-Shamir (FS) transform in the standard model, showing how to use it to convert threemove identification protocols into two-tier signatur...
175
click to vote
PREMI
2007
Springer
16 years 27 days ago
2007
Springer
Humans effortlessly classify and recognize complex patterns even if their attributes are imprecise and often inconsistent. It is not clear how the brain processes uncertain visual ...
180
click to vote
SCALESPACE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Partial Differential equations (PDE), wavelets-based methods and neighborhood filters were proposed as locally adaptive machines for noise removal. Recently, Buades, Col...
183
click to vote
SMALLTALK
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
173
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...