1664 search results - page 57 / 333 » Towards Partial Reasoning |
88
Voted
PEPM
1994
ACM
15 years 4 months ago
1994
ACM
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
147
Voted
AI
2001
Springer
15 years 4 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
108
Voted
AIPS
2010
15 years 29 days ago
2010
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...
102
click to vote
ASE
2006
15 years 24 days ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
81
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
While face detection seems a solved problem under general conditions, most state-of-the-art systems degrade rapidly when faces are partially occluded by other objects. This paper ...