Sciweavers

10802 search results - page 106 / 2161
» Generative and developmental systems
Sort
View
SAC
2006
ACM
13 years 9 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
COGSCI
2004
136views more  COGSCI 2004»
13 years 9 months ago
Generation and evaluation of user tailored responses in multimodal dialogue
When people engage in conversation, they tailor their utterances to their conversational partners, whether these partners are other humans or computational systems. This tailoring...
Marilyn A. Walker, Steve Whittaker, Amanda Stent, ...
ENTCS
2007
126views more  ENTCS 2007»
13 years 9 months ago
Notes on Generative Probabilistic Bisimulation
In this notes we consider the model of Generative Probabilistic Transition Systems, and Baier and Hermanns’ notion of weak bisimulation defined over them. We prove that, if we ...
Simone Tini
AAAI
2000
13 years 10 months ago
A Demand-Driven Algorithm for Generating Minimal Models
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
Rachel Ben-Eliyahu-Zohary
ICEIS
2008
IEEE
14 years 3 months ago
Model-Driven Generation and Optimization of Complex Integration Processes
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...