663 search results - page 87 / 133 » A Parallel Algorithm for Enumerating Combinations |
130
click to vote
LICS
1990
IEEE
15 years 6 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
111
click to vote
IJPP
2011
14 years 9 months ago
2011
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...
107
click to vote
ICML
2008
IEEE
16 years 3 months ago
2008
IEEE
We introduce confidence-weighted linear classifiers, which add parameter confidence information to linear classifiers. Online learners in this setting update both classifier param...
113
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
104
click to vote
VLDB
2004
ACM
15 years 7 months ago
2004
ACM
We consider the problem of horizontally partitioning a dynamic relation across a large number of disks/nodes by the use of range partitioning. Such partitioning is often desirable...