Sciweavers

894 search results - page 46 / 179
» Universal Relations and
Sort
View
CVPR
2009
IEEE
15 years 3 months ago
The Geometry of 2D Image Signals
This paper covers a fundamental problem of local phase based signal processing: the isotropic generalization of the classical 1D analytic signal to two dimensions. The well know...
Lennart Wietzke (Kiel University), Gerald Sommer (...
CORR
2004
Springer
110views Education» more  CORR 2004»
13 years 7 months ago
Shannon Information and Kolmogorov Complexity
The elementary theories of Shannon information and Kolmogorov complexity are cmpared, the extent to which they have a common purpose, and where they are fundamentally different. T...
Peter Grünwald, Paul M. B. Vitányi
CAV
2000
Springer
138views Hardware» more  CAV 2000»
13 years 11 months ago
Counterexample-Guided Abstraction Refinement
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan ...
ADBIS
2010
Springer
333views Database» more  ADBIS 2010»
13 years 9 months ago
Horizontal Partitioning by Predicate Abstraction and Its Application to Data Warehouse Design
al Partitioning by Predicate Abstraction and its Application to Data Warehouse Design Aleksandar Dimovski1 , Goran Velinov2 , and Dragan Sahpaski2 1 Faculty of Information-Communic...
Aleksandar Dimovski, Goran Velinov, Dragan Sahpask...
BMCBI
2004
119views more  BMCBI 2004»
13 years 7 months ago
PASS2: an automated database of protein alignments organised as structural superfamilies
Background: The functional selection and three-dimensional structural constraints of proteins in nature often relates to the retention of significant sequence similarity between p...
Anirban Bhaduri, Ganesan Pugalenthi, Ramanathan So...