Proceedings Third Israel Symposium on the Theory of Computing and Systems
Latest Publications

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818669152

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lower bounds for perceptrons solving some separation problems and oracle separation of AM from PP

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377047 ◽

2002 ◽

Author(s):

N.K. Vereshchagin

Keyword(s):

Lower Bounds ◽

Separation Problems

Download Full-text

On the complexity of statistical reasoning

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377030 ◽

2002 ◽

Author(s):

J. Kilian ◽

M. Naor

Keyword(s):

Statistical Reasoning

Download Full-text

Some improvements to total degree tests

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377032 ◽

2002 ◽

Author(s):

K. Friedl ◽

M. Sudan

Keyword(s):

Download Full-text

A general technique for implementation of efficient priority queues

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377045 ◽

2002 ◽

Author(s):

P. Hoyer

Keyword(s):

Priority Queues ◽

General Technique

Download Full-text

Computational pseudo-randomness

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377029 ◽

2002 ◽

Author(s):

A. Wigderson

Download Full-text

Automata with sensing heads

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377036 ◽

2002 ◽

Author(s):

H. Petersen

Download Full-text

A partial order approach to branching time logic model checking

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377038 ◽

2002 ◽

Author(s):

R. Gerth ◽

R. Kuiper ◽

D. Peled ◽

W. Penczek

Keyword(s):

Model Checking ◽

Partial Order ◽

Logic Model ◽

Branching Time ◽

Logic Model Checking

Download Full-text

Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377033 ◽

2002 ◽

Author(s):

U. Feige ◽

M. Goemans

Keyword(s):

Download Full-text

All shortest paths in weighted grid graphs and its application to finding all approximate repeats in strings

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377044 ◽

2002 ◽

Author(s):

J.P. Schmidt

Keyword(s):

Shortest Paths ◽

Download Full-text

Improved algorithms in geometric optimization via expanders

Proceedings Third Israel Symposium on the Theory of Computing and Systems ◽

10.1109/istcs.1995.377043 ◽

2002 ◽

Author(s):

M.J. Katz

Keyword(s):

Geometric Optimization

Download Full-text