2498 search results - page 460 / 500 » A tool for materials exploration |
130
click to vote
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
108
click to vote
KDD
2009
ACM
16 years 11 days ago
2009
ACM
Many scalable data mining tasks rely on active learning to provide the most useful accurately labeled instances. However, what if there are multiple labeling sources (`oracles...
102
click to vote
KDD
2004
ACM
16 years 7 days ago
2004
ACM
This paper describes a prototype that predicts the shopping lists for customers in a retail store. The shopping list prediction is one aspect of a larger system we have developed ...
111
click to vote
CHI
2007
ACM
16 years 6 days ago
2007
ACM
iStuff Mobile is the first rapid prototyping framework that helps explore new sensor-based interfaces with existing mobile phones. It focuses on sensor-enhanced physical interface...
CHI
2007
ACM
16 years 6 days ago
2007
ACM
Why do people tag? Users have mostly avoided annotating media such as photos ? both in desktop and mobile environments ? despite the many potential uses for annotations, including...