Search Sciweavers | Sciweavers

2162 search results - page 2 / 433

» Automated Reasoning on Feature Models

click to vote

CSL
2007
Springer

158views Automated Reasoning» more CSL 2007»

Articulatory feature recognition using dynamic Bayesian networks

13 years 5 months ago

Download www.cstr.ed.ac.uk

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

claim paper

Read More »

click to vote

FLOPS
2008
Springer

86views Automated Reasoning» more FLOPS 2008»

Model-Based Knowledge Representation and Reasoning Via Answer Set Programming

13 years 6 months ago

Download www.iam.unibe.ch

Torsten Schaub

claim paper

Read More »

click to vote

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

13 years 6 months ago

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

13 years 6 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

click to vote

LOPSTR
2001
Springer

116views Automated Reasoning» more LOPSTR 2001»

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers