12950 search results - page 2323 / 2590 » On Optimal Timed Strategies |
141
click to vote
STOC
1998
ACM
15 years 8 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...
128
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
Customizable meta-objects are a powerful abstraction for extending language features and implementation mechanisms, but interpretive execution suffers from severe performance penal...
141
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
We investigate the problem of finding two nonempty disjoint subsets of a set of n positive integers, with the objective that the sums of the numbers in the two subsets be as close ...
102
click to vote
HICSS
1997
IEEE
15 years 8 months ago
1997
IEEE
The mpC language was developed to write efJicientand portable programsfor wide range of distributed memory machines. It supports both task and data parallelism, allows both static...
140
click to vote
JELIA
1998
Springer
15 years 8 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...