%0 
%0 Conference Proceedings
%A Dyckhoff, Roy & Lengrand, Stéphane
%D 2006
%T LJQ: A Strongly Focused Calculus for Intuitionistic Logic.
%E Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt & Tucker, John V.
%B CiE
%C 
%I Springer
%V 3988
%6
%N 
%P 173-185
%& 
%Y 
%S Lecture Notes in Computer Science
%7
%8 
%9
%? 
%! 
%Z 
%@ 3-540-35466-2
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/cie/2006
%# 
%$ 
%F conf/cie/DyckhoffL06
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/conf/cie/cie2006.html#DyckhoffL06
%+
%^

%0 
%0 Journal Article
%A Goldfarb, Avi & Tucker, Catherine
%D 2008
%T Economic and business dimensions: Search engine advertising.
%E 
%B Commun. ACM
%C 
%I 
%V 51
%6
%N 11
%P 22-24
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 article
%4 
%# 
%$ 
%F journals/cacm/GoldfarbT08
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/journals/cacm/cacm51.html#GoldfarbT08
%+
%^

%0 
%0 Conference Proceedings
%A Knoop, Steffen; Schmidt-Rohr, Sven R. & Dillmann, Rüdiger
%D 2006
%T A Flexible Task Knowledge Representation for Service Robots.
%E Arai, Tamio; Pfeifer, Rolf; Balch, Tucker R. & Yokoi, Hiroshi
%B IAS
%C 
%I IOS Press
%V 
%6
%N 
%P 856-864
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 1-58603-595-9
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/ias/2006
%# 
%$ 
%F conf/ias/KnoopSD06
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/conf/ias/ias2006.html#KnoopSD06
%+
%^

%0 
%0 Journal Article
%A O'Hara, Keith J.; Walker, Daniel B. & Balch, Tucker R.
%D 2008
%T Physical Path Planning Using a Pervasive Embedded Network.
%E 
%B IEEE Transactions on Robotics
%C 
%I 
%V 24
%6
%N 3
%P 741-746
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 article
%4 
%# 
%$ 
%F journals/trob/OHaraWB08
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/journals/trob/trob24.html#OHaraWB08
%+
%^

%0 
%0 Journal Article
%A Osadchy, Margarita; Jacobs, David; Ramamoorthi, Ravi & Tucker, David
%D 2008
%T Using specularities in comparing 3D models and 2D images.
%E 
%B Computer Vision and Image Understanding
%C 
%I 
%V 111
%6
%N 3
%P 275-294
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 article
%4 
%# 
%$ 
%F journals/cviu/OsadchyJRT08
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/journals/cviu/cviu111.html#OsadchyJRT08
%+
%^

%0 
%0 Conference Proceedings
%A Roberts, Richard; Nguyen, Hai; Krishnamurthi, Niyant & Balch, Tucker R.
%D 2008
%T Memory-based learning for visual odometry.
%E 
%B ICRA
%C 
%I IEEE
%V 
%6
%N 
%P 47-52
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/icra/2008
%# 
%$ 
%F conf/icra/RobertsNKB08
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/conf/icra/icra2008.html#RobertsNKB08
%+
%^

%0 
%0 Conference Proceedings
%A Taft, S. Tucker
%D 2008
%T Implementing the extended return statement for Ada 2005.
%E Feldman, Michael B. & III, Leemon C. Baird
%B SIGAda
%C 
%I ACM
%V 
%6
%N 
%P 97-104
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 978-1-60558-274-0
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/sigada/2008
%# 
%$ 
%F conf/sigada/Taft08
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/conf/sigada/sigada2008.html#Taft08
%+
%^

%0 
%0 Conference Proceedings
%A Tatlock, Zachary; Tucker, Chris; Shuffelton, David; Jhala, Ranjit & Lerner, Sorin
%D 2008
%T Deep typechecking and refactoring.
%E Harris, Gail E.
%B OOPSLA
%C 
%I ACM
%V 
%6
%N 
%P 37-52
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 978-1-60558-215-3
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/oopsla/2008
%# 
%$ 
%F conf/oopsla/TatlockTSJL08
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2008.html#TatlockTSJL08
%+
%^

%0 
%0 Journal Article
%A Tsai, Andy; Yezzi, Anthony J.; III, William M. Wells; Tempany, Clare M.; Tucker, Dewey; Fan, Ayres C.; Grimson, W. Eric L. & Willsky, Alan S.
%D 2003
%T A Shape-Based Approach to the Segmentation of Medical Imagery Using Level Sets.
%E 
%B IEEE Trans. Med. Imaging
%C 
%I 
%V 22
%6
%N 2
%P 137-154
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 
%(
%)
%*
%L
%M
%1 
%2 
%3 article
%4 
%# 
%$ 
%F journals/tmi/TsaiYWTTFGW03
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/journals/tmi/tmi22.html#TsaiYWTTFGW03
%+
%^

%0 
%0 Conference Proceedings
%A Tsai, Andy; Yezzi, Anthony J.; III, William M. Wells; Tempany, Clare M.; Tucker, Dewey; Fan, Ayres C.; Grimson, W. Eric L. & Willsky, Alan S.
%D 2001
%T Model-Based Curve Evolution Technique for Image Segmentation.
%E 
%B CVPR (1)
%C 
%I IEEE Computer Society
%V 
%6
%N 
%P 463-468
%& 
%Y 
%S 
%7
%8 
%9
%? 
%! 
%Z 
%@ 0-7695-1272-0
%(
%)
%*
%L
%M
%1 
%2 
%3 inproceedings
%4 conf/cvpr/2001
%# 
%$ 
%F conf/cvpr/TsaiYWTTFGW01
%K dblp 
%X 
%Z 
%U http://dblp.uni-trier.de/db/conf/cvpr/cvpr2001-1.html#TsaiYWTTFGW01
%+
%^