1419 search results - page 248 / 284 » Notes on Formalizing Context |
184
Voted
PODS
2009
ACM
16 years 1 months ago
2009
ACM
An inverse of a schema mapping M is intended to "undo" what M does, thus providing a way to perform "reverse" data exchange. In recent years, three different f...
111
Voted
RECOMB
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...
82
Voted
ICSE
2005
IEEE-ACM
16 years 19 days ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
104
Voted
ICFP
2003
ACM
16 years 15 days ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
104
Voted
ALT
2004
Springer
15 years 9 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...