6615 search results - page 2 / 1323 » Sampling and Soundness: Can We Have Both |
ECOOP
1992
Springer
13 years 10 months ago
1992
Springer
The design of many popular object-oriented languages like Smalltalk, Eiffel, or Sather follows a certain trend: The class is the only structuring form. In this paper, the need for ...
METRICS
2002
IEEE
13 years 11 months ago
2002
IEEE
The Center for Empirically Based Software Engineering helps improve software development by providing guidelines for selecting development techniques, recommending areas for furth...
LPAR
2010
Springer
13 years 4 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
EDBT
2008
ACM
14 years 6 months ago
2008
ACM
Estimating the number of distinct elements in a large multiset has several applications, and hence has attracted active research in the past two decades. Several sampling and sket...
ITICSE
2004
ACM
13 years 11 months ago
2004
ACM
With our interest to improve our education in computer science, an understanding of how students learn about CS concepts, how different concepts are understood, as well as the con...