Sciweavers

2609 search results - page 259 / 522
» Models for Global Constraint Applications
Sort
View
WSC
1998
15 years 8 months ago
Communicating Structures for Modeling Large-scale Systems
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
Vadim E. Kotov
IDA
2002
Springer
15 years 6 months ago
A framework for modelling virus gene expression data
Short, high-dimensional, Multivariate Time Series (MTS) data are common in many fields such as medicine, finance and science, and any advance in modelling this kind of data would b...
Paul Kellam, Xiaohui Liu, Nigel J. Martin, Christi...
MICCAI
2009
Springer
16 years 7 months ago
Predictive Simulation of Bidirectional Glenn Shunt Using a Hybrid Blood Vessel Model
Abstract. This paper proposes a method for performing predictive simulation of cardiac surgery. It applies a hybrid approach to model the deformation of blood vessels. The hybrid b...
Hao Li, Wee Kheng Leow, Ing-Sh Chiu
FOSSACS
2008
Springer
15 years 8 months ago
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
Dirk Pattinson, Lutz Schröder
IJCV
2006
262views more  IJCV 2006»
15 years 6 months ago
A Variational Model for Object Segmentation Using Boundary Information and Shape Prior Driven by the Mumford-Shah Functional
In this paper, we propose a new variational model to segment an object belonging to a given shape space using the active contour method, a geometric shape prior and the Mumford-Sha...
Xavier Bresson, Pierre Vandergheynst, Jean-Philipp...