Sciweavers

1134 search results - page 213 / 227
» Composing Tests from Examples
Sort
View
83
Voted
KDD
2003
ACM
130views Data Mining» more  KDD 2003»
16 years 26 days ago
Towards systematic design of distance functions for data mining applications
Distance function computation is a key subtask in many data mining algorithms and applications. The most effective form of the distance function can only be expressed in the conte...
Charu C. Aggarwal
68
Voted
CHI
2005
ACM
16 years 26 days ago
Gait phase effects in mobile interaction
One problem evaluating mobile and wearable devices is that they are used in mobile settings, making it hard to collect usability data. We present a study of tap-based selection of...
Andrew Crossan, Roderick Murray-Smith, Stephen A. ...
CADE
2004
Springer
16 years 24 days ago
The ICS Decision Procedures for Embedded Deduction
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
Leonardo Mendonça de Moura, Sam Owre, Haral...
193
Voted
SIGMOD
2009
ACM
138views Database» more  SIGMOD 2009»
16 years 21 days ago
PRIMA: archiving and querying historical data with evolving schemas
Schema evolution poses serious challenges in historical data management. Traditionally historical data have been archived either by (i) migrating them into the current schema vers...
Hyun J. Moon, Carlo Curino, MyungWon Ham, Carlo Za...
128
Voted
SIGMOD
2004
ACM
165views Database» more  SIGMOD 2004»
16 years 19 days ago
Industrial-Strength Schema Matching
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...
Philip A. Bernstein, Sergey Melnik, Michalis Petro...