2162 search results - page 41 / 433 » Automated Reasoning on Feature Models |
127
Voted
DEXAW
1999
IEEE
15 years 7 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
154
Voted
NIPS
2003
15 years 4 months ago
2003
We examine the use of hidden Markov and hidden semi-Markov models for automatically segmenting an electrocardiogram waveform into its constituent waveform features. An undecimated...
134
Voted
DLOG
2009
15 years 1 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...
123
click to vote
EWCBR
1993
Springer
15 years 7 months ago
1993
Springer
Problem solving in weak theory domains should compensate for the lack of strong theories by combining the various other knowledge types involved. Such methods should be able to eff...
118
Voted
TARK
1998
Springer
15 years 7 months ago
1998
Springer
: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...