77016 search results - page 348 / 15404 » Modeling |
126
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: Foundational ontologies provide the basic concepts upon which any domain-specific ontology is built. This paper presents a new foundational ontology, UFO, and shows how it can be...
123
Voted
ICAISC
2004
Springer
15 years 10 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
145
Voted
MLMI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
138
click to vote
WER
2004
Springer
15 years 10 months 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...
128
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well defined and the us...