9818 search results - page 45 / 1964 » Much Support and More |
121
click to vote
JFP
2008
15 years 6 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
158
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
—In need of interesting material and effective teaching approach in programming learning, students were ely to drop out of the course for the abstract concepts and complex struct...
144
click to vote
PVLDB
2010
15 years 4 months ago
2010
We show that it is possible to significantly improve the accuracy of a general class of histogram queries while satisfying differential privacy. Our approach carefully chooses a...
163
click to vote
WIKIS
2006
ACM
16 years 4 days ago
2006
ACM
This paper discusses the design and implementation of processes and tools to support the collaborative creation and maintenance of multilingual wiki content. A wiki is a website w...
151
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Mobile users today demand ubiquitous access to their data from any mobile device and under variable connection quality. We refer to this requirement as any-time, any-where data ac...