4328 search results - page 620 / 866 » A New Kind of Science |
199
click to vote
CSCW
2004
ACM
16 years 1 days ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
145
click to vote
AISC
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
171
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old res...
172
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
The new design for the introductory programming course at ETH relies on object technology, Eiffel, extensive reuse, a graphics-rich library (TRAFFIC) built specifically for the c...
183
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
We designed and built the Gates Hillman Prediction Market (GHPM) to predict the opening day of the Gates and Hillman Centers, the new computer science buildings at Carnegie Mellon...