Sciweavers

4078 search results - page 465 / 816
» The COMPASS Location System
Sort
View
MIRRORBOT
2005
Springer
157views Robotics» more  MIRRORBOT 2005»
16 years 9 days ago
LARP, Biped Robotics Conceived as Human Modelling
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
Umberto Scarfogliero, Michele Folgheraiter, Giusep...
TACAS
2005
Springer
112views Algorithms» more  TACAS 2005»
16 years 8 days ago
Truly On-the-Fly LTL Model Checking
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
Moritz Hammer, Alexander Knapp, Stephan Merz
AUSAI
2005
Springer
16 years 8 days ago
The Virtual Room Inhabitant - Intuitive Interaction with Intelligent Environments
In this paper we describe a new way to improve the usability of complex hardware setups in Intelligent Environments. By introducing a virtual character, we facilitate intuitive int...
Michael Kruppa, Lübomira Spassova, Michael Sc...
CSCW
2004
ACM
16 years 7 days ago
BusyBody: creating and fielding personalized models of the cost of interruption
Interest has been growing in opportunities to build and deploy statistical models that can infer a computer user’s current interruptability from computer activity and relevant c...
Eric Horvitz, Paul Koch, Johnson Apacible
MM
2004
ACM
133views Multimedia» more  MM 2004»
16 years 7 days ago
From context to content: leveraging context to infer media metadata
The recent popularity of mobile camera phones allows for new opportunities to gather important metadata at the point of capture. This paper describes a method for generating metad...
Marc Davis, Simon King, Nathan Good, Risto Sarvas