1567 search results - page 149 / 314 » A Mechanized Model of the Theory of Objects |
107
click to vote
ECAIW
1994
Springer
15 years 5 months ago
1994
Springer
Abstract. In this paper we describe an approach to the representation and implementation of agent-based systems where the behaviour of an individual agent is represented by a set o...
123
click to vote
FGCS
2008
15 years 1 months ago
2008
The purpose of ubiquitous computing is anywhere and anytime access to information within computing infrastructures that is blended into a background and no longer be reminded. Thi...
IJON
2007
15 years 1 months ago
2007
In the real world, visual information is selected over time as well as space, when we prioritise new stimuli for attention. Watson and Humphreys [Visual marking: prioritising sele...
134
click to vote
CATA
2001
15 years 3 months ago
2001
: In this paper we analyze some existing tools and approaches to image data modeling and we propose an Object-Oriented Image Data (OOID) model. It can be applied on a wide variety ...
115
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...