default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th AAAI / 9th IAAI 1997: Providence, Rhode Island
- Benjamin Kuipers, Bonnie L. Webber:
Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, AAAI 97, IAAI 97, July 27-31, 1997, Providence, Rhode Island, USA. AAAI Press / The MIT Press 1997, ISBN 0-262-51095-2
AAAI-97 Technical Papers
Agents
Agent Architecture
- Kentaro Toyama, Gregory D. Hager:
If at First You Don't Succeed... 3-9 - Juan David Velásquez:
Modeling Emotions and Other Motivations in Synthetic Agents. 10-15
Agent Coordination
- Mihai Barbuceanu:
Coordinating Agents by Role Based Social Constraints and Conversation Plans. 16-21 - Milind Tambe:
Agent Architectures for Flexible, Practical Teamwork. 22-28
Negotiation
- Rina Azoulay-Schwartz, Sarit Kraus:
Negotiation on Data Allocation in Multi-Agent Environments. 29-35 - Daniel Dajun Zeng, Katia P. Sycara:
Benefits of Learning in Negotiation. 36-41
Automated Reasoning
Automated Reasoning/Diagnosis
- Sheila A. McIlraith:
Representing Actions and State Constraints in Model-Based Diagnosis. 43-49 - P. Pandurang Nayak, Brian C. Williams:
Fast Context Switching in Real-Time Propositional Reasoning. 50-56
Automated Reasoning & the User Interface
- Vibhu O. Mittal:
Visual Prompts and Graphical Design: A Framework for Exploring the Design Space of 2-D Charts and Graphs. 57-63 - Robert St. Amant:
Navigation and Planning in a Mixed-Initiative User Interface. 64-69
Belief and Decision
- Salem Benferhat, Didier Dubois, Henri Prade:
Possibilistic and Standard Probabilistic Semantics of Conditional Knowledge. 70-75 - Ronen I. Brafman, Moshe Tennenholtz:
On the Axiomatization of Qualitative Decision Criteria. 76-81
Classification
- Piew Datta, Dennis F. Kibler:
Symbolic Nearest Mean Classifiers. 82-87 - Haim Schweitzer:
Classification and Reductio-ad-Absurdum Optimality Proofs. 88-93
Diagnosis
- Adnan Darwiche, Gregory M. Provan:
The Effect of Observations on the Complexity of Model-Based Diagnosis. 94-99 - Pieter J. Mosterman, Gautam Biswas:
Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. 100-105
Modeling for Decision Processes
- Thomas L. Dean, Robert Givan:
Model Minimization in Markov Decision Processes. 106-111 - Fahiem Bacchus, Craig Boutilier, Adam J. Grove:
Structured Solution Methods for Non-Markovian Decision Processes. 112-117
Qualitative Reasoning
- Daniel J. Clancy, Benjamin Kuipers:
Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm. 118-124 - Daniel J. Clancy, Benjamin Kuipers:
Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation. 125-131
Reasoning about Physical Systems
- Matthew Brand:
The "Inverse Hollywood Problem": From Video to Scripts and Storyboards via Causal Analysis. 132-137 - Thomas F. Stahovich, Randall Davis, Howard E. Shrobe:
Qualitative Rigid Body Mechanics. 138-144
Spatial Uncertainty
- Thomas R. Ioerger:
Integrating a Spatial Reasoner with a Resolution Theorem-Prover. 145-152 - Murray Shanahan:
Noise, Non-Determinism and Spatial Uncertainty. 153-158 - Constanze Vorwerg, Gudrun Socher, Thomas Fuhr, Gerhard Sagerer, Gert Rickheit:
Projective Relations for 3D Space: Computational Model, Application, and Psychological Evaluation. 159-164
Techniques for Temporal Reasoning
- Eddie Schwalb:
A New Unification Method for Temporal Reasoning with Constraints. 165-171 - Subash Shankar, James R. Slagle:
Connection Based Strategies for Deciding Propositional Temporal Logic. 172-177
Constraint Satisfaction and Search
Constraint Satisfaction Problems and Bayes Networks
- Amnon Meisels, Solomon Eyal Shimony, Gadi Solotorevsky:
Bayes Networks for Estimating the Number of Solutions to a CSP. 179-184 - Kirill Shoikhet, Dan Geiger:
A Practical Algorithm for Finding Optimal Triangulations. 185-190
Constraint Satisfaction Problems: Symmetry
- Eugene C. Freuder, Daniel Sabin:
Interchangeability Supports Abstraction and Reformulation for Multi-Dimensional Constraint Satisfaction. 191-196 - David Joslin, Amitabha Roy:
Exploiting Symmetry in Lifted CSPs. 197-202
Constraint Satisfaction Techniques
- Roberto J. Bayardo Jr., Robert Schrag:
Using CSP Look-Back Techniques to Solve Real-World SAT Instances. 203-208 - Stephen Beale:
Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems. 209-214 - Daya Ram Gaur, W. Ken Jackson, William S. Havens:
Detecting Unsatisfiable CSPs by Coloring the Micro-Structure. 215
Efficient Reasoning
- Carla P. Gomes, Bart Selman:
Problem Structure in the Presence of Perturbations. 221-226 - Rahul Roy-Chowdhury, Mukesh Dalal:
Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP. 227-232
Heuristics for Scheduling
- J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox:
Beyond Contention: Extending Texture-Based Scheduling Heuristics. 233-240 - J. Christopher Beck, Andrew J. Davenport, Edward M. Sitarski, Mark S. Fox:
Texture-Based Heuristics for Scheduling Revisited. 241-248
Information Retrieval
- Oliver M. Duschka:
Query Optimization Using Local Completeness. 249-255 - Jane Yung-jen Hsu, Wen-tau Yih:
Template-Based Information Mining from HTML Documents. 256-262
Local Search: Beyond SAT
- Byungki Cha, Kazuo Iwama, Yahiko Kambayashi, Shuichi Miyazaki:
Local Search Algorithms for Partial MAXSAT. 263-268 - Joachim P. Walser:
Solving Linear Pseudo-Boolean Constraint Problems with Local Search. 269-274
Local Search Techniques
- Alex S. Fukunaga:
Variable-Selection Heuristics in Local Search for SAT. 275-280 - Bertrand Mazure, Lakhdar Sais, Éric Grégoire:
Tabu Search for SAT. 281-285
Problem Solving & Computational Resources
- Eric Horvitz:
Models of Continual Computation. 286-293 - Thomas Wagner, Alan Garvey, Victor R. Lesser:
Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling. 294-301
Scheduling
- Lise Getoor, Greger Ottosson, Markus P. J. Fromherz, Björn Carlson:
Effective Redundant Constraints for Online Scheduling. 302-307 - Angelo Oddi, Stephen F. Smith:
Stochastic Procedures for Generating Feasible Schedules. 308-314
Search (Cost)
- Ian P. Gent, Ewan MacIntyre, Patrick Prosser, Toby Walsh:
The Scaling of Search Cost. 315-320 - David A. McAllester, Bart Selman, Henry A. Kautz:
Evidence for Invariants in Local Search. 321-326
Structure of Constraint Satisfaction Problems
- Daniel Frost, Irina Rish, Lluís Vila:
Summarizing CSP Hardness with Continuous Probability Distributions. 327-333 - Tad Hogg:
Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers. 334-339 - Andrew J. Parkes:
Clustering at the Phase Transition. 340-345
Education and Evaluation
Computational Systems for Education
- William H. Bares, James C. Lester:
Realtime Generation of Customized 3D Animated Explanations for Knowledge-Based Learning Environments. 347-354 - Jack Mostow, Gregory Aist:
The Sounds of Silence: Towards Automated Evaluation of Student Learning in a Reading Tutor that Listens. 355-361
Experimental Methodology
- C. Lee Giles
, Steve Lawrence:
Presenting and Analyzing the Results of AI Experiments: Data Averaging and Data Snooping. 362-367
Knowledge Representation
Building and Modifying Knowledge Bases
- Peter Clark, Bruce W. Porter:
Building Concept Representations from Reusable Components. 369-376 - Yolanda Gil, Marcelo Tallis:
A Script-Based Approach to Modifying Knowledge Bases. 377-383
Description Logics
- Haym Hirsh, Daniel Kudenko:
Representing Sequences in Description Logics. 384-389 - Daphne Koller, Alon Y. Levy, Avi Pfeffer:
P-CLASSIC: A Tractable Probablistic Description Logic. 390-397
Knowledge Representation for Automated Reasoning
- Pierre E. Bonzon:
A Reflective Proof System for Reasoning in Contexts. 398-403 - Robert Givan:
Obvious Properties of Computer Programs. 404-410
Knowledge Representation: Expert Systems
- Valerie Barr:
Applications of Rule-Base Coverage Measures to Expert System Evaluation. 411-416 - James G. Schmolze, Wayne Snyder:
Detecting Redundant Production Rules. 417-423
Knowledge Representation: Nonmonotonic Logic
- Grigoris Antoniou:
A Comparison of Two Approaches to Splitting Default Theories. 424-429 - Riccardo Rosati:
Reasoning with Minimal Belief and Negation as Failure: Algorithms and Complexity. 430-435
Knowledge Representation: Ontologies
- Richard Fikes, Adam Farquhar, James Rice:
Tools for Assembling Modular Ontologies in Ontolingua. 436-441 - Kilian Stoffel, Merwyn G. Taylor, James A. Hendler:
Efficient Management of Very Large Ontologies. 442-447
Knowledge Representation: Reasoning about Action
- Tom Costello:
Beyond Minimizing Change. 448-453 - Jorge Lobo, Gisela Mendez, Stuart R. Taylor:
Adding Knowledge to the Action Description Language A. 454-459 - Norman McCain, Hudson Turner:
Causal Theories of Action and Change. 460-465 - Michael Thielscher:
Qualified Ramifications. 466-471
Knowledge Representation: Theorem Proving
- David A. Plaisted, Yunshan Zhu:
Ordered Semantic Hyper Linking. 472-477 - Bruce Spencer, Joseph Douglas Horton:
Extending the Regular Restriction of Resolution to Non-Linear Subdeductions. 478-483
Learning
Formal Analyses of Learning
- Tom Bylander:
Worst-Case Absolute Loss Bounds for Linear Learning Algorithms. 485-490 - Haym Hirsh, Nina Mishra, Leonard Pitt:
Version Spaces without Boundary Sets. 491-496 - L. Darrell Whitley, Soraya B. Rana:
Representation, Search and Genetic Algorithms. 497-502
Knowledge Discovery in Databases
- Raj Bhatnagar, Sriram Srinivasan:
Pattern Discovery in Distributed Databases. 503-508 - Johannes Fürnkranz:
More Efficient Windowing. 509-514
Learning In Linguistic Domains
- Raúl E. Valdés-Pérez, Vladimir Pericliev:
Maximally Parsimonious Discrimination: A Generic Task from Linguistic Discovery. 515-520 - Kenneth Yip, Gerald J. Sussman:
Sparse Representations for Fast, One-Shot Learning. 521-527
Machine Learning (Probabilistic)
- Leo Kuvayev, C. Lee Giles, James Philbin, Henry Cejtin:
Intelligent Methods for File System Optimization. 528-533 - Moninder Singh:
Learning Bayesian Networks from Incomplete Data. 534-539
Model Selection and Overfitting
- Steve Lawrence, C. Lee Giles, Ah Chung Tsoi:
Lessons in Neural Network Training: Overfitting May be Harder than Expected. 540-545 - Richard Maclin, David W. Opitz:
An Empirical Evaluation of Bagging and Boosting. 546-551 - Dale Schuurmans:
A New Metric-Based Approach to Model Selection. 552-558
Parallelism in Learning
- Diane J. Cook, R. Craig Varnell:
Maximizing the Benefits of Parallel Search Using Machine Learning. 559-564 - Richard Kufrin:
Generating C4.5 Production Rules in Parallel. 565-570
Reactive Behavior
- Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Detecting and Reacting to Unplanned-for World States. 571-576 - Daishi Harada:
Reinforcement Learning with Time. 577-582
Text Retrieval and Learning
- William W. Cohen, Daniel Kudenko:
Transferring and Retraining Learned Information Filters. 583-590 - Ray Liere, Prasad Tadepalli:
Active Learning with Committees for Text Categorization. 591-596
Natural Language
Language and Learning
- Eugene Charniak:
Statistical Parsing with a Context-Free Grammar and Word Statistics. 598-603 - Ted Pedersen, Rebecca F. Bruce:
A New Supervised Learning Algorithm for Word Sense Disambiguation. 604-609
Natural Language
- Walid S. Saba, Jean-Pierre Corriveau:
A Pragmatic Treatment of Quantification in Natural Language. 610-615 - Steffen Staab, Udo Hahn:
Comparatives in Context. 616-621
Natural Language Generation
- Inderjeet Mani, Eric Bloedorn:
Multi-Document Summarization by Graph Search and Matching. 622-628 - Daniel Marcu:
From Local to Global Coherence: A Bottom-Up Approach to Text Planning. 629-635
Perception and Behavior
Multi-Agent Systems
- Dani Goldberg, Maja J. Mataric:
Interference as a Tool for Designing and Evaluating Multi-Robot Controllers. 637-642 - Maja J. Mataric:
Using Communication to Reduce Locality in Multi-Robot Learning. 643-648
Navigation & Perception
- Michel de Rougemont, Christoph Schlieder:
Spatial Navigation with Uncertain Deviations. 649-654 - Zachary Dodds, Gregory D. Hager:
A Color Interest Operator for Landmark-Based Navigation. 655-660 - Frank Klassner, Victor R. Lesser, Hamid Nawab:
Combining Approximate Front End Signal Processing with Selective Reprocessing in Auditory Perception. 661-666
Planning
Case-Based Reasoning and Planning
- Jim Blythe, Manuela M. Veloso:
Analogical Replay for Efficient Conditional Planning. 668-673 - David B. Leake, Andrew Kinley, David C. Wilson:
Case-Based Similarity Assessment: Estimating Adaptability from Experience. 674-679
Flexible Hierarchical Planning
- Robert P. Goldman, David J. Musliner, Kurt D. Krebsbach, Mark S. Boddy:
Dynamic Abstraction Planning. 680-686 - Karen L. Myers:
Abductive Completion of Plan Sketches. 687-693
Optimal Planning
- Tom Bylander:
A Linear Programming Heuristic for Optimal Planning. 694-699 - Richard E. Korf:
Finding Optimal Solutions to Rubik's Cube Using Pattern Databases. 700-705
Plan Generation
- José Luis Ambite, Craig A. Knoblock:
Planning by Rewriting: Efficiently Generating High-Quality Plans. 706-713 - Blai Bonet, Gábor Loerincs, Hector Geffner:
A Robust and Fast Action Selection Mechanism for Planning. 714-719 - Craig Boutilier, Ronen I. Brafman:
Planning with Concurrent Interacting Actions. 720-726
Planning Under Uncertainty
- Ronen I. Brafman:
A Heuristic Variable Grid Solution Method for POMDPs. 727-733 - Milos Hauskrecht:
Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes. 734-739
Probability and Planning
- Daphne Koller, David A. McAllester, Avi Pfeffer:
Effective Bayesian Inference for Stochastic Programs. 740-747 - Michael L. Littman:
Probabilistic Propositional Planning: Representations and Complexity. 748-754
Invited Talks
- Ronald C. Arkin, R. James Firby:
The AAAI-97 Mobile Robot Competion: Martians, Remotes, Hors d'oeuvres and Cleaning up the Mess Afterwards (Abstract). 755 - Richard J. Doyle:
The Emergence of Spacecraft Autonomy. 756-761 - David W. Etherington:
What Does Knowledge Representation Have to Say to Artificial Intelligence? 762 - Pat Langley:
Machine Learning for Intelligent Systems. 763-769 - Katia P. Sycara:
James Bond and Michael Ovitz: The Secret Life of Agents. 770-773 - Michael P. Wellman:
Market-Oriented Programming (Abstract). 774
Mobile Robot Competition Abstracts
- Pete Beim, Ian Horswill, Ivan Yen:
Hack and Kluge. 776-777 - Douglas S. Blank, J. Oliver Ross:
Learning in a Fuzzy Logic Robot Controller. 778 - Marc Bolduc, Eric Bourque, Gregory Dudek, Nicholas Roy, Robert Sim:
Autonomous Exploration: An Integrated Systems Approach. 779-780 - R. Peter Bonasso:
ServerDroid: A MultiMedia Service Robot. 781-782 - David J. Bruemmer, Ross Michael Dickson, Jeremy Dilatush, David Allan Lewis, Heather Mateyak, Mike Mirarchi, Mike Morton, Jim Tracy, A. Vorobiev, Lisa Meeden:
A Situated Vacuuming Robot. 783-784 - Thomas R. Collins, Tucker R. Balch:
Teaming Up: Georgia Tech's Multi-Robot Competition Teams. 785-786 - William Garner, Gregory Friedland, Artyom Lifshits, Daniela Rus, Keith Kotay, Jon Howell:
The Dartmouth Mobile Robot: SK. 787-788 - Ales V. Hvezda, John J. Garcia, Paul R. Klarer, Raymond H. Byrne, Gregory L. Heileman, Chaouki T. Abdallah:
LOBOtomous: An Autonomous Platform for Indoor Environments. 789-790 - Jason A. Janét, Bruce R. Linnell, Sean M. Scoggins:
Finding Life on Mars, and Other Tasks for NCSU's Mobile Robots. 791-792 - David P. Miller, Cathryne Stein, Anne Wright, Randy Sargent:
Are You Being Served? 793-794 - Robin R. Murphy:
Intelligent Sensor Fusion for the 1997 AAAI Mobile Robot Competition. 795-796 - Todd Prater, Michael J. Novak, Brian Rectanus, Steven Gustafson, David A. Gustafson:
Kansas State Robotics. 797 - Paul E. Rybski, Sascha Stoeter, Chris Wyman, Maria L. Gini:
A Cooperative Multi-Robot Approach to the Mapping and Exploration of Mars. 798-799 - Daniel P. Stormont, Jane Canulette, Timothy Eyring, Jose Juste, Salamon Quintana, Chaouki T. Abdallah, Raymond H. Byrne, Gregory L. Heileman:
Lobokhod: The University of New Mexico's Robotic Mars Rover. 800-801 - Barry Brian Werger, Miguel Schneider-Fontán, Dani Goldberg, Gregory Hornby, Maja J. Mataric, Sen Song:
Multiple Agents from the Bottom Up: The Interaction Lab's Robot Competition Effort. 802-803 - Brian Yamauchi, Alan C. Schultz, William Adams, Kevin Graves, John J. Grefenstette, Dennis Perzanowski:
ARIEL: Autonomous Robot for Integrated Exploration and Localization. 804-805
Doctorial Consortium Abstracts
- Debra T. Burhans:
Pragmatic Question Answering: Generic versus Specific Responses. 807 - Juan M. Corchado:
Adaptive Hybrid System Architecture for Forecasting. 808 - Stephen F. Correl:
Iterative Refinement of Knowledge Bases with Consistency Guarantees. 809 - William H. Hsu:
Probabilistic Learning in Bayesian and Stochastic Neural Networks. 810 - Ravi Kapadia:
Unified Hardware and Software Models for Smart System Design. 811 - Venkateswarlu Kolluri:
Evaluating the Role of Background Knowledge in Enhancing Knowledge Discovery in Databases. 812 - Ole J. Mengshoel:
Belief Network Inference in Dynamic Environments. 813 - Ted Pedersen:
Knowledge Lean Word Sense Disambiguation. 814 - Wanda Pratt:
Dynamic Organization of Search Results Using a Taxonomic Domain Model. 815 - Mehran Sahami:
Applications of Machine Learning to Information Access. 816 - Kenneth B. Samuel:
Computing Discourse Information with Statistical Methods. 817 - Bilge Say:
An Information-Based Approach to Punctuation. 818 - Peter Stone:
Layered Learning in Multiagent Systems. 819
Student Abstracts
- Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Avoiding Failure via Pre-Planned Responses and Time-Bounded Planning. 821 - Aaron A. Armstrong, Edmund H. Durfee:
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems. 822 - Cheng-Gang Bian, Wen Cao, Gunnar Hartvigsen:
An Efficient Heuristic Search in a Large Multi-Agent System. 823 - Sarah Boyd:
Summarizing Time-Varying Data. 824 - Bonghan Cho, Paul S. Rosenbloom, Milind Tambe:
Efficient Production Match Algorithm and Its Implication for Dynamic Constraint Satisfaction Problems. 825 - Piew Datta:
Applying Clustering to the Classification Problem. 826 - Brian D. Davison, Haym Hirsh:
Experiments in UNIX Command Prediction. 827 - Pedro M. Domingos:
A Comparison of Model Averaging Methods in Foreign Exchange Prediction. 828 - Pedro M. Domingos:
Learning Multiple Models without Sacrificing Comprehensibility. 829 - Jörg Ernst, Grigoris Antoniou:
Stratification for Variants of Default Logic. 830 - Michael S. Fulkerson, Michael L. Littman, Greg A. Keim:
Speeding Safely: Multi-Criteria Optimization in Probabilistic Planning. 831 - Jeffrey A. Goldman:
Information Routing Using a Corpus Distribution. 832 - Jonathan B. Handler:
Althea: Minimalist Representation for Robot Assembly Tasks. 833 - Gal A. Kaminka, Milind Tambe:
Social Comparison for Failure Detection and Recovery in Multi-Agent Settings. 834 - Ravi Kapadia:
Smart System Design Using Hybrid Models. 835 - Leo Kuvayev:
Learning to Play Hearts. 836 - Jung Jin Lee, Robert McCartney:
Predicting Resource Use with Case-Based Plan Recognition. 837 - Ray Liere, Prasad Tadepalli:
Active Learning with Committees. 838 - Charles B. McVey, Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Development of Iterative Scheduler to Planner Feedback. 839 - Sunju Park, Edmund H. Durfee:
A Stochastic Strategy for Multiagent Contracts and the Impact of Deliberation Overhead. 840 - Ted Pedersen:
Naive Mixes for Word Sense Disambiguation. 841 - Jorge C. G. Ramirez, Lynn L. Peterson, Dolores M. Peterson, Gretchen K. Cormier:
On the Discovery of Patterns in Medical Data. 842 - Chandra Reddy, Prasad Tadepalli:
Learning Goal-Decomposition Rules Using Exercises. 843 - Walid S. Saba, Jean-Pierre Corriveau:
Quantification and Commonsense Reasoning. 844 - Mehran Sahami, Salim Yusufali, Michelle Q. Wang Baldonado:
Real-Time Full-Text Clustering of Networked Documents. 845 - Marin Simina, Ashwin Ram, Janet L. Kolodner, Michael E. Gorman:
A Model of Invention. 846 - Marcelo Tallis, Yolanda Gil:
Modifying Knowledge Bases Using Scripts. 847 - Jenn-Kwei Tyan:
Noise Sensitivity Analysis for Shape from Focus Methods. 848 - José M. Vidal, Edmund H. Durfee:
Analyzing Agents that Learn about Agents. 849 - Peter Weinstein, William P. Birmingham:
Matching Requests for Agent Services with Differentiated Vocabulary. 850
Innovative Applications of Artificial Intelligence Papers
Deployed Applications
- Narendra Dev, Bart Anderson:
Pimtool, an Expert System to Troubleshoot Computer Hardware Failures. 853-860 - Kyoung Jun Lee, Hyun Woo Kim, Jae Kyu Lee, Tae Hwan Kim, Chang Gon Kim, Myoung Kyun Yoon, Eui Jun Hwang, Hyun Jeong Park:
Case and Constraint-Based Apartment Construction Project Planning System: FASTrak-APT. 861-866 - Howard Marmorstein, Jayesh Ghia, Sandeep Sathaye, Akshay Gupta, Eva Baron-Vartian:
PST: The Provider Selection Tool. 867-874 - David W. McDonald, Charles O. Pepe, Henry M. Bowers, Edward J. Dombroski:
Desktop Underwriter: Fannie Mae's Automated Mortgage Underwriting Expert System. 875-882 - Charles S. Moon, Thomas A. Shore, Gary Brophy, Dennis Koski:
Design of High Performance Help Desk Application and Its Implementation Results. 883-892 - Ernesto M. Morgado, João P. Martins:
CREWS_NS: Scheduling Train Crew in The Netherlands. 893-902 - Kathleen Murphy, Elizabeth Ralston, David Friedlander, Rodney Swab, Paul Steege:
The Scheduling of Rail at Union Pacific Railroad. 903-912 - Ina Ng, Andrew Gill, Ian Chia, Mei-Leng Koh, Chris Yeung, Lih-Wee Chew:
SunRay V - An Intelligent Container Trucking Operations Management and Control System. 913-918 - James R. Nolan:
DISXPERT: A Social Security Disability Screening Expert System. 919-925 - Cyril Way:
STHANA: Profitability Forecast and Situation Analysis for Automated Teller Machines. 926-931 - Kirk D. Wilson:
ChemReg: Using Case-Based Reasoning to Support Health and Safety Compliance in the Chemical Industry. 932-939
Emerging Applications
- Amit Bagga, Joyce Yue Chai, Alan W. Biermann:
The Role of WordNet in The Creation of a Trainable Message Understanding System. 941-948 - R. Peter Bonasso, David Kortenkamp, Troy Whitney:
Using a Robot Control Architecture to Automate Space Shuttle Operations. 949-956 - Andreas Butz:
Animation with CATHI. 957-962 - Steve A. Chien, Anita Govindjee, Tara A. Estlin, Xuemei Wang, Randall W. Hill Jr.:
Automated Generation of Tracking Plans for a Network of Communications Antennas. 963-970 - Michael H. Coen:
Building Brains for Rooms: Designing Distributed Software Agents. 971-977 - Philip R. Cohen, Michael Johnston, David McGee, Sharon L. Oviatt, Jay Pittman, Ira A. Smith, Liang Chen, Josh Clow:
Mulitmodal Interaction for Distributed Interactive Simulation. 978-985 - Ana Cristina Bicharra Garcia, Joper Cezar de Andrade, Rogério Ferreira Rodrigues, Ricardo Moura:
ADDVAC: Applying Active Design Documents for the Capture, Retrieval and Use of Rationale During Offshore Platform VAC Design. 986-991 - Barry Glasgow, Alan Mandell, Dan Binney, Lila Ghemri, David Fisher:
MITA: An Information Extraction Approach to Analysis of Free-Form Text in Life Insurance Applications. 992-999 - David W. Hildum, Norman M. Sadeh, Thomas J. Laliberty, John McA'Nulty, Stephen F. Smith, Dag Kjenstad:
Blackboard Agents for Mixed-Initiative Management of Integrated Process-Planning/Production-Scheduling Solutions Across the Supply Chain. 1000-1005 - Randall W. Hill Jr., Johnny Chen, Jonathan Gratch, Paul S. Rosenbloom, Milind Tambe:
Intelligent Agents for the Synthetic Battlefield: A Company of Rotary Wing Aircraft. 1006-1012 - Richard D. Holowczak, Nabil R. Adam:
Information Extraction based Multiple-Category Document Classification for the Global Legal Information Network. 1013-1018 - William B. Klein, Carl R. Stern, George F. Luger, Eric T. Olsson:
An Intelligent Control Architecture for Accelerator Beamline Tuning. 1019-1025 - David P. Miller, Anne Wright, Randy Sargent, Rob Cohen, Teresa Hunt:
Attitude and Position Control Using Real-Time Color Tracking. 1026-1031 - Steven W. Mitchell:
A Hybrid Architecture for Real-Time Mixed-Initiative Planning and Control. 1032-1037 - Motohide Otsubo, Satoru Fujita, Toru Yamanouchi:
Intelligent Command Control for VLSI CAD Systems. 1038-1044 - Suzanne M. Paley, John D. Lowrance, Peter D. Karp:
A Generic Knowledge-Base Browser and Editor. 1045-1051 - Chris J. Price, Neil S. Taylor:
Multiple Fault Diagnosis from FMEA. 1052-1057 - Ellen Spertus:
Smokey: Automatic Recognition of Hostile Messages. 1058-1065 - Adriana Santarosa Vivacqua, Ana Cristina Bicharra Garcia:
MultiADD: A Multiagent Active Design Document Model to Support Group Design. 1066-1071 - Manuela M. Veloso, Alice M. Mulvehill, Michael T. Cox:
Rationale-Supported Mixed-Initiative Case-Based Planning. 1072-1077 - Rob Wylie, Robert Orchard, Michael Halasz, François Dubé:
IDS: Improving Aircraft Fleet Maintenance. 1078-1085
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-01 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
