Sciweavers

3827 search results - page 561 / 766
» The Epsilon Generation Language
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 5 months ago
Overcoming limitations of the SystemC data introspection
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
Christian Genz, Rolf Drechsler
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
14 years 5 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
ATAL
2009
Springer
14 years 5 months ago
EmoEmma: emotional speech input for interactive storytelling
Whilst techniques for narrative generation and agent behaviour have made significant progress in recent years, natural language processing remains a bottleneck hampering the scala...
Fred Charles, David Pizzi, Marc Cavazza, Thurid Vo...
FROCOS
2009
Springer
14 years 5 months ago
Putting ABox Updates into Action
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
Conrad Drescher, Hongkai Liu, Franz Baader, Steffe...
ICMT
2009
Springer
14 years 5 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...