Jacob T. Schwartz

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