Sciweavers

5639 search results - page 379 / 1128
» Timed Abstract Non-interference
Sort
View
WOA
2007
15 years 5 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
WOA
2007
15 years 5 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
119
Voted
BILDMED
2009
104views Algorithms» more  BILDMED 2009»
15 years 5 months ago
MRI Composing for Whole Body Imaging
Abstract. Whole-body magnetic resonance imaging is an emerging application gaining vast clinical interest during the last years. Although recent technological advances shortened th...
Ben Glocker, Christian Wachinger, Jochen Zeltner, ...
ECCV
2010
Springer
15 years 5 months ago
Weakly-Paired Maximum Covariance Analysis for Multimodal Dimensionality Reduction and Transfer Learning
Abstract. We study the problem of multimodal dimensionality reduction assuming that data samples can be missing at training time, and not all data modalities may be present at appl...
Christoph H. Lampert, Oliver Krömer
COLOGNETWENTE
2009
15 years 5 months ago
Improved Strategies for Branching on General Disjunctions
Abstract Within the context of solving Mixed-Integer Linear Programs by a Branch-andCut algorithm, we propose a new strategy for branching. Computational experiments show that, on ...
Gérard Cornuéjols, Leo Liberti, Giac...