1547 search results - page 107 / 310 » The Isabelle Collections Framework |
STEP
2003
IEEE
14 years 3 months ago
2003
IEEE
The collection and use of evidence in Software Engineering practice and research are essential elements in the development of the discipline. This paper discusses the need for evi...
SIGIR
2003
ACM
14 years 3 months ago
2003
ACM
Hierarchies provide a means of organizing, summarizing and accessing information. We describe a method for automatically generating hierarchies from small collections of text, and...
GW
2003
Springer
14 years 3 months ago
2003
Springer
This paper presents some results of a research work concerning algorithms and computational models for real-time analysis of expressive gesture in full-body human movement. As a ma...
DL
2000
Springer
14 years 2 months ago
2000
Springer
To realise a wide range of applications (including digital libraries) on the Web, a more structured way of accessing the Web is required and such requirement can be facilitated by...
CLEF
2006
Springer
14 years 1 months ago
2006
Springer
This paper describes the general photographic retrieval and object annotation tasks of the ImageCLEF 2006 evaluation campaign. These tasks provide both the resources and the frame...