Papers |
 |
Papers are stored as Postscript (.ps) files or as
Adobe Acrobat (.pdf) files. You can obtain Ghostview to view and print the
PostScript files from the
Ghostscript
Home Page.
The Adobe Acrobat reader can be obtained from the Adobe home page.
2009
- Informing the Design of an Automated Wayfinding System for Individuals with Cognitive Impairments
- Alan L. Liu , Harlan Hile, Gaetano Borriello, Henry Kautz, Pat A. Brown, Mark Harniss, and Kurt Johnson. Proceedings of Pervasive Health '09, London UK, April 1-3, 2009.
- Evaluating a Wayfinding System for Individuals with Cognitive Impairment
- CHI 2009 Workshop on Evaluating New Interactions in Healthcare, Boston MA, April 4, 2009.
- Image Annotation Within the Context of Personal Photo Collections Using Hierarchical Event and Scene Models
- Liangliang Cao, Jiebo Luo, Henry Kautz, and Thomas S. Huang. ACM Transactions on Multimedia, 11 (2) February 2009.
2008
- Privacy-preserving Recognition of Activities in Daily Living from Multi-view Silhouettes and RFID-based Training
- Sangho Park and Henry Kautz. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, November 7 - 9, 2008.
- Integrating Sensing and Cueing for More Effective Activity Reminders
- Joseph Modayil, Rich Levinson, Craig Harman, David Halper, and Henry Kautz. AAAI Fall 2008 Symposium on AI in Eldercare: New Solutions to Old Problems, Washington, DC, November 7 - 9, 2008.
- Mining GPS Traces and Visual Words for Event Classification
- Junsong Yuan, Jiebo Luo, Henry Kautz, and Ying Wu, ACM Multimedia Information Retrieval (MIR) Conference, Brave New Topics Session, Vancouver, BC, October 2008. (Invited Oral Presentation)
- Improving the Recognition of Interleaved Activities
- Joseph Modayil, Tongxin Bai, and Henry Kautz. Tenth International Conference on Ubiquitous Computing (UBICOMP08), Seoul, South Korea, September 21 - 24, 2008.
- Hierarchical Recognition of Activities of Daily Living using Multi-Scale, Multi-Perspective Vision and RFID
- Sangho Park and Henry Kautz. The 4th IET International Conference on Intelligent Environments, Seattle, WA, July 2008.
- Discovery of Social Relationships in Consumer Photo Collections using Markov Logic
- Parag Singla, Henry Kautz, Jiebo Luo, Andrew Gallagher. 3rd International Workshop on Semantic Learning and Applications in Multimedia Applications (in association with IEEE International Conference on Computer Vision and Pattern Recognition), Anchorage, Alaska, 2008. (Oral Presentation)
- Satisfiability Solvers
-
Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman. Handbook of Knowledge Representation, in the series Foundations of Artificial Intelligence, vol. 3. Editors: Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter. Elsevier, pp 89-134, 2008.
- Incomplete Algorithms (for Satisfiability)
-
Henry Kautz, Ashish Sabharwal, Bart Selman. Handbook of Satisfiability, IOS Press. Editors: Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh. Expected publication 2008.
- Technology and Aging: Selected Papers from the 2007 International Conference on Technology and Aging
- A. Mihailidis, J. Boger, H. Kautz, and L. Normie, Eds., IOS Press, Amsterdam, 2008.
- Indoor wayfinding: Developing a functional interface for individuals with cognitive impairments
- A.L. Liu, H. Hile, H. Kautz, G. Borriello, P.A. Brown, M. Harniss, K. Johnson. Disability and Rehabilitation: Assistive Technology, Volume 3, Issue 1 & 2 January 2008, pp. 69-81.
2007
- Learning and Inferring Transportation Routines
- L. Liao, D. J. Patterson, D. Fox, and H. Kautz. Artificial Intelligence 171(5-6), 2007, 311-331.
- Hierarchical Recognition of Activities in Daily Living using Multi-Scale, Multi-Perspective Vision and RFID
- Sangho Park and Henry Kautz. Under review.
- Training Conditional Random Fields using Virtual Evidence Boosting
- Lin Liao, Tanzeem Choudhury, Dieter Fox, and Henry Kautz. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007. Click here for a poster.
- SAT Encodings of State-Space Reachability Problems in Numeric Domains
- J. Hoffmann, H. Kautz, C. Gomes, B. Selman. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
- A Dynamic Approach to MPE and Weighted MAX-SAT
- Tian Sang, Paul Beame, and Henry Kautz. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, 2007.
- Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields
- L. Liao, D. Fox, and H. Kautz. International Journal of Robotics Research, 2007.
- Learning Large Scale Common Sense Models of Everyday Life.
- William Pentney, Matthai Philipose, Jeff Bilmes and Henry Kautz.
In Proceedings of the 27th Annual Conference of AAAI, 2007.
- Capturing Spontaneous Conversation and Social Dynamics: A Privacy Sensitive Data Collection Effort
- D. Wyatt, T. Choudhury, and H. Kautz. Proceedings of ICASSP-07. Honolulu, Hawaii. April 2007. [PDF] © IEEE 2006, all rights reserved.
- A Privacy-Sensitive Approach to Modeling Multi-Person Conversations
- D. Wyatt, T. Choudhury, J. Bilmes, and H. Kautz. Proceedings of IJCAI-07. Hyderabad, India. January 2007. [PDF] © IJCAI 2007, all rights reserved.
2006
-
Indoor Wayfinding: Developing a Functional Interface for Individuals with Cognitive Impairments
- Alan L. Liu, Harlan Hile, Henry Kautz, Gaetano Borriello, Pat A. Brown, Mark Harniss, Kurt Johnson. Proceedings of the 8th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS 2006), Portland, OR, 2006. Extended version invited to appear in a special issue of the journal Disability and Rehabilitation: Assistive Technologies.
- Deconstructing Planning as Satisfiability
- Henry Kautz. Proceedings
of the Twenty-first National Conference on Artificial Intelligence (AAAI-06), Boston, MA, 2006.
- SatPlan: Planning as Satisfiability
- Henry Kautz, Bart Selman, and Joerg Hoffmann. Abstracts of the 5th International Planning Competition, 2006.
- Understanding Human Experience
- Position paper for the article, "Artificial Intelligence: The Next Twenty-Five Years", Matthew Stone and Haym Hirsh, editors, AI Magazine, 26(4): Winter 2005, 85–97.
- Sensor-Based Understanding of Daily Life via Large-Scale Use of Common Sense
- William Pentney, Henry Kautz, Matthai Philipose, Ana-Maria Popescu, and Shiaokai Wang. Proceedings of the 26th Annual Conference of AAAI, 2006.
2005
- Report on the DARPA Workshop on Advancing Assisted Cognition Technology for Persons with Traumatic Brain Injury
- Henry Kautz. November 7-8, 2005, Bethesda, MD.
- Location-Based Activity Recognition using Relational Markov Networks
- Lin Liao, Dieter Fox and Henry Kautz. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, 2005.
- Location-Based Activity Recognition
- L. Liao, D. Fox, and H. Kautz. Proceedings of the Nineteenth Annual Conference on Neural Information Processing Systems (NIPS-2005), Whistler, BC, 2005.
-
Extending Continuous Time
Bayesian Networks
- Karthik Gopalratnam and Henry Kautz and Daniel S. Weld. Proceedings
of the Twentieth National Conference on Artificial Intelligence (AAAI-05),
Pittsburgh, PA, 2005.
-
Heuristics for Fast Exact Model
Counting
- Tian Sang, Paul Beame, and Henry Kautz. Eighth International Conference on Theory and Applications of
Satisfiability Testing, Edinburgh, Scotland, 2005.
- Solving Bayesian Networks
byWeighted Model Counting
- Tian Sang, Paul Beame, and Henry Kautz. Proceedings of the
Twentieth National Conference on Artificial Intelligence (AAAI-05),
Pittsburgh, PA, 2005.
- Constraints and AI Planning
- A. Nareyek, E. Freuder, R. Fourer, E. Giunchiglia, R. Goldman, H. Kuatz, J. Rintanen, & A. Tate. IEEE Intelligent Systems, 20(2) 2005, pgs. 62-72.
- Fine-Grained Activity Recognition by Aggregating Abstract Object Usage
- Donald Patterson, Dieter Fox, Henry Kautz, Matthai Philipose. Proceedings of the IEEE International Symposium on Wearable Computers, Osaka, Japan, Oct. 2005. Best Paper Award.
2004
-
Towards Understanding and Harnessing the Potential of Clause Learning
- Beame, P., Kautz, H. and Sabharwal, A. Journal of Artificial Intelligence
Research (JAIR), vol. 22, pgs. 319-351, 2004.
-
Inferring ADLs from Interactions
with Objects
-
Matthai Philipose, Kenneth P. Fishkin, Mike Perkowitz,
Donald J. Patterson1, Dirk Hähnel, Dieter Fox, and Henry Kautz. IEEE Pervasive Computing,
volume 3, number 4, pages 50-56, 2004.
-
Opportunity Knocks: a System to Provide
Cognitive Assistance with Transportation
Services
-
Donald J. Patterson, Lin Liao, Krzysztof Gajos, Michael Collier, Nik Livic,
Katherine Olson, Shiaokai Wang, Dieter Fox, and Henry Kautz.
Sixth International Conference on Ubiquitous Computing, Nottingham, England, 2004.
- Walksat in the 2004 SAT Competition
- Henry Kautz, Bart Selman, & David McAllester, International Conference on Theory and Applications of
Satisfiability Testing, Vancouver, 2004.
- Learning and Inferring Transportation Routines
- Lin Liao, Dieter Fox, and Henry Kautz. Best Paper Award, Nineteenth
National Conference on Artificial Intelligence, San Jose, CA, 2004.
- Behavior Recognition in
Assisted Cognition
- Lin Liao, Donald J. Patterson, Dieter Fox, and Henry Kautz.
Invited paper, AAAI 2004 Workshop on Supervisory Control of Learning
and Adaptive Systems, San Jose, CA, 2004.
-
Contextual Computer Support for Human
Activity
-
Donald J. Patterson, Ken Fishkin, Dieter Fox, Henry Kautz, Mike
Perkowitz, and Matthai Philipose. AAAI 2004 Spring Symposium on
Interaction Between Humans and Autonomous Systems
over Extended Operation, Stanford, CA, 2004.
- Combining Component Caching and Clause
Learning for Effective Model Counting
- Tian Sang, Fahiem Bacchus, Paul Beame, Henry Kautz, and Toniann Pitassi..
Seventh International Conference on Theory and Applications of
Satisfiability Testing, Vancouver, Canada, 2004.
-
The Backdoor Key: A Path to Understanding Problem Hardness
-
Yongshao Ruan, Henry Kautz, and Eric Horvitz, Nineteenth National
Conference on Artificial Intelligence, San Jose, CA, 2004.
2003
- Ten Challenges Redux: Recent Progress in Propositional Reasoning and
Search
- Henry Kautz & Bart Selman. Invited paper, Ninth International
Conference on Principles and Practice of Constraint Programming (CP 2003),
Cork, Ireland, 2003.
- Hardness-Aware Restart Policies
-
Yongshao Ruan, Eric Horvitz, and Henry Kautz, IJCAI-03 Workshop on
Stochastic Search Algorithms, Alcapulco, Mexico, 2003.
-
Inferring High Level Behavior from Low Level
Sensors.
- Don Patterson, Lin Liao, Dieter Fox, and Henry Kautz. Fifth Annual
Conference on Ubiquitous Computing (UBICOMP 2003), Seattle, WA, 2003.
- Expressive, Tractable and Scalable Techniques for Modeling Activities of
Daily Living.
- Don Patterson, Dieter Fox, Henry Kautz, and Matthai
Philipose. UbiHealth
2003: The 2nd International Workshop on Ubiquitous Computing for Pervasive
Healthcare Applications, Seattle, WA, Oct 12, 2003.
-
Voronoi Tracking: Location Estimation using
Sparse and Noisy Data.
- Lin Liao, Dieter Fox, Jeffrey Hightower, Henry Kautz and Dirk Schulz. IEEE/RSJ
International Conference on Intelligent Robots and Systems (IROS 2003),
Las Vegas, NV, 2003.
-
Understanding the Power of Clause Learning.
- Paul Beame, Henry Kautz, and Ashish Sabharwal. Proceedings of the
Eighteenth International Joint Conference on Artificial Intelligence
(IJCAI-2003). Morgan Kaufman, 2003.
- Using Problem Structure for Efficient Clause Learning.
- Paul Beame, Henry Kautz, and Ashish Sabharwal. Sixth International
Conference on Theory and Applications of Satisfiability Testing (SAT 2003), Springer
Verlag Lecture Notes in Artificial Intelligence (LNAI), 2003.
- Foundations of Assisted Cognition Systems.
- Henry Kautz, Oren Etzioni, Dieter Fox, Dan Weld. UW CSE Technical
Report, March 2003.
2002
-
The Activity Compass
-
Don Patterson, Oren Etzioni, and Henry Kautz.
First International Workshop on Ubiquitous Computing for Cognitive Aids, Gothenberg, Sweden, 2002.
-
Towards a Theory of Natural Language Interfaces to Databases.
-
Ana-Marie Popescu, Oren Etzioni, and Henry Kautz. Proceedings of the
International Conference on Intelligent User Interfaces (IUI-2003), Miami,
Florida, 2003.
-
Restart Policies with Dependence among Runs: A Dynamic
Programming Approach.
-
Yongshao Ruan, Eric Horvitz, and Henry Kautz.
Proceedings of
the Eighth International Conference on Principles and Practice of
Constraint Programming (CP-2002), Springer-Verlag, 2002.
-
Dynamic Restart Policies.
-
Henry Kautz,
Eric Horvitz,
Yongshao Ruan, Carla Gomes, and Bart Selman.
Proceedings AAAI-2002.
-
An Overview of the Assisted Cognition Project.
.
-
Henry Kautz,
Larry Arnstein,
Gaetano Borriello,
Oren Etzioni, and
Dieter Fox.
AAAI-2002 Workshop on Automation as
Caregiver: The Role of Intelligent Technology in Elder Care.
2001
-
A Bayesian Approach to Tackling Hard Computational Problems.
.
-
Eric Horvitz,
Yongshao Ruan,
Carla Gomes,
Henry Kautz,
Bart Selman,
Max Chickering.
Proceedings the 17th Conference on Uncertainty in Artificial
Intelligence (UAI-2001).
Compressed version.
-
Balance and Filtering in Structured Satisfiable Problems
.
-
Henry Kautz,
Yongshao Ruan,
Dimitiri Achlioptas,
Carla Gomes,
Bart Selman,
and Mark Stickel.
Proceedings of the 17th International
Joint Conference on Artificial Intelligence (IJCAI-2001).
-
Auto-Walksat: a Self-Tuning Implementation of Walksat.
-
Donald J. Patterson
and Henry Kautz.
Electronic Notes in Discrete Mathematics (ENDM),
9, 2001, Elsevier. Presented at the
LICS 2001
Workshop on Theory and Applications
of Satisfiability Testing,
June 14-15, 2001,
Boston University, MA.
2000 and Earlier
- Generating Satisfiable Problem Instances
-
Dimitris Achlioptas,
Carla Gomes, Henry Kautz, and Bart Selman.
Proc. AAAI-2000, Austin, TX.
- Hardening soft information sources
-
David McAllester, William Cohen, and Henry Kautz.
Proc. KDD-2000
, Boston, MA.
- Learning Declarative Control Rules for Constraint-Based
Planning
-
Yi-Cheng Huang, Bart Selman, and Henry Kautz.
Proc. ICML-2000 (Seventeenth International Conference on
Machine Learning), Stanford, CA.
- Heavy-tailed phenomena in satisfiability and constraint satisfaction
problems
-
Carla P. Gomes, Bart Selman, Nuno Crator, and Henry Kautz.
J. of Automated Reasoning, Vol. 24(1/2), pages 67-100, 1999.
- Unifying SAT-based and Graph-based Planning
-
Henry Kautz and Bart Selman.
Proc. IJCAI-99, Stockholm, 1999.
- Integer Optimization Models
of AI Planning Problems
-
Henry Kautz and Joachim P. Walser.
Knowledge Engineering Review, vol. 15, no. 1, 2000, pp. 101-117.
- State-space Planning by Integer Optimization
-
Henry Kautz and Joachim P. Walser.
Proc. AAAI-99, Orlando, FL, 1999.
- Control Knowledge in Planning: Benefits and
Tradeoffs
-
Yi-Chen Huang, Bart Selman, and Henry Kautz.
Proc. AAAI-99, Orlando, FL, 1999.
- Temporal Reasoning.
- In The MIT Encyclopedia of Cognitive Science, MIT Press, Cambridge, 1999.
- BLACKBOX: A New Approach to the Application of Theorem Proving to Problem
Solving
-
Henry Kautz and Bart Selman.
Working notes of the Workshop on Planning as Combinatorial Search,
held in conjunction with AIPS-98, Pittsburgh, PA, 1998.
- Creating Models of Real-World Communities with
ReferralWeb
-
Henry Kautz and Bart Selman.
Working notes of the Workshop on Recommender Systems,
held in conjunction with AAAI-98, Madison, WI, 1998.
- Boosting
Combinatorial Search Through Randomization
-
C.P. Gomes, B. Selman, and H. Kautz.
Proc. AAAI-98, Madison, WI, 1998.
-
The Role of Domain-Specific Knowledge in the Planning as
Satisfiability Framework
( Entire paper as a pdf file, OR
Text; Figures)
-
Henry Kautz and Bart Selman. Proc. AIPS-98, Pittsburgh, PA,
1998.
Abstract.
- Temporal Reasoning
-
Henry Kautz. Appears in the MIT Encyclopedia of Cognitive Science
, forthcoming.
- A General Stochastic Approach to Solving Problems with Hard and Soft
Constraints
-
Henry Kautz, Bart Selman, and Yueyen Jiang.
In The Satisfiability Problem: Theory and Applications,
Dingzhu Gu, Jun Du, and Panos Pardalos (Eds.), DIMACS Series in Discrete
Mathematics and Theoretical Computer Science, vol. 35, American
Mathematical Society, 1997, pages 573-586.
- Exploiting Variable Dependency in Local Search
-
Henry Kautz, David McAllester, and Bart Selman. DRAFT.
Abstract appears in Abstracts of the Poster Sessions of IJCAI-97, Nagoya, Japan,
1997. Abstract.
- The Hidden Web
-
Henry Kautz, Bart Selman, and Mehul Shah. The
AI Magazine, vol. 18, no. 2, Summer 1997, pages 27 - 36. Abstract.
- Ten Challenges in Propositional Reasoning and Search
-
Bart Selman,
Henry Kautz, and
David McAllester.
Proc. IJCAI-97, Nagoya, Aichi, Japan, 1997.
Abstract.
-
- Evidence for Invariants in Local Search
-
David McAllester,
Bart Selman,
and
Henry Kautz.
Proc. AAAI-97, Providence, RI, 1997.
Abstract.
- ReferralWeb: Combining Social Networks and Collaborative
Filtering
-
Henry Kautz,
Bart Selman, and Mehul Shah.
Comm. ACM, vol. 30 no. 3, March 1997.
- Agent Amplified Communication
-
Henry Kautz, Bart Selman, and Al Milewski. Proc. AAAI-96.
- Encoding Plans in Propositional Logic
-
Henry Kautz,
David McAllester, and
Bart Selman,
Proc. KR-96.
- Pushing the Envelope: Planning, Propositional Logic, and Stochastic
Search
-
Henry Kautz and Bart Selman,
Proc. AAAI-96.
Best Paper Award.
- The Comparative Linguistics of Knowledge
Representation
-
Goran Gogic, Henry Kautz, Christos Papadimitriou, and
Bart Selman,
Proc. IJCAI-95.
- Agent Amplified Communication
-
Henry Kautz and Bart Selman,
Proc. AAAI-96 (earlier version, AAAI-95 Spring Symposium).
- Knowledge Compilation and Theory Approximation
-
Bart Selman and Henry Kautz. Draft (near-final) version. Final
version appears in the Journal of the ACM, 43(2):193-224, March 1996.
- Local Search Strategies for
Satisfiability Testing.
-
Bart Selman, Henry Kautz, and Bram Cohen.
Draft (near-final) version. Final version appears in
Cliques, Coloring, and Satisfiability: Second
DIMACS Implementation Challenge, October 11-13,
1993. David S. Johnson and Michael A. Trick, ed.
DIMACS Series in Discrete Mathematics and Theoretical
Computer Science, vol. 26, AMS, 1996. Appendix
summarizing
results of walksat on challenge instances.
- Solving Problems with Hard and Soft Constraints Using A
Stochastic Algorithm for MAX-SAT
-
Yueyun Jiang,
Henry Kautz,
and Bart Selman,
1st International Joint Workshop on Artificial
Intelligence and Operations Research, 1995.
- Horn Approximations of Empirical Data
-
Henry Kautz, Michael Kearns, and Bart Selman. Draft
(near-final) version. Final version appears in
Artificial Intelligence, 74/1 (pp. 129-145) 30 March 1995.
- Noise Strategies for Improving Local Search
-
Bart Selman, Henry Kautz, and Bram Cohen.
Proc. AAAI-94.
- An Experiment in the Design of Software Agents
-
Henry Kautz, Bart Selman, Michael Coen, Steven
Ketchpel, and Chris Ramming,
Proc. AAAI-94.
- An Empirical Evaluation of Knowledge Compilation
-
Henry Kautz and Bart Selman,
Proc. AAAI-94. (Extended version).
- GSAT User's Guide.
-
Henry Kautz and Bart Selman.
- Local Search Strategies for Satisfiability Testing
-
Bart Selman and Henry Kautz,
Draft.
- Domain-Independent Extensions to GSAT: Solving Large
Structured Satisfiability Problems
-
Bart Selman and Henry Kautz,
Proc. IJCAI-93.
- Reasoning With Characteristic Models
- Henry Kautz,
Michael Kearn, Bart Selman,
Proc. AAAI-93.
- An Empirical Study of Greedy Local Search for
Satisfiability Testing
- Bart Selman and Henry Kautz,
Proc. AAAI-93.
- Planning as Satisfiability
-
Henry Kautz and Bart Selman, Proceedings ECAI-92.
- Forming Concepts for Fast Inference
-
Henry Kautz and Bart Selman, Proceedings AAAI-92.
- A General Framework for Knowledge Compilation
-
Henry Kautz and Bart Selman, PDK-91, WOCFAI-91.
- Knowledge Compilation Using Horn Approximations
-
Bart Selman and Henry Kautz, Proceedings AAAI-91.
- Integrating Metric and Qualitative Temporal Reasoning
-
Henry Kautz and Peter Ladin, Proceedings AAAI-91.
- A Formal Theory of Plan Recognition and its Implementation
- In Reasoning About Plans, by J.F. Allen, H.A. Kautz, R.N. Pelavin, and J.D. Tennenberg, Morgan Kaufmann Publishers, 1991, pages 69-126 (chapter 2). Abstract.
- The complexity of model-preference default theories
- B. Selman and H. Kautz. Model-Preference Default Theories, Artificial Intelligence 45, 1990, pp. 287-322. Earlier version received Best Paper Award, Proceedings of the National
Conference of the Canadian Society for Computational Studies of Intelligence (CSCSI), 1988.
- Hard Problems for Simple Default
Logics
-
Henry Kautz and Bart Selman. Artificial Intelligence
49 (1991) 243--279.
Earlier version received Best Paper Award, Proceedings of the 1st Intenational Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, 1989.
- Constraint Propagation Algorithms for Temporal Reasoning: A Revised Report
-
Marc Vilain Henry Kautz Peter van Beek.
-
A Formal Theory of Plan Recognition
-
Henry Kautz.
PhD Thesis, Dept. of Computer Science, University of Rochester, 1987.
(Tech. report 215.)
Abstract.
-
The logic of persistence.
-
H. A. Kautz. Proc. of AAAI-1986, 401-405.
Back to my personal home page page.