7956 search results - page 303 / 1592 » Into the Future |
154
click to vote
WECWIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we provide a summary of work that has been pursued in the area of Semantic Email, with a particular focus on our work in the area. The aim of this paper is to provid...
153
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces UK-SpecIAL, a simple independent open learner model to raise learner awareness of their progress towards learning outcomes across components of their degree. ...
141
click to vote
CSEE
2009
Springer
16 years 1 months ago
2009
Springer
Since publication of the 2004 version, the Software Engineering Body of Knowledge (SWEBOK) has notably served as a major input to the design of curricula at the undergraduate and ...
175
click to vote
DFG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We survey the conceptual framework and several applications of the iterative compression technique introduced in 2004 by Reed, Smith, and Vetta. This technique has proven...
193
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a complete denotational semantics, in the UTP framework, of slotted-Circus, a generic framework for reasoning about discrete timed/synchronously clocked system...