SAC 1993: Indianapolis, IN, USA

• Mayank Thakore, Daniel C. St. Clair:
  Effect of the x² Test on Construction of ID3 Decision Trees. 1-8
  
• Ray R. Hashemi, Aslam H. Chowdhury, Nancy L. Stafford, John R. Talburt:
  Prediction Capability of Neural Networks Trained by Monte-Carlo Paradigm. 9-13
  
• Roger Gallion, Chaman L. Sabharwal, Daniel C. St. Clair, W. E. Bond:
  Dynamic ID3: A Symbolic Learning Algorithm for Many-Valued Attribute Domains. 14-20
  
• Joanne E. Pelkey, Gregory S. Thomas, David A. Thurman, Victor B. Lorz, Richard J. Douthart:
  Gnome View: A Tool for Visual Representation of Human Genome Data. 21-27
  
• Chandrajit L. Bajaj, Malcolm C. Fields:
  The VAIDAK Medical Image Model Reconstruction Toolkit. 28-35
  
• Chandrajit L. Bajaj, Daniel Schikore:
  Distributed Design of Hip Prostheses with BHAUTIK. 36-39
  
• Mehdi T. Harandi:
  The Role of Analogy in Software Reuse. 40-47
  
• Chung-Horng Lung, Joseph E. Urban:
  Integration of Domain Analysis and Analogical Approach for Software Reuse. 48-53
  
• Walter L. Hürsch, Karl J. Lieberherr, Sougata Mukherjea:
  Object-Oriented Schema Extension and Abstraction. 54-62
  
• Ryan Stansifer, Dan Wetklow:
  Method Reuse in Typed Object-Oriented Languages. 63-70
  
• Rainer Brück:
  Migration: A Model for Design by Modification. 71-76
  
• Will Tracz:
  Parametrized Programming in LILEANNA. 77-86
  
• Amitava Datta, Prabhaker Mateti:
  Automating the Re-Declaration of Unneeded Globals as Private. 87-94
  
• Hee Beng Kuan Tan, Tok Wang Ling, Stan Jarzabek, Yin Seong Ho:
  The Data Derivation Model: A Program Specification Technique That Improves Reusability. 95-102
  
• Massimo Ancona, P. Nieddu:
  Filtering Import: A Basic Mechanism for Reusability. 103-110
  
• Arthur L. Corcoran, Roger L. Wainwright:
  LibGA: A User-Friendly Workbench for Order-Based Genetic Algorithm Research. 111-117
  
• D. Ansa Sekharan, Roger L. Wainwright:
  Manipulating Subpopulations of Feasible and Infeasible Solutions in Genetic Algorithms. 118-125
  
• William G. Frederick, Robert L. Sedlmeyer, Curt M. White:
  The Hamming Metric in Genetic Algorithms and Its Application to Two Network Problems. 126-130
  
• Sam R. Thangiah, Kendall E. Nygard:
  Dynamic Trajectory Routing Using an Adaptive Search Method. 131-138
  
• Yi-Wen Guu, Shankar Subramaniam:
  An Efficient Storage Scheme for Aligned Genetic Sequences. 139-146
  
• Po Hsiang Chu, Susan A. Dudley:
  The Effect of Population Structure on the Rate of Convergence of Genetic Algorithms. 147-151
  
• Aaron H. Konstam:
  Linear Discriminant Analysis Using Genetic Algorithms. 152-156
  
• Sandip Sen:
  Minimal Cost Set Covering Using Probabilistic Methods. 157-164
  
• Richard K. Acree, David T. Croley, Nasr Ullah, Mario J. Gonzalez, Darioush M. Samani:
  Parallelization and Analysis of a Linear Adaptive Filtering Algorithm. 165-172
  
• Jay Veezhinathan, Frank Kemp, Jody Threet:
  A Hybrid of Neural Net and Branch and Bound Techniques for Seismic Horizon Tracking. 173-178
  
• Rachel Harrison, Celia A. Glass:
  Dynamic Programming in a Pure Functional Language. 179-186
  
• Shaoying Liu, John A. McDermid:
  Dynamic Sets and Their Application in VDM. 187-192
  
• William Hankley, Peikun Tsai:
  A Verification Helper for Task Specifications. 193-202
  
• Michael B. O'Neal:
  An Empirical Study of Three Common Software Complexity Measures. 203-207
  
• Andrea Clematis, Vittoria Gianuzzi:
  A Hierarchical Structure for Fault Tolerant Reactive Programs. 208-214
  
• Alan T. Yaung:
  A Linkage Analyzer for Process Management. 215-221
  
• Jarallah AlGhamdi, Joseph E. Urban:
  Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology. 222-229
  
• Amir A. Khwaja, Joseph E. Urban:
  Syntax-Directed Editing Environments: Issues and Features. 230-237
  
• Martin Hitz, Hannes Werthner:
  Development and Analysis of a Wide Area Multimedia Information System. 238-246
  
• Jo Spring:
  Benchmarking Automated Solution Generators for the Crozzle. 247-250
  
• Richard Rankin, Ralph W. Wilkerson, Geoff Harris, Jo Spring:
  A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function. 251-256
  
• Geoff Harris, John Forster, Richard Rankin:
  Basic Blocks in Unconstrained Crossword Puzzles. 257-262
  
• Titus D. M. Purdin, Geoff Harris:
  A Genetic-Algorithm Approach to Solving Crossword Puzzles. 263-270
  
• Michael A. Bauer, Richard A. McBride, J. Michael Bennett:
  Distributed Search for Cooperative Applications. 271-278
  
• Lewis I. Patterson, Richard S. Turner, Robert M. Hyatt:
  Construction of a Fault-Tolerant Distributed Tuple-Space. 279-285
  
• Pedro S. de Souza, Sarosh Talukdar:
  Asynchronous Organizations for Multi-Algorithm Problems. 286-293
  
• John Henshaw, Michael A. Bauer:
  Partitioning in X.500. 294-301
  
• Eliseo Clementini, Paolino Di Felice:
  An Object Calculus for Geographic Databases. 302-308
  
• Yi-Wen Guu, Geneva G. Belford:
  Scibase: An Object-Oriented Scientific Database for Cell Physiology Research. 309-317
  
• Xuequn Wu, Guido Dinkhoff:
  InGRAPH: Graphical Interface for a Fully Object-Oriented Database System. 318-325
  
• Jeff Sutherland, Matthew Pope, Ken Rugg:
  The Hybrid Object-Relational Architecture (HORA): An Integration of Object-Oriented and Relational Technology. 326-333
  
• Pierre Losco, Hassane Chelyah, Moncef Mlouka:
  GELEM (Version 1.1): A Multilingual Lexicons Management Systems. 334-342
  
• Paul E. Reimers, Soon Myoung Chung:
  Automatic Logical Navigation for Relational Databases. 343-350
  
• Panduranga Rao Adusumilli, Lawrence J. Osborne:
  An Integrated Solution for Managing Replicated Data in Distributed Systems. 351-357
  
• Sunil Choenni, Henk M. Blanken, Thiel Chang:
  On the Automation of Physical Database Design. 358-367
  
• Phil Graham, S. Sitharama Iyengar:
  Double- and Triple-Step Incremental Linear Interpolation. 368-372
  
• A. D. Kulkarni, Iraj Yazdanpanahi:
  Generalized Bidirectional Associative Memories for Image Processing. 373-379
  
• Leila De Floriani, Paola Magillo:
  Algorithms for Visibility Computation on Digital Terrain Models. 380-387
  
• Gary A. Hyslop, Edmund A. Lamagna:
  Error Free Incremental Construction of Voronoi Diagrams in the Plane. 388-396
  
• Chaman L. Sabharwal:
  An Intelligent Approach to Discrete Sampling of Parametric Curves. 397-401
  
• Chaman L. Sabharwal:
  Recovering 3D Image Parameters from Corresponding Two 2D Images. 402-409
  
• George H. Collier, Laurie Miller, Eric Sigman:
  Cheyenne to LEIM/TMM: From Research Vision to Product Reality. 410-415
  
• David A. Fuller, Sergio T. Mujica, José A. Pino:
  The Design of an Object-Oriented Collaborative Spreadsheet with Version Control and History Management. 416-423
  
• Jun Lu, Donald White, Wai-Fah Chen:
  Applying Object-Oriented Design to Finite Element Programming. 424-429
  
• Adrian Tang, Wei Wei:
  Object-Oriented Modeling of the Extended Application Layer Structure. 430-436
  
• Jennifer Howell, Ming Shu, Robert Wohlfarth:
  An Object Oriented Application/Programmer Interface for Network Programming. 437-444
  
• Kek Wee Ng, Jian Ma, Gi-Moon Nam:
  A Class Library Management System for Object-Oriented Programming. 445-451
  
• H. M. Al-Haddad, K. M. George, Thomas Gersten:
  Dynamic Selection and Reuse of Implementations in the Object-Oriented Programming Paradigm. 452-459
  
• Y. Liu:
  To Approach an Intelligent System in Coping with an Aspect of Complexity of Water Management. 460-468
  
• D. I. Kountanis, E. Sambasivam:
  Graphs as a Language to Describe Learning System Concepts. 469-475
  
• Gi-Chul Yang, Jonathan Oh:
  Knowledge Acquisition and Retrieval Based on Conceptual Graphs. 476-481
  
• Kim Trans:
  A Symbolic Simulation Model of the Organization of Human Procedural Knowledge. 482-489
  
• José-Luis Aguirre, Olivia Barron, Ramón F. Brena, Maria-Nelly Garcia:
  Using a High Level Knowledge Representation for Expert Systems Knowledge Acquisition and Prototyping. 490-497
  
• Gerard Chew, Moti Schneider, Abraham Kandel:
  Use of Object-Oriented Structures to Represent Knowledge in Expert Systems. 498-503
  
• Angel Syang, Yichiang Syang:
  Qualitative Simulation: A Feedback Control System. 504-510
  
• E. Shnaider, P. Hurtado, M. Schneider:
  Expert Systems for Economic/Business Forecasting. 511-516
  
• Kevin Kelleher, S. Lakshmivarahan, Sudarshan K. Dhall:
  On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction. 517-524
  
• Yi Pan, Mounir Hamdi:
  Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses. 525-532
  
• Dave A. Berque, Mark K. Goldberg, Jeffrey A. Edmonds:
  Implementing Progress Indicators for Recursive Algorithms. 533-538
  
• Zhizhang Shen, Peter G. Drexel, Liam Urbach:
  Packet Delay Prediction in Datagram Mesh Systems. 539-545
  
• Soon Myoung Chung, Jaerheen Yang:
  Distributive Join Algorithm for Shared-Memory Multiprocessors. 546-553
  
• Ignatios Vakalis, Elise de Doncker:
  Parallel Global Adaptive Integration and Dynamic Load Balancing on Loosely Coupled Systems. 554-561
  
• Steve A. Strate, Roger L. Wainwright:
  Load Balancing Techniques for Dynamic Programming Algorithms on Hypercube Multiprocessors. 562-569
  
• James J. Grimm, Gary B. Lamont, Andrew J. Terzuoli:
  A Parallelized Search Strategy for Solving a Multicriteria Aircraft Routing Problem. 570-577
  
• Isambo Karali, Evangelos Pelecanos, Constantin Halatsis:
  A Versatile Module System for Prolog Mapped to Flat Prolog. 578-585
  
• Michael Atherton, Debra A. Lelewer:
  A Probabilistic Model for Natural Language Understanding. 586-592
  
• Nicholas C. K. Phillips:
  Stream Driven Query Processing in a Database. 593-597
  
• L. Ümit Yalçinalp:
  Ushell: An Environment for Introduction to Logic Programming. 598-603
  
• Richard Rankin, Ralph W. Wilkerson:
  Finding Fixed Point Combinators Using Prolog. 604-608
  
• Haklin Kim:
  Program Transformation for the Longest Upsequence Set Problem. 609-613
  
• Gordon Beavers, Hal Berghel:
  "Dynamic" Inferencing with Generalized Resolution. 614-621
  
• Donna M. Mooney, Lynn J. Groome, J. Doug Wilson, Dennis L. Stearns, Lynn S. Bentz:
  A PC-Controlled Data Acquisition System for Transabdominal Recording of Cardiac Activity in the Human Fetus. 622-626
  
• R. R. Ron Goforth:
  Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations. 627-633
  
• Edward S. Chen, Daniel B. Davison:
  Distributing Molecular Biology Information: Gopher, WAIS and the University of Houston Gene-Server. 634-640
  
• Elizabeth Shoop, Jaideep Srivastava, Paul Bieganski, John Riedl, Ernest Retzel:
  An Object-Oriented Genetics Information System. 641-651
  
• Leonardo Meo-Evoli, Enrico Nardelli, Domenico M. Pisanelli, Fabrizio L. Ricci:
  ADAMS: An Object-Oriented System for Epidemiological Data Manipulation. 652-659
  
• Mohammad S. Obaidat, D. S. Abu-Saymeh:
  An Intelligent Video Pattern Generator for Use in Ophthalmology. 660-664
  
• R. W. Matzen, K. M. George, G. E. Hedrick:
  A Model for Studying Ambiguity in SGML Element Declarations. 665-676
  
• Ing-Ray Chen:
  Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects. 677-681
  
• Arthur R. Schulz:
  Computer-Based Derivation of Flux and Concentration Control Coefficients of Metabolic Control Theory. 682-686
  
• Hla Min, Si-Qing Zheng:
  Time-Space Optimal Convex Hull Algorithms. 687-693
  
• Si-Qing Zheng, Shahram Latifi, E. K. Park:
  Sparse Hypercube-Like Interconnection Networks. 694-700
  
• Dipti S. Joshi, Sridhar Radhakrishnan, Chandrasekheran Narayanan:
  A Fast Algorithm for Generalized Network Location Problems. 701-708
  
• Manuel Jiménez-Cedeño, Ramón Vásquez-Espinosa:
  Centralized Packet Radio Network: A Communication Approach Suited for Data Collection in a Real-Time Flash Flood Prediction System. 709-713
  
• William F. Millen:
  OSI Group Communication Support for a Date Planning Application. 714-720
  
• Sanjiv K. Bhatia, Jitender S. Deogun:
  Cluster Characterization in Information Retrieval. 721-728
  
• Fazli Can, Yuan-Ming Lee:
  HypIR: A Hypertext-Based Approach to Information Retrieval. 729-736
  
• Omar Larouk:
  Linguistico-Statistical Approach and Logics Applied in Documentary System. 737-744
  
• Maristella Agosti, Fabio Crestani:
  A Methodology for the Automatic Construction of a Hypertext for Information Retrieval. 745-753
  
• Shankar Vaidyanathan, S. Lakshmivarahan:
  Analysis of Upper Bound in Valiant's Model for Learning Bounded CNF Expressions. 754-761
  
• Jin Wang, Jack S. N. Jean:
  Segmentation of Merged Characters by Neural Networks and Shortest-Path. 762-769
  
• Thorsten Brendel, Jens Burkert:
  3-Dimensional Reconstruction by Silhouettes to Construct Training Patterns for Neural Networks. 770-774
  
• Dalia Motzkin, E. Jarrett, D. Hager, M. Kerstetter:
  On Concurrent Execution of Information Systems Applications. 775-781
  
• Louis A. Le Blanc:
  Strategic Sourcing for Information Processing Functions. 782-788
  
• Sub Ramakrishnan, Larry A. Dunning, Thomas Nitsch:
  An Integrated Optimal Task Assignment Policy. 789-795
  
• Kevin Jeffay:
  The Real-Time Producer/Consumer Paradigm: A Paradigm for the Construction of Efficient, Predictable Real-Time Systems. 796-804
  

Last update Tue Feb 14 04:10:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page