Sciweavers

3319 search results - page 323 / 664
» Type Theoretical Databases
Sort
View
102
Voted
ICIP
2010
IEEE
15 years 1 months ago
Reduced-reference SSIM estimation
The structural similarity (SSIM) index has been shown to be a good perceptual image quality predictor. In many real-world applications such as network visual communications, howev...
Abdul Rehman, Zhou Wang
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 1 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
159
Voted
ICOODB
2009
246views Database» more  ICOODB 2009»
15 years 1 months ago
Compiler Plugins Can Handle Nested Languages: AST-Level Expansion of LINQ Queries for Java
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
Miguel Garcia
129
Voted
EDBT
2009
ACM
113views Database» more  EDBT 2009»
15 years 10 months ago
Type-based categorization of relational attributes
In this work we concentrate on categorization of relational attributes based on their data type. Assuming that attribute type/characteristics are unknown or unidentifiable, we an...
Babak Ahmadi, Marios Hadjieleftheriou, Thomas Seid...
WSDM
2012
ACM
296views Data Mining» more  WSDM 2012»
13 years 11 months ago
Inferring social ties across heterogenous networks
It is well known that different types of social ties have essentially different influence between people. However, users in online social networks rarely categorize their contact...
Jie Tang, Tiancheng Lou, Jon M. Kleinberg