Sciweavers

5247 search results - page 880 / 1050
» Frequency Optimized Computation Methods
Sort
View
120
Voted
ADBIS
2010
Springer
140views Database» more  ADBIS 2010»
15 years 2 months ago
Estimation of the Maximum Domination Value in Multi-dimensional Data Sets
Abstract. The last years there is an increasing interest for query processing techniques that take into consideration the dominance relationship between objects to select the most ...
Eleftherios Tiakas, Apostolos N. Papadopoulos, Yan...
112
Voted
AUTOMATICA
2007
179views more  AUTOMATICA 2007»
15 years 2 months ago
Approximate bisimulation relations for constrained linear systems
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
Antoine Girard, George J. Pappas
120
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 13 days ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
136
Voted
SIAMIS
2010
167views more  SIAMIS 2010»
14 years 9 months ago
Global Solutions of Variational Models with Convex Regularization
Abstract. We propose an algorithmic framework for computing global solutions of variational models with convex regularity terms that permit quite arbitrary data terms. While the mi...
Thomas Pock, Daniel Cremers, Horst Bischof, Antoni...

Publication
592views
16 years 11 months ago
Coupling Graph Cuts and Level Sets
"This paper presents an efficient algorithm for solving one sort of region-based active contour models, i.e. the active contours without edges model. We develop the link betwe...
Xiang Zeng, Wei Chen, and Qunsheng Peng