4609 search results - page 588 / 922 » Automatic Generation of Sigma-Protocols |
149
click to vote
AVBPA
2003
Springer
15 years 12 months ago
2003
Springer
A feature extraction method using the chaincode representation of fingerprint ridge contours is presented for use by Automatic Fingerprint Identification Systems. The representa...
169
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
149
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We examine the maintenance of data consistency in the presence of application-database interactions. Currently, a programmer must insert explicit checks to ensure that da...
189
click to vote
ESTIMEDIA
2003
Springer
15 years 12 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
196
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...