13271 search results - page 183 / 2655 » Computers, Programming, and People |
121
click to vote
PST
2008
15 years 6 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
126
click to vote
CSCW
1990
ACM
15 years 8 months ago
1990
ACM
In contrast to the common view of spreadsheetsas "single-user" programs, we have found that spreadsheetsoffer surprisingly strong support for cooperative development of ...
149
click to vote
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
132
click to vote
WFLP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...
134
click to vote
LFCS
1992
Springer
15 years 8 months ago
1992
Springer
A generator program for a computable function (by definition) generates an infinite sequence of programs all but finitely many of which compute that function. Machine learning of ...