3273 search results - page 42 / 655 » types 2007 |
116
click to vote
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
Retrieval accuracy can be improved by considering which document type should be filtered out and which should be ranked higher in the result list. Hence, document type can be used...
ENTCS
2007
14 years 11 months ago
2007
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
108
click to vote
ICIW
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
LREC
2008
15 years 1 months ago
2008
We report on the evaluation of information structural annotation according to the Linguistic Information Structure Annotation Guidelines (LISA, (Dipper et al., 2007)). The annotat...
AVSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper deals with classification of human gait types based on the notion that different gait types are in fact different types of locomotion, i.e., running is not simply walk...