Sciweavers

4099 search results - page 417 / 820
» A Framework for Interactive Proof
Sort
View
SAMT
2007
Springer
98views Multimedia» more  SAMT 2007»
16 years 28 days ago
Personalization of Content in Virtual Exhibitions
Presentation of content is an important aspect of today’s virtual reality applications, especially in domains such as virtual exhibitions. The large amount and variety of exhibit...
Bill Bonis, John Stamos, Spyros Vosinakis, Ioannis...
ACRI
2004
Springer
16 years 6 days ago
A Hybrid Discrete-Continuum Model for 3-D Skeletogenesis of the Vertebrate Limb
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
Rajiv Chaturvedi, Chengbang Huang, Jesús A....
CSCWD
2004
Springer
16 years 6 days ago
Groupware System Design and the Context Concept
The concept of context can be advantageously applied to the Computer-Supported Cooperative Work field. The term awareness has traditionally been used in this area without explicit ...
Marcos R. S. Borges, Patrick Brézillon, Jos...
ECAI
2004
Springer
16 years 6 days ago
Agent Planning, Negotiation and Control of Operation
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
Antonis C. Kakas, Paolo Torroni, Neophytos Demetri...
SPATIALCOGNITION
2004
Springer
16 years 5 days ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
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...
John A. Bateman, Scott Farrar