10608 search results - page 1955 / 2122 » Complexity of O'Hara's Algorithm |
ICDT
1999
ACM
14 years 2 months ago
1999
ACM
Electronic newsgroups are one of the primary means for the dissemination, exchange and sharing of information. We argue that the current newsgroup model is unsatisfactory, especial...
RTSS
1998
IEEE
14 years 2 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...
SIGCOMM
1998
ACM
14 years 2 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...
SIGGRAPH
1998
ACM
14 years 2 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...
STOC
1998
ACM
14 years 2 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...