Sciweavers

5350 search results - page 315 / 1070
» Space and time in eco-ontologies
Sort
View
ICMCS
2006
IEEE
119views Multimedia» more  ICMCS 2006»
16 years 25 days ago
A New Deblocking Algorithm Based on Adjusted Contourlet Transform
A new postprocessing method based on adjusted contourlet transform is introduced in this paper for suppressing blocking artifacts (BA) in block-based discrete cosine transform (BD...
Haohao Song, Songyu Yu, Chen Wang, Li Song, Hongka...
DSD
2005
IEEE
116views Hardware» more  DSD 2005»
16 years 12 days ago
Validation of Embedded Systems Using Formal Method Aided Simulation
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
Daniel Karlsson, Petru Eles, Zebo Peng
OTM
2005
Springer
16 years 8 days ago
A Detailed Investigation of Memory Requirements for Publish/Subscribe Filtering Algorithms
Various filtering algorithms for publish/subscribe systems have been proposed. One distinguishing characteristic is their internal representation of Boolean subscriptions: They ei...
Sven Bittner, Annika Hinze
DIS
2004
Springer
16 years 5 days ago
Finding Optimal Pairs of Cooperative and Competing Patterns with Bounded Distance
We consider the problem of discovering the optimal pair of substring patterns with bounded distance α, from a given set S of strings. We study two kinds of pattern classes, one is...
Shunsuke Inenaga, Hideo Bannai, Heikki Hyyrö,...
CAISE
2003
Springer
16 years 11 hour ago
An Adaptive Document Version Management Scheme
This paper addresses the design and implementation of an adaptive document version management scheme. Existing schemes typically assume: (i) a priori expectations for how versions ...
Boualem Benatallah, Mehregan Mahdavi, Phuong Nguye...