2149 search results - page 130 / 430 » Form over Substance |
146
Voted
COLT
1994
Springer
15 years 9 months ago
1994
Springer
In this paper we introduce and investigate a mathematically rigorous theory of learning curves that is based on ideas from statistical mechanics. The advantage of our theory over ...
158
click to vote
ESOP
1994
Springer
15 years 9 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
153
click to vote
PLDI
1993
ACM
15 years 9 months ago
1993
ACM
Program analysis and optimizationcan be speeded upthrough the use of the dependence flow graph (DFG), a representation of program dependences which generalizes def-use chains and...
131
Voted
POS
1990
Springer
15 years 9 months ago
1990
Springer
Appropriate clustering of objects into pages in secondary memory is crucial to achieving good performance in a persistent object store. We present a new approach, termed semantic ...
136
click to vote
ASPDAC
2007
ACM
15 years 9 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...