Conferences in DBLP
Fernando G. Gonzalez , Patrick Grejs , Avelino J. Gonzalez Autonomous Automobile Behavior through Context-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Sigrid Gürgens , René Peralta Validation of Cryptographic Protocols by Efficient Automated Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Ortrun Ibens Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ochsenschläger , Jürgen Repp , Roland Rieke The SH-Verification Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Bryan Pardo , William P. Birmingham Automated Partitioning of Tonal Music. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaomin Zhong , Eugene Santos Jr. Using Genetic Algorithms to Solve the Tactical Fixed Interval Scheduling Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph E. Beck , Beverly Park Woolf Reasoning from Data Rather than Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian Gordon , Lynne E. Hall Actively Supporting Collaboration in Virtual Learning Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Chun Wai Liew , Joel A. Shapiro , Donald E. Smith What is Wrong with this Equation? Error Detection and Feedback with Physics Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa N. Michaud , Kathleen F. McCoy Supporting Intelligent Tutoring in CALL by Modeling the User's Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Christoph Peylo , Wilfried Teiken , Claus-Rainer Rollinger , Helmar Gust An Ontology as Domain Model in a Web-Based Educational System for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Feng-Jen Yang , Jung Hee Kim , Michael Glass , Martha W. Evens Turn Planning in CIRCSIM-Tutor. [Citation Graph (0, 0)][DBLP ] Conf ] Mark D. Happel , Peter Bock Overriding the Experts: A Stacking Method for Combining Marginal Classifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Nock , Marc Sebban A Boosting-Based Prototype Weighting and Selection Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Yani Zhang , Changyun Wen , Ying Zhang Neural Network Based Classification Using Blur Degradation and Affine Deformation Invariant Features. [Citation Graph (0, 0)][DBLP ] Conf ] Andi Baritchi , Diane J. Cook , Lawrence B. Holder Discovering Structural Patterns in Telecommunications Data. [Citation Graph (0, 0)][DBLP ] Conf ] Jesus A. Gonzalez , Lawrence B. Holder , Diane J. Cook Structural Knowledge Discovery Used to Analyze Earthquake Activity. [Citation Graph (0, 0)][DBLP ] Conf ] Istvan Jonyer , Lawrence B. Holder , Diane J. Cook Graph-Based Hierarchical Conceptual Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Keeley A. Crockett , Zuhair Bandar , Akeel Al-Attar A Fuzzy Algorithm for the Efficient Utilization of Information in Decision Trees. [Citation Graph (0, 0)][DBLP ] Conf ] William A. Greene Partitioning Sets with Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Eunice E. Santos , Eugene Santos Jr. Cache Diversity in Genetic Algorithm Design. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Debenham The Degradation of Knowledge Base Integrity. [Citation Graph (0, 0)][DBLP ] Conf ] Dawei Song , Kam-Fai Wong , Peter Bruza , Chun Hung Cheng Fundamental Properties of the Core Matching Functions for Information Retrieval. [Citation Graph (0, 0)][DBLP ] Conf ] Jesus Boticario , Elena Gaudioso A Multiagent Architecture to Support Distance Learning Personalization on the Web. [Citation Graph (0, 0)][DBLP ] Conf ] Madhu Goyal , N. Parameswaran A Coherent Teamwork Model in a Dynamic Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Hexmoor Resolving Conflicts Among Actions in Concurrent Behaviors. [Citation Graph (0, 0)][DBLP ] Conf ] Roger Norton , S. Rebecca Thomas Domain Semantics for Agent-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Pomykalski , James Madison Using Learning in a Control Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Lance Self Use of Data Mining on Satellite Data Bases for Knowledge Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Irma Becerra-Fernandez , Helen Stewart , Martha Del Alto , Chris Knight Developing an Advanced Environment for Collaborative Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Fatma Mili , Krish Narayanan , Vamsi Atluri Defining and Monitoring Knowledge Integrity. [Citation Graph (0, 0)][DBLP ] Conf ] Francis D. Tuggle , Nancy C. Shaw The Effect of Organizational Culture on the Implementation of Knowledge Management. [Citation Graph (0, 0)][DBLP ] Conf ] Rosina Weber , David W. Aha , Karl Branting , J. Robert Lucas , Irma Becerra-Fernandez Active Case-Based Reasoning for Lessons Delivery System. [Citation Graph (0, 0)][DBLP ] Conf ] Sandro Coimbra Assis , Flávio Miguel Varejão , Ana Cristina Garcia HyperADD: An Incremental and Hybrid Approach for Knowledge Acquisition on Active Design Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Hatzilygeroudis , Jim Prentzas Producing Modular Hybrid Rule Bases for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Johnson Jr. , Eugene Santos Jr. Generalizing Knowledge Representation Rules for Acquiring and Validating Uncertain Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Coble , Diane J. Cook Real-Time Learning when Concepts Shift. [Citation Graph (0, 0)][DBLP ] Conf ] Zdravko Markov An Algebraic Approach to Inductive Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Reva Freedman Using a Reactive Planner as the Basis for a Dialogue Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Hannon , Diane J. Cook A Parallel Approach to Modeling Language Learning and Understanding in Young Children. [Citation Graph (0, 0)][DBLP ] Conf ] Sanda M. Harabagiu , Marius Pasca Mining Textual Answers with Knowledge-Based Indicators. [Citation Graph (0, 0)][DBLP ] Conf ] Rada Mihalcea , Dan I. Moldovan An Iterative Approach to Word Sense Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Dan I. Moldovan , Roxana Girju Domain-Specific Knowledge Acquisition and Classification Using WordNet. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew V. Mahoney Fast Text Compression with Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Marcin Paprzycki , Rick Niess , Jason Thomas , Lenny Scardino , William Douglas Comparing Performance of Neural Networks Applied to a Simplified Recognition Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Fadzilah Siraj , Derek Partridge Systematic Treatment of Failures Using Multilayer Perceptrons. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Hexmoor Case Studies of Autonomy. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas P. Schetter , Mark E. Campbell , Derek M. Surka Comparison of Multiple Agent-Based Organizations for Satellite Constellations (TechSat21). [Citation Graph (0, 0)][DBLP ] Conf ] Ross Wainwright Ground-Based Control of a Satellite Cluster. [Citation Graph (0, 0)][DBLP ] Conf ] Hans W. Guesgen , Jochen Albrecht , Stefi Grundner Erosion Modeling in a Raster-Based GIS with Fuzzy Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Kathleen Hornsby Deriving Summaries Through an Identity-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Maria do Carmo Nicoletti , Jane Brennan Learning to Transfer Knowledge between Reference Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olav Bangsø , Pierre-Henri Wuillemin Top-Down Construction and Repetetive Structures Representation in Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jian Cheng , Marek J. Druzdzel Latin Hypercube Sampling in Bayesian Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hongyu Geng , Yang Xiang Distributed Multi-Agent MSBN: Implementing Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Novobilski , Farhad Kamangar Inferencing Bayesian Networks from Time Series Data Using Natural Selection. [Citation Graph (0, 0)][DBLP ] Conf ] Silja Renooij , Linda C. van der Gaag , Shaw Green , Simon Parsons Zooming in on Trade-Offs in Qualitative Probabilistic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Solomon Eyal Shimony , Eugene Santos Jr. , Tzachi Rosen Independence Semantics for BKBs. [Citation Graph (0, 0)][DBLP ] Conf ] Håkan L. S. Younes , Love Ekenberg A Deterministic Algorithm for Solving Imprecise Decision Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Dötsch , Gunter Grieser , Klaus P. Jantke , Steffen Lange Formal Concepts of Learning Systems Validation in Use. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Dötsch , Klaus P. Jantke TIC - A Toolkit for Valication in Formal Language Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Knauf , Ilka Philippow , Avelino J. Gonzalez , Klaus P. Jantke Towards Validation of Rule-Based Systems - The Loop is Closed. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Langenstein , Roland Vogt , Markus Ullmann The Use of Formal Methods for Trusted Digital Signature Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Heiko Mantel , Felix C. Gärtner A Case Study in the Mechanical Verification of Fault Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Ochsenschläger , Jürgen Repp , Roland Rieke Verification of Cooperating Systems - An Approach Based on Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Petermann Towards Dependable Development Tools for Embedded Systems: A Case Study in Software Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Stephan , Georg Rock , Michael Brodski Modeling Specification and Verification of an Emergency Closing System. [Citation Graph (0, 0)][DBLP ] Conf ] Setsuo Tsuruta , Takashi Onoyama , Sen Kubota , Kazuko Oyanagi Validation Method for Intelligent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter , Georg Rock , Jörg H. Siekmann , Werner Stephan , Roland Vogt Formal Software Development in the Verification Support Environment (VSE). [Citation Graph (0, 0)][DBLP ] Conf ] 