1412 search results - page 41 / 283 » types 2004 |
127
Voted
TYPES
2004
Springer
15 years 8 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
15 years 4 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...
110
click to vote
CIVR
2004
Springer
15 years 8 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...
103
Voted
ESAW
2004
Springer
15 years 8 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 ...
114
Voted
MM
2004
ACM
15 years 8 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 ...