2715 search results - page 127 / 543 » An Implementation of Narrowing Strategies |
164
click to vote
ECIS
2011
14 years 5 months ago
2011
Technologies that are intentionally designed to change a person’s attitude or behaviors are emergent. Designers of these technologies frequently use implementations of influence...
184
click to vote
ICCD
2003
IEEE
16 years 2 months ago
2003
IEEE
This paper introduces a new method for two-level logic minimization. Unlike previous approaches, the new method uses a SAT solver as an underlying engine. While the overall minimi...
122
click to vote
ADVIS
2000
Springer
15 years 10 months ago
2000
Springer
This paper focuses on fundamental similarities between proposing links for hypertexts and predicting user-requests. It briefly outlines the theoretical background of both categorie...
184
click to vote
ERCIMDL
2006
Springer
15 years 9 months ago
2006
Springer
We present the architectural decisions involved in adding an Open Archives Initiative Protocol for Metadata Harvesting (OAI-PMH) interface to the NASA Langley Research Center Atmos...
162
click to vote
ENTCS
2000
15 years 5 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...