Sciweavers

362 search results - page 15 / 73
» di 2007
Sort
View
69
Voted
DAGSTUHL
1996
14 years 11 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
98
Voted
IJCAI
1989
14 years 10 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
14 years 11 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
62
Voted
SEBD
2003
111views Database» more  SEBD 2003»
14 years 11 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...