1665 search results - page 171 / 333 » Design Patterns as Language Constructs |
236
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
152
click to vote
ML
2008
ACM
15 years 6 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
175
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
154
click to vote
POS
1990
Springer
15 years 10 months ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
184
click to vote
IJCAI
1997
15 years 7 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...