3583 search results - page 40 / 717 » A Type System for the Relational Calculus of Object Systems |
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
MIRRORBOT
2005
Springer
14 years 2 months ago
2005
Springer
We have implemented a neurobiologically plausible system on a robot that integrates visual attention, object recognition, language and action processing using a coherent cortex-lik...
VLDB
1994
ACM
14 years 26 days ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
HCI
2007
13 years 10 months ago
2007
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...