961 search results - page 81 / 193 » Automatic design synthesis with artificial intelligence tech... |
178
click to vote
AIPS
2011
14 years 5 months ago
2011
We define a probe to be a single action sequence computed greedily from a given state that either terminates in the goal or fails. We show that by designing these probes carefull...
104
click to vote
CEC
2008
IEEE
15 years 8 months ago
2008
IEEE
—Representation techniques are important issues when designing successful evolutionary algorithms. Within this field the use of neutrality plays an important role. We examine th...
117
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
In this article, we present a design technique that facilitates the work of extracting and defining the tasks scheduling problem for a multiagent system. We also compare a central...
AIIDE
2007
15 years 3 months ago
2007
This paper proposes the use of an autonomous exploring agent to generate and annotate the waypoint graph as an offline process during level development. The explorer incrementally...
FLAIRS
2003
15 years 2 months ago
2003
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...