Carl Witty

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

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
MetaPRL - A Modular Logical Environment. TPHOLs (2003)
Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen
Tarskian Set Constraints. Inf. Comput. 174 (2) (2002)
Randy Sargent, Bill Bailey, Carl Witty, Anne Wright
Dynamic Object Capture Using Fast Vision Tracking. AI Mag. 18 (1) (1997)
Randy Sargent, Bill Bailey, Carl Witty, Anne Wright
The importance of fast vision in winning the First Micro-Robot World Cup Soccer Tournament. Robotics Auton. Syst. 21 (2) (1997)
Barry Brian Werger, Pablo Funes, Miguel Schneider-Fontán, Randy Sargent, Carl Witty, Tim Witty
The Spirit of Bolivia: Complex Behavior Through Minimal Control. RoboCup (1997)
David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen
Tarskian Set Constraints. LICS (1996)