4041 search results - page 443 / 809 » time 2009 |
152
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Children need to master reading letter-names and lettersounds before reading phrases and sentences. Pronunciation assessment of letter-names and letter-sounds read aloud is an imp...
189
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
157
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
220
click to vote
CSIE
2009
IEEE
15 years 11 months ago
2009
IEEE
K-means algorithm is one of the most famous unsupervised clustering algorithms. Many theoretical improvements for the performance of original algorithms have been put forward, whi...
211
click to vote
AIPS
2009
15 years 7 months ago
2009
Probabilistic Roadmaps (PRM) are a commonly used class of algorithms for robot navigation tasks where obstacles are present in the environment. We examine the situation where the ...