Sciweavers

2211 search results - page 53 / 443
» Comparing Approaches to Implement Feature Model Composition
Sort
View
ICASSP
2009
IEEE
15 years 1 months ago
Graphical Models: Statistical inference vs. determination
Using discrete Hidden-Markov-Models (HMMs) for recognition requires the quantization of the continuous feature vectors. In handwritten whiteboard note recognition it turns out tha...
Joachim Schenk, Benedikt Hörnler, Artur Braun...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 1 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
AIEDAM
2006
95views more  AIEDAM 2006»
14 years 9 months ago
Constraint solving for direct manipulation of features
In current commercial feature modeling systems, support for direct manipulation of features is not commonly available. This is partly due to the strong reliance of such systems on...
Daniel Lourenço, Pedro Oliveira, Alex Noort...
BMCBI
2005
126views more  BMCBI 2005»
14 years 9 months ago
GANN: Genetic algorithm neural networks for the detection of conserved combinations of features in DNA
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
Robert G. Beiko, Robert L. Charlebois
CVPR
2005
IEEE
15 years 11 months ago
Simultaneous Modeling and Tracking (SMAT) of Feature Sets
A novel method for the simultaneous modeling and tracking (SMAT) of a feature set during motion sequence is proposed. The method requires no prior information. Instead the a poste...
N. D. H. Dowson, Richard Bowden