Conferences in DBLP
Eugene Santos Jr. , Scott M. Brown , Moises Lejter , Grace Ngai , Sheila B. Banks , Martin R. Stytz Dynamic User Model Construction with Bayesian Networks for Intelligent Information Queries. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:3-7 [Conf ] Ilker Gumus , Avelino J. Gonzalez A Threat Ranking Algorithm for Multiple Intelligent Entities in a Simulated Environment. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:8-12 [Conf ] Edson Pacheco Paladini A Quality Assurance System Using Neural Networks. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:13-17 [Conf ] Søren Holm , Peter Øhrstrøm , Claus Donner KARDIO - A Simulation of a Cardiac Care Unit Intended for the Study of the Ethical Components of Medical Decision-Making. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:18-23 [Conf ] James S. Jennings , Nicole D. Terry Towards More Intelligent and Interactive Interfaces. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:24-31 [Conf ] Lisa J. Burnell , Alan Meadows , Patricia Bass , Keith E. Biggers , John W. Priest RAID: A System to Aid in the Removal of Program Bugs. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:32-36 [Conf ] Ian Finch Knowledge-Based Systems, Viewpoints and the World Wide Web. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:37-41 [Conf ] Costas Tsatsoulis , Julian Holtzman Generating Satellite Control Schedules Using Case-Based Scheduling. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:43-48 [Conf ] Jim Van Gaasbeck , Allan Posner , Brian Buckley Distributed Space-Segment Control Using SCL. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:49-55 [Conf ] Paul Cobb , Eric S. Yager , Charles Jacobus Anytime Diagnosis Using Model-Based Methods for Satellite Diagnostics. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:56-63 [Conf ] Paul Zetocha , Lance Self An Overview of Agent Technology for Satellite Autonomy. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:64-68 [Conf ] Henry Hexmoor Autonomy in Spacecraft Software Architecture. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:69-72 [Conf ] Mala Mehrotra , Sergio Alvarado , Ross Wainwright Laying a Foundation for Software Engineering of Knowledge Bases in Spacecraft Ground Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:73-77 [Conf ] Tiziana D'Orazio , Grazia Cicirelli , Giovanni Attolico , C. Distante A Reinforcement Learning Approach for a Goal-Reaching Behavior. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:79-83 [Conf ] Justus H. Piater , Roderic A. Grupen A Framework for Learning Visual Discrimination. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:84-88 [Conf ] Ravindra N. Chittimoori , Lawrence B. Holder , Diane J. Cook Applying the Subdue Substructure Discovery System to the Chemical Toxicity Domain. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:90-94 [Conf ] José Luís Braga , Alberto H. F. Laender , Claudiney Vander Ramos Cooperative Relational Database Querying Using Multiple Knowledge Bases. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:95-99 [Conf ] Robert J. Hilderman , Howard J. Hamilton , Brock Barber Ranking the Interestingness of Summaries from Data Mining Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:100-106 [Conf ] Jin Li , Edward P. K. Tsang Improving Technical Analysis Predictions: An Application of Genetic Programming. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:108-112 [Conf ] Matthew P. Evett , Taghi M. Khoshgoftaar , Pei-der Chien , Edward B. Allen Using Genetic Programming to Determine Software Quality. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:113-117 [Conf ] Yoichiro Maeda Multi-Agent Robot Simulation for Evolutionary Learning of Cooperative Behavior. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:118-123 [Conf ] George E. Nasr , A. Harb , G. Meghabghab Enhanced Simulated Annealing Techniques for Multiprocessor Scheduling. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:124-128 [Conf ] Sushil J. Louis , Judy Johnson Robustness of Case-Initialized Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:129-133 [Conf ] Chan-Jin Chung , Robert G. Reynolds Knowledge-Based Control of Self-Adaptive Evolutionary Search. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:134-139 [Conf ] Michael Bohler , Frank W. Moore , Yi Pan Improved Multiprocessor Task Scheduling Using Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:140-146 [Conf ] Maria Fasli Towards a First-Order Approach for Social Agents: Preliminary Report. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:148-152 [Conf ] Samhaa R. El-Beltagy , Ahmed A. Rafea , Ahmed H. Sameh An Agent Based Approach to Expert System Explanation. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:153-159 [Conf ] K. Suzanne Barber , Ryan McKay , Tse-Hsin Liu Group Membership Services for Dynamically Organized Sensible Agent-Based Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:160-165 [Conf ] Chun Wai Liew , Joel A. Shapiro , Donald E. Smith Reasoning about Algebraic Answers in Physics. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:167-171 [Conf ] Brent A. Olde , James Hoeffner , Patrick Chipman , Arthur C. Graesser A Connectionist Model for Part of Speech Tagging. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:172-176 [Conf ] Lynne E. Hall , Adrian Gordon , Paul Black , Gary Baptist Adding Intelligence to Net-Based Learning. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:177-180 [Conf ] Richard H. Stottler , Sowmya Ramachandran A Case-Based Reasoning Approach to Internet Intelligent Tutoring Systems (ITS) and ITS Authoring. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:181-186 [Conf ] Yujian Zhou , Reva Freedman , Michael Glass , Joel A. Michael , Allen A. Rovick , Martha W. Evens What Should the Tutor Do When the Student Cannot Answer a Question? [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:187-191 [Conf ] Peter M. Wiemer-Hastings , Katja Wiemer-Hastings , Arthur C. Graesser Approximate Natural Language Understanding for an Intelligent Tutor. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:192-196 [Conf ] Byung-In Cho , Joel A. Michael , Allen A. Rovick , Martha W. Evens A Curriculum Planning Model for an Intelligent Tutoring System. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:197-201 [Conf ] John K. Debenham Knowledge Object Decomposition. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:203-207 [Conf ] Helmut Prendinger , Mitsuru Ishizuka Preparing a First-Order Knowledge Base for Fast Inference. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:208-212 [Conf ] Mauricio F. Deabate , Luis Manzanares , Carlos A. Bartó Expert System for the Handling of the Attendance Mechanical Ventilation in Recently Born. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:213-217 [Conf ] Irma Becerra-Fernandez , David W. Aha Case-Based Problem Solving for Knowledge Management Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:219-223 [Conf ] Irma Becerra-Fernandez Searchable Answer Generating Environment (SAGE): A Knowledge Management System for Searching for Experts in Florida. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:224-228 [Conf ] Marc Sebbna On Feature Selection: A New Filter Model. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:230-234 [Conf ] Mark A. Hall , Lloyd A. Smith Feature Selection for Machine Learning: Comparing a Correlation-Based Filter Approach to the Wrapper. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:235-239 [Conf ] Carlos H. C. Ribeiro , Elder Moreira Hemerly A Weighted Instance-Based Algorithm for Situated Autonomous Robot Learning. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:240-243 [Conf ] Stephan Schulz , Felix Brandt Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:244-248 [Conf ] Emmanuel Kounalis , Pascal Urso Generalization Discovery for Proofs by Induction in Conditional Theories. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:250-256 [Conf ] E. Cherkashin , A. Postoenko , S. Vassilyev , A. Zherlov New Logics for Intelligent Control. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:257-261 [Conf ] Walid Chainbi Multi-Agent Systems: A Theory Based on Organization and Communication Concepts. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:262-266 [Conf ] Wenjin Lu CH-Prolog: A Proof Procedure for Positive Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:268-272 [Conf ] Michela Milano , Andrea Omicini , Fabrizio Riguzzi Adopting an Object-Oriented Data Model in Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:273-279 [Conf ] A. S. Mohamed , A. Galal , I. Khalil , K. Sobh , M. Selim DISPO: Distributed Multi-Threaded Execution of Prolog Programs. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:280-284 [Conf ] Bill Z. Manaris , Valanne MacGyvers , Michail G. Lagoudakis Universal Access to Mobile Computing Devices through Speech Input. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:286-292 [Conf ] Rada Mihalcea , Dan I. Moldovan Automatic Acquisition of Sense Tagged Corpora. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:293-297 [Conf ] Ahmed H. Sameh , Tarek Radi , Rana Mikhail Learning the Past Tense of English Verbs: An Extension to FOIDL. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:298-302 [Conf ] Sanda M. Harabagiu , Marius Pasca Integrating Symbolic and Statistical Methods for Prepositional Phrase Attachment. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:303-307 [Conf ] Anthony G. Pipe , Mark Randall , Y. Jin Experiments in On-Line Learning Neuro-Control. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:309-314 [Conf ] C. Dudley Girard A Method of Automatic Training Sequence Generation for Recursive Neural Networks in the Area of Sensing Directional Motion. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:315-319 [Conf ] James N. Etheredge A Neural Network Approach to Sensitivity Analysis of AVIRIS Spectral Bands. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:320-324 [Conf ] Paul Cullen , Brian Carse Connection Admission Control in ATM Networks Using Neural Networks: Research Directions and Issues in Commercial Exploitation. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:325-331 [Conf ] Amr W. Sadek , Hesham Ghoneim , Mustafa Mossad Neural Network Predictive Tool of Ground Settlement Due to Dewatering Activities. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:332-335 [Conf ] Marcin Paprzycki , Sean Bowers , Aaron Costeines Applying Probabilistic Neural Networks to the Multifont Recognition Problem with Large Training Set. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:336-339 [Conf ] Geoff Sutcliffe , Darryl Seyfang Smart Selective Competition Parallelism ATP. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:341-345 [Conf ] Gernot Stenz , Andreas Wolf Strategy Selection by Genetic Programming. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:346-350 [Conf ] Diane J. Cook , Charles Hannon Adaptive Parallel Search for Theorem Proving. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:351-355 [Conf ] Eugene Santos Jr. , Solomon Eyal Shimony , Edward Michael Williams Solving Hard Computational Problems through Collections (Portfolios) of Cooperative Heterogeneous Algorithms. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:356-360 [Conf ] Joachim Draeger , Andreas Wolf Strategy Parallelism and Lemma Evaluation. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:361-365 [Conf ] Will Briggs , Diane J. Cook Anytime Planning for Optimal Tradeoff between Deliberative and Reactive Planning. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:367-370 [Conf ] Muhammad Afzal Upal , Renee Elio Learning Rationales to Improve Plan Quality for Partial Order Planners. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:371-377 [Conf ] Kang Soo Tae Learning Opposite Concept for Machine Planning. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:378-382 [Conf ] Yang Bo , Filippo A. Salustri Function Modeling Based on Interactions of Mass, Energy and Information. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:384-388 [Conf ] Dawei Song , Kam-Fai Wong , Peter Bruza , Chun Hung Cheng Towards Functional Benchmarking of Information Retrieval Models. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:389-393 [Conf ] Nigel Hughes , Enxi Chou , Chris Price , Mark Lee Automating Mechanical FMEA Using Functional Models. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:394-398 [Conf ] Hans Grabowski , Ralf-Stefan Lossack , Harald Kunze Functional Modeling: Representation of Dynamic Aspects in Function Structures. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:399-404 [Conf ] Frank D. Anger , Debasis Mitra , Rita V. Rodríguez Satisfiability in Nonlinear Time: Algorithms and Complexity. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:406-411 [Conf ] Hans W. Guesgen , Jochen Albrecht A Qualitative Notion of Spatial Proximity. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:412-416 [Conf ] Joachim Hertzberg , Frank Schönherr On Correcting Sewer Robots' Odometry Errors by Reasoning. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:417-421 [Conf ] Driss Kettani , Bernard Moulin A Wayfinding Application Based on the Influence Area Spatial Model. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:422-430 [Conf ] Carola Eschenbach , Christopher Habel , Lars Kulik Representing Simple Trajectories as Oriented Curves. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:431-436 [Conf ] Yanping Xiang , Kristian G. Olesen , Finn Verner Jensen Some Practical Issues in Modeling Diagnostic Systems with Multiply Sectioned Bayesian Networks. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:438-443 [Conf ] Anders L. Madsen , Bruce D'Ambrosio A Factorized Representation of Independence of Causal Influence and Lazy Propagation. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:444-448 [Conf ] Vladimir Ryabov , Seppo Puuronen , Vagan Y. Terziyan Representation and Reasoning with Uncertain Temporal Relations. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:449-453 [Conf ] Javier Pinto , Amílcar Sernadas , Cristina Sernadas , Paulo Mateus Nondeterminism and Uncertainty in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:454-460 [Conf ] A. Boatas , Bernard Dubuisson , M. A. Dillies-Peltier On-board Diagnosis of Car Catalytic Converters Using Statistical Pattern Recognition. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:461-465 [Conf ] Jennifer Seitzer , James P. Buckley , Alvaro E. Monge Meta-Pattern Extraction: Mining Cycles. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:466-470 [Conf ] Simon Parsons , Rachel A. Bourne Proof Theoretic Reasoning in System P. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:471-476 [Conf ] Xiaomin Zhong , Eugene Santos Jr. Probabilistic Reasoning through Genetic Algorithms and Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:477-481 [Conf ] Lars Asker , Mats Danielson , Love Ekenberg Intelligent Alarm Handling. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:482-487 [Conf ] Avelino J. Gonzalez Validation of Human Behavioral Models. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:489-493 [Conf ] Valerie Barr Applying Reliability Engineering to Expert Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:494-498 [Conf ] Klaus P. Jantke , Jörg Herrmann Lattices of Knowledge in Intelligent Systems Validation. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:499-505 [Conf ] Eugene Santos Jr. , Sheila B. Banks , Scott M. Brown , David J. Bawcom Identifying and Handling Structural Incompleteness for Validation of Probabilistic Knowledge-Bases. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:506-510 [Conf ] Jorge Santos , Luiz Faria , Carlos Ramos , Zita A. Vale , Albino Marques VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:511-515 [Conf ] Rainer Knauf , Avelino J. Gonzalez , Klaus P. Jantke Towards Validation of Case-Based Systems. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:516-520 [Conf ] Setsuo Tsuruta , Hideaki Ishida , Masaki Honma , Akio Nakaon Validation of an Elevator Maintenance Engineer Scheduling AI System and its Knowledge Refinement. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:521-525 [Conf ] Hans-Rainer Beick , Klaus P. Jantke Validation of CBL Principles. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:526-530 [Conf ] Dirk Salecker , Rainer Knauf Validation Manager - A Tool for AI Systems' Evaluation by a Turing Test-Like Methodology. [Citation Graph (0, 0)][DBLP ] FLAIRS Conference, 1999, pp:531-535 [Conf ]