3058 search results - page 173 / 612 » Reflections |
AISC
2008
Springer
13 years 10 months 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
13 years 10 months 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
13 years 10 months 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
13 years 10 months 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
13 years 10 months 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...