1253 search results - page 13 / 251 » order 2000 |
ICIP
2000
IEEE
14 years 10 months ago
2000
IEEE
We describe a higher-orderspectralanalysis-basedapproach for detecting people by recognizing human motion such as walking or running. The periodic attribute of human motion lends ...
ACMMPC
2000
Springer
14 years 28 days ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
CHES
2000
Springer
14 years 27 days ago
2000
Springer
Under a simple power leakage model based on Hamming weight, a software implementation of a data-whitening routine is shown to be vulnerable to a first-order Differential Power Anal...
CL
2000
Springer
14 years 27 days ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
TYPES
2000
Springer
14 years 4 days ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...