10988 search results - page 2034 / 2198 » Algorithmic Folding Complexity |
127
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
117
Voted
SIGCOMM
1998
ACM
15 years 7 months ago
1998
ACM
Recent studies provide evidence that Quality ofService QoS routing can provide increased network utilization compared to routing that is not sensitive to QoS requirements of tra...
106
Voted
SIGGRAPH
1998
ACM
15 years 7 months ago
1998
ACM
We present a new method for creating an image with a handpainted appearance from a photograph, and a new approach to designing styles of illustration. We “paint” an image with...
128
Voted
STOC
1998
ACM
15 years 7 months ago
1998
ACM
Current formal models for quantum computation deal only with unitary gates operating on “pure quantum states”. In these models it is difficult or impossible to deal formally w...
172
Voted
EDBT
1998
ACM
15 years 7 months ago
1998
ACM
Abstract. In this paper, we propose a new bulk-loading technique for high-dimensional indexes which represent an important component of multimedia database systems. Since it is ver...