2694 search results - page 330 / 539 » Frege's New Science |
188
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Replacement policy, one of the key factors determining the effectiveness of a cache, becomes even more important with latest technological trends toward highly associative caches....
194
click to vote
CSCW
2004
ACM
15 years 12 months 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...
144
click to vote
AISC
2004
Springer
15 years 12 months 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...
176
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: Humans have complex sensory and control capabilities. Only a few are used in standard games and virtual environments. Examples of games using interfaces beyond mouse, keyboard an...
169
click to vote
FOCS
2003
IEEE
15 years 11 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...