Sciweavers

292 search results - page 26 / 59
» Proving Consistency of Pure Methods and Model Fields
Sort
View
ICIP
2002
IEEE
15 years 11 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
14 years 11 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 1 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»
14 years 9 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
53
Voted
ICML
2008
IEEE
15 years 10 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...