2607 search results - page 24 / 522 » Complete Functional Synthesis |
KES
2005
Springer
15 years 8 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...
189
click to vote
TABLEAUX
2009
Springer
15 years 9 months 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...
141
click to vote
COCO
2010
Springer
15 years 6 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...