4355 search results - page 590 / 871 » From Interpretation to Compilation |
190
click to vote
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
151
click to vote
APAL
2010
15 years 6 months ago
2010
Classical proof forests are a proof formalism for first-order classical logic based on Herbrand's Theorem and backtracking games in the style of Coquand. First described by M...
143
click to vote
BC
2007
15 years 6 months ago
2007
Correlation measures are important tools for the analysis of simultaneously recorded spike trains. A well-known measure with probabilistic interpretation is the cross-intensity fun...
150
click to vote
COGSCI
2010
15 years 6 months ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
139
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a mid-level image segmentation framework that combines multiple figure-ground hypothesis (FG) constrained at different locations and scales, into interpretations that t...