1431 search results - page 190 / 287 » Solving Constraints in Model Transformations |
126
Voted
DLOG
2007
15 years 3 months ago
2007
Distributed Description Logics (DDLs) is a KR formalism that enables reasoning with multiple ontologies interconnected by directional semantic mapping (bridge rules). DDLs capture ...
86
Voted
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The landscape formalism unites a finite candidate solution set to a neighborhood topology and an objective function. This construct can be used to model the behavior of local sea...
77
Voted
AUTOMATICA
2007
15 years 23 days ago
2007
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...
205
Voted
CVIU
1999
15 years 9 days ago
1999
An important problem in computer vision is to determine how features extracted from images are connected to an existing model. In this paper, we focus on solving the registration ...
136
click to vote
NMA
2010
14 years 10 months ago
2010
One of the most important applications of the Asymmetric Hamiltonian Path Problem is in scheduling. In this paper we describe a variant of this problem, and develop both a mathemat...