6168 search results - page 899 / 1234 » Research methods for HCI |
292
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
180
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Pharmacogenomics and clinical studies that measure the temporal expression levels of patients can identify important pathways and biomarkers that are activated during dis...
276
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Recent research on skyline queries has attracted much interest in the database and data mining community. Given a database, an object belongs to the skyline if it cannot be domina...
279
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
158
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Duplicate detection is the problem of detecting different entries in a data source representing the same real-world entity. While research abounds in the realm of duplicate detect...