Sciweavers

620 search results - page 58 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
FLAIRS
2006
13 years 11 months ago
Automated Population of Cyc: Extracting Information about Named-entities from the Web
Populating the Cyc Knowledge Base (KB) has been a manual process until very recently. However, there is currently enough knowledge in Cyc for it to be feasible to attempt to acqui...
Purvesh Shah, David Schneider, Cynthia Matuszek, R...
FLAIRS
2006
13 years 11 months ago
Using Activity Theory to Model Context Awareness: A Qualitative Case Study
In this paper, we describe an approach to modelling contextaware systems starting on the knowledge level. We make use of ideas from Activity Theory to structure the general contex...
Jörg Cassens, Anders Kofod-Petersen
AIPS
1998
13 years 11 months ago
A Multiagent Planning Architecture
The Multiagent Planning Architecture (MPA) is a framework for integrating diverse technologies into a system capable of solving complex planning problems. Agents within MPA share ...
David E. Wilkins, Karen L. Myers
AIPS
1996
13 years 11 months ago
Planning for Manufacturing Workpieces by Storing, Indexing and Replaying Planning Decisions
Planning for manufacturing workpiecesis a complex task that requires the interaction of a domain-specific reasoner and a generic planning mechanism.In this paper wepresent an arch...
Hector Muñoz-Avila, Frank Weberskirch
CEC
2010
IEEE
13 years 10 months ago
Evolving a CUDA kernel from an nVidia template
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
William B. Langdon, Mark Harman