Sciweavers

2618 search results - page 153 / 524
» Natural Human-Robot Interaction
Sort
View
PUC
2006
78views more  PUC 2006»
15 years 6 months ago
Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing
Abstract. The Stanford Event Heap has been shown to provide appropriate support for constructing interactive workspace applications. Given this success it is natural to consider th...
Oliver Storz, Adrian Friday, Nigel Davies
UM
2001
Springer
15 years 11 months ago
Enhancing Embodied Intelligent Agents with Affective User Modelling
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
Patrick Gebhard
SOSL
1993
15 years 10 months ago
Verifying Process Algebra Proofs in Type Theory
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
M. P. A. Sellink
JGS
2000
88views more  JGS 2000»
15 years 6 months ago
Part 4 Technology and the future of GIS and spatial analysis
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...
Andrew U. Frank
CEC
2008
IEEE
15 years 8 months ago
Evosphere: Evolutionary dynamics in a population of fighting virtual creatures
It is often suggested that traditional models of artificial evolution, based on explicit, human-defined fitness functions, are fundamentally more restricted and less creative than ...
Thomas Miconi