1679 search results - page 82 / 336 » Strong order equivalence |
158
click to vote
DIAGRAMS
2004
Springer
15 years 9 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
146
click to vote
APLAS
2001
ACM
15 years 9 months ago
2001
ACM
We verified two versions of the CPS transformation in Isabelle/HOL: one by Plotkin by Danvy and Filinski. We adopted first order abstract syntax so that the formalization is close...
100
click to vote
IJCAI
2007
15 years 6 months ago
2007
We introduce relational grams (r-grams). They upgrade n-grams for modeling relational sequences of atoms. As n-grams, r-grams are based on smoothed n-th order Markov chains. Smoot...
123
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
174
click to vote
IJIT
2004
15 years 6 months ago
2004
This paper presents a semi-supervised learning algorithm called Iterative-Cross Training (ICT) to solve the Web pages classification problems. We apply Inductive logic programming ...