3058 search results - page 175 / 612 » Reflections on Reflections |
ATVA
2008
Springer
13 years 11 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 11 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 11 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 11 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...
ICWSM
2010
13 years 11 months ago
2010
We use quantitative media (blogs, and news as a comparison) data generated by a large-scale natural language processing (NLP) text analysis system to perform a comprehensive and c...