615 search results - page 35 / 123 » Completeness of Combinations of Constructor Systems |
FORTE
2004
15 years 1 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
ICIP
1999
IEEE
16 years 1 months ago
1999
IEEE
As wavelet-based image coding is set to become more widely used (e.g. with the completion of the JPEG2000 standard), memory efficiency for wavelet-based coding is becoming an incr...
ETS
2007
IEEE
15 years 6 months ago
2007
IEEE
— The growth in System-on-Chip complexity puts pressure on system verification. Due to limitations in the pre-silicon verification process, errors in hardware and software slip...
124
click to vote
FGR
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper presents a complete face authentication system integrating 2D intensity and 3D range data, based on a low-cost, real-time structured light sensor. Novel algorithms are ...
84
Voted
CRYPTO
2006
Springer
15 years 3 months ago
2006
Springer
In the last ten years, multivariate cryptography has emerged as a possible alternative to public key cryptosystems based on hard computational problems from number theory. Notably,...