11345 search results - page 1787 / 2269 » Foundations of Computer Science |
138
click to vote
SC
2003
ACM
15 years 10 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
153
Voted
EGH
2003
Springer
15 years 10 months ago
2003
Springer
—We present a method for using programmable graphics hardware to solve a variety of boundary value problems. The time-evolution of such problems is frequently governed by partial...
155
click to vote
CSIE
2009
IEEE
15 years 9 months ago
2009
IEEE
Previously, the methods used by scientists to locate an earthquake epicenter were so cumbersome, even for scientists, that the epicenter location methodology needed to be simplifi...
133
click to vote
HUC
2009
Springer
15 years 9 months ago
2009
Springer
This paper introduces a sensing garment to support posture coaching in children. The system measures back bending postures using acceleration sensors embedded in the garment. We p...
151
click to vote
MFCS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggre...