1451 search results - page 12 / 291 » Order independence and rationalizability |
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
DAM
1999
13 years 8 months ago
1999
The achromatic number (G) of a graph G = (V, E) is the maximum k such that V has a partition V1, V2, . . . , Vk into independent sets, the union of no pair of which is independent...
AAAI
1996
13 years 9 months ago
1996
First-order probabilistic logic is a powerful knowledge representation language. Unfortunately, deductive reasoning based on the standard semantics for this logic does not support...
CEC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper, three new methods for pushing solutions toward a desired region of the objective space more quickly are explored; hypercube distance scaling, dynamic objective t...
VTC
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper addresses Tomlinson-Harashima Precoding (THP) for the downlink of multiuser systems, where the transmitter is equipped with multiple antennas and each decent...