2162 search results - page 163 / 433 » Automated Reasoning on Feature Models |
120
click to vote
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
124
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
138
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
100
click to vote
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
— Annotation of multimedia content with metadata is regarded as a key issue for efficiently handling such content. MPEG-7 is a major standard that has been developed for this rea...
162
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...