2661 search results - page 363 / 533 » A Semantics for Abstraction |
232
click to vote
SPATIALCOGNITION
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
214
click to vote
VMCAI
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
217
click to vote
AGP
2003
IEEE
16 years 12 days ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
169
click to vote
LAWEB
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
180
click to vote
UIST
2003
ACM
16 years 11 days ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...