961 search results - page 162 / 193 » Automatic design synthesis with artificial intelligence tech... |
153
click to vote
NJC
2006
15 years 5 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
176
click to vote
CSL
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a suite of methods and results for the semantic disambiguation of WordNet glosses. WordNet is a resource widely used in natural language processing and artific...
198
click to vote
TABLEAUX
2009
Springer
16 years 12 days ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
174
click to vote
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
MicroRNA (miRNA), one of non-coding RNAs (ncRNAs), regulates gene expression directly by arresting the messenger RNA (mRNA) translation, which is important for identifying putative...
164
click to vote
AI
2002
Springer
15 years 5 months ago
2002
Springer
This article surveys three techniques for enhancing heuristic game-tree search pioneered in the author's Othello program Logistello, which dominated the computer Othello scen...