The Province of Computer Science
In: Knowledge, Band 4, Heft 2, S. 211-218
26459 Ergebnisse
Sortierung:
In: Knowledge, Band 4, Heft 2, S. 211-218
Historical Overview -- Office Information Systems Engineering -- Update Languages vs. Query Languages -- OPUS: An Extensible Optimizer for Up-to-Date Database Systems -- A Hyperlcon Interface to a Blackboard System for Planning Research Projects -- Chusaurus: A Writing Tool Resource for Non-Native Users of English -- Trends in Representing the Semantics of Natural Language Sentences: A Comparative Study -- Extending Partial Evaluation in Logic Programming -- Modules, Macros and Lisp -- Using Filters to Improve the Efficiency of Game-Playing Learning Procedures -- An O(n2.5) Time Heuristic Algorithm for a Class of Large Weighted Edge Colouring Problem -- Randomized Sorting of Shuffled Monotone Sequences -- A Classification of Quadratic Algorithms for Multiplying Polynomials of Small Degree Over Finite Fields -- An Algorithm for Computing Multivariate Polynomial Resultants -- New Absorbing and Ergodic Doubly-Linked List Reorganizing Heuristics -- Skip Sort-An Adaptive Randomized Algorithm or Expected Time Adaptivity is Best -- Data Structures and Access Methods for Read-Only Optical Disks -- Mixed-Radix Huffman Codes -- A Schema Manipulation Mechanism for an OODB Model -- Versions in the Context of Object-Oriented Database Systems -- Ddraw: An Object-Oriented Design Tool -- A Graphical Interactive Object-Oriented Development System -- A Concurrent Object-Oriented Paradigm for Attribute Grammars -- Preserving Distributed Data Coherence Using Asynchronous Broadcasts -- An Implementation of Service Rebalancing -- Bit Optimal Distributed Consensus -- An Efficient Distributed Termination -- Allocating Modules to Processors in a Distributed System with Limited Memory -- The Complexity of Algorithmic Problems on Succint Instances (Invited paper -- Parallel Algorithms for NP-Complete Problems (Invited paper -- Parallel Search in Sorted Multisets, and NP-Complete Problems -- Towards Understanding the Effective Parallelization of Sequential Algorithms -- On the Density of the Probabilistic Polynomial Classes -- Modelling and Simulation of a Pseudosystolic Processor for Matrix Algorithms -- The Caracas Multiprocessor System -- A New Communication Systems Architecture Supporting Migration to OSI -- Modelling and Analysis of Time Critical Applications on Local Area Networks -- Matrix Multiplication on Digital Signal Processors and Hierarchical Memory Systems -- Author Index.
SSRN
In: Springer eBook Collection
Historical Overview -- Algorithms and Data Structures -- Applying Genetic Algorithms to the Load-Balancing Problem -- Parallel Update and Search in Skip Lists -- Asymptotic Probabilistic Analysis of an Algorithm for Addition Subtraction Chains -- Graph Clustering and Caching -- A Comparison of Algorithms for the Triangulation Refinement Problem -- Prime Length Symmetric FFTs and Their Computer Implementations -- Obtaining Intrinsic Shape Properties with a Disparity-Based Photometric Stereo -- Finding the Safest One-Dimensional Path among Obstacles for the Acceleration Constrained Robot -- An Optimized External Sort Algorithm -- Use of Genetic Algorithms to Optimize the Cost of Automotive Wire Harnesses -- Databases and Information Systems -- Hybrid Information Systems: Integrating Data and Knowledge Management -- A Semantic Data Model Approach for the Prototyping of Information Systems -- A Temporal Logic Language for Temporal Conditions Definition -- Multimedia Object Management in an O-O Database Environment -- Database Schema Design: The Contribution of Natural Language Techniques -- Distributed Systems and Computer Architecture -- Modelling Geographic Information Systems Using an Object-Oriented Framework -- The Role of Object Technology in Distributed Systems (Invited Paper) -- Analysis and Control of Computer Systems Distributed in Local Networks -- Garbage Collection in Distributed EZ -- A Design System for Massively Parallel Hardware -- A Collision Resolution Algorithm for Random Access Channels Using Multiple Transmission Levels -- Methodology for the Life Cycle Development of Enterprise Networks -- Channel Routing in the Knock-knee Diagonal Model -- Logic and Knowledge -- Inheritance and Recognition in the Cumulative Typed System for Knowledge Representation SC -- Making Argument Systems Computationally Attractive: Argument Construction and Maintenance -- Lexical Error Correction Using Contextual Linguistic Expectations -- Equilibration and Belief Revision: Strategies for Cooperative Tutoring and Learning -- Metacontrol of a Traffic Simulator Using Situation Semantics -- Abductive Inference of Plans and Intentions in Information Seeking Dialogues -- Cognitive Maps as Human Computer Interface Design Tools for Learning -- On Observational Equivalence and Relational Semantics -- Petri Nets -- Analysis of General Refined Petri Boxes -- Event Modeling with Petri Nets: A Survey and Discussion -- Morphisms to Preserve Structural Properties of Petri Nets -- Studying the Behaviour of Petri Nets through a Formalization as Term Rewriting Systems -- Software Engineering and Programming Languages -- The Management of a Cooperative Environment -- Combining Instance and Class-Based Descriptions in Hypermedia Authoring -- How Programming Can Be Visualized: A Practical Approach -- A Process Model to Transform Evaluation from Human Review to Automatic Measurement -- Planning Methodology of Information Systems under Cooperative Design -- Pacific: A Programming Language Based on the Idea of Natural Naming -- Evaluation of Logic Programs in a Relational Language -- A Synthetic Approach to Object Oriented Analysis -- Graphical Animation of LOTOS Specifications -- Integrated-Specifications Analysis -- Author Index.
In: Innovations in teaching and learning in information and computer sciences: ITALICS, Band 9, Heft 2, S. 1-6
ISSN: 1473-7507
A Computer Science Reader covers the entire field of computing, from its technological status through its social, economic and political significance. The book's clearly written selections represent the best of what has been published in the first three-and-a-half years of ABACUS, Springer-Verlag's internatioanl quarterly journal for computing professionals. Among the articles included are: - U.S. versus IBM: An Exercise in Futility? by Robert P. Bigelow - Programmers: The Amateur vs. the Professional by Henry Ledgard - The Composer and the Computer by Lejaren Hiller - SDI: A Violation of Professional Responsibility by David L. Parnas - Who Invented the First Electronic Digital Computer? by Nancy Stern - Foretelling the Future by Adaptive Modeling by Ian H. Witten and John G. Cleary - The Fifth Generation: Banzai or Pie-in-the-Sky? by Eric A. Weiss This volume contains more than 30 contributions by outstanding and authoritative authors grouped into the magazine's regular categories: Editorials, Articles, Departments, Reports from Correspondents, and Features. A Computer Science Reader will be interesting and important to any computing professional or student who wants to know about the status, trends, and controversies in computer science today
In: Formal Theories of Politics, S. ii-ii
In: Proceedings of the 2nd International Conference on Quran and Hadith Studies Information Technology and Media in Conjunction with the 1st International Conference on Islam, Science and Technology, ICONQUHAS & ICONIST, Bandung, October 2-4, 2018, Indonesia
SSRN
In: Philosophy & technology, Band 33, Heft 2, S. 339-347
ISSN: 2210-5441