Jacob T. Schwartz

Publication Activity (10 Years)

Years Active: 1975-2006
Publications (10 Years): 0

Publications

Bing Sun, Jacob T. Schwartz, Ofer H. Gill, Bud Mishra
COMBAT: Search Rapidly for Highly Similar Protein-Coding Sequences Using Bipartite Graph Matching. International Conference on Computational Science (2) (2006)
Eugenio G. Omodeo, Domenico Cantone, Alberto Policriti, Jacob T. Schwartz
A Computerized Referee. Reasoning, Action and Interaction in AI Theories and Systems (2006)
Calogero G. Zarba, Domenico Cantone, Jacob T. Schwartz
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level Case. J. Autom. Reason. 33 (3-4) (2004)
Domenico Cantone, Eugenio G. Omodeo, Jacob T. Schwartz, Pietro Ursino
Notes from the Logbook of a Proof-Checker's Project. Verification: Theory and Practice (2003)
Domenico Cantone, Jacob T. Schwartz, Calogero G. Zarba
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. Electron. Notes Theor. Comput. Sci. 86 (1) (2003)
Eugenio G. Omodeo, Jacob T. Schwartz
A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. Computational Logic: Logic Programming and Beyond (2002)
Alberto Policriti, Jacob T. Schwartz
T-Theorem Proving I. J. Symb. Comput. 20 (3) (1995)
Jacob T. Schwartz, Micha Sharir
Finding Effective "Force Targets" for Two-Dimensional Multifinger Frictional Grips. Algorithmica 8 (1) (1992)
Domenico Cantone, Jacob T. Schwartz
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. J. Autom. Reason. 7 (2) (1991)
Domenico Cantone, Vincenzo Cutello, Jacob T. Schwartz
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets. CSL (1990)
Jacob T. Schwartz, Micha Sharir
On the Two-Dimensional Davenport Schinzel Problem. J. Symb. Comput. 10 (3/4) (1990)
Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson
Affine invariant model-based object recognition. IEEE Trans. Robotics Autom. 6 (5) (1990)
James Demmel, Gerardo Lafferriere, Jacob T. Schwartz, Micha Sharir
Theoretical and experimental studies using a multifinger planar manipulator. ICRA (1988)
Jacob T. Schwartz, Micha Sharir
A Survey of Motion Planning and Related Geometric Algorithms. Artif. Intell. 37 (1-3) (1988)
Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson
Object recognition by affine invariant matching. CVPR (1988)
Yehezkel Lamdan, Jacob T. Schwartz, Haim J. Wolfson
On recognition of 3-D objects from 2-D images. ICRA (1988)
Herbert Edelsbrunner, János Pach, Jacob T. Schwartz, Micha Sharir
On the Lower Envelope of Bivariate Functions and its Applications FOCS (1987)
Domenico Cantone, Alfredo Ferro, Jacob T. Schwartz
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. J. Comput. Syst. Sci. 34 (1) (1987)
Bhubaneswar Mishra, Jacob T. Schwartz, Micha Sharir
On the Existence and Synthesis of Multifinger Positive Grips. Algorithmica 2 (1987)
Jacob T. Schwartz, Micha Sharir
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning. ICALP (1987)
C. Marc Bastuscheck, Edith Schonberg, Jacob T. Schwartz, Micha Sharir
Object recognition by three-dimensional curve matching. Int. J. Intell. Syst. 1 (2) (1986)
Stefan M. Freudenberger, Jacob T. Schwartz, Micha Sharir
Experience with the SETL Optimizer. ACM Trans. Program. Lang. Syst. 5 (1) (1983)
Edmond Schonberg, Jacob T. Schwartz, Micha Sharir
An Automatic Technique for Selection of Data Structures in SETL Programs. ACM Trans. Program. Lang. Syst. 3 (2) (1981)
Jacob T. Schwartz
Finding the Minimum Distance Between Two Convex Polygons. Inf. Process. Lett. 13 (4/5) (1981)
Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz
Decision Procedures for Some Fragments of Set Theory. CADE (1980)
Jacob T. Schwartz
Fast Probabilistic Algorithms for Verification of Polynomial Identities. J. ACM 27 (4) (1980)
Jacob T. Schwartz
Ultracomputers. ACM Trans. Program. Lang. Syst. 2 (4) (1980)
Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage. ACM Trans. Program. Lang. Syst. 1 (1) (1979)
Edmond Schonberg, Jacob T. Schwartz, Micha Sharir
Automatic Data Structure Selection in SETL. POPL (1979)
Jacob T. Schwartz
Probabilistic algorithms for verification of polynomial identities (invited). EUROSAM (1979)
Jacob T. Schwartz
The Interplay Between Mathematics And Computer Science. ACM Annual Conference (1) (1978)
Robert Paige, Jacob T. Schwartz
Reduction in Strength of High Level Operations. POPL (1977)
Jacob T. Schwartz
Optimization of Very High Level Languages - II. Deducing Relationships of Inclusion and Membership. Comput. Lang. 1 (3) (1976)
Jacob T. Schwartz
What Programmers Should Know. Comput. Lang. 2 (1/2) (1976)
Jacob T. Schwartz
Optimization of Very High Level Languages - I. Value Transmission and Its Corollaries. Comput. Lang. 1 (2) (1976)
Jacob T. Schwartz
Automatic Data Structure Choice in a Language of Very High Level. Commun. ACM 18 (12) (1975)
Jacob T. Schwartz
Automatic Data Structure Choice in a Language of Very High Level. POPL (1975)