2268 search results - page 292 / 454 » The Essence of Form Abstraction |
129
click to vote
PARA
2004
Springer
15 years 7 months ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
118
click to vote
PCM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we propose a Java-based collaborative authoring system for multimedia presentation. Our system is composed of an Editing System, a Media Object Manager and...
PDCAT
2004
Springer
15 years 7 months ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the “Blaster” spread quickly through the eno...
106
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
TSD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Translation of Multi-word expressions (MWEs) is one of the most challenging tasks of a Machine translation (MT) system. In this paper, we present an innovative technique ...