BibSLEIGH — Proceedings of the 10th Symposium on Applied Computing

Proceedings of the 10th Symposium on Applied Computing
SAC, 1995.

@proceedings{SAC-1995,
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th Symposium on Applied Computing}",
	year          = 1995,
}

Contents (114 items)

SAC-1995-Berghel #named #navigation #state of the art: CYBER-SURFING: the state-of-the-art in client server browsing and navigation (HB), pp. 1–4.
SAC-1995-GuzdialRC #collaboration #education #interactive #learning #multi: Collaborative and multimedia interactive learning environment for engineering education (MG, NR, DC), pp. 5–9.
SAC-1995-Arnow #email #network #programming #using: :-) When you grade that: using e-mail and the network in programming courses (DMA), pp. 10–13.
SAC-1995-AndrusN #named #simulation: SCAD: a computer generated simulation for audit instruction (JMA, MSN), pp. 14–16.
SAC-1995-GarrettOK #source code #visual notation: Scripting of event driven programs for graphical, computer-based laboratories (DAG, MBO, BLK), pp. 17–21.
SAC-1995-MurrayB: A decision support system for academic advising (WSM, LALB), pp. 22–26.
SAC-1995-NugrohoS #data type #music #persistent: Persistence in music data structures (LEN, ASMS), pp. 27–31.
SAC-1995-Spector #development #problem #using: Using system dynamics to model courseware development: the project dynamics of complex problem-solving (JMS), pp. 32–35.
SAC-1995-Boulet #distance #education: Learner-controlled situation with distance education (MMB), pp. 36–39.
SAC-1995-ChenH #algorithm #analysis #concurrent #database #performance: Performance analysis of a periodic data reorganization algorithm for concurrent B-trees in database systems (IRC, SH), pp. 40–45.
SAC-1995-BangL #database #named #performance: SMR-tree: an efficient index structure for spatial databases (KSB, HL), pp. 46–50.
SAC-1995-ChaabouniC #database #network #object-oriented: Discrimination network for rule condition matching in object-oriented database rule systems (MC, SMC), pp. 51–55.
SAC-1995-Li #algorithm #optimisation #performance #set: An efficient algorithm for computing a minimum node cutset from a vertex-disjoint path set for timing optimization (WNL), pp. 56–60.
SAC-1995-HoskinsH #visualisation: Ray Tracing as a tool for visualization of pathogen spread in natural forest stands (JAH, WDH), pp. 61–64.
SAC-1995-PandaP #cost analysis #execution #query: Query execution in prism and seaview: a cost analysis (BP, WP), pp. 65–70.
SAC-1995-PerrizoG #query: Domain vector hashing for earth system data querying (WP, VNRG), pp. 71–75.
SAC-1995-FordRDHT #ecosystem #named: EIS: a network-accessible respository for ecosystem modelers and managers (RF, RR, TD, VH, DT), pp. 76–80.
SAC-1995-FordTT #semistructured data #visualisation: Supporting heterogeneous data import for data visualization (RF, RT, DT), pp. 81–85.
SAC-1995-Pratt #modelling: Data modeling of scientific experimentation (JMP), pp. 86–90.
SAC-1995-FiedlerLDL #using: Optimal initialization of mixed-layer model using the adjoint technique (RF, SL, SKD, JML), pp. 91–95.
SAC-1995-RochaOWRSXLFAF: An expert system for diagnosis of acute myocardial infarction (ARR, KMdO, VW, ÁR, ADdS, AAX, NL, JWCSF, MA, MCF), pp. 96–100.
SAC-1995-JungG #automation #knowledge base #visualisation: Automatic determination and visualization of relationships among symptoms for building medical knowledge bases (GSJ, VNG), pp. 101–107.
SAC-1995-Duben #modelling #statistics #using: Conformational statistics of models for serine- and threonine-linked glycopeptides using umbrella sampling (AJD), pp. 108–112.
SAC-1995-MooneyGBW #adaptation #algorithm: Computer algorithm for adaptive extraction of fetal cardiac electrical signal (DMM, LJG, LSB, JDW), pp. 113–117.
SAC-1995-Serrano #analysis #compilation #control flow #functional #paradigm: Control flow analysis: a functional languages compilation paradigm (MS), pp. 118–122.
SAC-1995-MakowskiP #parallel #performance: Achieving efficient register allocation via parallelism (CM, LLP), pp. 123–129.
SAC-1995-HartensteinS #compilation #programming: Combining structural and procedural programming by parallelizing compilation (RWH, KS), pp. 130–134.
SAC-1995-Scholz #concurrent #data type #functional #programming language: Turning a functional data type into a concurrent programming language (ES), pp. 135–139.
SAC-1995-Huntbach #concurrent #object-oriented: The concurrent object-oriented language braid (MMH), pp. 140–146.
SAC-1995-BowmanD #distributed #modelling #using: Modelling distributed systems using Z (HB, JD), pp. 147–151.
SAC-1995-TarauDB #empirical #power of #prolog: The power of partial tanslation: an experiment with the C-ification of binary Prolog (PT, BD, KDB), pp. 152–156.
SAC-1995-BanachP #behaviour #graph grammar #linear #source code: Linear behaviour of term graph rewriting programs (RB, GAP), pp. 157–163.
SAC-1995-Huntbach95a #concurrent #logic: Search in concurrent logic languages (MMH), pp. 164–170.
SAC-1995-GudaitisLT #parallel #using: Multicriteria vehicle route-planning using parallel A^* search (MSG, GBL, AJT), pp. 171–176.
SAC-1995-KasaraneniJA #distributed #energy #multi #physics: Load balancing in a distributed processing system for high-energy physics(UFMulti) (JK, TJ, PA), pp. 177–181.
SAC-1995-JengL #algorithm: Optimal hypercube algorithms for robot configuration space computation (JFFJ, WNL), pp. 182–186.
SAC-1995-Purdom #implementation #memory management #parallel: Implementing a system on a shared memory parallel processor (REP), pp. 187–190.
SAC-1995-KaradimitriouTB #re-engineering #reverse engineering #scalability: Reverse engineering and reengineering of a large serial system into a distributed-parallel version (KK, JMT, NEB), pp. 191–197.
SAC-1995-AlfantookhGA #architecture #implementation: Implementation of 2-4 finger trees in the hypercube architecture (AA, KMG, HMAH), pp. 198–205.
SAC-1995-Sateesh #concept #perspective #realtime: Conceptual model of real-time systems: a perspective (TKS), pp. 206–209.
SAC-1995-GaberTGH #parallel: Embedding tree structures in massively parallel computers (JG, BT, GG, TH), pp. 210–214.
SAC-1995-Sabin #generative #linear #parallel #using: The use of parallelization in the generation of binary linear codes (RES), pp. 215–220.
SAC-1995-LuoD #algorithm #matrix #parallel #scalability: A scalable parallel Strassen’s matrix multiplication algorithm for distributed-memory computers (QL, JBD), pp. 221–226.
SAC-1995-AndersonM #diagrams #heuristic #reasoning: Developing a heuristic via diagrammatic reasoning (MA, RM), pp. 227–231.
SAC-1995-RitschelP #automation #information management: Automatic knowledge acquisition in technical diagnosis (WR, TP), pp. 232–236.
SAC-1995-FalaCM #health: Applying expert systems to health care management (GF, KTC, DMM), pp. 237–241.
SAC-1995-StearnsC #concept #machine learning #rule-based: Rule-based machine learning of spatial data concepts (SS, DCSC), pp. 242–247.
SAC-1995-Fisher #logic programming #specification: Logic program based action specifications (JRF), pp. 248–252.
SAC-1995-PittasSS #documentation #hypermedia #modelling #multi: Reader’s document models and access strategies in hypermedia and multimedia systems (MP, SS, DS), pp. 253–257.
SAC-1995-Obaidat #verification: A verification methodology for computer systems users (MSO), pp. 258–262.
SAC-1995-HashemiTV #monitoring #network #quality: A neural network as a quality control monitor of an intelligent system (RRH, JRT, MV), pp. 263–266.
SAC-1995-VagelatosTTC: Utilization of a lexicon for spelling correction in modern Greek (AV, TT, CT, DC), pp. 267–271.
SAC-1995-Cheung #ambiguity #context-free grammar: Ambiguity in context-free grammars (BSNC), pp. 272–276.
SAC-1995-Hendrickson #algorithm #lr #parallel #parsing: A new parallel LR parsing algorithm (KJH), pp. 277–281.
SAC-1995-AllenB #adaptation #parsing: A unification-based adaptive parser (CSA, BRB), pp. 282–287.
SAC-1995-GrimRP #3d #algorithm #re-engineering #search-based #using: Use of genetic algorithms in three-dimensional reconstruction in carbon black aggregates (RJG, JRR, LDP), pp. 288–292.
SAC-1995-HoeltingSW #approximate #problem: Approximation techniques for variations of the p-median problem (CJH, DAS, RLW), pp. 293–299.
SAC-1995-Gibson #algorithm #data type #multi #optimisation #problem #search-based: A genetic algorithm for optimizing problems with multiple disparate data types (GMG), pp. 300–304.
SAC-1995-AbualiWS #encoding #graph #representation: Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs (FNA, RLW, DAS), pp. 305–312.
SAC-1995-LiangL #algorithm #matrix #representation #scheduling #search-based #using: A sparse matrix representation for production scheduling using genetic algorithms (SJTL, JML), pp. 313–317.
SAC-1995-HaynesW #adaptation #simulation: A simulation of adaptive agents in a hostile environment (TDH, RLW), pp. 318–323.
SAC-1995-Julstrom #algorithm #problem #search-based: Very greedy crossover in a genetic algorithm for the traveling salesman problem (BAJ), pp. 324–328.
SAC-1995-ParkC #combinator #effectiveness #on the #optimisation #search-based: On the effectiveness of genetic search in combinatorial optimization (KP, BC), pp. 329–336.
SAC-1995-AbualiWS95a #algorithm #morphism #problem #search-based #using: Solving the three-star tree isomorphism problem using genetic algorithms (FNA, RLW, DAS), pp. 337–344.
SAC-1995-SmithDS #algorithm #inheritance #search-based: Fitness inheritance in genetic algorithms (RES, BAD, SAS), pp. 345–350.
SAC-1995-CrawfordVW #algorithm #detection #multi #search-based #using: Detecting multiple outliers in regression data using genetic algorithms (KDC, DJV, RLW), pp. 351–356.
SAC-1995-ThuenteS #algorithm #hybrid #problem #programming #search-based: Mathematical programming in a hybrid genetic algorithm for Steiner point problems (DJT, PS), pp. 357–363.
SAC-1995-WassermanYS #logic programming #source code: An alternative transformation rule for logic programs (HCW, KY, ZS), pp. 364–368.
SAC-1995-Bsaies #logic programming #proving: Discovering and proving logic program properties (KB), pp. 369–373.
SAC-1995-LeeA #thread: Object linkage mechanism for threaded interpretive languages (YML, DJA), pp. 374–378.
SAC-1995-SchachY #approach #metric #reuse: Metrics for targeting candidates for reuse: an experimental approach (SRS, XY), pp. 379–383.
SAC-1995-Beams #approach #development: Adding spice to software development: a software development approach designed for rapidly changing environments (JDB), pp. 384–389.
SAC-1995-HuizingaH #distributed: Two-level client caching and disconnected operation of notebook computers in distributed systems (DMH, KAH), pp. 390–395.
SAC-1995-ThomasMM #development #framework: A framework for the development of information appliances (PJT, JFM, RDM), pp. 396–400.
SAC-1995-SmithPN #analysis #network #performance: Performance analysis of small FDDI networks (JS, LDP, TN), pp. 401–405.
SAC-1995-TarngYR #source code: A digital conference like software tool for PDP programs (JJT, QY, KDR), pp. 406–410.
SAC-1995-BhattM #distributed #fault tolerance #process: A front-end process for fault tolerant distributed systems (PB, RAM), pp. 411–414.
SAC-1995-SaiedianW #automation: An operational model for intelligent forms in office automation (HS, KWW), pp. 415–419.
SAC-1995-MotzkinEKT #database #evaluation #performance: A tool for performance evaluation of database systems for small computer systems (DM, RE, MK, ST), pp. 420–426.
SAC-1995-McBrideGF #simulation: Simulation of a state prison population (RAM, DRG, SF), pp. 427–430.
SAC-1995-WongP #analysis #design: Design and analysis of fractals in an individual computing environment (KWW, JP), pp. 431–433.
SAC-1995-SaiedianM #case study #framework #process #quality: A study of two frameworks for quality software process (HS, LMM), pp. 434–439.
SAC-1995-Stegmaier-StraccaT #classification #detection #fuzzy #using: Cough detection using fuzzy classification (PASS, NNTG), pp. 440–444.
SAC-1995-HalgamugeGG #fuzzy #network #problem #prototype: A sub Bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems (SKH, CG, MG), pp. 445–449.
SAC-1995-Bothe #fuzzy #modelling #speech #visual notation: Fuzzy input coding for an artificial neural--network modelling visual speech movements (HHB), pp. 450–454.
SAC-1995-Palm #fuzzy: Fuzzy signals in control loops (RP), pp. 455–460.
SAC-1995-NauckK #approach #classification: NEFCLASSmdash;a neuro-fuzzy approach for the classification of data (DN, RK), pp. 461–465.
SAC-1995-Tschichold-Gurman #classification #fuzzy #generative #incremental #learning #using: Generation and improvement of fuzzy classifiers with incremental learning using fuzzy RuleNet (NNTG), pp. 466–470.
SAC-1995-Goonatilake #hybrid: Intelligent hybrid systems for financial decision making (SG), pp. 471–476.
SAC-1995-GandolfiGMR #configuration management #design #fuzzy: Design of a VLSI very high speed reconfigurable digital fuzzy processor (EG, AG, MM, MR), pp. 477–481.
SAC-1995-BironK #feedback #information retrieval #performance: New methods for relevance feedback: improving information retrieval performance (PVB, DHK), pp. 482–487.
SAC-1995-BoscLP #flexibility #quantifier #query #relational: Quantified statements in a flexible relational query language (PB, LL, OP), pp. 488–492.
SAC-1995-FedrizziFPZ: A dynamical model for reaching consensus in group decision making (MF, MF, RAMP, AZ), pp. 493–496.
SAC-1995-BucklesP #database #fuzzy: Fuzzy databases in the new era (BPB, FEP), pp. 497–502.
SAC-1995-GyseghemC #behaviour #fuzzy: Fuzzy behaviour and relationships in a fuzzy OODB-model (NVG, RMMDC), pp. 503–507.
SAC-1995-LucarellaBP #database #fuzzy #object-oriented #retrieval: Pattern-based retrieval in a fuzzy object oriented data base (DL, GB, GP), pp. 508–513.
SAC-1995-CarchioloM #approach #clustering #co-evolution #design #fuzzy: A fuzzy approach to co-design system partitioning (VC, MM), pp. 514–518.
SAC-1995-RemyW #adaptation #design: Design of an adaptive control system for DC servo motor (FR, MW), pp. 519–523.
SAC-1995-KumblaJB #algorithm #fuzzy #implementation #logic #network #using: Implementation of fuzzy logic and neural networks control algorithm using a digital signal processing chip (KKK, MJ, JBR), pp. 524–528.
SAC-1995-AsgharzadehJ #fuzzy #video: Video printing and fuzzy control (AA, MJ), pp. 529–531.
SAC-1995-GopalanHSDS #fuzzy #problem #search-based: Fuzzy genetic controllers for the autonomous rendezvous and docking problem (VG, AH, MRS, RWD, BS), pp. 532–536.
SAC-1995-KrishnaKumarS #algorithm #fuzzy #modelling #multi #using: Discovering multiple fuzzy models using the EFMCN algorithm (KK, AS), pp. 537–541.
SAC-1995-DamianiF #automation #component #fuzzy #retrieval #reuse: Automatic thesaurus construction supporting fuzzy retrieval of reusable components (ED, MGF), pp. 542–547.
SAC-1995-Wong #fuzzy: Fuzzy routing control of service request messages in an individual computing environment (KWW), pp. 548–551.
SAC-1995-Akbarzadeh-TotonchiJD #case study #distributed #fuzzy #parametricity: Fuzzy hierarchical control of distributed parameter systems: a case study on a heating slab (MRAT, MJ, PD), pp. 552–556.
SAC-1995-SmitsBSD #approach #fuzzy #image #using: An image processing approach using fuzzy topology (PCS, DdB, AS, SGD), pp. 557–561.
SAC-1995-FathiTHH #development: Development of objective functions for soft computing in medical applications (MF, CT, KH, JH), pp. 562–564.
SAC-1995-ToliasTP #detection #fuzzy #image: Detecting aneurysms in retinal images: fuzzy morphology vs. conventional methods (YAT, IBT, SMP), pp. 565–569.
SAC-1995-BlochM #fuzzy #image: Fuzzy distances and image processing (IB, HM), pp. 570–574.
SAC-1995-RunklerG #algorithm #multi #performance #set: Multidimensional defuzzification — fast algorithms for the determination of crisp characteristic subsets (TAR, MG), pp. 575–579.
SAC-1995-HalgamugeBG #algorithm #classification #comparison #generative #heuristic #rule-based #search-based: Comparison of a heuristic method with a genetic algorithm for generation of compact rule based classifiers (SKH, AB, MG), pp. 580–585.
SAC-1995-Tunstel #fuzzy #mobile #navigation #representation: Fuzzy spatial map representation for mobile robot navigation (ET), pp. 586–589.
SAC-1995-KaedingF #multi #paradigm: Processing unexact information in a medical used multiparadigm system (AKK, TF), pp. 590–592.
SAC-1995-BaudinoCMS #set: Processing sets on a SIMD machine (AB, GC, GM, GS), pp. 593–598.

Proceedings of the 10th Symposium on Applied ComputingSAC, 1995.

Contents (114 items)

Proceedings of the 10th Symposium on Applied Computing
SAC, 1995.