Steven Trac

According to our database, Steven Trac authored at least 8 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Robust Free Space Computation for Curved Planar Bodies.

Victor Milenkovic, Elisha Sacks, Steven Trac

IEEE Trans Autom. Sci. Eng., 2013

Planar Shape Manipulation using Approximate Geometric Primitives.

Victor Milenkovic, Elisha Sacks, Steven Trac

Int. J. Comput. Geom. Appl., 2013

2012

Robust Complete Path Planning in the Plane.

Victor Milenkovic, Elisha Sacks, Steven Trac

Proceedings of the Algorithmic Foundations of Robotics X, 2012

2010

Large theory reasoning with SUMO at CASC.

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac

AI Commun., 2010

2009

Multiple Answer Extraction for Question Answering with Automated Theorem Proving Systems.

Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac

Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, 2009

2008

Integration of the TPTPWorld into SigmaKEE.

Steven Trac, Geoff Sutcliffe, Adam Pease

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

The Annual SUMO Reasoning Prizes at CASC.

Adam Pease, Geoff Sutcliffe, Nick Siegel, Steven Trac

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2006

An Interactive Derivation Viewer.

Steven Trac, Yury Puzis, Geoff Sutcliffe

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006