17185 search results - page 367 / 3437 » Computational and Quantitative Studies |
183
Voted
HUC
2009
Springer
16 years 5 days ago
2009
Springer
We present an indoor wireless localization system that is capable of room-level localization based solely on 802.11 network signal strengths and usersupplied training data. Our sys...
212
click to vote
WOMPAT
2001
Springer
16 years 3 hour ago
2001
Springer
In contrast to the common belief that OpenMP requires data-parallel extensions to scale well on architectures with non-uniform memory access latency, recent work has shown that it ...
198
Voted
DSN
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper tests the hypothesis that generic recovery techniques, such as process pairs, can survive most application faults without using application-specific information. We ex...
200
click to vote
SC
2000
ACM
15 years 12 months ago
2000
ACM
We report on our work in developing a fine-grained multithreaded solution for the communicationintensive Conjugate Gradient (CG) problem. In our recent work, we developed a simpl...
219
click to vote
FOCS
1999
IEEE
15 years 12 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...