4983 search results - page 174 / 997 » order 2008 |
149
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
Abstract. This paper presents verified quantifier elimination procedures for dense linear orders (DLO), for real and for integer linear arithmetic. The DLO procedures are new. All ...
106
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
107
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We give geometrical conditions, which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form depending...
104
click to vote
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a task selection model for personalised educational instruction. The proposed model is based on the student expertise level and it takes into account performan...
134
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
We wish to investigate how structural design principles are used in practice, in order to assess the utility and relevance of such principles to the maintenance of large, complex,...