Sciweavers

13500 search results - page 256 / 2700
» Improved analysis of D
Sort
View
ICLP
1998
Springer
15 years 10 months ago
Program Specialisation and Abstract Interpretation Reconciled
Interpretation Reconciled Michael Leuschel1 Department of Computer Science, K.U. Leuven, Belgium DIKU, University of Copenhagen, Denmark fy the relationship between abstract inter...
Michael Leuschel
SLP
1989
105views more  SLP 1989»
15 years 7 months ago
Automatic Ordering of Subgoals - A Machine Learning Approach
This paper describes a learning system, LASSY1, which explores domains represented by Prolog databases, and use its acquired knowledge to increase the efficiency of a Prolog inter...
Shaul Markovitch, Paul D. Scott
SOSP
1989
ACM
15 years 7 months ago
Performance of Firefly RPC
In this paper, we report on the performance of the remote procedure call implementation for the Firefly multiprocessor and analyze the implementation to account precisely for all ...
Michael D. Schroeder, Michael Burrows
SCP
1998
134views more  SCP 1998»
15 years 6 months ago
Abstract Interpretation Using Typed Decision Graphs
Interpretation Using Typed Decision Graphs Laurent Mauborgne LIENS, ´Ecole Normale Sup´erieure, 45 rue d’Ulm, 75230 Paris cedex 05, France Abstract. This article presents a way...
Laurent Mauborgne
ICANN
2010
Springer
15 years 4 months ago
Shape-Based Tumor Retrieval in Mammograms Using Relevance-Feedback Techniques
Abstract. This paper presents an experimental "morphological analysis" retrieval system for mammograms, using Relevance-Feedback techniques. The features adopted are firs...
Stylianos D. Tzikopoulos, Harris V. Georgiou, Mich...