Sciweavers

9931 search results - page 1730 / 1987
» Generative Modeling by PRISM
Sort
View
ECAI
2006
Springer
15 years 8 months ago
The Incompleteness of Planning with Volatile External Information
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
Tsz-Chiu Au, Dana S. Nau
ECAI
2006
Springer
15 years 8 months ago
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System
We present SAMMIE, a laboratory demonstrator of an in-car showcase of a multimodal dialogue system developed in the TALK project5 in cooperation between DFKI/USAAR/BOSCH/BMW, to s...
Tilman Becker, Nate Blaylock, Ciprian Gerstenberge...
ECBS
2006
IEEE
203views Hardware» more  ECBS 2006»
15 years 8 months ago
The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
Periklis Sochos, Matthias Riebisch, Ilka Philippow
ESOP
2006
Springer
15 years 8 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
ESTIMEDIA
2006
Springer
15 years 8 months ago
Loop Nest Splitting for WCET-Optimization and Predictability Improvement
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...
Heiko Falk, Martin Schwarzer
« Prev « First page 1730 / 1987 Last » Next »