Sciweavers

1185 search results - page 211 / 237
» Implementing Functional Languages: a tutorial
Sort
View
FASE
2000
Springer
14 years 19 days ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
AAAI
2007
13 years 11 months ago
An Integrated Robotic System for Spatial Understanding and Situated Interaction in Indoor Environments
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
Hendrik Zender, Patric Jensfelt, Óscar Mart...
ACHI
2008
IEEE
13 years 11 months ago
Specification for User Modeling with Self-Observing Systems
The complicated user interfaces and complex functionality of nowadays interactive products lead to a new class of failures: People do not understand their products and thus fail t...
Mathias Funk, Piet van der Putten, Henk Corporaal
ACMACE
2007
ACM
13 years 10 months ago
Sharing visual information in virtual environments using projective texture mapping
We present a method for sharing visual information in 3D virtual environments, using a projective texture mapping based method. Avatars can share information with other avatars by...
Yannick Francken, Johan Huysmans, Philippe Bekaert
LREC
2010
136views Education» more  LREC 2010»
13 years 10 months ago
The CLARIN-NL Project
In this paper I present the CLARIN-NL project, the Dutch national project that aims to play a central role in the European CLARIN infrastructure, not only for the preparatory phas...
Jan Odijk