Sciweavers

2070 search results - page 266 / 414
» A Reduced-Basis Element Method
Sort
View
146
Voted
SSIAI
2000
IEEE
15 years 8 months ago
Towards Knowledge-Based Extraction of Roads from 1m-Resolution Satellite Images
As IKONOS satellite with 1m-resolution camera has been launched in 1999, mapping using space-borne images will be a hot issue in computer vision area as well as photogrammetry, ma...
Hae-Yeoun Lee, Heung-Kyu Lee, Tak-gon Kim, Wonkyu ...
124
Voted
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 8 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
113
Voted
IEEEPACT
1998
IEEE
15 years 8 months ago
Data Dependence Analysis of Assembly Code
Determination of data dependences is a task typically performed with high-level language source code in today's optimizing and parallelizing compilers. Very little work has b...
Wolfram Amme, Peter Braun, Eberhard Zehendner, Fra...
107
Voted
ACSC
2004
IEEE
15 years 7 months ago
On Improving the Memory Access Patterns During The Execution of Strassen's Matrix Multiplication Algorithm
Matrix multiplication is a basic computing operation. Whereas it is basic, it is also very expensive with a straight forward technique of O(N3 ) runtime complexity. More complex s...
Hossam A. ElGindy, George Ferizis
DIAL
2004
IEEE
173views Image Analysis» more  DIAL 2004»
15 years 7 months ago
Citation Recognition for Scientific Publications in Digital Libraries
In this paper, a method based on part-of-speech tagging (PoS) is used for bibliographic reference structure. This method operates on a roughly structured ASCII file, produced by O...
Dominique Besagni, Abdel Belaïd