default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th SAC 1994: Phoenix, AZ, USA
- Hal Berghel, Terry Hlengl, Joseph E. Urban:
Proceedings of the 1994 ACM Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994. ACM 1994, ISBN 0-89791-647-6 - Mahmoud Awad, Hossein Saiedian:
Synchronization in the multimedia on-demand systems. 1-5 - Ka-Wing Wong, Richard A. McBride:
Specification and verification of learning. 6-9 - Anneliese von Mayrhauser, L. Przybylski:
Developing requirements for a user interface. 10-14 - D. S. Rogers, Elizabeth A. Unger:
A deterrent to linear system inferential attacks using a mediator. 15-19 - Gary Conrad, Richard Johnsonbaugh:
A real-time people counter. 20-24 - Trey Grubbs, Bill Herring, Richard Tan, Susan A. Mengel:
Motorola 68040 microprocessor simulation for the Sun Workstation. 25-30 - Hossein Saiedian
, Richard A. McBride:
A routing model for active form objects. 31-35 - Jarernsri L. Mitrpanont, K. M. George, G. W. Cuperus:
PAD-BASED expert system in small computer. 36-41 - Guillermo Arango:
A brief introduction to domain analysis. 42-46 - Martin L. Griss, Kevin D. Wentzel:
Hybrid domain-specific kits for a flexible software factory. 47-52 - Klaus Berg:
CLASSLIB - class management and reuse support on a MVS mainframe. 53-58 - Patricia Lutsky:
Using a document parser to automate software testing. 59-63 - Bruce A. Fogelsong, Schlumberger Dowell, Dale A. Schoenefeld:
Graphics class library for plotting (GCLIP), an extensible, reusable graphics framework. 64-69 - Danielle Ribot, Blandine Bongard, Claude Villermain:
Development life-cycle WITH reuse. 70-76 - Y. Sun:
Modelling software process change for cooperative work. 77-81 - Massimo Ancona, Gabriella Dodero, Andrea Clematis:
Reusing a compiler. 82-87 - Jeffrey S. Poulin:
Balancing the need for large corporate and small domain-specific reuse libraries. 88-93 - S. C. Chang, A. P. M. Groot, Johannes C. van Vliet, E. Willemsz, H. Oosting:
A reuse experiment in the social security sector. 94-98 - Harald C. Gall, René Klösch:
Program transformation to enhance the reuse potential of procedural software. 99-104 - Rainer Palm, Kai Storjohann:
Torque optimization for a locomotive using fuzzy logic. 105-109 - Mircea Gh. Negoita:
Fuzzy logic real-time intelligent control of fuel injection engines. 110-114 - Huaidong Li, Heidar A. Malki, Guanrong Chen:
Performance analysis of fuzzy proportional-derivative control systems. 115-119 - Afshin Afshari, Cristian Georgescu:
A fuzzy model-based optimal control strategy. 120-125 - Mokhtar Beldjehem:
The fennec system. 126-130 - Detlef Zühlke, Markus Lauzi:
Application of fuzzy-logic in an automatic sorting process. 131-135 - Saman K. Halgamuge, Manfred Glesner:
Fuzzy neural fusion techniques for industrial applications. 136-141 - Wolf Ritschel, Tilo Pfeifer, Robert Grob:
Rating of pattern classifications in multi-layer perceptrons: theoretical background and practical results. 142-144 - Nadine N. Tschichold-Gürman:
Fuzzy RuleNet: an artificial neural network model for fuzzy classification. 145-149 - Poyu Tsou, M.-H. Herman Shen:
Fuzzy control for the pursuing problem of an adaptive planar structure. 150-154 - Rudolf Kruse, Jörg Gebhardt, Frank Klawonn:
A fuzzy controller for idle speed regulation. 155-160 - Thomas A. Runkler, Manfred Glesner:
DECADE - fast centroid approximation defuzzification for real time fuzzy control applications. 161-165 - Ignazio D'Antone, Caterina Vitullo, Enzo Gandolfi, Massimo Masetti:
A fuzzy system to detect and count parallel noised tracks. 166-169 - Patrick Bosc, Olivier Pivert:
Fuzzy queries and relational databases. 170-174 - Isabelle Bloch:
Fuzzy sets in image processing. 175-179 - Harald Genther, Manfred Glesner:
Automatic generation of a fuzzy classification system using fuzzy clustering methods. 180-183 - Gloria Bordogna, Gabriella Pasi:
A fuzzy query language with a linguistic hierarchical aggregator. 184-187 - Sami Khuri, Thomas Bäck, Jörg Heitkötter:
The zero/one multiple knapsack problem and genetic algorithms. 188-193 - V. Scott Gordon, A. P. Wim Böhm, L. Darrell Whitley:
A note on the performance of genetic algorithms on zero-one knapsack problems. 194-195 - Yong L. Xiao, Donald E. Williams:
Molecular docking using genetic algorithms. 196-200 - Sami Khuri:
Walsh and Haar functions in genetic algorithms. 201-205 - Sandip Sen:
Representational effects in a simple classifier system. 206-211 - Aaron H. Konstam:
N-group classification using genetic algorithms. 212-216 - Terry Warwick, Edward P. K. Tsang:
Using a genetic algorithm to tackle the processors configuration problem. 217-221 - Bryant A. Julstrom:
Seeding the population: improved performance in a genetic algorithm for the rectilinear Steiner problem. 222-226 - Nachimuthu Karunanithi, Tamra Carpenter:
A ring loading application of genetic algorithms. 227-231 - Cezary Z. Janikow:
A genetic algorithm for learning fuzzy controllers. 232-236 - V. Scott Gordon, Keith E. Mathias, L. Darrell Whitley:
Cellular genetic algorithms as function optimizers: locality effects. 237-241 - Faris N. Abuali, Dale A. Schoenefeld, Roger L. Wainwright:
Designing telecommunications networks using genetic algorithms and probabilistic minimum spanning trees. 242-246 - Arthur L. Corcoran, John Hale:
A genetic algorithm for fragment allocation in a distributed database system. 247-250 - Sandip Sen:
File placement over a network using simulated annealing326741. 251-255 - Bruce E. Rosen, James M. Goodwin:
Training hard to learn networks using advanced simulated annealing methods. 256-260 - Ramana L. Rao, S. Sitharama Iyengar:
A stochastic approach to the bin-packing problem. 261-265 - A. Ghazal, Aris M. Ouksel:
Termination of programs in constraint query languages. 266-270 - Gregory Kucherov, Michaël Rusinowitch:
On ground reducibility problem for word rewriting systems with variables. 271-276 - Matt Insall, L. Mullin, Ralph W. Wilkerson:
Conjugating polynomials on finite rings. 277-280 - Boris Stilman:
A linguistic geometry for technology transfer. 281-285 - Howard C. Wasserman, Zhizhang Shen:
The locality principle and completeness in logic programming. 286-291 - Barry B. Flachsbart, William E. Bond, Daniel C. St. Clair, Jeff Holland:
Using the ID3 symbolic classification algorithm to reduce data density. 292-296 - J. J. Aleshunas, Daniel C. St. Clair, William E. Bond:
Classification characteristics of SOM and ART2. 297-302 - Jianhua Chen:
Application of Boolean expression minimization to learning via hierarchical generalization. 303-307 - Doug W. Mahoney, Ruey-Pyng Lu, Shaun-Inn Wu:
Construction of an artificial neural network for simple exponential smoothing in forecasting. 308-312 - Kevin Gary, Jennifer J. Elgot-Drapkin:
A flexible marker-passer for semantically weak search. 313-317 - Leila De Floriani, Paola Magillo:
Computing point visibility on a terrain based on a nested horizon structure. 318-322 - Leila De Floriani, Paola Marzano, Enrico Puppo:
Hierarchical terrain models: survey and formalization. 323-327 - Didier Chrétien, Yann Viémont, Thierry Larue, R. Legoff, Dominique Pastre:
The GéoSabrina design: the way to build a GIS above a spatial data server. 328-332 - Chaman L. Sabharwal:
A fast implementation of surface/surface intersection algorithm. 333-337 - Bradford J. Rodriguez:
A minimal TTL processor for architecture exploration. 338-340 - Yong M. Lee, Donald J. Alameda:
C++ style class support under FIG Forth. 341-345 - Leon F. Osborne, Bryan C. Hahn:
Development of an interactive weather analysis and display system to support agricultural planning. 346-350 - Anand G. Kumar, Joe Hootman:
Reduction of communications in a MasPar computer using fuzzy logic concepts. 351-356 - Donald J. Morton, John M. Tyler, A. T. Bourgoyne, P. A. Schenewerk:
An adaptive finite element methodology for 2D simulation of two-phase flow through porous media. 357-362 - Brajendra Panda, William Perrizo, Ramzi A. Haraty:
Secure transaction management and query processing in multilevel secure database systems. 363-368 - Antonette M. Logar, Edward M. Corwin, Samuel Watters, Ronald Weger, Ronald Welch:
A don't care back propagation algorithm applied to satellite image recognition. 369-373 - Wing Ning Li:
On the equivalence of pull-up transistor assignment in PLA folding and distribution graph. 374-378 - Josiah A. Hoskins, W. D. Hoskins, K. G. Hirsch:
An interactive multimedia system for fire behavior training. 379-382 - Koenraad De Bosschere, Paul Tarau:
High performance continuation passing style Prolog-to-C mapping. 383-387 - Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi:
Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. 388-393 - Maurizio Gabbrielli, Roberto Giacobazzi:
Goal independency and call patterns in the analysis of logic programs. 394-399 - Eric Stoltz, Michael Wolfe, Michael P. Gerlek:
Constant propagation: a fresh, demand-driven look. 400-404 - Jimmy Ho-Man Lee, Ho-fung Leung:
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. 405-409 - Panagiotis Stamatopoulos, Dimitris Margaritis, Constantin Halatsis:
Extending a parallel CLP language to support the development of multi-agent systems. 410-414 - Isambo Karali, Constantin Halatsis:
Abstract data type support in Prolog and its relation to parallelism. 415-419 - Ryan Stansifer, Dan Wetklow:
Type reconstruction for coercion polymorphism. 420-424 - David M. Goblirsch:
An introduction to Haskell with applications to digital signal processing. 425-430 - Panos Rondogiannis, William W. Wadge:
Higher-order dataflow and its implementation on stock hardware. 431-435 - Hessam Khoshnevisan, Mohamad Afshar:
Mechanical parallelisation of database applications. 436-440 - Richard C. H. Connor, Quintin I. Cutts, Graham N. C. Kirby, Ronald Morrison:
Using persistence technology to control schema evolution. 441-446 - Ignacio Silva-Lepe:
Abstracting graph-based specifications of object-oriented programs. 447-451 - Kazuhiro Ogata, Norihisa Doi:
Object allocation and dynamic compilation in MultithreadSmalltalk. 452-456 - Kang Zhang, Gaurav Marwaha:
Visputer - an Occam program visualisation tool. 457-461 - Tadao Takaoka:
Parallel program verification with directed graphs. 462-466 - Ravi Varadarajan, Injae Hwang:
An efficient dynamic load balancing algorithm for adaptive mesh refinement. 467-472 - Sibabrata Ray, Hong Jiang, Jitender S. Deogun:
A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors. 473-477 - Ming-fang Wang:
Generating a deterministic task migration path for multiprocessor scheduling. 478-482 - Arthur L. Corcoran, Roger L. Wainwright:
A parallel island model genetic algorithm for the multiprocessor scheduling problem. 483-487 - Laurence D. Merkle, Gary B. Lamont:
An initial analysis of data parallelism in the fast messy genetic algorithm. 488-492 - Kam-Fai Wong, Benoît Dageville:
Supporting thousands of threads using a hybrid stack sharing scheme. 493-498 - Dalia Motzkin, Ajay K. Gupta:
Parallel organization and performance of an information system. 499-503 - Mahn-ling Woo, Rosemary A. Renaut:
Unordered parallel distance-1 and distance-2 FFT algorithms of radix 2 and (4-2). 504-509 - Tom Bennet:
Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs. 510-514 - Gopal Chand, David M. Holburn:
A real-time contol application using asynchronous remote procedure calls. 515-517 - Kim Shearer:
Design of a Linda kernal using causal multicast. 518-523 - Li Li, Barrett R. Bryant:
An integrated parsing scheme for unification categorial grammar with object-oriented lexicon. 524-528 - Kan-Sheng Shi, Hong-Jun Lu:
View generation based on equivalence framework in object-oriented multidatabase systems. 529-533 - Chaman L. Sabharwal, Sanjiv K. Bhatia:
A perfect hash function for image database indexing. 534-538 - Ing-Ray Chen, Rajakumar Betapudi:
A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection. 539-544 - Mohamed El-Said:
Automated design of visual user interfaces. 545-550 - Chung-Ming Huang, Chung-Ming Lo:
A platform for multimedia information exchange. 551-555 - Kenneth L. Rusnok, Martin S. Lavine, James M. Conrad:
Freedom '93: a portable speech device. 556-560 - Anthony J. Duben:
The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study. 561-565 - R. Chaudhuri, Andrew C. Dempster:
A note on generating a worst case sequence for Quicksort in linear time. 566-567 - David A. Foster:
FRA: using a goal-based scenario to teach financial statement analysis. 568-572 - Dennis Rothermel, Gregory Tropea:
Test Review: a new method of computer-assisted learning to promote careful reading and logical skills. 573-577 - Billie Hughes, Jim Walters, Barry Kort:
Virtual space learning: creating text-based learning environments. 578-582 - Irene Luque Ruiz, Jrene L. Cruz Soto, Miguel Ángel Gómez-Nieto:
A tutorial system for inorganic chemical formulations and reactions. 583-587 - James A. Brown:
A parallel application interface. 588-593 - Bernd Reusch, Lotfi A. Zadeh, Mohammad Jamshidi, Rudolf Kruse, Enrique H. Ruspini:
Future trends in fuzzy logic application (panel session). 594-595 - Guillermo Arango, Martin L. Griss, Will Tracz, Mansour Zand:
Software reuse - issues and prospectives (panel session). 596-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.
last updated on 2025-11-20 22:20 CET 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:
