1816 search results - page 194 / 364 » Formal Concepts of Learning Systems Validation in Use |
230
Voted
IFIPTCS
2010
15 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
235
Voted
LWA
2004
15 years 8 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...
185
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
192
Voted
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
Radiologists disagree with each other over the characteristics and features of what constitutes a normal mammogram and the terminology to use in the associated radiology report. R...
174
Voted
JUCS
2000
15 years 6 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...