9504 search results - page 223 / 1901 » Dynamic Substitution Model |
202
click to vote
IMPERIAL
1993
15 years 11 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
178
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
Abstract— Frequency dependent interconnect analysis is challenging since lumped equivalent circuit models extracted at different frequencies exhibit distinct time and frequency d...
181
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—The high-level synthesis process allows the automatic design and implementation of digital circuits starting from a behavioral description. Evolutionary algorithms are v...
170
click to vote
FLAIRS
2004
15 years 8 months ago
2004
TURING Test technologies are promising ways to validate AI systems which may have no alternative way to indicate validity. Human experts (validators) are often too expensive to in...
231
click to vote
FGR
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we propose a novel homomorphic wavelet filtering based illumination transfer technique to change the dominant lighting of one face image (source face image) to anot...