Sciweavers

342 search results - page 27 / 69
» Progress in Document Reconstruction
Sort
View
ACSC
2004
IEEE
14 years 1 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
WSC
2007
14 years 7 days ago
Analyzing air combat simulation results with dynamic Bayesian networks
In this paper, air combat simulation data is reconstructed into a dynamic Bayesian network. It gives a compact probabilistic model that describes the progress of air combat and al...
Jirka Poropudas, Kai Virtanen
TIP
1998
108views more  TIP 1998»
13 years 9 months ago
Holographic representations of images
Abstract— We discuss a new type of holographic image representations that have advantages in a “distributed” world. We call these representations holographic. Arbitrary porti...
Alfred M. Bruckstein, Robert J. Holt, Arun N. Netr...
DEXAW
2010
IEEE
181views Database» more  DEXAW 2010»
13 years 11 months ago
Towards a Search System for the Web Exploiting Spatial Data of a Web Document
In this paper, we describe our work in progress in the scope of information retrieval exploiting the spatial data extracted from web documents. We discuss problems of a search for ...
Stefan Dlugolinsky, Michal Laclavik, Ladislav Hluc...
DOCENG
2008
ACM
13 years 11 months ago
Adaptation of scalable multimedia documents
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
Benoît Pellan, Cyril Concolato