Carl Witty

According to our database, Carl Witty authored at least 5 papers between 1997 and 2003.

Collaborative distances:

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

2003

MetaPRL - A Modular Logical Environment.

Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2002

Tarskian Set Constraints.

Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen

Inf. Comput., 2002

1997

The importance of fast vision in winning the First Micro-Robot World Cup Soccer Tournament.

Randy Sargent, Bill Bailey, Carl Witty, Anne Wright

Robotics Auton. Syst., 1997

Dynamic Object Capture Using Fast Vision Tracking.

Randy Sargent, Bill Bailey, Carl Witty, Anne Wright

AI Mag., 1997

The Spirit of Bolivia: Complex Behavior Through Minimal Control.

Barry Brian Werger, Pablo Funes, Miguel Schneider-Fontán, Randy Sargent, Carl Witty, Tim Witty

Proceedings of the RoboCup-97: Robot Soccer World Cup I, 1997