Sciweavers

292 search results - page 26 / 59
» Proving Consistency of Pure Methods and Model Fields
Sort
View
ICIP
2002
IEEE
16 years 3 months ago
Multiresolution moment filters
We define multi-scale moments that are estimated locally by analyzing the image through a sliding window at multiple scales. When the analysis window satisfies a two-scale relatio...
Michael Sühling, Michael Unser, Muthuvel Arig...
CPAIOR
2008
Springer
15 years 3 months ago
Connections in Networks: A Hybrid Approach
This paper extends our previous work by exploring the use of a hybrid solution method for solving the connection subgraph problem. We employ a two phase solution method, which dras...
Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabha...
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 5 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
AMC
2007
80views more  AMC 2007»
15 years 1 months ago
A dynamic generating graphical model for point-sets matching
This paper presents a new dynamic generating graphical model for point-sets matching. The existing algorithms on graphical models proved to be quite robust to noise but are suscep...
Xuan Zhao, Shengjin Wang, Xiaoqing Ding
ICML
2008
IEEE
16 years 2 months ago
A distance model for rhythms
Modeling long-term dependencies in time series has proved very difficult to achieve with traditional machine learning methods. This problem occurs when considering music data. In ...
Douglas Eck, Jean-François Paiement, Samy B...