Search:

Start a new search
Add/Remove Filters (2 filters currently applied)
Results 1-18 of 18 (Search time: 0.919 seconds).
 |  Relevance

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
13-Jun-2008Statistical/corpus based methods for improved bilingual (Arabic/English) web searchYahya, Adnan; Hithnawi, Anwar; Salhi, Ali; Fawadleh, Merna
22005Automated reasoning, knowledge representation and managementBaumgartner, Peter; Furbach, Ulrich; Yahya, Adnan
321-Jul-2000A parameterized procedure for model computations in disjunctive theoriesYahya, Adnan
4Dec-2001SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancyLoveland, Donald; Yahya, Adnan
5Jul-2000Positive unit hyperresolution tableaux and their application to minimal model generationBry, Francois; Yahya, Adnan
62003Satchmorbid: Satchmo(RE) with Bidirectional RelevancyYahya, Adnan; Loveland, Donald
72000Positive Unit Hyper-Resolution Tableaux for Minimal Model GenerationYahya, Adnan; Bry, Francois
8Nov-2007Engineering accreditation: a developing nation perspectiveYahya, Adnan
92001Updates in disjunctive deductive databases: a minimal model based approachYahya, Adnan
10Mar-2003A relevance restriction strategy for automated deductionPlaisted, David A.; Yahya, Adnan
11Jan-2002Duality for goal-driven query processing in disjunctive deductive databasesYahya, Adnan
12May-2008Shortest remaining response time scheduling for improved Web server performanceAlSa'deh, Ahmad; Yahya, Adnan
139-Aug-2003Accessibility through a Hybrid Educational System: A Case StudyYahya, Adnan
144-Mar-2001Incorporating bidirectional relevancy into model generation theorem proversYahya, Adnan
154-May-2008Implementation of a new scheduling policy in web serversAl Sadeh, Ahmad; Yahya, Adnan
162000Minimal Model Generation for Refined Answering of Generalized Queries in Disjunctive Deductive Databases.Yahya, Adnan
171-Mar-2002Ordered semantic hypertableauxYahya, Adnan; Plaisted, David A.
182009Shortest remaining response time scheduling for improved web server performanceAlSa'deh, Ahmad ; Yahya, Adnan 
Results 1-18 of 18 (Search time: 0.919 seconds).

 

  • previous
  • 1
  • next

Discover