5387 search results - page 251 / 1078 » Generating generic functions |
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
136
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Scene interpretation systems are often conceived as extensions of low-level image analysis with bottom-up processing for high-level interpretations. In this contribution ...
162
click to vote
EMNLP
2009
15 years 4 months ago
2009
We develop a general method to match unstructured text reviews to a structured list of objects. For this, we propose a language model for generating reviews that incorporates a de...
203
click to vote
ITSL
2008
15 years 8 months ago
2008
We describe the first implementation of the Barvinok
156
click to vote
DM
2008
15 years 6 months ago
2008
A set partition is said to be (k, d)-noncrossing if it avoids the pattern 12