Sciweavers

1431 search results - page 116 / 287
» Solving Constraints in Model Transformations
Sort
View
JUCS
2010
162views more  JUCS 2010»
14 years 11 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
CONSTRAINTS
2010
101views more  CONSTRAINTS 2010»
15 years 4 months ago
Evaluating the impact of AND/OR search on 0-1 integer linear programming
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
Radu Marinescu 0002, Rina Dechter
GEOINFORMATICA
2002
84views more  GEOINFORMATICA 2002»
15 years 4 months ago
Simultaneous Graphic Generalization of Vector Data Sets
Manual cartographic generalization is a simultaneous process. However, most automatic approaches so far have been sequential; generalization operators are applied one at a time in...
Lars Harrie, Tapani Sarjakoski
AISC
2008
Springer
15 years 6 months ago
Case Studies in Model Manipulation for Scientific Computing
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...
Jacques Carette, Spencer Smith, John McCutchan, Ch...
151
Voted
SUM
2009
Springer
15 years 11 months ago
Modeling Unreliable Observations in Bayesian Networks by Credal Networks
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
Alessandro Antonucci, Alberto Piatti