1547 search results - page 97 / 310 » The Isabelle Collections Framework |
ICCBR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
ESORICS
2004
Springer
14 years 3 months ago
2004
Springer
As network traffic increases, the problems associated with monitoring and analyzing the traffic on high speed networks become increasingly difficult. In this paper, we introduce a ...
SIGCSE
2000
ACM
14 years 2 months ago
2000
ACM
We look at the essential thinking skills students need to learn in the introductory computer science course based on object-oriented programming. We create a framework for such a ...
CSR
2008
Springer
13 years 12 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
MMM
2009
Springer
14 years 7 months ago
2009
Springer
In this paper, a novel framework is developed to support personalized news video recommendation. First, multi-modal information sources for news videos are seamlessly integrated an...