3928 search results - page 123 / 786 » order 2006 |
137
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
154
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
122
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
This paper proposes a distributed platform designed to support pervasive learning and interactivity on a university campus and to ease tasks related to learning and teaching. The ...
133
click to vote
DCC
2006
IEEE
16 years 4 months ago
2006
IEEE
In their seminal paper, Miyaji, Nakabayashi and Takano [12] describe a simple method for the creation of elliptic curves of prime order with embedding degree 3, 4, or 6. Such curve...
121
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
— When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into small...