9067 search results - page 813 / 1814 » Adaptive Model Checking |
181
click to vote
WER
2004
Springer
16 years 29 days ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
223
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
This paper describes a new student model technology that combines evidences and knowledge about pedagogical and domain structure. Its structure is generated from the metadata avai...
209
click to vote
NAACL
2004
15 years 9 months ago
2004
We consider the problem of modeling the content structure of texts within a specific domain, in terms of the topics the texts address and the order in which these topics appear. W...
200
click to vote
ISCI
2007
15 years 7 months ago
2007
Fuzzy semantic model (FSM) is a data model that uses basic concepts of semantic modeling and supports handling fuzziness, uncertainty and imprecision of real-world at the attribut...
232
click to vote
AGP
2003
IEEE
16 years 28 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...