1888 search results - page 148 / 378 » Proof theory and computational analysis |
186
Voted
ALP
1994
Springer
15 years 11 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...
160
click to vote
ICASSP
2008
IEEE
16 years 1 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...
160
Voted
AIED
2007
Springer
16 years 1 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ď...
153
click to vote
GECCO
2005
Springer
16 years 15 days 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...
175
click to vote
AGP
1997
IEEE
15 years 11 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. ...