conf/www/LiYW01:::Ian TianYi Li::Qiang Yang::Ke Wang:::Classification Pruning for Web-request Prediction.
conf/www/Kenderdine01:::Sarah Kenderdine:::1000 years of the olympic games: treasures of ancient Greece. digital reconstruction at the home of the gods.
conf/www/Berman01:::Andrea H. Berman:::Using Characters to Engage and Teach Novice Web Users: A Case Study.
conf/www/Chang01:::Ing-Chau Chang:::A SMIL-based Real-Time Interactive Sharing System for Distance Learning.
conf/www/NoiaSDM03:::Tommaso Di Noia::Eugenio Di Sciascio::Francesco M. Donini::Marina Mongiello:::A system for principled matchmaking in an electronic marketplace.
conf/www/HampelK01:::Thorsten Hampel::Reinhard Keil-Slawik:::sTeam - Designing an integrative infrastructure for Web-based computer-supported cooperative learning.
conf/www/MyllymakiK03:::Jussi Myllymaki::James Kaufman:::High-performance spatial indexing for location-based services.
conf/www/GuhaMM03:::Ramanathan V. Guha::Rob McCool::Eric Miller:::Semantic search.
conf/www/ChuangCCC03:::Siu Nam Chuang::Alvin T. S. Chan::Jiannong Cao::Ronnie Cheung:::Dynamic service reconfiguration for wireless web access.
conf/www/YangW03:::Christopher C. Yang::Fu Lee Wang:::Fractal summarization for mobile devices to access large documents on the web.
conf/www/Tomlin03:::John A. Tomlin:::A new paradigm for ranking pages on the world wide web.
conf/www/LiAKVTS01:::Wen-Syan Li::Necip Fazil Ayan::Okan Kolak::Quoc Vu::Hajime Takano::Hisashi Shimamura:::Constructing multi-granular and topic-focused web site maps.
conf/www/KarvounarakisACPS02:::Gregory Karvounarakis::Sofia Alexaki::Vassilis Christophides::Dimitris Plexousakis::Michel Scholl:::RQL: a declarative query language for RDF.
conf/www/DworkKNS01:::Cynthia Dwork::Ravi Kumar::Moni Naor::D. Sivakumar:::Rank aggregation methods for the Web.
conf/www/Anido-RifonAF01:::Luis E. Anido-Rifón::Fernando Aguado-Agelet::Olga Folgueiras-Artime:::A Web-based Management Tool for Health Care Services with Appointment Required.
conf/www/NejdlWQDSNNPR02:::Wolfgang Nejdl::Boris Wolf::Changtao Qu::Stefan Decker::Michael Sintek::Ambjörn Naeve::Mikael Nilsson::Matthias Palmér::Tore Risch:::EDUTELLA: a P2P networking infrastructure based on RDF.
conf/www/KrishnamurthyZWV03:::Balachander Krishnamurthy::Yin Zhang::Craig E. Wills::Kashi Vishwanath:::Design, implementation, and evaluation of a client characterization driven web server.
conf/www/RosuR02:::Marcel-Catalin Rosu::Daniela Rosu:::An evaluation of TCP splice benefits in web proxy servers.
conf/www/AggarwalAY01:::Charu C. Aggarwal::Fatima Al-Garawi::Philip S. Yu:::Intelligent crawling on the World Wide Web with arbitrary predicates.
conf/www/NarayananM02:::Srini Narayanan::Sheila A. McIlraith:::Simulation, verification and automated composition of web services.
conf/www/KwokL01:::Sai Ho Kwok::S. M. Lui:::A License Management Model to Support B2C and C2C Music Sharing.
conf/www/OssenbruggenHGR03:::Jacco van Ossenbruggen::Lynda Hardman::Joost Geurts::Lloyd Rutledge:::Towards a multimedia formatting vocabulary.
conf/www/AnupamHK01:::Vinod Anupam::Richard Hull::Bharat Kumar:::Personalizing E-commerce applications with on-line heuristic decision making.
conf/www/BaileyPW02:::James Bailey::Alexandra Poulovassilis::Peter T. Wood:::An event-condition-action language for XML.
conf/www/NadamotoT03:::Akiyo Nadamoto::Katsumi Tanaka:::A comparative web browser (CWB) for browsing and comparing web pages.
conf/www/LimWPVA03:::Lipyeow Lim::Min Wang::Sriram Padmanabhan::Jeffrey Scott Vitter::Ramesh C. Agarwal:::Dynamic maintenance of web indexes using landmarks.
conf/xps/Cunis91a:::Roman Cunis:::FRESKO - Basis-Software für PLAKON.
conf/xps/Epke99:::Karoline Epke:::PRO_PLANT: Experiences with a Knowledge-Based System for Plant Protection.
conf/xps/Haag91:::Albert Haag:::Konzepte zur praktischen Handhabbarkeit einer ATMS-basierten Problemlösung.
conf/xps/Imhof99:::Henrik Imhof:::Expert System Technology in Aircraft Fleet Management - The Development of SAREX.
conf/xps/Neumann91:::Bernd Neumann:::Expertensysteme zur Konstruktion: Anforderungen an ein Werkzeugsystem.
conf/xps/LenzG99:::Mario Lenz::Alexander Glintschert:::On Texts, Cases, and Concepts.
conf/xps/Meyer97:::Matthias Meyer:::Decision Support im Marketing mit Case-Based Reasoning - am Beispiel der Marketing-Budgetierung im Außendienst.
conf/xps/Lutze87:::Rainer Lutze:::Von der Wissensaquisition zur Phylogenese wissensbasierter Systeme.
conf/xps/Bartsch-SporlLH99:::Brigitte Bartsch-Spörl::Mario Lenz::André Hübner:::Case-Based Reasoning: Survey and Future Directions.
conf/xps/StrussM97:::Peter Struss::Andreas Malik:::Automated Diagnosis of Car-Subsystems Based on Qualitative Models.
conf/xps/Kassel87:::Gilles Kassel:::The use of deep knowledge to improve explanation capabilities of Rule-based Expert Systems.
conf/xpu/LindvallBBCDSTWZ02:::Mikael Lindvall::Victor R. Basili::Barry W. Boehm::Patricia Costa::Kathleen Dangle::Forrest Shull::Roseanne Tesoriero Tvedt::Laurie A. Williams::Marvin V. Zelkowitz:::Empirical Findings in Agile Methods.
conf/xpu/Alleman02:::Glen B. Alleman:::Agile Project Management Methods for ERP: How to Apply Agile Processes to Complex COTS Projects and Live to Tell about It.
conf/xpu/ThomasB02:::Kuryan Thomas::Arlen Bankston:::XP in a Legacy Environment.
conf/xpu/HenningerINT02:::Scott Henninger::Aditya Ivaturi::Krishna Nuli::Ashok Thirunavukkaras:::Supporting Adaptable Methodologies to Meet Evolving Project Needs.
conf/xpu/Rasmusson02:::Jonathan Rasmusson:::Strategies for Introducing XP to New Client Sites.
conf/xpu/KerievskyL02:::Joshua Kerievsky::Diana Larsen:::Change Wizardry - Tools for Geeks.
conf/xpu/JohansenP02:::Kay Johansen::Anthony Perkins:::Establishing an Agile Testing Team: Our Four Favorite "Mistakes".
conf/zum/MikusiakVHH95:::Lubos Mikusiak::Vladimir Vojtek::Jozef Hasaralejko::Jana Hanzelová:::Z Browser - A Tool for Visualization of Z Specifications.
conf/zum/KnightB97:::John C. Knight::Susan S. Brilliant:::Preliminary Evaluation of a Formal Approach to User Interface Specification.
conf/zum/Rushby95:::John M. Rushby:::Mechanizing Formal Methods: Opportunities and Challenges.
conf/zum/BlowG02:::James Blow::Andy Galloway:::Generalised Substitution Language and Differentials.
conf/zum/Wills92:::Alan Wills:::Specification in Fresco.
conf/zum/AbrialCL02:::Jean-Raymond Abrial::Dominique Cansell::Guy Laffitte:::"Higher-Order" Mathematics in B.
conf/zum/MikhailovB02:::Leonid Mikhailov::Michael J. Butler:::An Approach to Combining B and Alloy.
conf/zum/LaleauM00:::Regine Laleau::Amel Mammar:::A Generic Process to Refine a B Specification into a Relational Database Implementation.
conf/zum/FriesenNW98:::Viktor Friesen::André Nordwig::Matthias Weber:::Object-Oriented Specification of Hybrid Systems Using UML<sup> <i>h</i> </sup> and ZimOO.
conf/zum/BardenS92:::Rosalind Barden::Susan Stepney:::Support for Using Z.
conf/zum/Lanet00:::Jean Louis Lanet:::Are Smart Cards the Ideal Domain for Applying Formal Methods?
conf/zum/PolackWH91:::Fiona Polack::Mark Whiston::Peter Hitchcock:::Structured Analysis - A Draft Method for Writing Z Specifications.
conf/zum/MeiraC90:::Silvio Romero de Lemos Meira::Ana Cavalcanti:::Modular Object-oriented Z Specifications.
conf/zum/GardinerLW90:::Paul H. B. Gardiner::P. J. Lupton::Jim Woodcock:::A Simpler Semantics for Z.
conf/zum/LanoGBK97:::Kevin Lano::S. J. Goldsack::Juan Bicarregui::Stuart Kent:::Integrating VDM++ and Real-Time System Design.
conf/zum/BarrosH91:::Roberto Souto Maior de Barros::David J. Harper:::A Method for the Specification of Relational Database Applications.
conf/zum/Smith91:::Alf Smith:::On Recursive Free Types in Z.
conf/zum/Smith94:::Graeme Smith:::An Object-Oriented Development Framework for Z.
conf/zum/Bowen94a:::Jonathan P. Bowen:::Comp.specification.z and Z FORUM Frequently Asked Questions.
conf/zum/Bowen95a:::Jonathan P. Bowen:::Comp.specification.z and Z FORUM Frequently Asked Questions.
conf/zum/Meira90:::Silvio Romero de Lemos Meira:::The MooZ Environment.
conf/zum/HoangJRMM03:::Thai Son Hoang::Zhendong Jin::Ken Robinson::Annabelle McIver::Carroll Morgan:::Probabilistic Invariants for Probabilistic Machines.
conf/zum/Wordsworth90:::John Wordsworth:::The CICS Application Programming Interface Definition.
conf/zum/Pouzancre03:::Guilhem Pouzancre:::How to Diagnose a Modern Car with a Formal B Model?.
conf/zum/CiancariniMV98:::Paolo Ciancarini::Cecilia Mascolo::Fabio Vitali:::Visualizing Z Notation in HTML Documents.
conf/zum/WezemanJ94:::Clazien D. Wezeman::Anthony J. Judge:::Z for Managed Objects.
conf/zum/ToynS02:::Ian Toyn::Susan Stepney:::Characters + Mark-up = Z Lexis.
conf/zum/HallPPRS95:::Anthony Hall::David Lorge Parnas::Nico Plat::John M. Rushby::Chris T. Sennett:::The Future of Formal Methods in Industry.
conf/zum/HallM97:::Jon G. Hall::Andrew Martin::: <i>W</i> Reconstructed.
conf/zum/MatagaZ94:::Peter Mataga::Pamela Zave:::Formal Specification of Telephone Features.
conf/zum/dInvernoHL00:::Mark d'Inverno::Koen V. Hindriks::Michael Luck:::A Formal Architecture for the 3APL Agent Programming Language.
conf/zum/Gries95:::David Gries:::Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic.
conf/neuroscience/RustAGB01:::Alistair G. Rust::Rod Adams::Stella George::Hamid Bolouri:::Towards Computational Neural Systems through Developmental Evolution.
conf/neuroscience/Shastri01:::Lokendra Shastri:::Biological Grounding of Recruitment Learning and Vicinal Algorithms in Long-Term Potentiation.
conf/neuroscience/Denham01:::Michael J. Denham:::The Dynamics of Learning and Memory: Lessons from Neuroscience.
conf/neuroscience/Moisl01:::Hermann Moisl:::Linguistic Computation with State Space Trajectories.
conf/neuroscience/Henderson01:::James Henderson:::Segmenting State into Entities and Its Implication for Learning.
conf/aaai/NishidaD87:::Toyoaki Nishida::Shuji Doshita:::Reasoning about Discontinuous Change.
conf/aaai/FriedmanHK96:::Nir Friedman::Joseph Y. Halpern::Daphne Koller:::First-Order Conditional Logic Revisited.
conf/aaai/FukunagaHFAMN02:::Alex Fukunaga::Ed Hamilton::Jason Fama::David Andre::Ofer Matan::Illah R. Nourbakhsh:::Staff Scheduling for Inbound Call Centers and Customer Contact Centers.
conf/aaai/GrudicU00:::Gregory Z. Grudic::Lyle H. Ungar:::Localizing Search in Reinforcement Learning.
conf/aaai/Beek92:::Peter van Beek:::On the Minimality and Decomposability of Constraint Networks.
conf/aaai/Beek94:::Peter van Beek:::On the Inherent Level of Local Consistency in Constraint Networks.
conf/aaai/Hu98:::Junling Hu:::Learning in Markov Games with Incomplete Information.
conf/aaai/Forbus80:::Kenneth D. Forbus:::Spatial and Qualitative Aspects of Reasoning about Motion.
conf/aaai/Wu90:::Thomas D. Wu:::Efficient Diagnosis of Multiple Disorders Based on a Symptom Clustering Approach.
conf/aaai/KrishnanA93:::Arun Krishnan::Narendra Ahuja:::Range Estimation From Focus Using a Non-frontal Imaging Camera.
conf/aaai/BrightKS94:::Jonathan Bright::Simon Kasif::Lewis Stiller:::Exploiting Algebraic Structure in Parallel State Space Search.
conf/aaai/KautzS96:::Henry A. Kautz::Bart Selman:::Pushing the Envelope: Planning, Propositional Logic and Stochastic Search.
conf/aaai/JarmulakKV98:::Jacek Jarmulak::Eugene J. H. Kerckhoffs::Peter Paul van't Veen:::Hybrid Knowledge Based System for Automatic Classificaton of B-scan Images from Ultrasonic Rail Inspection.
conf/aaai/Kambhampati96:::Subbarao Kambhampati:::Formalizing Dependency Directed Backtracking and Explanation Based Learning in Refinement Search.
conf/aaai/Hummel83:::Robert A. Hummel:::A Design Method for Relaxation Labeling Applications.
conf/aaai/Genesereth83:::Michael R. Genesereth:::An Overview of Meta-Level Architecture.
conf/aaai/FischerLM90:::Gerhard Fischer::Andreas C. Lemke::Raymond McCall:::Towards a System Architecture Supporting Contextualized Learning.
conf/aaai/MagermanM90:::David M. Magerman::Mitchell P. Marcus:::Parsing a Natural Language Using Mutual Information Statistics.
conf/aaai/ShachterDF90:::Ross D. Shachter::Bruce D'Ambrosio::Brendan Del Favero:::Symbolic Probabilistic Inference in Belief Networks.
conf/aaai/Salzberg83:::Steven Salzberg:::Generating Hypotheses to Explain Prediction Failures.
conf/aaai/ZytkowF96:::Jan M. Zytkow::Paul J. Fischer:::Incremental Discovery of Hidden Structure: Applications in Theory of Elementary Particles.
conf/aaai/ZhangFD98:::Zhaohua Zhang::Stan Franklin::Dipankar Dasgupta:::Metacognition in Software Agents Using Classifier Systems.
conf/aaai/ChengC86:::Patricia Cheng::Jaime G. Carbonell:::The FERMI System: Inducing Iterative Macro-Operators from Experience.
conf/aaai/ArseneauSZC00:::Shawn Arseneau::Wei Sun::Changpeng Zhao::Jeremy R. Cooperstock:::Inter-Layer Learning Towards Emergent Cooperative Behavior.
conf/aaai/Amant97:::Robert St. Amant:::Navigation and Planning in a Mixed-Initiative User Interface.
conf/aaai/AmbiteBKMOM02:::José Luis Ambite::Greg Barish::Craig A. Knoblock::Maria Muslea::Jean Oh::Steven Minton:::Getting from Here to There: Interactive Planning and Agent Execution for Optimizing Travel.
conf/aaai/Hunter94:::Scott B. Hunter:::Preliminary Studies in Agent Design in Simulated Environments.
conf/aaai/MacGregorB92:::Robert M. MacGregor::David Brill:::Recognition Algorithms for the Loom Classifier.
conf/aaai/Baral94:::Chitta Baral:::Rule Based Updates on Simple Knowledge Bases.
conf/aaai/Eisenstein99:::Jacob Eisenstein:::Learning Design Guidelines by Theory Refinement.
conf/aaai/NakadaiLOK00:::Kazuhiro Nakadai::Tino Lourens::Hiroshi G. Okuno::Hiroaki Kitano:::Active Audition for Humanoid.
conf/aaai/MinkerPS86:::Jack Minker::Donald Perlis::Krishnan Subramanian:::A Parallel Self-Modifying Default Reasoning System.
conf/aaai/FoxL94:::Susan Fox::David B. Leake:::Introspective Reasoning in a Case-Based Planner.
conf/aaai/EilertsLY99:::Erik Eilerts::Kathleen Lossau::Christopher York:::Knowledge Base Discovery Tool.
conf/aaai/Saffiotti90:::Alessandro Saffiotti:::A Hybrid Framework for Representing Uncertain Knowledge.
conf/aaai/Pasula99:::Hanna Pasula:::A Bayesian approach to object identification.
conf/aaai/DevaneyR98:::Mark Devaney::Ashwin Ram:::Needles in a Haystack: Plan Recognition in Large Spatial Domains Involving Multiple Agents.
conf/aaai/Beale97:::Stephen Beale:::Using Branch-and-Bound with Constraint Satisfaction in Optimization Problems.
conf/aaai/Cohen94a:::William W. Cohen:::Pac-Learning Nondeterminate Clauses.
conf/aaai/CoveneyHF96:::P. V. Coveney::T. L. Hughes::P. Fletcher:::Using Artificial Neural Networks to Predict the Quality and Performance of Oilfield Cements.
conf/aaai/SakuraiYM99:::Yuko Sakurai::Makoto Yokoo::Shigeo Matsubara:::A Limitation of the Generalized Vickrey Auction in Electronic Commerce: Robustness against False-name Bids.
conf/aaai/ByronA99:::Donna Byron::James F. Allen:::Applying Genetic Algorithms to Pronoun Resolution.
conf/aaai/FuH96:::Michael C. Fu::Caroline C. Hayes:::Agent Modeling in Expert Critiquing Systems.
conf/aaai/Hogg97:::Tad Hogg:::Exploiting the Deep Structure of Constraint Satisfaction Problems with Quantum Computers.
conf/aaai/HammondC90:::Kristian J. Hammond::Timothy M. Converse:::Integrating Planning and Acting in a Case-Based Framework.
conf/aaai/BacchusK96:::Fahiem Bacchus::Froduald Kabanza:::Planning for Temporally Extended Goals.
conf/aaai/Liu96:::Chao-Lin Liu:::Controlling State-Space Abstraction in Bayesian Networks.
conf/aaai/Walsh98:::Toby Walsh:::The Constrainedness Knife-Edge.
conf/aaai/Delatizky82:::Jonathan Delatizky:::Final Position Control in Planar Horizontal Arm Movements.
conf/aaai/SchoenS83:::Eric Schoen::Reid G. Smith:::IMPULSE: A Display Oriented Editor for STROBE.
conf/aaai/Tan91:::Ming Tan:::Cost-Sensitive Reinforcement Learning for Adaptive Classification and Control.
conf/aaai/Val96:::Alvaro del Val:::Approximate Knowledge Compilation: The First Order Case.
conf/aaai/WuH00:::Ying Wu::Thomas S. Huang:::Self-Supervised Learning for Visual Tracking and Recognition of Human Hand.
conf/aaai/RobinsonW80:::Ann E. Robinson::David E. Wilkins:::Representing Knowledge in an Interactive Planner.
conf/aaai/Yeh90:::Alexander S. Yeh:::Finding the Average Rates of Change in Repetitive Behavior.
conf/aaai/Wainer92:::Jacques Wainer:::Combining Circumscription and Modal Logic.
conf/aaai/CukiermanD94:::Diana Cukierman::James P. Delgrande:::Time Units and Calendars.
conf/aaai/CukiermanD96:::Diana Cukierman::James P. Delgrande:::Characterizing Temporal Repetition.
conf/aaai/ForbusMF02:::Kenneth D. Forbus::Thomas Mostek::Ron Ferguson:::An Analogy Ontology for Integrating Analogical Processing and First-Principles Reasoning.
conf/aaai/Pearl87:::Judea Pearl:::Embracing Causality in Formal Reasoning.
conf/aaai/YokooSM00:::Makoto Yokoo::Yuko Sakurai::Shigeo Matsubara:::Robust Combinatorial Auction Protocol against False-Name Bids.
conf/aaai/Rogers96:::Seth Rogers:::Symbolic Performance and Learning in Continuous Environments.
conf/aaai/RajanS96:::Vijay Rajan::James R. Slagle:::The Use of Artificially Intelligent Agents with Bounded Rationality in the Study of Economic Markets.
conf/aaai/MintonU94:::Steven Minton::Ian Underwood:::Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas.
conf/aaai/ORorke84:::Paul O'Rorke:::Generalization for Explanation-Based Schema Acquisition.
conf/aaai/MorgueC91:::Geneviéve Morgue::Thomas Chehire:::Efficiency of Production Systems When Coupled with an Assumption Based Truth Maintenance System.
conf/aaai/LinS91:::Fangzhen Lin::Yoav Shoham:::Provably Correct Theories of Action (Preliminary Report).
conf/aaai/LinZ02:::Fangzhen Lin::Yuting Zhao:::ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.
conf/aaai/LiuC87:::Peiya Liu::Ruey-Juin Chang:::A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts.
conf/aaai/KuoM91:::Steve Kuo::Dan I. Moldovan:::Implementation of Multiple Rule Firing Production Systems on Hypercube.
conf/aaai/Kitano90:::Hiroaki Kitano:::Empirical Studies on the Speed of Convergence of Neural Network Training Using Genetic Algorithms.
conf/aaai/DarwicheP94:::Adnan Darwiche::Judea Pearl:::Symbolic Causal Networks.
conf/aaai/EvettHA93:::Matthew P. Evett::James A. Hendler::William A. Andersen:::Massively Parallel Support for Computationally Effective Recognition Queries.
conf/aaai/Swartout82:::William R. Swartout:::GIST English Generator.
conf/aaai/KaemmererA87:::William Kaemmerer::James R. Allard:::An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process.
conf/aaai/LeshMA98:::Neal Lesh::Nathaniel Martin::James F. Allen:::Improving Big Plans.
conf/aaai/Walker94:::Marilyn A. Walker:::Experimentally Evaluating Communicative Strategies: The Effect of the Task.
conf/aaai/MurthyKSB93:::Sreerama K. Murthy::Simon Kasif::Steven Salzberg::Richard Beigel:::OC1: A Randomized Induction of Oblique Decision Trees.
conf/aaai/McDougal94:::Thomas F. McDougal:::Everyday Reasoning Meets Geometry Theorem-Proving.
conf/aaai/CarmelM96:::David Carmel::Shaul Markovitch:::Learning Models of Intelligent Agents.
conf/aaai/Ortiz93:::Charles L. Ortiz Jr.:::The Semantics of Event Prevention.
conf/aaai/Blake84:::Andrew Blake:::Reconstructing a Visible Surface.
conf/aaai/PollackR90:::Martha E. Pollack::Marc Ringuette:::Introducing the Tileworld: Experimentally Evaluating Agent Architectures.
conf/aaai/MoormanR94:::Kenneth Moorman::Ashwin Ram:::A Model of Creative Understanding.
conf/aaai/MoralW94:::Serafín Moral::Nic Wilson:::Markov Chain Monte-Carlo Algorithms for the Calculation of Dempster-Shafer Belief.
conf/aaai/KoenigL02:::Sven Koenig::Maxim Likhachev:::D*Lite.
conf/aaai/KoenigS96:::Sven Koenig::Reid G. Simmons:::Easy and Hard Testbeds for Real-Time Search Algorithms.
conf/aaai/Narasimhan94:::Sundar Narasimhan:::Merging Path Planners and Controllers through Local Context.
conf/aaai/Boutilier90:::Craig Boutilier:::Conditional Logics of Normality as Modal Systems.
conf/aaai/VescoviIFC93:::Marcos Vescovi::Yumi Iwasaki::Richard Fikes::B. Chandrasekaran:::CFRL: A Language for Specifying the Causal Functionality of Engineered Devices.
conf/aaai/MihalceaM99:::Rada Mihalcea::Dan I. Moldovan:::An Automatic Method for Generating Sense Tagged Corpora.
conf/aaai/DamianosPWRDWH02:::Laurie E. Damianos::Jay M. Ponte::Steve Wohlever::Florence Reeder::David Day::George Wilson::Lynette Hirschman:::MiTAP, Text and Audio Processing for Bio-Security: A Case Study.
conf/aaai/SandholmLAST98:::Tuomas Sandholm::Kate Larson::Martin Andersson::Onn Shehory::Fernando Tohmé:::Anytime Coalition Structure Generation with Worst Case Guarantees.
conf/aaai/OwST88:::Peng Si Ow::Stephen F. Smith::Alfred Thirlez:::Reactive Plan Revision.
conf/aaai/Levitt84:::Tod S. Levitt:::Domain Independent Object Description and Decomposition.
conf/aaai/BrodleyF96:::Carla E. Brodley::Mark A. Friedl:::Identifying and Eliminating Mislabeled Training Instances.
conf/aaai/GertnerW96:::Abigail S. Gertner::Bonnie L. Webber:::A Bias towards Relevance: Recognizing Plans where Goal Minimization Fails.
conf/aaai/RaoL92:::R. Bharat Rao::Stephen C. Y. Lu:::Learning Engineering Models with the Minimum Description Length Principle.
conf/aaai/Lehnert87:::Wendy G. Lehnert:::Case-based Problem Solving with a Large Knowledge Base of Learned Cases.
conf/aaai/HellersteinJR00:::Joseph L. Hellerstein::T. S. Jayram::Irina Rish:::Recognizing End-User Transactions in Performance Management.
conf/aaai/Granger80:::R. H. Granger Jr.:::When Expectation Fails: Towards a Self-Correcting Inference System.
conf/aaai/Neiman82:::Daniel E. Neiman:::Graphical Animation From Knowledge.
conf/aaai/Neiman91:::Daniel E. Neiman:::Control Issues in Parallel Rule-Firing Production Systems.
conf/aaai/GreinerJ92:::Russell Greiner::Igor Jurisica:::A Statistical Approach to Solving the EBL Utility Problem.
conf/aaai/Shimony91:::Solomon Eyal Shimony:::Explanation, Irrelevance, and Statistical Independence.
conf/aaai/DagueRD87:::Philippe Dague::Olivier Raiman::Philippe Deves:::Troubleshooting: When Modeling Is the Trouble.
conf/aaai/Stillman90:::Jonathan Stillman:::It's Not My Default: The Complexity of Membership Problems in Restricted Propositional Default Logics.
conf/aaai/KuipersB02:::Benjamin Kuipers::Patrick Beeson:::Bootstrap Learning for Place Recognition.
conf/aaai/BachenkoHF83:::J. Bachenko::Donald Hindle::E. Fitzpatrick:::Constraining a Deterministic Parser.
conf/aaai/SimD00:::Robert Sim::Gregory Dudek:::Learning Landmarks for Robot Localization.
conf/aaai/Whitehead91:::Steven D. Whitehead:::A Complexity Analysis of Cooperative Mechanisms in Reinforcement Learning.
conf/aaai/RyuI92:::Kwang Ryel Ryu::Keki B. Irani:::Learning from Goal Interactions in Planning: Goal Stack Analysis and Generalization.
conf/aaai/Azzam94:::Saliha Azzam:::Classification of Noun Phrases into Concepts or Individuals.
conf/aaai/Gennery82:::Donald B. Gennery:::Tracking Known Three-Dimensional Objects.
conf/aaai/Abramson91:::Bruce Abramson:::An Analysis of Error Recovery and Sensory Integration for Dynamic Planners.
conf/aaai/PrieditisJ93:::Armand Prieditis::Bhaskar Janakiraman:::Generating Effective Admissible Heuristics by Abstraction and Reconstitution.
conf/aaai/Jegou93:::Philippe Jégou:::On the Consistency of General Constraint-Satisfaction Problems.
conf/aaai/LuanPF99:::Xiaocheng Luan::Yun Peng::Timothy W. Finin:::Learning in Broker Agent.
conf/aaai/HillHL02:::Randall W. Hill Jr.::Changhee Han::Michael van Lent:::Applying Perceptually Driven Cognitive Mapping to Virtual Urban Environments.
