8141 search results - page 103 / 1629 » Higher Order Generalization |
ISBI
2009
IEEE
15 years 10 months ago
2009
IEEE
We address the problem of zero-order-free image reconstruction in digital holographic microscopy. We show how the goal can be achieved by confining the object-wave modulation to ...
105
click to vote
CIRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— A heuristic search for stable high-order delta sigma modulators is presented. Searches guided by the Linear Model found stable modulators with higher SNR performance compared t...
126
click to vote
TOCL
2008
15 years 3 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
132
click to vote
RTA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...
114
click to vote
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose Road-aware Skip Copy (RSC) method for distributing replicas of location-dependent data on server-less vehicular ad hoc networks in urban areas. In the RSC...