2162 search results - page 33 / 433 » Automated Reasoning on Feature Models |
118
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed up TBox and ABox reasoning ...
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
Tracking people within a scene has been a longstanding challenge in the field of computer vision. A common approach involves matching the background against the incoming video str...
119
click to vote
DLOG
2009
14 years 11 months ago
2009
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
122
click to vote
DLOG
2000
15 years 3 months ago
2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...
CSL
2004
Springer
15 years 1 months ago
2004
Springer
Recently various techniques to improve the correlation model of feature vector elements in speech recognition systems have been proposed. Such techniques include semi-tied covaria...