5390 search results - page 868 / 1078 » Support cluster machine |
134
click to vote
OSDI
2002
ACM
16 years 5 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
114
click to vote
ICIAP
2003
ACM
16 years 5 months ago
2003
ACM
In this paper we present a statistical learning scheme for image classification based on a mixture of old fashioned ideas and state of the art learning tools. We represent input i...
153
click to vote
ICIAP
2005
ACM
16 years 5 months ago
2005
ACM
In this paper, we propose a novel method which involves neural adaptive techniques for identifying salient features and for classifying high dimensionality data. In particular a ne...
185
click to vote
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
171
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...