3172 search results - page 36 / 635 » On the Random-Self-Reducibility of Complete Sets |
CVPR
2005
IEEE
15 years 1 months ago
2005
IEEE
Both example-based and model-based approaches for classifying contour shapes can encounter difficulties when dealing with classes that have large nonlinear variability, especially...
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper describes the human computer interface of a new emergency medical services application, which uses several emerging technologies to clarify the inherent complexity and ...
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
ISCA
2005
IEEE
14 years 4 months 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...
TPHOL
2005
IEEE
14 years 4 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...