16091 search results - page 421 / 3219 » Solving |
203
click to vote
ICDT
2003
ACM
15 years 12 months ago
2003
ACM
We state and solve the query reformulation problem for XML publishing in a general setting that allows mixed (XML and relational) storage for the proprietary data and exploits redu...
173
click to vote
ICFEM
2003
Springer
15 years 12 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
175
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...
189
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first explicit connection between quantum computation and lattice problems. Namely, our main result is a solution to the Unique Shortest Vector Problem (SVP) under ...
166
click to vote
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we proposed a method for solving the rectangle piece jigsaw puzzle assembly problem. A shape of a piece is a rectangle, and a picture of a puzzle is only painted in...