1176 search results - page 146 / 236 » Implicit Abstraction Heuristics |
101
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
100
click to vote
PKDD
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The Factored Markov Decision Process (FMDP) framework is a standard representation for sequential decision problems under uncertainty where the state is represented as a ...
108
Voted
CIBCB
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Multiple sequence alignment is an important problem in computational biology. A-star is an algorithm that can be used to find exact alignments. We present a simple mod...
129
Voted
DASFAA
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract. In this paper, we explore the feature of sharing partial results of multiple queries to reduce the total number of messages incurred. Those queries sharing their partial ...