Sciweavers

1872 search results - page 119 / 375
» The Art of Granular Computing
Sort
View
79
Voted
WISER
2004
ACM
15 years 6 months ago
Aikido and software engineering
Aikido is a martial art whose core philosophy is about conflict resolution and taking care of our opponents and ourselves. My experience, and the experience of fellow aikidoists w...
David Socha
88
Voted
GI
1998
Springer
15 years 5 months ago
The HERON Project - Multimedia Database Support for History and Human Sciences
Abstract. The interdisciplinary HERON project investigates the impact of multimedia applications from the humanities, in particular heraldry, on future database technology. We pres...
Werner Kießling, Katharina Erber-Urch, Wolf-...
RTA
1997
Springer
15 years 5 months ago
Proving Innermost Normalisation Automatically
We present a technique to prove innermost normalisation of term rewriting systems TRSs automatically. In contrast to previous methods, our technique is able to prove innermost n...
Thomas Arts, Jürgen Giesl
129
Voted
ARITH
2001
IEEE
15 years 4 months ago
Leading Zero Anticipation and Detection-A Comparison of Methods
Design of the leading zero anticipator ( L a ) or detector (LZD) is pivotal to the normalization of results for addition and fused multiplication-addition in highperjormance float...
Martin S. Schmookler, Kevin J. Nowka
125
Voted
CATA
2010
15 years 2 months ago
Utilizing Recursive Storage in Sparse Matrix-Vector Multiplication - Preliminary Considerations
Computations with sparse matrices on "multicore cache based" computers are affected by the irregularity of the problem at hand, and performance degrades easily. In this ...
Michele Martone, Salvatore Filippone, Salvatore Tu...