3984 search results - page 596 / 797 » A Model-Driven Transformation Method |
124
Voted
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper a novel non-linear subspace method for face verification is proposed. The problem of face verification is considered as a two-class problem (genuine versus imposto...
140
click to vote
ICMCS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a method for the multi-pitch estimation of polyphonic music signals. Instead of on the frame level, the estimation is based on the Partial Event, which is de...
142
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— Efficient Training in a neural network plays a vital role in deciding the network architecture and the accuracy of these classifiers. Most popular local training algorithms t...
129
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— Neurophysiology has revealed the existence of mirror neurons in brain of macaque monkeys and they shows similar activities during executing an observation of goal directed move...
172
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...