Sciweavers

CORR
1998
Springer
101views Education» more  CORR 1998»
13 years 4 months ago
A Quick Glance at Quantum Cryptography
Samuel J. Lomonaco
CORR
1998
Springer
106views Education» more  CORR 1998»
13 years 4 months ago
Lower Bounds for Quantum Search and Derandomization
We prove lower bounds on the error probability of a quantum algorithm for searching through an unordered list of N items, as a function of the number T of queries it makes. In par...
Harry Buhrman, Ronald de Wolf
CORR
1998
Springer
105views Education» more  CORR 1998»
13 years 4 months ago
Solving Degenerate Sparse Polynomial Systems Faster
Abstract. Consider a system F of n polynomial equations in n unknowns, over an algebraically closed field of arbitrary characteristic. We present a fast method to find a point in...
J. Maurice Rojas
CORR
1998
Springer
116views Education» more  CORR 1998»
13 years 4 months ago
Abstract State Machines 1988-1998: Commented ASM Bibliography
Egon Börger, James K. Huggins
CORR
1998
Springer
184views Education» more  CORR 1998»
13 years 4 months ago
Case Study in Survivable Network System Analysis
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
Robert J. Ellison, Richard C. Linger, Thomas A. Lo...
CORR
1998
Springer
66views Education» more  CORR 1998»
13 years 4 months ago
Second Product Line Practice Workshop Report
Leonard J. Bass, Gary J. Chastek, Paul C. Clements...
CORR
1998
Springer
98views Education» more  CORR 1998»
13 years 4 months ago
Equivalence is in the Eye of the Beholder
Yuri Gurevich, James K. Huggins
CORR
1998
Springer
117views Education» more  CORR 1998»
13 years 4 months ago
A Human - machine interface for teleoperation of arm manipulators in a complex environment
This paper discusses the feasibility of using conguration space C-space as a means of visualization and control in operator-guided real-time motion of a robot arm manipulator. T...
Igor Ivanisevic, Vladimir J. Lumelsky
CORR
1998
Springer
96views Education» more  CORR 1998»
13 years 4 months ago
Early Experience with ASDL in lcc
David R. Hanson
CORR
1998
Springer
69views Education» more  CORR 1998»
13 years 4 months ago
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon