Proceedings of the Eighth Symposium on Applied Computing: States of the Art and Practice
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


Proceedings of the Eighth Symposium on Applied Computing: States of the Art and Practice
SAC, 1993.

SE
DBLP
Scholar
Full names Links ISxN
@proceedings{SAC-1993,
	publisher     = "{ACM Press}",
	title         = "{Proceedings of the Eighth Symposium on Applied Computing: States of the Art and Practice}",
	year          = 1993,
}

Contents (111 items)

SAC-1993-ThakoreC
Effect of the χ² Test on Construction of ID3 Decision Trees (MT, DCSC), pp. 1–8.
SAC-1993-HashemiCST #monte carlo #network #paradigm #predict
Prediction Capability of Neural Networks Trained by Monte-Carlo Paradigm (RRH, AHC, NLS, JRT), pp. 9–13.
SAC-1993-GallionSCB #algorithm #learning
Dynamic ID3: A Symbolic Learning Algorithm for Many-Valued Attribute Domains (RG, CLS, DCSC, WEB), pp. 14–20.
SAC-1993-PelkeyTTLD #gnome #representation #visual notation
Gnome View: A Tool for Visual Representation of Human Genome Data (JEP, GST, DAT, VBL, RJD), pp. 21–27.
SAC-1993-BajajF #image #re-engineering #tool support
The VAIDAK Medical Image Model Reconstruction Toolkit (CLB, MCF), pp. 28–35.
SAC-1993-BajajS #design #distributed
Distributed Design of Hip Prostheses with BHAUTIK (CLB, DS), pp. 36–39.
SAC-1993-Harandi #reuse
The Role of Analogy in Software Reuse (MTH), pp. 40–47.
SAC-1993-LungU #analysis #approach #integration #reuse
Integration of Domain Analysis and Analogical Approach for Software Reuse (CHL, JEU), pp. 48–53.
SAC-1993-HurschLM #abstraction #object-oriented
Object-Oriented Schema Extension and Abstraction (WLH, KJL, SM), pp. 54–62.
SAC-1993-StansiferW #object-oriented #reuse
Method Reuse in Typed Object-Oriented Languages (RS, DW), pp. 63–70.
SAC-1993-Bruck #design #migration #named
Migration: A Model for Design by Modification (RB), pp. 71–76.
SAC-1993-Tracz #programming
Parametrized Programming in LILEANNA (WT), pp. 77–86.
SAC-1993-DattaM #automation
Automating the Re-Declaration of Unneeded Globals as Private (AD, PM), pp. 87–94.
SAC-1993-TanLJH #reuse #specification #usability
The Data Derivation Model: A Program Specification Technique That Improves Reusability (HBKT, TWL, SJ, YSH), pp. 95–102.
SAC-1993-AnconaN #reuse #usability
Filtering Import: A Basic Mechanism for Reusability (MA, PN), pp. 103–110.
SAC-1993-CorcoranW #algorithm #named #research #search-based
LibGA: A User-Friendly Workbench for Order-Based Genetic Algorithm Research (ALC, RLW), pp. 111–117.
SAC-1993-SekharanW #algorithm #search-based
Manipulating Subpopulations of Feasible and Infeasible Solutions in Genetic Algorithms (DAS, RLW), pp. 118–125.
SAC-1993-FrederickSW #algorithm #metric #network #problem #search-based
The Hamming Metric in Genetic Algorithms and Its Application to Two Network Problems (WGF, RLS, CMW), pp. 126–130.
SAC-1993-ThangiahN #adaptation #using
Dynamic Trajectory Routing Using an Adaptive Search Method (SRT, KEN), pp. 131–138.
SAC-1993-GuuS #performance #search-based #sequence
An Efficient Storage Scheme for Aligned Genetic Sequences (YWG, SS), pp. 139–146.
SAC-1993-ChuD #algorithm #convergence #search-based
The Effect of Population Structure on the Rate of Convergence of Genetic Algorithms (PHC, SAD), pp. 147–151.
SAC-1993-Konstam #algorithm #analysis #linear #search-based #using
Linear Discriminant Analysis Using Genetic Algorithms (AHK), pp. 152–156.
SAC-1993-Sen #low cost #probability #set #using
Minimal Cost Set Covering Using Probabilistic Methods (SS), pp. 157–164.
SAC-1993-AcreeCUGS #adaptation #algorithm #analysis #linear #parallel
Parallelization and Analysis of a Linear Adaptive Filtering Algorithm (RKA, DTC, NU, MJG, DMS), pp. 165–172.
SAC-1993-VeezhinathanKT #bound #branch #hybrid
A Hybrid of Neural Net and Branch and Bound Techniques for Seismic Horizon Tracking (JV, FK, JT), pp. 173–178.
SAC-1993-HarrisonG #functional #programming
Dynamic Programming in a Pure Functional Language (RH, CAG), pp. 179–186.
SAC-1993-LiuM #set
Dynamic Sets and Their Application in VDM (SL, JAM), pp. 187–192.
SAC-1993-HankleyT #specification #verification
A Verification Helper for Task Specifications (WH, PT), pp. 193–202.
SAC-1993-ONeal #complexity #empirical #metric
An Empirical Study of Three Common Software Complexity Measures (MBO), pp. 203–207.
SAC-1993-ClematisG #fault tolerance #source code
A Hierarchical Structure for Fault Tolerant Reactive Programs (AC, VG), pp. 208–214.
SAC-1993-Yaung #process
A Linkage Analyzer for Process Management (ATY), pp. 215–221.
SAC-1993-AlGhamdiU #programming language
Comparing and Assessing Programming Languages: Basis for a Qualitative Methodology (JA, JEU), pp. 222–229.
SAC-1993-KhwajaU #editing
Syntax-Directed Editing Environments: Issues and Features (AAK, JEU), pp. 230–237.
SAC-1993-HitzW #analysis #development #information management #multi
Development and Analysis of a Wide Area Multimedia Information System (MH, HW), pp. 238–246.
SAC-1993-Spring #automation #benchmark #generative #metric
Benchmarking Automated Solution Generators for the Crozzle (JS), pp. 247–250.
SAC-1993-RankinWHS #algorithm #evaluation #hybrid #problem #search-based
A Hybrid Genetic Algorithm for an NP-Complete Problem with an Expensive Evaluation Function (RR, RWW, GH, JS), pp. 251–256.
SAC-1993-HarrisFR
Basic Blocks in Unconstrained Crossword Puzzles (GH, JF, RR), pp. 257–262.
SAC-1993-PurdinH #approach #search-based
A Genetic-Algorithm Approach to Solving Crossword Puzzles (TDMP, GH), pp. 263–270.
SAC-1993-BauerMB #distributed
Distributed Search for Cooperative Applications (MAB, RAM, JMB), pp. 271–278.
SAC-1993-PattersonTH #distributed #fault tolerance
Construction of a Fault-Tolerant Distributed Tuple-Space (LIP, RST, RMH), pp. 279–285.
SAC-1993-SouzaT #multi #problem
Asynchronous Organizations for Multi-Algorithm Problems (PSdS, ST), pp. 286–293.
SAC-1993-HenshawB #clustering
Partitioning in X.500 (JH, MAB), pp. 294–301.
SAC-1993-ClementiniF #calculus #database
An Object Calculus for Geographic Databases (EC, PDF), pp. 302–308.
SAC-1993-GuuB #database #named #object-oriented #research
Scibase: An Object-Oriented Scientific Database for Cell Physiology Research (YWG, GGB), pp. 309–317.
SAC-1993-WuD #database #interface #named #object-oriented #visual notation
InGRAPH: Graphical Interface for a Fully Object-Oriented Database System (XW, GD), pp. 318–325.
SAC-1993-SutherlandPR #architecture #hybrid #integration #object-oriented #relational
The Hybrid Object-Relational Architecture (HORA): An Integration of Object-Oriented and Relational Technology (JS, MP, KR), pp. 326–333.
SAC-1993-LoscoCM #multi
GELEM (Version 1.1): A Multilingual Lexicons Management Systems (PL, HC, MM), pp. 334–342.
SAC-1993-ReimersC #automation #database #logic #navigation #relational
Automatic Logical Navigation for Relational Databases (PER, SMC), pp. 343–350.
SAC-1993-AdusumilliO #distributed
An Integrated Solution for Managing Replicated Data in Distributed Systems (PRA, LJO), pp. 351–357.
SAC-1993-ChoenniBC #automation #database #design #on the #physics
On the Automation of Physical Database Design (SC, HMB, TC), pp. 358–367.
SAC-1993-GrahamI #incremental #linear
Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.
SAC-1993-KulkarniY #bidirectional #image
Generalized Bidirectional Associative Memories for Image Processing (ADK, IY), pp. 373–379.
SAC-1993-FlorianiM #algorithm #modelling
Algorithms for Visibility Computation on Digital Terrain Models (LDF, PM), pp. 380–387.
SAC-1993-HyslopL #diagrams #fault #incremental
Error Free Incremental Construction of Voronoi Diagrams in the Plane (GAH, EAL), pp. 388–396.
SAC-1993-Sabharwal #approach #parametricity
An Intelligent Approach to Discrete Sampling of Parametric Curves (CLS), pp. 397–401.
SAC-1993-Sabharwal93a #2d #3d #image #parametricity
Recovering 3D Image Parameters from Corresponding Two 2D Images (CLS), pp. 402–409.
SAC-1993-CollierMS #research
Cheyenne to LEIM/TMM: From Research Vision to Product Reality (GHC, LM, ES), pp. 410–415.
SAC-1993-FullerMP #collaboration #design #object-oriented #spreadsheet #version control
The Design of an Object-Oriented Collaborative Spreadsheet with Version Control and History Management (DAF, STM, JAP), pp. 416–423.
SAC-1993-LuWC #design #finite #object-oriented #programming
Applying Object-Oriented Design to Finite Element Programming (JL, DW, WFC), pp. 424–429.
SAC-1993-TangW #modelling #object-oriented
Object-Oriented Modeling of the Extended Application Layer Structure (AT, WW), pp. 430–436.
SAC-1993-HowellSW #interface #network #object-oriented #programming
An Object Oriented Application/Programmer Interface for Network Programming (JH, MS, RW), pp. 437–444.
SAC-1993-NgMN #library #object-oriented #programming
A Class Library Management System for Object-Oriented Programming (KWN, JM, GMN), pp. 445–451.
SAC-1993-Al-HaddadGG #implementation #object-oriented #paradigm #programming #reuse #using
Dynamic Selection and Reuse of Implementations in the Object-Oriented Programming Paradigm (HMAH, KMG, TG), pp. 452–459.
SAC-1993-Liu #approach #complexity
To Approach an Intelligent System in Coping with an Aspect of Complexity of Water Management (YL), pp. 460–468.
SAC-1993-KountanisS #concept #graph #learning
Graphs as a Language to Describe Learning System Concepts (DIK, ES), pp. 469–475.
SAC-1993-YangO #concept #graph #information management #retrieval
Knowledge Acquisition and Retrieval Based on Conceptual Graphs (GCY, JO), pp. 476–481.
SAC-1993-Trans #simulation
A Symbolic Simulation Model of the Organization of Human Procedural Knowledge (KT), pp. 482–489.
SAC-1993-AguirreBBG #information management #prototype #representation #using
Using a High Level Knowledge Representation for Expert Systems Knowledge Acquisition and Prototyping (JLA, OB, RFB, MNG), pp. 490–497.
SAC-1993-ChewSK #object-oriented #using
Use of Object-Oriented Structures to Represent Knowledge in Expert Systems (GC, MS, AK), pp. 498–503.
SAC-1993-SyangS #feedback #simulation
Qualitative Simulation: A Feedback Control System (AS, YS), pp. 504–510.
SAC-1993-ShnaiderHS
Expert Systems for Economic/Business Forecasting (ES, PH, MS), pp. 511–516.
SAC-1993-KelleherLD #equation #on the #parallel #performance #reduction
On the Performance of a Direct Parallel Method for Solving Separable Elliptic Equations Based on Block Cyclic Reduction (KK, SL, SKD), pp. 517–524.
SAC-1993-PanH #array #composition #pipes and filters
Computation of Singular Value Decomposition on Arrays with Pipelined Optical Buses (YP, MH), pp. 525–532.
SAC-1993-BerqueGE #algorithm #implementation #recursion
Implementing Progress Indicators for Recursive Algorithms (DAB, MKG, JAE), pp. 533–538.
SAC-1993-ShenDU #data flow #predict
Packet Delay Prediction in Datagram Mesh Systems (ZS, PGD, LU), pp. 539–545.
SAC-1993-ChungY #algorithm #multi
Distributive Join Algorithm for Shared-Memory Multiprocessors (SMC, JY), pp. 546–553.
SAC-1993-VakalisD #adaptation #integration #parallel
Parallel Global Adaptive Integration and Dynamic Load Balancing on Loosely Coupled Systems (IV, EdD), pp. 554–561.
SAC-1993-StrateW #algorithm #multi #programming
Load Balancing Techniques for Dynamic Programming Algorithms on Hypercube Multiprocessors (SAS, RLW), pp. 562–569.
SAC-1993-GrimmLT #multi #problem
A Parallelized Search Strategy for Solving a Multicriteria Aircraft Routing Problem (JJG, GBL, AJT), pp. 570–577.
SAC-1993-KaraliPH #prolog
A Versatile Module System for Prolog Mapped to Flat Prolog (IK, EP, CH), pp. 578–585.
SAC-1993-AthertonL #comprehension #natural language #probability
A Probabilistic Model for Natural Language Understanding (MA, DAL), pp. 586–592.
SAC-1993-Phillips #database #query
Stream Driven Query Processing in a Database (NCKP), pp. 593–597.
SAC-1993-Yalcinalp #logic programming #named
Ushell: An Environment for Introduction to Logic Programming (LÜY), pp. 598–603.
SAC-1993-RankinW #combinator #fixpoint #prolog #using
Finding Fixed Point Combinators Using Prolog (RR, RWW), pp. 604–608.
SAC-1993-Kim #problem #program transformation #set
Program Transformation for the Longest Upsequence Set Problem (HK), pp. 609–613.
SAC-1993-BeaversB
“Dynamic” Inferencing with Generalized Resolution (GB, HB), pp. 614–621.
SAC-1993-MooneyGWSB #process
A PC-Controlled Data Acquisition System for Transabdominal Recording of Cardiac Activity in the Human Fetus (DMM, LJG, JDW, DLS, LSB), pp. 622–626.
SAC-1993-Goforth #editing #interactive #simulation
Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.
SAC-1993-ChenD #biology
Distributing Molecular Biology Information: Gopher, WAIS and the University of Houston Gene-Server (ESC, DBD), pp. 634–640.
SAC-1993-ShoopSBRR #information management #object-oriented
An Object-Oriented Genetics Information System (ES, JS, PB, JR, ER), pp. 641–651.
SAC-1993-Meo-EvoliNPR #named #object-oriented
ADAMS: An Object-Oriented System for Epidemiological Data Manipulation (LME, EN, DMP, FLR), pp. 652–659.
SAC-1993-ObaidatA #generative #video
An Intelligent Video Pattern Generator for Use in Ophthalmology (MSO, DSAS), pp. 660–664.
SAC-1993-MatzenGH #ambiguity
A Model for Studying Ambiguity in SGML Element Declarations (RWM, KMG, GEH), pp. 665–676.
SAC-1993-Chen #fault #probability #robust
Effect of Probabilistic Error Checking Procedures and Performability of Robust Objects (IRC), pp. 677–681.
SAC-1993-Schulz
Computer-Based Derivation of Flux and Concentration Control Coefficients of Metabolic Control Theory (ARS), pp. 682–686.
SAC-1993-MinZ #algorithm
Time-Space Optimal Convex Hull Algorithms (HM, SQZ), pp. 687–693.
SAC-1993-ZhengLP #network
Sparse Hypercube-Like Interconnection Networks (SQZ, SL, EKP), pp. 694–700.
SAC-1993-JoshiRN #algorithm #network #performance #problem
A Fast Algorithm for Generalized Network Location Problems (DSJ, SR, CN), pp. 701–708.
SAC-1993-Jimenez-CedenoV #approach #communication #network #predict #realtime
Centralized Packet Radio Network: A Communication Approach Suited for Data Collection in a Real-Time Flash Flood Prediction System (MJC, RVE), pp. 709–713.
SAC-1993-Millen #communication
OSI Group Communication Support for a Date Planning Application (WFM), pp. 714–720.
SAC-1993-BhatiaD #clustering #information retrieval
Cluster Characterization in Information Retrieval (SKB, JSD), pp. 721–728.
SAC-1993-CanL #approach #information retrieval #named
HypIR: A Hypertext-Based Approach to Information Retrieval (FC, YML), pp. 729–736.
SAC-1993-Larouk #approach #logic #statistics
Linguistico-Statistical Approach and Logics Applied in Documentary System (OL), pp. 737–744.
SAC-1993-AgostiC #automation #hypermedia #information retrieval
A Methodology for the Automatic Construction of a Hypertext for Information Retrieval (MA, FC), pp. 745–753.
SAC-1993-VaidyanathanL #analysis #bound #learning
Analysis of Upper Bound in Valiant’s Model for Learning Bounded CNF Expressions (SV, SL), pp. 754–761.
SAC-1993-WangJ #network #segmentation
Segmentation of Merged Characters by Neural Networks and Shortest-Path (JW, JSNJ), pp. 762–769.
SAC-1993-BrendelB #3d #network #re-engineering
3-Dimensional Reconstruction by Silhouettes to Construct Training Patterns for Neural Networks (TB, JB), pp. 770–774.
SAC-1993-MotzkinJHK #concurrent #execution #information management #on the
On Concurrent Execution of Information Systems Applications (DM, EJ, DH, MK), pp. 775–781.
SAC-1993-Blanc #information management
Strategic Sourcing for Information Processing Functions (LALB), pp. 782–788.
SAC-1993-RamakrishnanDN #policy
An Integrated Optimal Task Assignment Policy (SR, LAD, TN), pp. 789–795.
SAC-1993-Jeffay #paradigm #performance #predict #realtime
The Real-Time Producer/Consumer Paradigm: A Paradigm for the Construction of Efficient, Predictable Real-Time Systems (KJ), pp. 796–804.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.