Sciweavers

3328 search results - page 406 / 666
» On Plateaued Functions and Their Constructions
Sort
View
CIE
2011
Springer
14 years 6 months ago
Towards an Axiomatic System for Kolmogorov Complexity
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
Antoine Taveneaux
ICDAR
2011
IEEE
14 years 6 months ago
Non-rigid Registration and Restoration of Double-Sided Historical Manuscripts
This paper presents a fully automatic framework for the restoration of double-sided historical manuscripts which are impaired by ink bleed-through distortions. First, the recto si...
Jie Wang, Chew Lim Tan
POPL
2012
ACM
14 years 2 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...
CVPR
2012
IEEE
13 years 9 months ago
Center-Shift: An approach towards automatic robust mesh segmentation (ARMS)
In the area of 3D shape analysis, research in mesh segmentation has always been an important topic, as it is a fundamental low-level task which can be utilized in many application...
Mengtian Sun, Yi Fang, Karthik Ramani
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 9 months ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002