6431 search results - page 44 / 1287 » Model Building by Resolution |
ENTCS
2000
14 years 9 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
FOCS
1996
IEEE
15 years 1 months ago
1996
IEEE
In this paper, we analyze the behavior of communication networks in which packets are generated dynamically at the nodes and routed in discrete time steps across the edges. We foc...
75
Voted
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a novel approach to reconstruction based superresolution that explicitly models the detector's pixel layout. Pixels in our model can vary in shape and size, and th...
AIL
2005
14 years 9 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...
DAGM
2010
Springer
14 years 8 months ago
2010
Springer
We propose a convex variational framework to compute high resolution images from a low resolution video. The image formation process is analyzed to provide to a well designed model...