2018 search results - page 165 / 404 » Code Normal Forms |
103
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
In this article, we present the projective equation of a circle in a perspective view, which naturally encodes such important geometric entities as the projected circle center, th...
137
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
In higher-order process calculi the values exchanged in communications may contain processes. A core calculus of higher-order concurrency is studied; it has only the operators nec...
115
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...
102
Voted
DDECS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Recently, there is a renewed interest in Automatic Test Pattern Generation (ATPG) based on Boolean Satisfiability (SAT). This results from the availability of very powerful SA...
118
Voted
TPHOL
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...