1888 search results - page 148 / 378 » Proof theory and computational analysis |
103
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
Component forensics is an emerging methodology for forensic analysis that aims at estimating the algorithms and parameters in each component of a digital device. This paper propos...
77
Voted
AIED
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we raise a methodological issue concerning the empirical analysis of tutoring dialogues: The frequencies of tutoring moves do not necessarily reveal their causal efď...
75
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
We present a theoretical analysis of Watson’s Hierarchicalif-and-only-if (HIFF) problem using a variety of tools. These include schema theory and course graining, the concept of...
AGP
1997
IEEE
15 years 4 months ago
1997
IEEE
We present the rational construction of a generic domain for structural analysis anguages: Pattern(D ), where the parameter D is an abstract domain satisfying certain properties. ...