Sciweavers

3238 search results - page 44 / 648
» On the Computational Interpretation of Negation
Sort
View
IANDC
2008
114views more  IANDC 2008»
13 years 10 months ago
Generalizing the Paige-Tarjan algorithm by abstract interpretation
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
Francesco Ranzato, Francesco Tapparo
ICDT
1997
ACM
97views Database» more  ICDT 1997»
14 years 2 months ago
Queries and Computation on the Web
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
Serge Abiteboul, Victor Vianu
AIED
2011
Springer
13 years 1 months ago
When Does Disengagement Correlate with Learning in Spoken Dialog Computer Tutoring?
We investigate whether an overall student disengagement label and six different labels of disengagement type are predictive of learning in a spoken dialog computer tutoring corpus...
Katherine Forbes-Riley, Diane J. Litman
ICCV
1999
IEEE
14 years 11 months ago
Qualitative Probabilities for Image Interpretation
Two basic problems in image interpretation are: a) determining which interpretations are the most plausible amoungst many possibilities; and b) controlling the search for plausibl...
Allan D. Jepson, Richard Mann
TEC
2002
89views more  TEC 2002»
13 years 9 months ago
An immunity-based technique to characterize intrusions in computer networks
Abstract--This paper presents a technique inspired by the negative selection mechanism of the immune system that can detect foreign patterns in the complement (nonself) space. In p...
Fabio A. González, Dipankar Dasgupta