Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th 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
a service of 
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.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
