513 search results - page 32 / 103 » Generic Methods for Optimization-Based Modeling |
FM
2006
Springer
14 years 8 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
AMFG
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose a simplified and practical computational technique for estimating directional lighting in uncalibrated images of faces in frontal pose. We show that this inverse probl...
CPE
1994
Springer
14 years 22 days ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
DAC
2005
ACM
13 years 10 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
DEXAW
1999
IEEE
14 years 28 days ago
1999
IEEE
A robust method for the localization of frames within document images is presented. It aims at detecting regions delimited by closed polygonal lines or edges in complex color, gra...