Sciweavers

778 search results - page 62 / 156
» Text Adaptation Using Formal Concept Analysis
Sort
View
ICIP
2008
IEEE
15 years 9 months ago
Adaptive total variation deringing method for image interpolation
This paper presents a new adaptive post-processing algorithm for ringing artifact reduction after image interpolation (upsampling). The algorithm is based on the concept of total ...
Andrey S. Krylov, Andrey V. Nasonov
FMCAD
2006
Springer
15 years 6 months ago
Post-reboot Equivalence and Compositional Verification of Hardware
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
Zurab Khasidashvili, Marcelo Skaba, Daher Kaiss, Z...
WWW
2006
ACM
16 years 3 months ago
Web ontology segmentation: analysis, classification and use
Ontologies are at the heart of the semantic web. They define the concepts and relationships that make global interoperability possible. However, as these ontologies grow in size t...
Julian Seidenberg, Alan L. Rector
FORMATS
2003
Springer
15 years 8 months ago
Analysis of Real Time Operating System Based Applications
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
Libor Waszniowski, Zdenek Hanzálek
APN
2005
Springer
15 years 8 months ago
Modeling Dynamic Architectures Using Nets-Within-Nets
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...