Sciweavers

2960 search results - page 503 / 592
» A vision for embedded software
Sort
View
JSAI
2005
Springer
14 years 3 months ago
Learning Stochastic Logical Automaton
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
Hiroaki Watanabe, Stephen Muggleton
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 3 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
SG
2005
Springer
14 years 3 months ago
Engaging in a Conversation with Synthetic Characters Along the Virtuality Continuum
Abstract. During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfa...
Elisabeth André, Klaus Dorfmüller-Ulha...
ASPDAC
2004
ACM
120views Hardware» more  ASPDAC 2004»
14 years 3 months ago
Compiler based exploration of DSP energy savings by SIMD operations
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
Markus Lorenz, Peter Marwedel, Thorsten Dräge...
PDC
2004
ACM
14 years 3 months ago
Socio-technical walkthrough: designing technology along work processes
How can the documentation of concepts for complex sociotechnical systems, such as the adoption of groupware, be incorporated into practices of PD? Documents are important in suppo...
Thomas Herrmann, Gabriele Kunau, Kai-Uwe Loser, Na...