844 search results - page 30 / 169 » Semantic Analysis of Matrix Structures |
71
Voted
MKM
2005
Springer
15 years 8 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
117
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Conceptual Structures is a field of research which shares abstract concepts and interests with recent work on knowledge representation for the Semantic Web. However, whi...
114
click to vote
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework ...
101
Voted
INFOCOM
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
138
Voted
ICCAD
1992
IEEE
15 years 6 months ago
1992
IEEE
In this paper we describe combining a mesh analysis equation formulation technique with a preconditioned GORES matrix solution algorithm to accelerate the determination of inducta...