Sciweavers

1511 search results - page 162 / 303
» A Methodology for Developing Agent Based Systems
Sort
View
FORMATS
2003
Springer
15 years 4 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 3 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»
14 years 8 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»
14 years 11 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 1 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...