Sciweavers

3984 search results - page 90 / 797
» A Model-Driven Transformation Method
Sort
View
CONCUR
2009
Springer
15 years 10 months ago
Winning Regions of Pushdown Parity Games: A Saturation Method
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
Matthew Hague, C.-H. Luke Ong
144
Voted
ASWEC
2005
IEEE
15 years 9 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
115
Voted
ICASSP
2009
IEEE
15 years 7 months ago
A fast feature extraction method
A fast subspace analysis and feature extraction algorithm is proposed which is based on fast Haar transform and integral vector. In rapid object detection and conventional binary ...
Jing Pan, Yanwei Pang, Xuelong Li, Yuan Yuan, Dach...
81
Voted
CORR
2006
Springer
73views Education» more  CORR 2006»
15 years 3 months ago
A Fast and Accurate Nonlinear Spectral Method for Image Recognition and Registration
This article addresses the problem of two- and higher dimensional pattern matching, i.e. the identification of instances of a template within a larger signal space, which is a for...
Luciano da Fontoura Costa, Erik Bollt
133
Voted
ICISP
2010
Springer
15 years 2 months ago
An Adaptive Multiresolution-Based Multispectral Image Compression Method
This paper deals with the problem of multispectral image compression. In particular, we propose to substitute the built-in JPEG 2000 wavelet transform by an adequate multiresoluti...
Jonathan Delcourt, Alamin Mansouri, Tadeusz Sliwa,...