9067 search results - page 643 / 1814 » Adaptive Model Checking |
233
Voted
SMI
2010
IEEE
15 years 5 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
214
Voted
JSAC
2011
15 years 2 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
173
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...
195
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
In this work, accurate spectral envelope estimation is applied to Voice Conversion in order to achieve High-Quality timbre conversion. True-Envelope based estimators allow model o...
166
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a novel way of modeling wheeled vehicles on outdoor terrains. Adapting concepts from dextrous manipulation, we precisely model the way that three dimensional wheels ...