22 search results - page 2 / 5 » A Theory of Aliasing Separation for Light Field Data |
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
DCOSS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
CTCS
1987
Springer
13 years 9 months ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
TVCG
2008
13 years 5 months ago
2008
Developments in optical microscopy imaging have generated large high-resolution datasets that have spurred medical researchers to conduct investigations into mechanisms of disease,...