Sciweavers

868 search results - page 25 / 174
» Debugging for Model Expansion
Sort
View
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
14 years 3 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
IIR
2010
13 years 11 months ago
An Ontological Representation of Documents and Queries for Information Retrieval Systems
This paper presents a vector space model approach, for representing documents and queries, using concepts instead of terms and WordNet as a light ontology. This way, information o...
Mauro Dragoni, Célia da Costa Pereira, Andr...
MA
2010
Springer
135views Communications» more  MA 2010»
13 years 8 months ago
Asymptotic expansion of the minimum covariance determinant estimators
In Cator and Lopuha¨a [3] an asymptotic expansion for the MCD estimators is established in a very general framework. This expansion requires the existence and non-singularity of ...
Eric A. Cator, Hendrik P. Lopuhaä
ICIP
1995
IEEE
14 years 11 months ago
3D super-resolution using generalized sampling expansion
A 3D super-resolution algorithm is proposed below, based on a probabilistic interpretation of the ndimensional version of Papoulis' generalized sampling theorem. The algorith...
Hassan Shekarforoush, Marc Berthod, Josiane Zerubi...
W2GIS
2004
Springer
14 years 3 months ago
Expansion-Based Algorithms for Finding Single Pair Shortest Path on Surface
Abstract. Finding single pair shortest paths on surface is a fundamental problem in various domains, like Geographic Information Systems (GIS) 3D applications, robotic path plannin...
Ke Deng, Xiaofang Zhou