Sciweavers

7991 search results - page 271 / 1599
» Using More Reasoning to Improve
Sort
View
ICCBR
2007
Springer
16 years 25 days ago
A Case-Based Framework for Collaborative Semantic Search in Knowledge Sifter
This paper addresses the role of case-based reasoning in semantic search, and in particular, as it applies to Knowledge Sifter, an agent-based ontology-driven search system based o...
Larry Kerschberg, Hanjo Jeong, Yong Uk Song, Wooju...
160
Voted
LICS
2002
IEEE
15 years 11 months ago
Semantic Minimization of 3-Valued Propositional Formulae
This paper presents an algorithm for a non-standard logicminimization problem that arises in £ -valued propositional logic. The problem is motivated by the potential for obtainin...
Thomas W. Reps, Alexey Loginov, Shmuel Sagiv
BMCBI
2007
129views more  BMCBI 2007»
15 years 6 months ago
Algebraic correction methods for computational assessment of clone overlaps in DNA fingerprint mapping
Background: The Sulston score is a well-established, though approximate metric for probabilistically evaluating postulated clone overlaps in DNA fingerprint mapping. It is known t...
Michael C. Wendl
ATAL
2006
Springer
15 years 10 months ago
Continuous refinement of agent resource estimates
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...
David N. Morley, Karen L. Myers, Neil Yorke-Smith
CADE
2006
Springer
16 years 7 months ago
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
Peter Baumgartner, Renate A. Schmidt