3994 search results - page 675 / 799 » A Linear Logical Framework |
178
click to vote
PODS
2011
ACM
14 years 7 months ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
165
click to vote
ICDCS
2011
IEEE
14 years 4 months ago
2011
IEEE
—Interoperability remains a challenging and growing problem within distributed systems. A range of heterogeneous network and middleware protocols which cannot interact with one a...
193
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...
170
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Image blur and noise are difficult to avoid in many situations
and can often ruin a photograph. We present a novel
image deconvolution algorithm that deblurs and denoises
an ima...
138
click to vote
CVPR
1998
IEEE
16 years 6 months ago
1998
IEEE
In previous work [14], we modify the hidden Markov model (HMM) framework to incorporate a global parametric variation in the output probabilities of the states of the HMM. Develop...