default search action
7th SAC 1992: Kansas City, MO, USA
- Hal Berghel, Ed Deaton, George E. Hedrick, David Roach, Roger L. Wainwright:
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, Kansas City, MO, USA, March 1-3, 1992. ACM 1992, ISBN 0-89791-502-X
Volume 1
- Youngsong Mun, Hee Yong Youn:
On performance evaluation of fault tolerant multistage interconnection networks. 1-10 - Samuel O. Aletan:
An overview of RISC architecture. 11-20 - Mansour Kazerooni-Zand, Hassan Farhat, Hossein Saiedian:
Persistent structures to store moving images. 21-27 - Chih-Po Wen:
Improving instruction supply efficiency in superscalar architectures using instruction trace buffers. 28-36 - D. Weifang Doong, Huizhu Lu, George E. Hedrick:
An interleaving technique for block coding of black-and-white facsimile data. 37-45 - Scott Anderson, Doug Blewett, Meg Kilduff:
Rapid prototyping tools for telecommunications applications. 46-51 - Bernhard G. Humm, Michael Fazzolare:
Object-oriented analysis for telecommunications services. 52-62 - C. S. Reece:
On a trunk group with a finite waiting room. 63-67 - Hossein Saiedian, John Winslade:
An interface for acquisition, manipulation and distribution of mail and news messages as objects. 68-74 - Xiaojun Shen, Guo-Gang Li:
A new protocol conformance test generation method and experimental results. 75-84 - John Holliday:
Analytic performance analysis of the DQDB access protocol. 85-88 - Zhengou Wang, Huizhu Lu, George E. Hedrick, Marvin Stone:
Message delay analysis for CAN based networks. 89-94 - G. H. Harris, David Roach, P. D. Smith, Hal Berghel:
Dynamic crossword slot table implementation. 95-98 - L. J. Spring, G. H. Harris, John J. H. Forster, Hal Berghel:
A proposed benchmark for testing implementations of crossword puzzle algorithms. 99-101 - Gordon Franck:
Reversible grammars and natural language processing. 102-109 - John J. H. Forster, G. H. Harris, P. D. Smith:
The Crozzle - a problem for automation. 110-115 - Paddy Matthews, Huk Mok:
Transforming expert system output into natural language in a process control environment. 116-122 - Ronnie W. Smith, D. Richard Hipp:
Using expectation to enable spoken variable initiative dialog. 123-130 - Hal Berghel, David Roach, George Balogh, Carroll Hyatt:
"Tuning" an ASM metric: a case study in metric ASM optimization. 131-136 - Horst Bunke, János Csirik:
Edit distance of run-length coded strings. 137-143 - Stephen J. Stadler, Thomas A. Wikle:
Application of simple microcomputer technology to undergraduate instruction in geography. 144-148 - Haider Ali Ramadhan:
An intelligent discovery programming system. 149-159 - Ing-Ray Chen, Sayed Atef Banawan:
A uniform approach to the stability and performance analysis of concurrent data structure maintenance policies. 160-168 - H. M. Al-Haddad, K. M. George, George E. Hedrick, D. D. Fisher:
Multiple representation of abstract data types and reuse of realizations. 169-176 - Tom Bennet:
A pragmatic set operation and its implementation in C. 177-183 - Paolino Di Felice, Eliseo Clementini:
Towards a standard for SQL-based spatial query languages. 184-189 - Wen-Gong Shieh, Bob P. Weems, Krishna M. Kavi:
Extending N-grid group authorization using compact encoding. 190-196 - Hyoung Jhang:
Performance of join on an n-dimensional mesh. 197-203 - Connie Delaney, D. V. Rama, Padmini Srinivasan:
Design of a temporal database for phlebitis. 204-209 - Nalini Hosur, Huizhu Lu, George E. Hedrick:
Dynamic addition and removal of attributes in BANG files. 210-216 - Xiaoming Cheng, Huizhu Lu, George E. Hedrick:
Searching spatial objects with index by dimensional projections. 217-223 - Sanjiv K. Bhatia:
Selection of search terms based on user profile. 224-233 - James M. Slack, Elizabeth A. Unger:
A model of integrity for object-oriented database systems. 234-242 - J. Michael Bennett, Peter Neo:
On the use of distributed joins for processing interlibrary loans. 243-257 - Xuequn Wu:
Supporting general queries in an object management system. 258-263 - Young-Chul Shim, C. V. Ramamoorthy:
Storage and access of temporal information for the management of complex systems. 264-272 - Soon M. Chung:
Parallel main memory database system. 273-282 - Kian-Lee Tan
, Hongjun Lu:
Processing multi-join query in parallel systems. 283-292 - Steven Glicker, Gail Whitehead, Eric Evans:
The distributed object environment: support for a distributed object-based system. 293-298 - Bogdan D. Czejdo, Ralph P. Tucci:
Using an object-relationship model for rapid prototyping. 299-307 - Maristella Agosti
Design and functions of DUO: the first Italian academic OPAC. 308-313 - David L. Sallach:
A deductive database audit trail. 314-319 - Panagiotis Stamatopoulos, Isambo Karali, Constantin Halatsis:
PETINA - tour generation using the ElipSys inference system. 320-327 - David Roach, Hal Berghel:
An alternative to constraint logic programming for managing domain arithmetics in Prolog expert systems. 328-332 - Suk I. Yoo, Chang H. Park:
A graph-aided inference browser for developing knowledge-based systems. 333-339 - Andreas Girgensohn, Frank Shipman:
Supporting knowledge acquisition by end users: tools and representations. 340-348 - R. Ron Goforth, S. Parker, A. Balagamawala:
Implementation of an automated E.M.S. optimization program using an embedded expert system. 349-352 - Jack S. Eddy Tan, Jaideep Srivastava, Shashi Shekhar:
On the construction of efficient match networks. 353-362 - Shijie Wang, Marco Valtorta:
On the conversion of rule bases into belief networks. 363-368 - Bogdan D. Czejdo, Christoph F. Eick, Malcolm C. Taylor:
Permanent object storage and collections for object-oriented systems with rules. 369-376 - Moti Schneider, Eliahu Shnaider, Abraham Kandel:
Parallel pattern recognition using fuzzy cooperative expert systems. 377-386 - Mark W. Wheeler, Moti Schneider:
AUTOKNAG: automatic knowledge acquisition for fault isolation expert systems. 387-395 - Yong-Gi Kim, Ladislav J. Kohout:
Comparison of fuzzy implication operators by means of weighting strategy in resolution based automated reasoning. 396-404 - Faisel Saeed, K. M. George, Huizhu Lu:
Image contrast enhancement using fuzzy set theory. 405-411 - Hua Yang, Marimuthu Palaniswami:
On the issue of neighborhood in self-organizing maps. 412-416 - Pamela Hsu, Evangelos Triantaphyllou:
Inference of a 3-D object from a random partial 2-D projection. 417-425 - George V. Meghabghab, Abraham Kandel:
New mathematical morphology operators and their applications. 426-432 - Hassan Farhat, Mansour Zand, Hossein Saiedian
Estimating testability and coverage distributions of a VLSI circuit from a mixture of discrete and continuous functions. 433-437 - Amir A. Khwaja
Study of a generic graphics package for the development of various user interfaces. 438-443 - Eun-Jung Holden, Geoffrey G. Roy:
Learning tool for signed English. 444-449 - Jesse S. Jin, Brian G. Cox, Wai K. Yeap:
Reconstructing surfaces form sparse depth information. 450-458 - Qiuming Zhu:
Improving edge detection by an objective edge evaluation. 459-468 - Zhaoxin Pan, Joseph J. Pfeiffer Jr.:
Adaptive estimation of optical flow from general object motion. 469-475 - Yves Mathys:
A graph browser for large directed graphs. 476-481 - Owen Murphy, Aby Tehranipour:
Entropy and information measures in combinatorial optimization. 482-490 - Kim S. Lee, Huizhu Lu, D. D. Fisher:
A hierarchical single-key-lock access control using the Chinese remainder theorem. 491-496 - Richard D. Amori:
An adversarial plan recognition system for multi-agent airborne threats. 497-504 - Evangelos Triantaphyllou, Jinchang Wang:
A cost effective question asking strategy. 505-511 - Béchir el Ayeb:
Diagnosis of complex industrial devices. 512-520 - Qingzhong Cai:
An object-oriented model for intelligent networks. 521-525 - Richard Rankin, Ralph W. Wilkerson:
Proving functionally difficult problems through model generation. 526-529 - Chris Merz, Ralph W. Wilkerson:
Experimentation with proof methods for non-Horn sets. 530-535 - Nicholas C. Philips:
Channel routing by constraint logic. 536-540 - Klaus Kaiser:
Computations at infinity: a nonstandard approach. 541-546 - Daniel Murphy:
Unification for completely commutative theories. 547-553 - Jainhua Chen:
On the relationship between circumscription and well-founded semantics of logic programs. 554-562 - Khaled Bsaïes:
A strategy for transforming generate and test logic programs. 563-572 - Edward K. Yu:
Using constraint logic programming for model-based diagnosis: the MODIC system. 573-579 - Giancarlo Succi
Exploiting implicit parallelism of logic languages with the SAM. 580-589 - Chaman L. Sabharwal, Keith R. Hacke, Daniel C. St. Clair:
Formation of clusters and resolution of ordinal attributes in ID3 classification trees. 590-597 - Ray R. Hashemi, Mehdi Razzaghi, Frederick R. Jelovsek, John R. Talburt:
Conflict resolution in inductive learning from examples. 598-602 - Ray R. Hashemi, Frederick R. Jelovsek:
A look-ahead learning algorithm for inductive learning through examples. 603-607 - Mitchell Blumenfeld, Ralph E. Droms:
A uniform interface to networked library services. 608-613 - Taesoon Park, Junguk L. Kim:
A checkpointing recovery approach in a distributed system on the CSMA/CD network. 614-623 - S. Guptan, B. Srinivasan, N. Simha:
A performance study of a token ring protocol. 624-628 - Mingqi Deng:
Distributed asynchronous winner-take-all structures and conflict detection. 629-635
Volume 2
- Daniel C. St. Clair, William E. Bond, A. K. Rigler, Stephen R. Aylward:
An evaluation of learning performance in backpropagation neural networks and decision-tree classifier systems. 636-642 - William E. Bond, Daniel C. St. Clair, Michael Amirfathi, Christopher J. Merz, Stephen R. Aylward:
Neural network analysis of nondestructive evaluation patterns. 643-650 - Antonette M. Logar, Edward M. Corwin, William J. B. Oldham:
Predicting acid concentrations in processing plant effluent: an application of time series prediction using neural networks. 651-658 - Arun D. Kulkarni, P. Byars:
Artificial neural network models for texture classification via: the Radon transform. 659-664 - George M. Whitson, Cathy H. Wu
CANS: an interactive neural network system for CRAY supercomputers. 665-668 - Susan A. Mengel, William Lively:
Using a neural network to predict student responses. 669-676 - Kenji Ohkuma:
A learning method for neural networks with a subordinate evaluation function. 677-682 - Linda M. Null, Johnny Wong:
The DIAMOND security policy for object-oriented databases. 683-690 - Titus D. M. Purdin, V. Ramesh:
An object-oriented, multi-media classroom instruction system. 691-696 - Xuequn Wu:
Correctly typing objects through subtyping and type inference. 697-705 - Martin Verlage, Peter Knauber:
Just-in-time initialization of objects representing software processes. 706-710 - Farideh A. Samadzadeh, George E. Hedrick:
A heuristic multiprocessor scheduling algorithm for creating near-optimal schedules using task system graphs. 711-718 - Lester Lipsky, Shard Garg, Mary Ann Robbert:
The effect of power-tail distributions on response times in time-sharing computer systems. 719-723 - Kulathur S. Rajasethupathy, Gwan-Ming Thio, S. Lakshmivarahan, Sudarshan K. Dhall:
A comparison of performance of algorithms for polar decomposition on a multivector processor. 724-733 - Y. Daniel Liang, Chong Jye Rhee, Sudarshan K. Dhall, S. Lakshmivarahan:
NC algorithms for dominations in permutation graphs. 734-739 - Youran Lan, Magdi A. Mohamed:
Parallel Quicksort in hypercubes. 740-746 - Sridhar Mandyam, Mansur H. Samadzadeh:
Scheduling algorithms for precedence graphs. 747-757 - Tai-Kuo Woo:
Performance modeling of a partitionable circular bus network for distributed systems. 758-766 - Jack Cummings, Ray Ford:
Using the Linda distribution paradigm to address a variety of computational balancing concerns. 767-774 - Lan Jin, Lan Yang:
Parallel solution of Hough transform and convolution problems - a novel multimodal approach. 775-781 - Seung-Min Yang, Krishna M. Kavi, A. Agarwalla, M. Reddy, S. Anam:
SUVS: a distributed real-time system testbed for fault-tolerant computing. 782-791 - Hesham H. Ali, Hesham El-Rewini:
Scheduling interval ordered tasks on multiprocessor architecture. 792-797 - A. Aggarwal, S. Sarkar:
On the evolution of complex genomes: adaptive graph computations with a CM-2 connection machine. 798-807 - Mohan B. Sharma, Jianhua Chen, S. Sitharama Iyengar
Distributed algorithms for locating centers and medians in communication networks. 808-817 - Jiang B. Liu:
A model for job scheduling in a distributed computer network. 818-824 - Ernst L. Leiss, L.-T. Shih:
Autotasking on the CRAY Y-MP: a performance evaluation on seismic codes. 825-830 - Rachamallu L. N. Reddy, B. Gupta, Pradip K. Srimani:
A new fault tolerant distributed mutual exclusion algorithm. 831-839 - Ming-fang Wang:
A dynamic task scheduling method for multiprocessor system. 840-845 - William J. Hankley, Peikun Tsai:
Ada/TL specification and verification of a distributed computation. 846-855 - Mohammad S. Obaidat, M. M. Matalgah:
Performance of the short-time Fourier Transform and Wavelet Transform to phonocardiogram signal analysis. 856-862 - Saleh Ali Bleha, J. Knopp, Mohammad S. Obaidat:
Performance of the perceptron algorithm for the classification of computer users. 863-866 - Bert N. Corwin, Robert L. Braddock:
Operational performance metrics in a distributed system. Part I.: Strategy. 867-872 - Robert L. Braddock, Michael R. Claunch, J. Walter Rainbolt:
Operational performance metrics in a distributed system. Part II.: Metrics and interpretation. 873-882 - Daniel Berleant, Arun Chandra, Kristian Bognæs, Chiou-guey Liaw, Li Sheng, Joyce Ch'ng:
Probabilities of qualitative behaviors for dependability analysis of a fault-tolerance model. 883-889 - Reza Sanati-Mehrizy, Krishna K. Agarwal, Afsaneh Minaie:
Parallel implementation of an extended functional programming language on cellular tree and data flow architectures. 890-895 - Karl B. Zerangue, Joseph E. Urban:
The use of a software specification metalanguage. 896-903 - Robert P. Brazile:
A system for program component specification and code generation. 904-910 - J. C. Huang, José Muñoz, Hal Watt, George Zvara:
ECOS graphs: a dataflow programming language. 911-918 - S. C. Park, Jerry P. Draayer, Si-Qing Zheng:
An efficient algorithm for sparse matrix computations. 919-926 - Sharon Westerman, Hing Pang:
Transfer of computing techniques to the chemical and petrochemical industries from NASA-JSC. 927-932 - S. Sureshchandran:
A systolic array architecture for multiplying Toeplitz matrices. 933-936 - B. Ravikumar:
A note on checking matrix products (extended abstract). 937-943 - L. Donnell Payne:
Automating road surface analysis. 944-950 - David S. Homiak:
A CLP(R) system for solving partial differential equations. 951-959 - Edward F. Brown:
A distribution-free random number generator via a matrix-exponential representation. 960-969 - William T. Neumann:
The design of a human interface for a Thunderstorm warning system. 970-975 - Gaël Paquet:
Hyper9002: an online operating manual for a chemical manufacturer using hypertext integrated with an object oriented database. 976-984 - M. K. Rogoyski, T. L. Mourey, A. R. Renquist:
Qualitative representation of a continuous process with reference to apple fruit abscission. 985-987 - Jay Mookherje, Nagarajan Prabhakaran:
Spatial decomposition of a tumor into a minimum number of spherical components. 988-992 - Xiaojun Shen, Qing Hu:
Approximate submatrix matching problems. 993-999 - Subhajit Sen, Si-Qing Zheng:
Near-optimal triangulation of a point set by simulated annealing. 1000-1008 - Toru Kambayashi:
Global optimization by center-concentrated sampling. 1009-1014 - Antonette M. Logar, Edward M. Corwin, Thomas M. English:
Implementation of massively parallel genetic algorithms on the MasPar MP-1. 1015-1020 - Arthur L. Corcoran, Roger L. Wainwright:
A genetic algorithm for packing in three dimensions. 1021-1030 - Pooja P. Mutalik, Leslie R. Knight, Joe L. Blanton Jr., Roger L. Wainwright:
Solving combinatorial optimization problems using parallel simulated annealing and parallel genetic algorithms. 1031-1038 - Kelly D. Crawford:
Solving the n-queens problem using genetic algorithms. 1039-1047 - Alan T. Yaung:
Design and implementation of a requirements clustering analyzer for software system decomposition. 1048-1054 - Shaoying Liu:
A formal structured method for requirement specification construction. 1055-1063 - Louis A. Le Blanc, Willard M. Korn:
A structured approach to the evaluation and selection of CASE tools. 1064-1069 - Peraphon Sophatsathit
Integrating software tool communication within an environment. 1070-1075 - J. E. Swanson, Mansur H. Samadzadeh:
A reusable software catalog interface. 1076-1082 - Massimo Ancona, P. Cagetti, P. Castagna, L. Gruosso:
Reusable distributed "data environments". 1083-1090 - Laurent Thomas:
A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization components. 1091-1097 - Martin Eldracher:
Classification of non-linear-separable real-world-problems using Δ-rule, perceptrons, and topologically distributed encoding. 1098-1104 - David D. Langan, Thomas J. Scott:
A methodology for fast PC hard disk state restoration. 1105-1110 - Shih-Gong Li, Clarence A. Ellis, Kar Yan Tam:
Dynamic change in office automation: modeling and analysis. 1111-1117 - Troy E. Anderson:
Management guidelines for PC security. 1118-1122 - Wayne Citrin:
Simulation of communications architecture specifications using Prolog. 1123-1131 - Mark Baugher:
Media transports and distributed multimedia flows. 1132-1143 - Appie van de Liefvoort, Aby Tehranipour:
On a single server queue with non-renewal input. 1144-1149 - Kendall E. Nygard, Rhonda C. Magel, Cheng-Hong Yang:
Conversational statistical comparison of routing algorithms. 1150-1158 - Abdelaziz Fellah, Sheng Yu:
Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterization. 1159-1166 - Gary A. Hyslop, Edmund A. Lamagna:
An application of the method of Buckets to the selection problem. 1167-1172 - Manmahesh Kantipudi, Joseph E. Urban:
Analysis and experience with an Information System development methodology. 1173-1179 - K. Wendy Tang, Bruce W. Arden:
Vertex-transitivity and routing for Cayley graphs in GCR representations. 1180-1187 - Dennis C. Koelma, Richard van Balen, Arnold W. M. Smeulders:
SCIL-VP: a multi-purpose visual programming environment. 1188-1198 - Alexander Repenning
Using Agentsheets to create a voice dialog design environment. 1199-1207 - Eric J. Golin, Steven Danz, Susan Larison, Diana L. Miller-Karlow:
Palette: an extensible visual editor. 1208-1216 - Marceli Wein, Wm Cowan, W. Morven Gentleman:
Visual support for version management. 1217-1223 - Dinesh P. Mehta
Models and techniques for the visualization of labeled discrete objects. 1224-1233 - Mohammad S. Obaidat, D. S. Abu-Saymeh:
Performance comparison of neural networks and pattern recognition techniques for classifying ultrasonic transducers. 1234-1242 - Trevor J. Smedley:
Using pictorial and object oriented programming for computer algebra. 1243-1247 - Chaman L. Sabharwal:
Stereoscopic projections and 3D scene reconstruction. 1248-1257
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-01-15 20:33 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: