Sciweavers

10802 search results - page 116 / 2161
» Generative and developmental systems
Sort
View
AAAI
2006
13 years 10 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
ACL
1993
13 years 10 months ago
A Flexible Approach to Cooperative Response Generation in Information-Seeking Dialogues
This paper presents a cooperative consultation system on a restricted domain. The system builds hypotheses on the user's plan and avoids misunderstandings (with consequent re...
Liliana Ardissono, Alessandro Lombardo, Dario Sest...
CGA
2006
13 years 9 months ago
From Linear Story Generation to Branching Story Graphs
Interactive narrative systems are storytelling systems in which the user can influence the content or ordering of story world events. Conceptually, an interactive narrative can be...
Mark O. Riedl, R. Michael Young
TEC
2002
108views more  TEC 2002»
13 years 8 months ago
Analysis and modeling of control tasks in dynamic systems
Most applications of evolutionary algorithms (EAs) deal with static optimization problems. However, in recent years, there has been a growing interest in timevarying (dynamic) prob...
Rasmus K. Ursem, Thiemo Krink, Mikkel T. Jensen, Z...
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
14 years 3 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita