2949 search results - page 151 / 590 » Transformations in Information Supply |
MKM
2007
Springer
14 years 3 months ago
2007
Springer
In this paper we address the problem of reconstructing a higher order, checkable proof object starting from a proof trace left by a first order automatic proof searching procedure...
TOOLS
2009
IEEE
14 years 3 months ago
2009
IEEE
Realizing information exchange is a frequently recurring challenge in nearly every domain of computer science. Although languages, formalisms, and storage formats may differ in va...
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
We propose a new progressive compression scheme for arbitrary topology, highly detailed and densely sampled meshes arising from geometry scanning. We observe that meshes consist o...
WSC
1998
13 years 10 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
Fourier transform magnitude is, in many cases, the only measurable data in fields such as optics, x-ray imaging, crystallography and astronomy. Spectral phase information is impra...