7393 search results - page 1365 / 1479 » Synthesis-for-testability using transformations |
137
click to vote
JOT
2008
15 years 3 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
137
click to vote
JCB
2006
15 years 3 months ago
2006
Tree structures are useful for describing and analyzing biological objects and processes. Consequently, there is a need to design metrics and algorithms to compare trees. A natura...
133
click to vote
JMM2
2006
15 years 3 months ago
2006
Abstract-- In this paper, we present a clustering-based tracking algorithm for tracking people (e.g. hand, head, eyeball, body, and lips). It is always a challenging task to track ...
145
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents an improved technique to detect evoked potentials in continuous EEG recordings using a spiking neural network. Human EEG signals recorded during spell checking,...
109
click to vote
PAMI
2008
15 years 3 months ago
2008
This paper addresses the problem of visual tracking under very general conditions: a possibly nonrigid target whose appearance may drastically change over time, general camera moti...