1585 search results - page 215 / 317 » A framework for computer-aided validation |
249
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
107
click to vote
KDD
2003
ACM
16 years 4 months ago
2003
ACM
High dimensional directional data is becoming increasingly important in contemporary applications such as analysis of text and gene-expression data. A natural model for multivaria...
122
Voted
KDD
2002
ACM
16 years 4 months ago
2002
ACM
We present a framework for mining association rules from transactions consisting of categorical items where the data has been randomized to preserve privacy of individual transact...
137
click to vote
KDD
2002
ACM
16 years 4 months ago
2002
ACM
There exists a huge demand for multimedia goods and services in the Internet. Currently available bandwidth speeds can support sale of downloadable content like CDs, e-books, etc....
110
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We present an interactive method for cropping photographs given minimal information about the location of important content, provided by eye tracking. Cropping is formulated in a ...