521 search results - page 72 / 105 » Timing Verification Using HDTV |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we introduce the DCT-mod2 facial feature extraction technique which utilizes polynomial coefficients derived from 2-D DCT coefficients of spatially neighbouring bloc...
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
In this paper we address the problem of ensuring the correctness of query results returned by an untrusted private database. The database owns the data and may modify it at any ti...
IMSCCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Slowdown is used to measure the fairness degree of a scheduling algorithm in existing work. However, the fairness degree should be considered within a scheduling algorithm; rather...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we present a method of recognizing inclined, rotated characters. First we construct an eigen sub-space for each category using the covariance matrix which is calcul...