default search action
10th SAC 1995: Nashville, TN, USA
- Jim Hightower, Ed Deaton, K. M. George, Janice H. Carroll, Dave Oppenheim:
Proceedings of the 1995 ACM symposium on applied computing, SAC'95, Nashville, TN, USA, February 26-28, 1995. ACM 1995, ISBN 0-89791-658-1
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 Edi 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 Blink-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 Jr., 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 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 - Tiptur K. Sateesh:
Conceptual model of real-time systems: a perspective. 206-209 - Jaafar Gaber, Bernard Toursel, Gilles Goncalves, Tienté 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 - Wolf 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 - Aristides 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 D. 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 Liétard, 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 W. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.