1860 search results - page 103 / 372 » tools 2009 |
92
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
98
Voted
MSR
2009
ACM
15 years 5 months ago
2009
ACM
In this paper, we describe a case study at Philips Healthcare MRI focusing on evolutionary couplings, i.e., a technique to infer relationships among modules by analyzing their his...
CSL
2009
Springer
15 years 5 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
115
Voted
DAWAK
2009
Springer
15 years 5 months ago
2009
Springer
Frequent constraint violations on the data stored in a database may suggest that the semantics of the represented reality is changing. In this work we propose a methodology and a t...
86
Voted
GD
2009
Springer
15 years 5 months ago
2009
Springer
Canonical ordering is an important tool in planar graph drawing and other applications. Although a linear-time algorithm to determine canonical orderings has been known for a while...