2347 search results - page 280 / 470 » Collecting commonsense experiences |
186
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We describe a new methodology for designing technologies for and with families called technology probes. Technology probes are simple, flexible, adaptable technologies introduced ...
283
click to vote
POPL
2002
ACM
16 years 6 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...
243
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
In this demonstration, we will present LEARNPADS, a fully automatic system for generating ad hoc data processing tools. When presented with a collection of ad hoc data, the system...
247
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Dataspaces are collections of heterogeneous and partially unstructured data. Unlike data-integration systems that also offer uniform access to heterogeneous data sources, dataspac...
209
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We are inevitably moving into a realm where small and inexpensive wireless devices would be seamlessly embedded in the physical world and form a wireless sensor network in order t...