Sciweavers

10285 search results - page 245 / 2057
» Composing Feature Models
Sort
View
IEE
2008
116views more  IEE 2008»
15 years 6 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
BELL
2000
107views more  BELL 2000»
15 years 6 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
IJON
2002
85views more  IJON 2002»
15 years 6 months ago
Learning statistically efficient features for speaker recognition
We apply independent component analysis (ICA) for extracting an optimal basis to the problem of finding efficient features for a speaker. The basis functions learned by the algori...
Gil-Jin Jang, Te-Won Lee, Yung-Hwan Oh
PAMI
2002
98views more  PAMI 2002»
15 years 6 months ago
Extraction of Visual Features for Lipreading
The multimodal nature of speech is often ignored in human-computer interaction, but lip deformations and other body motion, such as those of the head, convey additional information...
Iain Matthews, Timothy F. Cootes, J. Andrew Bangha...
RAS
2010
164views more  RAS 2010»
15 years 5 months ago
Bridging the gap between feature- and grid-based SLAM
One important design decision for the development of autonomously navigating mobile robots is the choice of the representation of the environment. This includes the question which...
Kai M. Wurm, Cyrill Stachniss, Giorgio Grisetti