Sciweavers

2989 search results - page 24 / 598
» Using Domain-Independent Problems for Introducing Formal Met...
Sort
View
ICIP
2002
IEEE
15 years 11 months ago
Error concealment using a diffusion based method
In this paper, we present a novel PDE based error concealment algorithm. We formulate the error concealment problem as a sequential optimization problem with both smoothing and or...
Hao Jiang, Cecilia Moloney
IEE
2008
116views more  IEE 2008»
14 years 9 months ago
Evaluating formal properties of feature diagram languages
: Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as pa...
Patrick Heymans, Pierre-Yves Schobbens, Jean-Chris...
FLAIRS
1998
14 years 11 months ago
A Formal Framework for the Objective Evaluation of Edge Detectors
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
Sean Dougherty, Kevin W. Bowyer
FORMATS
2009
Springer
15 years 4 months ago
On the Supports of Recognizable Timed Series
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
Karin Quaas
FDL
2006
IEEE
15 years 3 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt