7055 search results - page 369 / 1411 » Some New 4-Designs |
174
click to vote
AVBPA
2003
Springer
16 years 4 days ago
2003
Springer
We describe a new method for Automatic Gait Recognition based around the use of Fourier descriptors that model the periodic deformation of human gait. Fourier descriptors have been...
197
click to vote
ICCBR
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
137
click to vote
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
We describe a SAT-solver, BerkMin, that inherits such features of GRASP, SATO, and Chaff as clause recording, fast BCP, restarts, and conflict clause “aging”. At the same time...
182
click to vote
ECBS
2002
IEEE
15 years 12 months ago
2002
IEEE
The objective of this research is to develop tools and methods for system-level optimization of embedded software that is executed on system-on-chip platforms. In particular, this...
166
click to vote
IPPS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...