2694 search results - page 416 / 539 » Frege's New Science |
179
Voted
ICALP
2003
Springer
16 years 7 days ago
2003
Springer
We prove lower bounds for the direct sum problem for two-party bounded error randomised multipleround communication protocols. Our proofs use the notion of information cost of a p...
179
Voted
CF
2010
ACM
16 years 3 days ago
2010
ACM
Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
153
Voted
DSN
2002
IEEE
15 years 12 months ago
2002
IEEE
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
189
click to vote
ICDM
2002
IEEE
15 years 12 months ago
2002
IEEE
Support vector machine (SVM) is a new learning method developed in recent years based on the foundations of statistical learning theory. By taking a transductive approach instead ...
163
Voted
ICSM
2002
IEEE
15 years 12 months ago
2002
IEEE
Assertions, or more generally “Programming by contract”, have gained widespread acceptance in the computer science community as a means for correct program development. Howeve...