10. SAC 1995: Nashville, TN, USA

Keynote Address

• Hal Berghel:
  CYBER-SURFING: the state-of-the-art in client server browsing and navigation. 1-4
  

Education Applications

• Mark Guzdial, Noel Rappin, David Carlson:
  Collaborative and multimedia interactive learning environment for engineering education. 5-9
  
• David M. Arnow:
  :-) When you grade that: using e-mail and the network in programming courses. 10-13
  
• Jon M. Andrus, Marcia S. Niles:
  SCAD: a computer generated simulation for audit instruction. 14-16
  
• Donald A. Garrett, Michael B. O'Neal, Barry L. Kurtz:
  Scripting of event driven programs for graphical, computer-based laboratories. 17-21
  
• W. Scott Murray, Louis A. Le Blanc:
  A decision support system for academic advising. 22-26
  
• Lukito E. Nugroho, A. S. M. Sajeev:
  Persistence in music data structures. 27-31
  
• J. Michael Spector:
  Using system dynamics to model courseware development: the project dynamics of complex problem-solving. 32-35
  
• Marie-Michèle Boulet:
  Learner-controlled situation with distance education. 36-39
  

Data Base Applications

• Ing-Ray Chen, Salah Hassan:
  Performance analysis of a periodic data reorganization algorithm for concurrent B^link-trees in database systems. 40-45
  
• Kap S. Bang, Huizhu Lu:
  SMR-tree: an efficient index structure for spatial databases. 46-50
  
• Moez Chaabouni, Soon Myoung Chung:
  Discrimination network for rule condition matching in object-oriented database rule systems. 51-55
  
• Wing Ning Li:
  An efficient algorithm for computing a minimum node cutset from a vertex-disjoint path set for timing optimization. 56-60
  

Scientific Computing

• Josiah A. Hoskins, W. D. Hoskins:
  Ray Tracing as a tool for visualization of pathogen spread in natural forest stands. 61-64
  
• Brajendra Panda, William Perrizo:
  Query execution in prism and seaview: a cost analysis. 65-70
  
• William Perrizo, Venkata N. Rao Goli:
  Domain vector hashing for earth system data querying. 71-75
  
• Ray Ford, R. Righter, T. Duce, V. Hemige, David Thompson:
  EIS: a network-accessible respository for ecosystem modelers and managers. 76-80
  
• Ray Ford, R. Thompson, David Thompson:
  Supporting heterogeneous data import for data visualization. 81-85
  
• J. Michael Pratt:
  Data modeling of scientific experimentation. 86-90
  
• Rachel Fiedler, S. Lakshmivarahan, Sudarshan K. Dhall, John M. Lewis:
  Optimal initialization of mixed-layer model using the adjoint technique. 91-95
  

Medical Applications

• Ana Regina Rocha, Káthia Marçal de Oliveira, Vera Werneck, Álvaro Rabelo, Agnaldo D. de Souza, Antonio A. Ximenes, Nelson Lobo, João Werther C. S. Filho, Marcio Alirio, Mario Cezar Freitas:
  An expert system for diagnosis of acute myocardial infarction. 96-100
  
• Gwang S. Jung, Venkat N. Gudivada:
  Automatic determination and visualization of relationships among symptoms for building medical knowledge bases. 101-107
  
• Anthony J. Duben:
  Conformational statistics of models for serine- and threonine-linked glycopeptides using umbrella sampling. 108-112
  
• Donna M. Mooney, Lynn J. Groome, Lynn S. Bentz, J. Doug Wilson:
  Computer algorithm for adaptive extraction of fetal cardiac electrical signal. 113-117
  

Programming Languages - Compiling Techniques

• Manuel Serrano:
  Control flow analysis: a functional languages compilation paradigm. 118-122
  
• Christine Makowski, Lori L. Pollock:
  Achieving efficient register allocation via parallelism. 123-129
  
• Reiner W. Hartenstein, Karin Schmidt:
  Combining structural and procedural programming by parallelizing compilation. 130-134
  

Concurrency in Programming Languages

• Enno Scholz:
  Turning a functional data type into a concurrent programming language. 135-139
  
• Matthew M. Huntbach:
  The concurrent object-oriented language braid. 140-146
  
• Howard Bowman, John Derrick:
  Modelling distributed systems using Z. 147-151
  

Logic Programming

• Paul Tarau, Bart Demoen, Koenraad De Bosschere:
  The power of partial tanslation: an experiment with the C-ification of binary Prolog. 152-156
  
• Richard Banach, George A. Papadopoulos:
  Linear behaviour of term graph rewriting programs. 157-163
  
• Matthew M. Huntbach:
  Search in concurrent logic languages. 164-170
  

Parallel and Distributed Algorithms

• Michael S. Gudaitis, Gary B. Lamont, Andrew J. Terzuoli:
  Multicriteria vehicle route-planning using parallel A^* search. 171-176
  
• Jagadeesh Kasaraneni, Theodore Johnson, Paul Avery:
  Load balancing in a distributed processing system for high-energy physics(UFMulti). 177-181
  
• Jing-Fu Fu Jenq, Wing Ning Li:
  Optimal hypercube algorithms for robot configuration space computation. 182-186
  
• Robert E. Purdom:
  Implementing a system on a shared memory parallel processor. 187-190
  
• Kosmas Karadimitriou, John M. Tyler, Nathan E. Brener:
  Reverse engineering and reengineering of a large serial system into a distributed-parallel version. 191-197
  
• A. Alfantookh, K. M. George, H. M. Al-Haddad:
  Implementation of 2-4 finger trees in the hypercube architecture. 198-205
  
• T. K. Sateesh:
  Conceptual model of real-time systems: a perspective. 206-209
  
• Jaafar Gaber, Bernard Toursel, Gilles Goncalves, Tinte Hsu:
  Embedding tree structures in massively parallel computers. 210-214
  
• Roberta Evans Sabin:
  The use of parallelization in the generation of binary linear codes. 215-220
  
• Qingshan Luo, John B. Drake:
  A scalable parallel Strassen's matrix multiplication algorithm for distributed-memory computers. 221-226
  

Artificial Intelligence

• Michael Anderson, Robert McCartney:
  Developing a heuristic via diagrammatic reasoning. 227-231
  
• W. Ritschel, Tilo Pfeifer:
  Automatic knowledge acquisition in technical diagnosis. 232-236
  
• Glenn Fala, Kathryn T. Clayton, Diane M. Masciantonio:
  Applying expert systems to health care management. 237-241
  
• Steve Stearns, Daniel C. St. Clair:
  Rule-based machine learning of spatial data concepts. 242-247
  
• John R. Fisher:
  Logic program based action specifications. 248-252
  
• Marios Pittas, Steve Sommerville, Dave Saunders:
  Reader's document models and access strategies in hypermedia and multimedia systems. 253-257
  
• Mohammad S. Obaidat:
  A verification methodology for computer systems users. 258-262
  
• Ray R. Hashemi, John R. Talburt, Meena Velusamy:
  A neural network as a quality control monitor of an intelligent system. 263-266
  
• A. Vagelatos, T. Triantopoulou, Christos Tsalidis, Dimitris Christodoulakis:
  Utilization of a lexicon for spelling correction in modern Greek. 267-271
  
• Bruce S. N. Cheung:
  Ambiguity in context-free grammars. 272-276
  
• Kenneth J. Hendrickson:
  A new parallel LR parsing algorithm. 277-281
  
• Clement S. Allen, Barrett R. Bryant:
  A unification-based adaptive parser. 282-287
  

Genetic Algorithms

• Robert J. Grim, J. Richard Rinewalt, L. Donnell Payne:
  Use of genetic algorithms in three-dimensional reconstruction in carbon black aggregates. 288-292
  
• Cory J. Hoelting, Dale A. Schoenefeld, Roger L. Wainwright:
  Approximation techniques for variations of the p-median problem. 293-299
  
• Gary M. Gibson:
  A genetic algorithm for optimizing problems with multiple disparate data types. 300-304
  
• Faris N. Abuali, Roger L. Wainwright, Dale A. Schoenefeld:
  Determinant factorization and cycle basis: encoding schemes for the representation of spanning trees on incomplete graphs. 305-312
  
• Simon J. T. Liang, John M. Lewis:
  A sparse matrix representation for production scheduling using genetic algorithms. 313-317
  
• Thomas D. Haynes, Roger L. Wainwright:
  A simulation of adaptive agents in a hostile environment. 318-323
  
• Bryant A. Julstrom:
  Very greedy crossover in a genetic algorithm for the traveling salesman problem. 324-328
  
• Kihong Park, Bob Carter:
  On the effectiveness of genetic search in combinatorial optimization. 329-336
  
• Faris N. Abuali, Roger L. Wainwright, Dale A. Schoenefeld:
  Solving the three-star tree isomorphism problem using genetic algorithms. 337-344
  
• Robert E. Smith, Bruce A. Dike, S. A. Stegmann:
  Fitness inheritance in genetic algorithms. 345-350
  
• Kelly D. Crawford, Daniel J. Vasicek, Roger L. Wainwright:
  Detecting multiple outliers in regression data using genetic algorithms. 351-356
  
• David J. Thuente, Pulin Sampat:
  Mathematical programming in a hybrid genetic algorithm for Steiner point problems. 357-363
  

Comutational Logig & Forth

• Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen:
  An alternative transformation rule for logic programs. 364-368
  
• Khaled Bsaïes:
  Discovering and proving logic program properties. 369-373
  
• Yong M. Lee, Donald J. Alameda:
  Object linkage mechanism for threaded interpretive languages. 374-378
  

Software Development Techniques

• Stephen R. Schach, Xuefeng Yang:
  Metrics for targeting candidates for reuse: an experimental approach. 379-383
  
• Jay D. Beams:
  Adding spice to software development: a software development approach designed for rapidly changing environments. 384-389
  
• Dorota M. Huizinga, Ken A. Heflinger:
  Two-level client caching and disconnected operation of notebook computers in distributed systems. 390-395
  
• Peter J. Thomas, John F. Meech, Robert D. Macredie:
  A framework for the development of information appliances. 396-400
  

Networking and Distributed Systems

• Jesse Smith, L. Donnell Payne, Tom Nute:
  Performance analysis of small FDDI networks. 401-405
  
• James J. Tarng, Qiongsen Yu, Kevin D. Reilly:
  A digital conference like software tool for PDP programs. 406-410
  
• P. Bhatt, Richard A. McBride:
  A front-end process for fault tolerant distributed systems. 411-414
  
• Hossein Saiedian, Ka-Wing Wong:
  An operational model for intelligent forms in office automation. 415-419
  

Analysis, Simulation, Evaluation

• Dalia Motzkin, R. Ellendula, M. Kamali, S. Tiwari:
  A tool for performance evaluation of database systems for small computer systems. 420-426
  
• Richard A. McBride, Douglas R. Goodman, Steve Feimer:
  Simulation of a state prison population. 427-430
  
• Ka-Wing Wong, Jimmy Pack:
  Design and analysis of fractals in an individual computing environment. 431-433
  
• Hossein Saiedian, Laura M. McClanahan:
  A study of two frameworks for quality software process. 434-439
  

Neuro-Fuzzy Models for Fuzzy

• Peter A. Stegmaier-Stracca, Nadine N. Tschichold-Gürman:
  Cough detection using fuzzy classification. 440-444
  
• Saman K. Halgamuge, Christoph Grimm, Manfred Glesner:
  A sub Bayesian nearest prototype neural network with fuzzy interpretability for diagnosis problems. 445-449
  
• Hans-Heinrich Bothe:
  Fuzzy input coding for an artificial neural--network modelling visual speech movements. 450-454
  
• Rainer Palm:
  Fuzzy signals in control loops. 455-460
  

Generation and Implementation of Fuzzy Rule Based Systems

• Detlef Nauck, Rudolf Kruse:
  NEFCLASSmdash;a neuro-fuzzy approach for the classification of data. 461-465
  
• Nadine N. Tschichold-Gürman:
  Generation and improvement of fuzzy classifiers with incremental learning using fuzzy RuleNet. 466-470
  
• Suran Goonatilake:
  Intelligent hybrid systems for financial decision making. 471-476
  
• Enzo Gandolfi, Alessandro Gabrielli, Massimo Masetti, Marco Russo:
  Design of a VLSI very high speed reconfigurable digital fuzzy processor. 477-481
  

Fuzzy Information Management

• Paul V. Biron, Donald H. Kraft:
  New methods for relevance feedback: improving information retrieval performance. 482-487
  
• Patrick Bosc, Ludovic Lietard, Olivier Pivert:
  Quantified statements in a flexible relational query language. 488-492
  
• Mario Fedrizzi, Michele Fedrizzi, Ricardo A. Marques Pereira, Alessandro Zorat:
  A dynamical model for reaching consensus in group decision making. 493-496
  
• Bill P. Buckles, Frederick E. Petry:
  Fuzzy databases in the new era. 497-502
  
• Nancy Van Gyseghem, Rita M. M. De Caluwe:
  Fuzzy behaviour and relationships in a fuzzy OODB-model. 503-507
  
• Dario Lucarella, Gloria Bordogna, Gabriella Pasi:
  Pattern-based retrieval in a fuzzy object oriented data base. 508-513
  

Fuzzy Applications

• Vincenza Carchiolo, Michele Malgeri:
  A fuzzy approach to co-design system partitioning. 514-518
  
• F. Remy, Manfred Weck:
  Design of an adaptive control system for DC servo motor. 519-523
  
• Kishan Kumar Kumbla, Mohammad Jamshidi, Jorge Benitez-Read:
  Implementation of fuzzy logic and neural networks control algorithm using a digital signal processing chip. 524-528
  
• Ali Asgharzadeh, Mohammad Jamshidi:
  Video printing and fuzzy control. 529-531
  

Fuzzy Controllers

• Vijayarangan Gopalan, Abdollah Homaifar, M. Reza Salami, R. W. Dabney, Bijan Sayyarrodsari:
  Fuzzy genetic controllers for the autonomous rendezvous and docking problem. 532-536
  
• K. KrishnaKumar, Antony Satyadas:
  Discovering multiple fuzzy models using the EFMCN algorithm. 537-541
  
• Ernesto Damiani, Maria Grazia Fugini:
  Automatic thesaurus construction supporting fuzzy retrieval of reusable components. 542-547
  
• Ka-Wing Wong:
  Fuzzy routing control of service request messages in an individual computing environment. 548-551
  
• Mohammad R. Akbarzadeh-Totonchi, Mohammad Jamshidi, Peter Dorato:
  Fuzzy hierarchical control of distributed parameter systems: a case study on a heating slab. 552-556
  

Fuzzy Applications

• Paul C. Smits, D. del Bianco, A. Sericano, Silvana G. Dellepiane:
  An image processing approach using fuzzy topology. 557-561
  
• Madjid Fathi, Christopher Tresp, K. Holte, Jens Hiltner:
  Development of objective functions for soft computing in medical applications. 562-564
  
• Yannis A. Tolias, Ioannis B. Theocharis, Stavros M. Panas:
  Detecting aneurysms in retinal images: fuzzy morphology vs. conventional methods. 565-569
  
• Isabelle Bloch, Henri Maître:
  Fuzzy distances and image processing. 570-574
  
• Thomas A. Runkler, Manfred Glesner:
  Multidimensional defuzzification - fast algorithms for the determination of crisp characteristic subsets. 575-579
  
• Saman K. Halgamuge, Alain Brichard, Manfred Glesner:
  Comparison of a heuristic method with a genetic algorithm for generation of compact rule based classifiers. 580-585
  
• Edward Tunstel:
  Fuzzy spatial map representation for mobile robot navigation. 586-589
  
• Anne-Kathrin Kaeding, Th. Flor:
  Processing unexact information in a medical used multiparadigm system. 590-592
  

• Alberto Baudino, Giancarlo Colla, Giuseppe Marino, Giancarlo Succi:
  Processing sets on a SIMD machine. 593-598
  

Last update Sat May 18 19:41:02 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page