Sciweavers

10790 search results - page 1675 / 2158
» Using feature models to automate model transformations
Sort
View
FMICS
2008
Springer
15 years 8 months ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
AIPS
2003
15 years 8 months ago
A Framework for Planning in Continuous-time Stochastic Domains
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
Håkan L. S. Younes, David J. Musliner, Reid ...
RA
2003
130views Robotics» more  RA 2003»
15 years 8 months ago
A Parallel Solution Scheme of Inverse Dynamics for Flexible Manipulators
In this paper, we describe a parallel solution scheme of inverse dynamics, and its application to flexible manipulators where elastic deformation and vibration normally occur in c...
Daigoro Isobe, Daisaku Imaizumi
TASLP
2008
98views more  TASLP 2008»
15 years 6 months ago
An Integrative and Discriminative Technique for Spoken Utterance Classification
Abstract-- Traditional methods of spoken utterance classification (SUC) adopt two independently trained phases. In the first phase, an automatic speech recognition (ASR) module ret...
Sibel Yaman, Li Deng, Dong Yu, Ye-Yi Wang, Alex Ac...
TITB
2008
152views more  TITB 2008»
15 years 6 months ago
Region of Interest and Multiresolution for Volume Rendering
Medical image interpretation is facing an important challenge resulting from the continuously increasing amount of imaging data. Innovations in medical image visualization are nece...
Sébastien Piccand, Rita Noumeir, Eric Paque...
« Prev « First page 1675 / 2158 Last » Next »