Sciweavers

665 search results - page 92 / 133
» The Theory of Hybrid Automata
Sort
View
ICIP
2008
IEEE
14 years 9 months ago
A perceptual metric for blind measurement of blocking artifacts with applications in transform-block-based image and video codin
In this paper, we analyze the formation of blocking artifacts as a result of quantization of the discrete cosine transform (DCT) coefficients. These artifacts are known to be the ...
Koohyar Minoo, Truong Q. Nguyen
ICAISC
2004
Springer
14 years 1 months ago
Application of Rough Sets and Neural Networks to Forecasting University Facility and Administrative Cost Recovery
This paper presents a novel approach to financial time series analysis and prediction. It is mainly devoted to the problem of forecasting university facility and administrative co...
Tomasz G. Smolinski, Darrel L. Chenoweth, Jacek M....
TSP
2010
13 years 2 months ago
Sampling from a system-theoretic viewpoint part I: concepts and tools
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
Gjerrit Meinsma, Leonid Mirkin
STOC
2010
ACM
216views Algorithms» more  STOC 2010»
14 years 5 months ago
The HOM problem is decidable
We close affirmatively a question which has been open for long time: decidability of the HOM problem. The HOM problem consists in determining, given a tree homomorphism D and a re...
Guillem Godoy, Omer Giménez, Lander Ramos and Car...
LATA
2010
Springer
14 years 5 months ago
Untestable Properties Expressible with Four First-Order Quantifiers
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
Charles Jordan and Thomas Zeugmann