1412 search results - page 41 / 283 » types 2004 |
TYPES
2004
Springer
14 years 2 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
DAGSTUHL
2004
13 years 10 months ago
2004
A rich semantic model of annotation is presented that distinguishes several annotation types, uses controlled vocabulary where appropriate, and supports multi-facetted characteriza...
CIVR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We have carried out a detailed evaluation of the use of texture features in a query-by-example approach to image retrieval. We used 3 radically different texture feature...
ESAW
2004
Springer
14 years 2 months ago
2004
Springer
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
MM
2004
ACM
14 years 2 months ago
2004
ACM
In this paper, we propose an iterative similarity propagation approach to explore the inter-relationships between Web images and their textual annotations for image retrieval. By ...