9067 search results - page 497 / 1814 » Adaptive Model Checking |
220
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper investigates the impact of subspace based techniques for acoustic modeling in automatic speech recognition (ASR). There are many well known approaches to subspace based...
181
click to vote
CVPR
2003
IEEE
16 years 9 months ago
2003
IEEE
Geometric deformable models based on the level set method have become very popular in the last several years. To overcome an inherent limitation in accuracy while maintaining comp...
187
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Menus are a primary control in current interfaces, but there has been relatively little theoretical work to model their performance. We propose a model of menu performance that go...
183
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
This paper compares three common evolutionary algorithms and our modified GA, a Distributed Adaptive Genetic Algorithm (DAGA). The optimal approach is sought to adapt, in near rea...
165
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...