Carl Witty

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2003
c3		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: 287-303
	2002
j3		Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen: Tarskian Set Constraints. Inf. Comput. 174(2): 105-131 (2002)
	1997
j2		Randy Sargent, Bill Bailey, Carl Witty, Anne Wright: Dynamic Object Capture Using Fast Vision Tracking. AI Magazine 18(1): 65-72 (1997)
j1		Randy Sargent, Bill Bailey, Carl Witty, Anne Wright: The importance of fast vision in winning the First Micro-Robot World Cup Soccer Tournament. Robotics and Autonomous Systems 21(2): 139-147 (1997)
c2		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: 348-356
	1996
c1		David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen: Tarskian Set Constraints. LICS 1996: 138-147

Coauthor Index

Last update Thu May 23 02:05:52 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page