1419 search results - page 189 / 284 » Notes on Formalizing Context |
90
Voted
CORR
2008
Springer
15 years 25 days ago
2008
Springer
With the rise of XML as a standard for representing business data, XML data warehouses appear as suitable solutions for Web-based decision-support applications. In this context, i...
85
Voted
ENTCS
2008
15 years 24 days ago
2008
Lazy evaluation (or call-by-need) is widely used and well understood, partly thanks to a clear operational semantics given by Launchbury. However, modern non-strict functional lan...
123
Voted
ENTCS
2006
15 years 22 days ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
83
Voted
IJKL
2008
15 years 22 days ago
2008
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
89
Voted
IJCV
2006
15 years 22 days ago
2006
We address the issue of low-level segmentation of vector-valued images, focusing on the case of color natural images. The proposed approach relies on the formulation of the problem...