1391 search results - page 247 / 279 » Completeness of Neighbourhood Logic |
IITA
2007
13 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 ...
AAAI
2010
13 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...
ECIR
2007
Springer
13 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...
AAAI
2006
13 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...
BIOCOMP
2006
13 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...