3047 search results - page 421 / 610 » On the Meaning of Logical Completeness |
IITA
2007
14 years 11 months ago
2007
: The studies on user and mobile phone interaction have been an important problem in small screen interface design. The present study was intend to investigate the impact of three ...
86
Voted
AAAI
2010
14 years 11 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
93
Voted
ECIR
2007
Springer
14 years 11 months ago
2007
Springer
The availability of a document’s logical structure in XML retrieval allows retrieval systems to return document portions (elements) instead of whole documents. This helps searche...
101
Voted
AAAI
2006
14 years 11 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
67
Voted
BIOCOMP
2006
14 years 11 months ago
2006
A Clinical Decision Support System has been developed using the Exsys software for the flexor tendon injuries in Zone II encompassing the continuum from injury to complete rehabil...