2416 search results - page 259 / 484 » The Language of Cortical Dynamics |
164
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
The isolated word speech recognition system based on dynamic time warping (DTW) has been developed. Speaker adaptation is performed using speaker recognition techniques. Vector qua...
179
click to vote
IJAOSE
2010
15 years 3 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
207
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
290
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
205
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...