2607 search results - page 24 / 522 » Complete Functional Synthesis |
134
click to vote
KES
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a corpus-based approach for the automatic analysis and synthesis of email responses to help-desk requests. This approach can be used to automatically deal with...
264
click to vote
TABLEAUX
2009
Springer
16 years 13 days ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
181
click to vote
COCO
2010
Springer
15 years 9 months ago
2010
Springer
We prove that weighted monotone/antimonotone circuit satisfiability has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT...