3705 search results - page 677 / 741 » Building Documentation Generators |
101
click to vote
WWW
2001
ACM
16 years 2 months ago
2001
ACM
The Internet provides a highly suitable infrastructure for sharing multimedia meeting records, especially as multimedia technologies become more lightweight and workers more mobil...
255
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
140
click to vote
MOBISYS
2009
ACM
16 years 1 months ago
2009
ACM
PEIR, the Personal Environmental Impact Report, is a participatory sensing application that uses location data sampled from everyday mobile phones to calculate personalized estima...
129
click to vote
KDD
2006
ACM
16 years 1 months ago
2006
ACM
In many text classification applications, it is appealing to take every document as a string of characters rather than a bag of words. Previous research studies in this area mostl...
126
click to vote
KDD
2004
ACM
16 years 1 months ago
2004
ACM
We propose a new unsupervised learning technique for extracting information from large text collections. We model documents as if they were generated by a two-stage stochastic pro...