Sciweavers

2242 search results - page 165 / 449
» From testing to anti-product development
Sort
View
DEDUCTIVE
1993
103views Database» more  DEDUCTIVE 1993»
15 years 7 months ago
Q-Data: Using Deductive Database Technology to Improve Data Quality
This chapter discusses an extended deductive database prototype system, Q-Data, developed by Bellcore to improve data quality through data validation and cleanup. The key technolo...
Amit P. Sheth, Christopher Wood, Vipul Kashyap
AIIDE
2009
15 years 7 months ago
Adapting Game-Playing Agents to Game Requirements
We examine the problem of self-adaptation in game-playing agents as the game requirements evolve incrementally. The goal of our current work is to develop an interactive environme...
Joshua Jones, Chris Parnin, Avik Sinharoy, Spencer...
ENTCS
2006
114views more  ENTCS 2006»
15 years 6 months ago
Open-Source Model Checking
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Sm...
AMI
2010
Springer
15 years 5 months ago
The DFKI Competence Center for Ambient Assisted Living
The DFKI Competence Center for Ambient Assisted Living (CCAAL) is a cross-project and cross-department virtual organization within the German Research Center for Artificial Intell...
Jochen Frey, Christoph Stahl, Thomas Röfer, B...
TSMC
2008
177views more  TSMC 2008»
15 years 4 months ago
Adaptive Critic Learning Techniques for Engine Torque and Air-Fuel Ratio Control
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
Derong Liu, Hossein Javaherian, Olesia Kovalenko, ...