Sciweavers

CORR
1998
Springer
101views Education» more  CORR 1998»
13 years 11 months ago
A Quick Glance at Quantum Cryptography
Samuel J. Lomonaco
CORR
1998
Springer
106views Education» more  CORR 1998»
13 years 11 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 11 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 11 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 11 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 11 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 11 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 11 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 11 months ago
Early Experience with ASDL in lcc
David R. Hanson
CORR
1998
Springer
69views Education» more  CORR 1998»
13 years 11 months ago
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon