3653 search results - page 310 / 731 » Learning of Partial Languages |
228
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
176
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
195
click to vote
CLEF
2005
Springer
16 years 24 days ago
2005
Springer
This paper describes the architecture of a Bulgarian–Bulgarian question answering system — BulQA. The system relies on a partially parsed corpus for answer extraction. The que...
185
click to vote
ESOP
2003
Springer
16 years 15 days ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
169
click to vote
ICALP
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. We provide a framework for the design and analysis of dynamic programming algorithms for surface-embedded graphs on n vertices and branchwidth at most k. Our technique ap...