6740 search results - page 294 / 1348 » Using Classification as a Programming Language |
142
Voted
IRCDL
2008
15 years 4 months ago
2008
Several sites allow users to publish personal reviews about products and services available on the market. In this paper, we consider the problem of applying classification techniq...
122
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
157
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
157
Voted
ACL2
2006
ACM
15 years 8 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
117
Voted
PPSN
1994
Springer
15 years 6 months ago
1994
Springer
The Reproductive Plan Language 2 (RPL2) is an extensible interpreted language for writing and using evolutionary computing programs. It supports arbitrary genetic representations,...