16257 search results - page 2972 / 3252 » D-finiteness: algorithms and applications |
216
click to vote
ICCV
2005
IEEE
16 years 12 days ago
2005
IEEE
This paper presents a new algorithm for the automatic recognition of object classes from images (categorization). Compact and yet discriminative appearance-based object class mode...
186
click to vote
ICDM
2005
IEEE
16 years 12 days ago
2005
IEEE
Binary classification is a core data mining task. For large datasets or real-time applications, desirable classifiers are accurate, fast, and need no parameter tuning. We presen...
190
click to vote
ISCA
2005
IEEE
16 years 11 days ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...
221
click to vote
ISVLSI
2005
IEEE
16 years 11 days ago
2005
IEEE
high NRE cost. Therefore, general purpose programmable processors using software to perform various functions become more attractive since programmability can simplify system devel...
187
Voted
TPHOL
2005
IEEE
16 years 11 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...