Sciweavers

1306 search results - page 12 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
101
Voted
EAAI
2008
101views more  EAAI 2008»
15 years 13 days ago
A global constraint for total weighted completion time for cumulative resources
The criterion of total weighted completion time occurs as a sub-problem of combinatorial optimization problems in such diverse areas as scheduling, container loading and storage a...
András Kovács, J. Christopher Beck
MICCAI
2010
Springer
14 years 10 months ago
Probabilistic Anatomical Connectivity Using Completion Fields
Abstract. Diffusion magnetic resonance imaging has led to active research in the analysis of anatomical connectivity in the brain. Many approaches have been proposed to model the ...
Parya MomayyezSiahkal, Kaleem Siddiqi
ENTCS
2010
118views more  ENTCS 2010»
14 years 9 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker
ICDT
1990
ACM
110views Database» more  ICDT 1990»
15 years 4 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass
ENTCS
2006
183views more  ENTCS 2006»
15 years 11 days ago
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
László Lengyel, Tihamer Levendovszky...