Sciweavers

1072 search results - page 155 / 215
» Innovation as language action
Sort
View
COSIT
2005
Springer
131views GIS» more  COSIT 2005»
14 years 1 months ago
Structural Salience of Landmarks for Route Directions
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
Alexander Klippel, Stephan Winter
ICALP
2005
Springer
14 years 1 months ago
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
Anupam Datta, Ante Derek, John C. Mitchell, Vitaly...
MIRRORBOT
2005
Springer
144views Robotics» more  MIRRORBOT 2005»
14 years 1 months ago
Combining Visual Attention, Object Recognition and Associative Information Processing in a NeuroBotic System
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...
Rebecca Fay, Ulrich Kaufmann, Andreas Knoblauch, H...
SEKE
2005
Springer
14 years 1 months ago
Formal Reasoning about Emergent Behaviours of Multi-Agent Systems
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
Hong Zhu
SOFSEM
2005
Springer
14 years 1 months ago
Tier Aspect Model Based on Updatable Views
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
Radoslaw Adamus, Kazimierz Subieta