Sciweavers

2162 search results - page 2 / 433
» Automated Reasoning on Feature Models
Sort
View
152
Voted
CSL
2007
Springer
15 years 1 months ago
Articulatory feature recognition using dynamic Bayesian networks
This paper describes the use of dynamic Bayesian networks for the task of articulatory feature recognition. We show that by modeling the dependencies between a set of 6 multi-leve...
Joe Frankel, Mirjam Wester, Simon King
103
Voted
DLOG
2004
15 years 3 months ago
Towards Implementing Finite Model Reasoning in Description Logics
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
87
Voted
DLOG
1996
15 years 3 months ago
Finite Model Reasoning in Description Logics
Diego Calvanese