6740 search results - page 675 / 1348 » Using Classification as a Programming Language |
158
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Profiling can accurately analyze program behavior for select data inputs. We show that profiling can also predict program locality for inputs other than profiled ones. Here loc...
207
click to vote
SIGIR
1997
ACM
15 years 10 months ago
1997
ACM
urgent need to promote Chinese in this paper we will raise the significance of keyword extraction using a new PAT-treebased approach, which is efficient in automatic keyword extra...
172
click to vote
PLDI
2003
ACM
15 years 12 months ago
2003
ACM
Empirical program optimizers estimate the values of key optimization parameters by generating different program versions and running them on the actual hardware to determine which...
306
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
139
click to vote
UIST
2005
ACM
16 years 6 days ago
2005
ACM
On the desktop, an application can expect to control its user interface down to the last pixel, but on the World Wide Web, a content provider has no control over how the client wi...