Sciweavers

1511 search results - page 162 / 303
» A Methodology for Developing Agent Based Systems
Sort
View
FORMATS
2003
Springer
15 years 9 months ago
On Timing Analysis of Combinational Circuits
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
Ramzi Ben Salah, Marius Bozga, Oded Maler
EWCBR
2006
Springer
15 years 8 months ago
Case-Based Support for Collaborative Business
This paper describes the development of the generic collaboration support architecture CAKE incorporating case-based reasoning (CBR). CAKE provides unified access to knowledge avai...
Ralph Bergmann, Andrea Freßmann, Kerstin Max...
IJIM
2010
96views more  IJIM 2010»
15 years 1 months ago
A Framework for Building an Interactive Satellite TV Based M-Learning Environment
This paper presents a description of an interactive satellite TV based mobile learning (STV-ML) framework, in which a satellite TV station is used as an integral part of a comprehe...
Ghassan Issa, Shakir Hussain, Hussein Al-Bahadili
JNW
2008
115views more  JNW 2008»
15 years 4 months ago
Mobile Agents for Service Personalization in Smart Environments
Service personalization is an important goal for any smart environment. Comfort systems may be adjusted in an automatic way when a given user is present, and multimedia devices may...
Ivan Marsá-Maestre, Miguel A. López-...
ATAL
2008
Springer
15 years 6 months ago
An embodied conversational agent as a lifestyle advisor
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...
Cameron Smith, Daniel Charlton, Li Zhang, Marc Cav...