3808 search results - page 590 / 762 » Artificial Intelligence: A Modern Approach |
166
click to vote
CIG
2005
IEEE
16 years 5 days ago
2005
IEEE
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...
162
click to vote
ISMVL
2005
IEEE
16 years 4 days ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
162
click to vote
TPHOL
2005
IEEE
16 years 4 days ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
149
click to vote
CAEPIA
2005
Springer
16 years 3 days ago
2005
Springer
PolyTope ARTMAP (PTAM) [6] is an ART neural network based on internal categories with irregular polytope (polygon in IRn ) geometry. Categories in PTAM do not overlap, so that thei...
173
click to vote
CCIA
2005
Springer
16 years 3 days ago
2005
Springer
IntraVascular UltraSound (IVUS) imaging is a useful tool in diagnosis of cardiac diseases since sequences completely show the morphology of coronary vessels. Vessel borders detecti...