240 search results - page 10 / 48 » Constrained Partial Deduction |
POPL
1998
ACM
13 years 11 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
ZUM
2000
Springer
13 years 11 months ago
2000
Springer
We propose an extension to Z whereby generic parameters may have their types partially constrained. Using this mechanism it becomes possible to dene in Z much of its own schema cal...
NMELP
1994
13 years 11 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
— In this paper, we study coverage with connectivity properties in large wireless sensor networks. We consider three classes: full coverage with connectivity, partial coverage wi...
MICCAI
2004
Springer
14 years 8 months ago
2004
Springer
Partial volume effects are present in nearly all medical imaging data. These artifacts blur the boundaries between different regions, making accurate delineation of anatomical stru...