340 search results - page 8 / 68 » A Graph-Based Type Representation for Objects |
ICTAI
1994
IEEE
13 years 11 months ago
1994
IEEE
Combining various knowledge types - and reasoning methods - in knowledge-based systems is a challenge to the knowledge representation task. The paper describes an object-oriented,...
APCHI
1998
IEEE
13 years 11 months ago
1998
IEEE
Direct manipulation interfaces are characterised according to the representation of the task domain: the domain objects and the effect of user operations on those objects. In the ...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
A new class of kernels for object recognition based on local image feature representations are introduced in this paper. These kernels satisfy the Mercer condition and incorporate...
CIE
2005
Springer
14 years 28 days 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...
EPIA
2009
Springer
14 years 1 months ago
2009
Springer
Different types of visual object categories can be found in real-world applications. Some categories are very heterogeneous in terms of local features (broad categories) while oth...