Sciweavers

8648 search results - page 1475 / 1730
» Designing for Human-Agent Interaction
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
Kai Lampka, Simon Perathoner, Lothar Thiele
ERCIMDL
2009
Springer
117views Education» more  ERCIMDL 2009»
16 years 1 months ago
A Visualization Tool of Probabilistic Models for Information Access Components
An effective graphic interface is a key tool to improve the fruition of the results retrieved by an Information Retrieval (IR) system. In this work, we describe a two-dimensional...
Lorenzo De Stefani, Giorgio Maria Di Nunzio, Giorg...
ICMI
2009
Springer
126views Biometrics» more  ICMI 2009»
16 years 1 months ago
Multimodal floor control shift detection
Floor control is a scheme used by people to organize speaking turns in multi-party conversations. Identifying the floor control shifts is important for understanding a conversati...
Lei Chen 0004, Mary P. Harper
ICMI
2009
Springer
123views Biometrics» more  ICMI 2009»
16 years 1 months ago
Learning and predicting multimodal daily life patterns from cell phones
In this paper, we investigate the multimodal nature of cell phone data in terms of discovering recurrent and rich patterns in people’s lives. We present a method that can discov...
Katayoun Farrahi, Daniel Gatica-Perez
KESAMSTA
2009
Springer
16 years 1 months ago
An Approximate Model for Bidders in Sequential Automated Auctions
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
Erol Gelenbe, Kumaara Velan
« Prev « First page 1475 / 1730 Last » Next »