Sciweavers

285 search results - page 5 / 57
» Relating two formal models of path-vector routing
Sort
View
ICCS
2007
Springer
14 years 11 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
67
Voted
IJIS
2000
75views more  IJIS 2000»
14 years 9 months ago
Relating decision under uncertainty and multicriteria decision making models
This short overview paper points out the striking similarity between decision under uncertainty and multicriteria decision making problems, two areas which have been developed in ...
Didier Dubois, Michel Grabisch, François Mo...
ACL
2006
14 years 10 months ago
Ontologizing Semantic Relations
Many algorithms have been developed to harvest lexical semantic resources, however few have linked the mined knowledge into formal knowledge repositories. In this paper, we propos...
Marco Pennacchiotti, Patrick Pantel
CIBSE
2009
ACM
15 years 4 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
CAISE
2007
Springer
15 years 3 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi