2049 search results - page 376 / 410 » Normalization and Partial Evaluation |
KDD
2008
ACM
14 years 8 months ago
2008
ACM
IT problem management calls for quick identification of resolvers to reported problems. The efficiency of this process highly depends on ticket routing--transferring problem ticke...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
The interoperability of disparate data types and sources has been a long standing problem and a hindering factor for the efficacy and efficiency in visual exploration applications...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
RECOMB
2002
Springer
14 years 8 months ago
2002
Springer
There has been considerable recent interest in the use of haplotype structure to aid in the design and analysis of case-control association studies searching for genetic predictors...