Sciweavers

10802 search results - page 116 / 2161
» Generative and developmental systems
Sort
View
90
Voted
AAAI
2006
15 years 4 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...
110
Voted
ACL
1993
15 years 4 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...
106
Voted
CGA
2006
15 years 2 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
108
Voted
TEC
2002
108views more  TEC 2002»
15 years 2 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...
124
Voted
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
15 years 9 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