Sciweavers

1325 search results - page 200 / 265
» The Incidence Propagation Method
Sort
View
TODAES
2002
134views more  TODAES 2002»
13 years 8 months ago
False-noise analysis using logic implications
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
Alexey Glebov, Sergey Gavrilov, David Blaauw, Vlad...
FOCM
2011
188views more  FOCM 2011»
13 years 6 days ago
Compressive Wave Computation
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...
Laurent Demanet, Gabriel Peyré
SEMWEB
2007
Springer
14 years 2 months ago
Analyzing Mapping Extraction Approaches
While lots of research in ontology matching is related to the issue of computing and refining similarity measures, only little attention has been paid to question how to extract t...
Christian Meilicke, Heiner Stuckenschmidt
SAS
2004
Springer
14 years 2 months ago
On Logics of Aliasing
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
Marius Bozga, Radu Iosif, Yassine Lakhnech
CVPR
2009
IEEE
1599views Computer Vision» more  CVPR 2009»
15 years 4 months ago
Multi-Label Sparse Coding for Automatic Image Annotation
In this paper, we present a multi-label sparse coding framework for feature extraction and classification within the context of automatic image annotation. First, each image is ...
Changhu Wang (University of Science and Technology...