Sciweavers

362 search results - page 15 / 73
» di 2007
Sort
View
DAGSTUHL
1996
13 years 9 months ago
Practical Aspects of Specialization of Algol-like Programs
Abstract. A \linearized" scheme of polyvariant specialization for imperative languages is described in the paper. The scheme is intended for increasing e ciency of specializat...
Mikhail A. Bulyonkov, Dmitry V. Kochetov
IJCAI
1989
13 years 8 months ago
Normality and Faults in Logic-Based Diagnosis
Is there one logical de nition of diagnosis? In this paper I argue that the answer to this question is \no". This paper is about the pragmatics of using logic for diagnosis w...
David Poole
IJCAI
1997
13 years 9 months ago
On the Efficient Classification of Data Structures by Neural Networks
Marco Gori Dipartimento di Ingegneria deU'Informazione Universita di Siena Via Roma 56 53100 Siena, Italy Alessandro Sperduti Dipartimento di Informatica Universita di Pisa C...
Paolo Frasconi, Marco Gori, Alessandro Sperduti
SEBD
2003
111views Database» more  SEBD 2003»
13 years 9 months ago
Query Containment Using Views
d abstract) Diego Calvanese1 , Giuseppe De Giacomo1 , Maurizio Lenzerini1 , Moshe Y. Vardi2 1 Universit`a di Roma “La Sapienza” Dip. di Informatica e Sistemistica via Salaria 1...
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...