Sciweavers

7393 search results - page 443 / 1479
» Synthesis-for-testability using transformations
Sort
View
KBS
2008
110views more  KBS 2008»
15 years 6 months ago
Intensity-based image registration using multiple distributed agents
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...
Roger J. Tait, Gerald Schaefer, Adrian A. Hopgood
KI
2008
Springer
15 years 6 months ago
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning
In this paper we address the problem of how decision-theoretic policies can be repaired. This work is motivated by observations made in robotic soccer where decisiontheoretic polic...
Christoph Mies, Alexander Ferrein, Gerhard Lakemey...
84
Voted
TSP
2008
78views more  TSP 2008»
15 years 6 months ago
Estimation of Frequency for AM/FM Models Using the Phase Vocoder Framework
This paper proposes an extension of the applicability of phase-vocoder-based frequency estimators for generalized sinusoidal models, which include phase and amplitude modulations. ...
Michaël Betser, Patrice Collen, Gaël Ric...
DKE
1998
87views more  DKE 1998»
15 years 6 months ago
Using Natural Language Sources in Model-Based Knowledge Acquisition
This paper introduces a well defined co-operation between domain expert, knowledge engineer, and knowledge acquisition and transformation tools. First, the domain expert supported...
Gabriele Schmidt, Thomas Wetter
NOMS
2010
IEEE
195views Communications» more  NOMS 2010»
15 years 4 months ago
Using linked data for systems management
—Integration of data from multiple sources makes it possible to build effective systems management solutions. Despite the expected benefits, data integration remains a challenge....
Metin Feridun, Axel Tanner