Sciweavers

4895 search results - page 806 / 979
» Tools for Grammar Engineering
Sort
View
KDD
2003
ACM
128views Data Mining» more  KDD 2003»
15 years 10 months ago
Similarity analysis on government regulations
Government regulations are semi-structured text documents that are often voluminous, heavily cross-referenced between provisions and even ambiguous. Multiple sources of regulation...
Gloria T. Lau, Kincho H. Law, Gio Wiederhold
CHI
2007
ACM
15 years 10 months ago
A theory-based approach to designing student learning context
How can we keep technology-focused computing and software engineering students interested and engaged in a soft subject like HCI? How can we avoid leaving the less gifted and less...
Jarinee Chattratichart
171
Voted
POPL
2008
ACM
15 years 10 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
OSDI
2008
ACM
15 years 10 months ago
Binary Translation Using Peephole Superoptimizers
We present a new scheme for performing binary translation that produces code comparable to or better than existing binary translators with much less engineering effort. Instead of...
Sorav Bansal, Alex Aiken
151
Voted
VLDB
2001
ACM
144views Database» more  VLDB 2001»
15 years 10 months ago
Approximate query processing using wavelets
Approximate query processing has emerged as a costeffective approach for dealing with the huge data volumes and stringent response-time requirements of today's decision-suppo...
Kaushik Chakrabarti, Minos N. Garofalakis, Rajeev ...