Sciweavers

21319 search results - page 3609 / 4264
» An Approach for Method Reengineering
Sort
View
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
16 years 18 days ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 18 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
IMR
2004
Springer
16 years 18 days ago
Twelve Ways to Fool The Masses when Describing Mesh Generation Performance
Mesh generation for finite element analysis is far from a solved problem. Although several automatic meshing algorithms exist, other difficulties of setting up a problem for finit...
Timothy J. Tautges, David R. White, Robert W. Lela...
ISI
2004
Springer
16 years 18 days ago
Analyzing and Visualizing Criminal Network Dynamics: A Case Study
Dynamic criminal network analysis is important for national security but also very challenging. However, little research has been done in this area. In this paper we propose to use...
Jennifer Jie Xu, Byron Marshall, Siddharth Kaza, H...
ISMIR
2004
Springer
192views Music» more  ISMIR 2004»
16 years 18 days ago
Extraction of Drum Patterns and their Description within the MPEG-7 High-Level-Framework
A number of metadata standards have been published in recent years due to the increasing availability of multimedia content and the resulting issue of sorting and retrieving this ...
Matthias Gruhne, Christian Uhle, Christian Dittmar...
« Prev « First page 3609 / 4264 Last » Next »