2944 search results - page 465 / 589 » Improving Bound Propagation |
162
click to vote
COMPGEOM
1995
ACM
15 years 10 months ago
1995
ACM
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...
174
click to vote
DEXA
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. The object-oriented database management systems store references to objects (implicit joins, precomputed joins), and use path expressions in query languages. One way of e...
179
click to vote
PKC
2010
Springer
15 years 8 months ago
2010
Springer
We study the problem of integer factoring given implicit information of a special kind. The problem is as follows: let N1 = p1q1 and N2 = p2q2 be two RSA moduli of same bit-size, w...
197
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
177
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro...