3058 search results - page 173 / 612 » Reflections on |
AISC
2008
Springer
14 years 11 days ago
2008
Springer
We use higher-order logic to verify a quantifier elimination procedure for linear arithmetic over ordered fields, where the coefficients of variables are multivariate polynomials o...
ATVA
2008
Springer
14 years 11 days ago
2008
Springer
In this paper, a uniform approach for synthesizing monitors checking correctness properties specified in linear-time logics at runtime is provided. Therefore, a generic three-value...
CANDC
2007
ACM
14 years 5 days ago
2007
ACM
This paper argues that the “kindergarten approach to learning” – characterized by a spiraling cycle of Imagine, Create, Play, Share, Reflect, and back to Imagine – is idea...
DAS
2008
Springer
14 years 4 days ago
2008
Springer
Document skew estimation is an important step in the process of document analysis. In this paper we discuss the properties of the distance transform of binarized documents and der...
ECTEL
2008
Springer
14 years 4 days ago
2008
Springer
The main purpose behind the design of this experience is the idea of obtaining useful information to know how the online courses in our University have been developed, and trying t...