103 search results - page 16 / 21 » Extensionality Versus Constructivity |
DAC
2009
ACM
15 years 2 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
FPL
2006
Springer
15 years 1 months ago
2006
Springer
A Field Programmable Gate Array (FPGA), when used as a platform for implementing special-purpose computing architectures, offers the potential for increased functional parallelism...
103
Voted
ECCV
2010
Springer
15 years 27 days ago
2010
Springer
We introduce a new descriptor for images which allows the construction of efficient and compact classifiers with good accuracy on object category recognition. The descriptor is the...
LREC
2010
14 years 11 months ago
2010
This paper presents the Demo / Kemo corpus of Dutch and Korean emotional speech. The corpus has been specifically developed for the purpose of cross-linguistic comparison, and is ...
108
click to vote
RIAO
2007
14 years 11 months ago
2007
Search engines, generally, return results without any regard for the concepts in which the user is interested. In this paper, we present our approach to personalizing search engin...