Sciweavers

96 search results - page 3 / 20
» Parikh Images of Regular Languages: Complexity and Applicati...
Sort
View
TCSV
2002
88views more  TCSV 2002»
13 years 5 months ago
Variable complexity DCT approximations driven by an HVQ-based analyzer
Transform approximations are explored for speeding up the software compression of images and video. Approximations are used to replace the regular discrete cosine transform (DCT) w...
Ricardo L. de Queiroz
ICASSP
2010
IEEE
13 years 6 months ago
Adaptive anisotropic regularization of deformation fields for non-rigid registration using the morphon framework
Image registration is a crucial task in many applications and applied in a variety of different areas. In addition to the primary task of image alignment, the deformation field i...
Daniel Forsberg, Mats T. Andersson, Hans Knutsson
ECBS
2004
IEEE
93views Hardware» more  ECBS 2004»
13 years 9 months ago
Domain Independent Generative Modeling
Model Integrated Computing employs domainspecific modeling languages for the design of Computer Based Systems and automatically generates their implementation. These system models...
Branislav Kusy, Ákos Lédeczi, Miklos...
CIE
2005
Springer
13 years 11 months ago
Some Reducibilities on Regular Sets
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
Victor L. Selivanov
LICS
2009
IEEE
14 years 11 days ago
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the class...
Jérôme Leroux