170 search results - page 11 / 34 » ais 2010 |
AI
2010
Springer
13 years 7 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
AI
2010
Springer
13 years 2 months ago
2010
Springer
Annotation Enrichment Analysis (AEA) is a widely used analytical approach to process data generated by high-throughput genomic and proteomic experiments such as gene expression mic...
ISSE
2010
13 years 6 months ago
2010
“Faster, Better, Cheaper” (FBC) was a systems development methodology used by NASA in the 1990s. While usually a deprecated practice, we find that, with certain caveats, it is...
IAT
2010
IEEE
13 years 4 months ago
2010
IEEE
Significant increase in collected data for investigative tasks and the increased complexity of the reasoning process itself have made investigative analytical tasks more challengi...
MM
2010
ACM
13 years 7 months ago
2010
ACM
Virtual characters are at the epicentre of Interactive Storytelling systems and in recent years multiple AI planning approaches have been described to specify their autonomous beh...