3625 search results - page 374 / 725 » On choosing |
204
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
A norm-governed agent takes social norms into account in its practical reasoning. Such norms characterise its role within a specific organisational context. By adopting a role, th...
219
click to vote
AVBPA
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
227
click to vote
CASSIS
2005
Springer
16 years 1 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
175
click to vote
CIE
2005
Springer
16 years 1 months ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
200
click to vote
CIVR
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents a region-based image retrieval (RBIR) system in which users can choose specific regions as the query. Our goal is to assist the user to formulate more precise q...