Sciweavers

207 search results - page 6 / 42
» ideas 1999
Sort
View
EUROPAR
1999
Springer
15 years 2 months ago
Consequences of Modern Hardware Design for Numerical Simulations and Their Realization in FEAST
This paper deals with the influence of hardware aspects of modern computer architectures to the design of software for numerical simulations. We present performance tests for vari...
Christian Becker, Susanne Kilian, Stefan Turek
87
Voted
GI
1999
Springer
15 years 2 months ago
Combining Strict and Soft Typing in Functional Programming
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
Manfred Widera, Christoph Beierle
80
Voted
IH
1999
Springer
15 years 2 months ago
Robust Watermarking for Images Based on Color Manipulation
Abstract. In this paper we present a new efficient watermarking scheme for images. The basic idea of our method is to alter the colors of the given image in a suitable but imperce...
Sebastiano Battiato, Dario Catalano, Giovanni Gall...
73
Voted
LPNMR
1999
Springer
15 years 2 months ago
A Comparison of Sceptical NAF-Free Logic Programming Approaches
Recently there has been increased interest in logic programming-based default reasoning approaches which are not using negation-as-failure in their object language. Instead, defau...
Grigoris Antoniou, Michael J. Maher, David Billing...
105
Voted
LPNMR
1999
Springer
15 years 2 months ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner