10462 search results - page 1726 / 2093 » Toward the |
170
click to vote
JNS
2008
15 years 6 months ago
2008
The bifurcation theory and numerics of periodic orbits of general dynamical systems is well developed, and in recent years there has been rapid progress in the development of a bi...
219
Voted
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
154
click to vote
CSL
2007
Springer
15 years 6 months ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
212
click to vote
CSL
2007
Springer
2007
Springer
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
15 years 6 months ago
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...
201
click to vote
CVIU
2007
15 years 6 months ago
2007
In this paper, we present an approach toward pedestrian detection and tracking from infrared imagery using joint shape and appearance cues. A layered representation is first intr...