Sciweavers

2799 search results - page 179 / 560
» computing 1998
Sort
View
FOCS
1998
IEEE
15 years 7 months ago
The Quantum Communication Complexity of Sampling
Sampling is an important primitive in probabilistic and quantum algorithms. In the spirit of communication complexity, given a function f : X
Andris Ambainis, Leonard J. Schulman, Amnon Ta-Shm...
IPPS
1998
IEEE
15 years 7 months ago
Solving the Maximum Clique Problem Using PUBB
Given an (undirected) graph G = V; E; a clique of G is a subset of vertices in which every pair is connected by an edge. The problem of finding a clique of maximum size is a class...
Yuji Shinano, Tetsuya Fujie, Yoshiko Ikebe, Ryuich...
CONCUR
1998
Springer
15 years 7 months ago
Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
Frank S. de Boer
TCS
1998
15 years 2 months ago
A Partial k-Arboretum of Graphs with Bounded Treewidth
The notion of treewidth has seen to be a powerful vehicle for many graph algorithmic studies. This survey paper wants to give an overview of many classes of graphs that can be see...
Hans L. Bodlaender
BMVC
1998
15 years 4 months ago
A Two-Stage Algorithm for Planning the Next View From Range Images
A new technique is presented for determining the positions where a range sensor should be located to acquire the surfaces of a complex scene. The algorithm consists of two stages....
Miguel Angel García, Susana Velázque...