1190 search results - page 70 / 238 » The Continuing Quest for Abstraction |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
CPAIOR
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consisten...
ECTEL
2006
Springer
14 years 29 days ago
2006
Springer
Abstract. The paper provides an overview of the elaboration, testing and improvement of Movelex, a complex virtual learning environment (VLE) supporting the establishment of self-r...
APLAS
2001
ACM
14 years 29 days ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
IDEAL
2000
Springer
14 years 27 days ago
2000
Springer
Abstract. We present a clustering method for continuous data. It defines local clusters into the (primary) data space but derives its similarity measure from the posterior distribu...