2162 search results - page 106 / 433 » Automated Reasoning on Feature Models |
109
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
120
click to vote
CSL
2002
Springer
15 years 3 months ago
2002
Springer
The most popular model used in automatic speech recognition is the hidden Markov model (HMM). Though good performance has been obtained with such models there are well known limit...
134
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
125
click to vote
DLOG
2010
15 years 1 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
118
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...