ppxscal/embedding_network huggingface dataset:
Safety Critical Computer Systems
Authors: Neil R. Storey
Venue:  (1996)

:Increasingly, microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nuclear power plants. It is, therefore, vital that engineers are aware of the safety implications of the systems they develop. This book is an introduction to the field of safety-critical computer systems, and is written for any engineer who uses microcomputers within real-time embedded systems. It assumes no prior knowledge of safety, or of any specific computer hardware or programming language. This book covers all phases of the life of a safety-critical system from its conception and specification, through to its certification, installation, service and decommissioning; provides information on how to assess the safety implications of projects, and determine the measures necessary to develop systems to meet safety needs; gives a thorough grounding in the techniques available to investigate the safety aspects of computer-based systems and the methods that may be used to enhance their dependability; and uses case studies and worked examples from a wide range of industrial sectors including the nuclear, aircraft, automotive and consumer products industries. This text is intended for both engineering and computer science students, and for practising engineers within computer-related industries. The approach taken is equally suited to engineers who consider computers from a hardware, software or systems viewpoint.
Accurate visual metrology from single and multiple uncalibrated images
Venue: Series: Distinguished Dissertations. (2001)

Accurate Visual Metrology from Single and Multiple Uncalibrated Images presents novel techniques for constructing three-dimensional models from bi-dimensional images using virtual reality tools. Antonio Criminisi develops the mathematical theory of computing world measurements from single images, and builds up a hierarchy of novel, flexible techniques to make measurements and reconstruct three-dimensional scenes from uncalibrated images, paying particular attention to the accuracy of the reconstruction. This book includes examples of interesting viable applications (eg. Forensic Science, History of Art, Virtual Reality, Architectural and indoor measurements), presented in a simple way, accompanied by pictures, diagrams and plenty of worked examples to help the reader understand and implement the algorithms.
WREN---an environment for component-based development
Authors: Chris Lüer, David S. Rosenblum
Venue: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001)

Prior research in software environments focused on three important problems---tool integration, artifact management, and process guidance. The context for that research, and hence the orientation of the resulting environments, was a traditional model of development in which an application is developed completely from scratch by a single organization. A notable characteristic of component-based development is its emphasis on integrating independently developed components produced by multiple organizations. Thus, while component-based development can benefit from the capabilities of previous generations of environments, its special nature induces requirements for new capabilities not found in previous environments. This paper is concerned with the design of component-based development environments, or CBDEs. We identify seven important requirements for CBDEs and discuss their rationale, and we describe a prototype environment called WREN that we are building to implement these requirements and to further evaluate and study the role of environment technology in component-based development. Important capabilities of the environment include the ability to locate potential components of interest from component distribution sites, to evaluate the identified components for suitability to an application, to incorporate selected components into application design models, and to physically integrate selected components into the application.
Multiresolution streaming mesh with shape preserving and QoS-like controlling
Authors: Bing-Yu Chen, Tomoyuki Nishita
Venue: Proceedings of the seventh international conference on 3D Web technology (2002)

How to transmit 3D meshes efficiently has become an important topic on Web3D platform, since there are more and more people need to use 3D models on the Internet. The data size of a geometric 3D model is usually large for being able to represent more details of the model, although we do not need to use such a detail model in most cases. Hence, to offer 3D model which shape and features could still be recognized easily with less data size is necessary. Additionally, the network bandwidth of the Internet is not stable actually, how much data is suitable for Internet is also a question. Therefore, we propose a new multiresolution streaming mesh for Internet transmission with QoS-like (Quality of Service) controlling in this paper.While transmitting the streaming mesh with our system, the server first delivers a simplified mesh model with the data size according to the current network bandwidth. If the user at the client side needs to use a more detail model, the server then sends some necessary patches to the client, so that the client program could show the detail model progressively. Our approach is different from previous works, for Web3D utilization, the size of the patch data which is used for reconstructing the original 3D model is less, and the shape and features of the simplified model could still be recognized easily. Moreover, our method needs no complex computations, to generate this streaming mesh on demand is possible. With the QoS-like controlling, the transmission rate between the server and the client has been controlled automatically and the users could get the 3D models with proper qualities as their network situations.
Object-Oriented Programming with Smalltalk/V
Authors: Michele Marchesi
Venue:  (1994)

:Written for those with no previous knowledge of the subject, Object-Oriented Programming with Smalltalk/V provides a complete introduction to the basic concepts, area of applicability and underlying philosophy of object-oriented programming. Starting with fundamental concepts this innovative book progresses to sophisticated programming techniques in a systematic and logical manner allowing readers to advance at their own pace. Readers are expected, however, to have a basic knowledge of conventional programming languages.
Internet Resources for Educators
Authors: Timothy Hopkins
Venue:  (2000)

:Hundreds Of Addresses And Descriptions Of Great Educational Web Sites Can Be Found In This Directory.
Computer-Aided Analysis of Nonlinear Microwave Circuits, 1st edition
Authors: Paulo Jose Cunha Rodrigues
Venue:  (1998)

:This comprehensive new book helps fortify your understanding of the most popular time- and frequency-domain techniques used to analyze nonlinear microwave circuits  and shows you how to get better performance from these techniques using circuit-analysis software. This is the only book to detail the use of semi-analytic and numerical physical models in nonlinear circuit analysis, and to discuss the two uses of physical models in nonlinear CAD. Armed with the information presented, you can attain a more reliable yield analysis of nonlinear MMICs and also:  Utilize robust algorithms that help you analyze highly nonlinear circuits while maintaining good convergence properties  Make better use of commercial nonlinear circuit simulators and develop your own custom-made simulators from scratch  Employ step-by-step methods to integrate circuit equations and improve the convergence of harmonic-balance Supported by 330 equations, practical examples, and ready-made samples of computer code written in C, this book is an invaluable reference for microwave engineers, researchers, developers, and graduate students.
Colony Wars: Vengeance: Official Strategy Guide
Authors: Jeremiah Marinas
Venue:  (1998)

:Inside Colony Wars: Vengeance you'll find tactics for the multiple-objective missions with tactical info from the experts. Receive detailed mission briefings and complete ship statistics. And learn information on all weapons systems to pulverize your enemy.
Bridging the gap with emergency operating procedures
Authors: L. G. Parkhurst,  Jr.
Venue: Proceedings of the 29th annual ACM SIGUCCS conference on User services (2001)

The Gap: Help Desk customers (faculty, staff, and students) thought Help Desk consultants were incompetent and did not know what was going on when the campus network experienced system outages. Communications between the Help Desk and customers was poor and reactive rather than proactive. These problems led to a poor perception of the entire Computing and Information Services department. Communications between the Help Desk and some systems groups was poor and this led to an adversarial and hostile relationship. As hostility increased, communications decreased. As communications decreased, Help Desk consultants were less able to serve their customers, and Help Desk consultants experienced increasing frustration, which was sometimes unprofessionally communicated to clients.The Bridge: We created Emergency Operating Procedures (EOP) to facilitate better communications among Help Desk consultants, technicians, and customers. The EOP empowers the Help Desk to declare emergencies and work with the systems groups and managers to solve problems and keep customers better informed. The Help Desk is now proactive and notifies customers about a problem before it happens (or soon after) rather than waiting for a customer to call the Help Desk to report a problem. The Help Desk is now perceived as a knowledgeable, central, and first point of contact when problems occur and communication is needed (sometimes involving all nine A&M colleges and universities across the state). Now, with better communications, feelings of hostility and frustration are almost nonexistent.This paper will describe Emergency Operating Procedures (EOP); how we implemented the EOP; what parts make up the EOP; what happens when we need to declare or escalate an emergency, and what we are doing to continually improve communications both internally and externally through the Computing and Information Services Help Desk.
Bots and Other Internet Beasties: With Cdrom
Authors: Joseph Williams
Venue:  (1996)

:Spiders, bots, and worms (software) scan the Web for information, index it, and bring it back to computer screens - saving minutes, or even hours, of search time. These intelligent agents comb the Web for new sites, or updated information on old ones, based on keywords you supply. Readers learn how to develop their own agents, and how they can tap into the enormous potential which lies within the Web.Techniques to save endless hours combing the Web for informationTeaches how to design intelligent agentsExplores ways intelligent agents can help access information for business and home The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
An enriched knowledge model for formal ontological analysis
Authors: Valentina A. M. Tamma, Trevor Bench-Capon
Venue: Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001 (2001)

This paper presents and motivates an extended ontology knowledge model which explicitly represents semantic information about concepts. This knowledge model is grounded on the meta-properties of formal ontological analysis and it results from enriching the usual conceptual model with semantic information which precisely characterises the concept's properties and expected ambiguities, including which properties are prototypical of a concept and which are exceptional, the behaviour of properties over time and the degree of applicability of properties to subconceptsThis enriched conceptual model permits a precise characterisation of what is represented by class membership mechanisms and helps a knowledge engineer to determine, in a straightforward manner, the meta-properties holding for a concept. Meta-properties are recognised to be the main tool for a formal ontological analysis that allows building ontologies with a clean and untangled taxonomic structure. Moreover, this enriched semantics facilitates the development of reasoning mechanisms on the state of affairs that instantiates the ontologies. Such reasoning mechanisms can be used in order to solve ambiguities that can arise when ontologies are integrated and one needs to reason with the integrated knowledge.
A simulation study of boll weevil population dynamics
Authors: John Colotta
Venue: Proceedings of the 14th annual Southeast regional conference (1976)

A boll weevil population model is needed for interfacing with available cotton crop models for studying insect pest management decisions and economic thresholds. Most models of boll weevil population dynamics do not allow for biological and/or statistical variation, which increases the error when such models are used on a day-to-day basis. This paper discusses an algorithm that considers important insect population factors in more detail. First, the concept of a developmental unit (DU=time required for 50% of a particular growth stage to develop) is incorporated to account for temperature variations. A normal approximation of developmental times is used, and an error analysis for possible error sources in the numerical procedure. The next step is the development of a simplified relationship for estimating the dynamics of boll weevil feeding and egg-laying. Equations based on temperature and available diet are derived to calculate the fecundity in the field. A sensitivity analysis comparing the model output to observed data shows the feasibility of continuing in this area of research.
Winning Web Sites: Plan and Design Your Own
Authors: Bob Whitcroft
Venue:  (1997)

:This comprehensive step-by-step guide takes you through the process of planning your business Web site before production begins. "Winning Web Sites" provides a framework for determining what your site should accomplish, then discusses organizing and selecting effective content and design, and planning the Web pages. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Designing for improved social responsibility, user participation and content in on-line communities
Authors: Sean Uberoi Kelly, Christopher Sung, Shelly Farnham
Venue: Proceedings of the SIGCHI conference on Human factors in computing systems: Changing our world, changing ourselves (2002)

Web sites face difficult challenges in supporting successful communities. In this paper we discuss 2 operating web sites, identically designed but with different and distinct audiences. These sites collect user data from site activity and feed it back to the user community in novel ways. The sites are highly active and growing, and have fostered socially conscious, easily navigable and comprehensible on-line communities with little cost and maintenance. The practice of user data collection and re-purposing we describe works particularly well in highly contextual or information /resource-driven communities. These sites also integrate custom content authoring tools and track their use. The authoring tools were designed to quickly grow a specialized "knowledge base" of content created by users and published to a larger audience. A status system encourages the participation of users to contribute to this knowledge base, while increasing social awareness and responsibility in areas of high user interaction. All user activity, communications, and feedback are tracked. Then data is compiled and re-incorporated into scalable solutions for better navigability, content filtering, and presentation of contents to a larger audience. This practice creates a uniquely high quality of interaction within web communities
Multimedia Tools and Applications
Authors: Borivoje Furht
Venue:  (1996)

:This book covers selected tools applied in multimedia systems and key multimedia applications. Topics presented include multimedia application development techniques, techniques for content-based manipulation of image databases, techniques for selection and dissemination of digital video, and tools for digital video sementation. Selected key applications described in the book include multimedia news services, multimedia courseware and training, interactive television systems, digital video libraries, multimedia messaging systems, and interactive multimedia publishing systems. Multimedia Tools and Applications, along with its companion volume Multimedia Systems and Techniques, is intended for anyone involved in multimedia system design and applications and can be used as the textbook for advanced courses on multimedia.
The Essential Simply Speaking Gold
Authors: Susan Fulton
Venue:  (1998)

:Speech Recognition is the next leap forward in making computers more useful &mdash;and IBM, as always, is in the middle of the revolution. It sounds great, to just speak into your computer&mdash;no more typing! But, as with other new technologies, it can be very frustrating trying to get it to work right out of the box, unless you have some simple, practical guidance from an experienced user to get you started right.Susan Fulton's book, The Essential Simply speaking Gold, is more than just the user's manual that IBM forgot to put in the box. It's a practical guide incorporating years of experience in step-by-step illustrated instructions to get you using Simply Speaking Gold quickly and effectively. With a holistic flavor, this book will help you appreciate all that speech recognition technology can do for you, as well as some of the limitations. Most of all, it will help you make it work for you.If you are serious about using speech recognition, you need a copy of this book.Susan Fulton is a leader in speech recognition technology at The New York Times, and known internationally on the Internet as an expert on speech recognition and other ways to reduce and get around repetitive strain injuries (RSI). The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Teach Yourself Access 97 Visually, 1st edition
Authors: Ruth Maran
Venue:  (1997)

:Access isn't a household name the way Word and Excel are, but this database component of Microsoft's top-selling Office suite is every bit as powerful and every bit as useful. Now, thanks to the proven visual approach that has rendered technical subjects understandable to millions of Teach Yourself Visually and Simplified readers, you can get up to speed with the latest release of Access -- Access 97 -- quickly and enjoyably. In Teach Yourself Access 97 Visually, full-color illustrations, concise explanations, and step-by-step instructions show you how to create your own databases, build queries to find the information you want efficiently, generate professional-looking reports, and more. Plus, Teach Yourself Access 97 Visually demonstrates how to make the most out of your information and your software by integrating Word and Excel with Access for complete productivity solutions.
Show Me PCs: A Visual Guide to the Basics
Authors: Joe Kraynak
Venue:  (1993)

:This graphical, full-color guide provides readers with an insightful look into how computers perform their magic.Organized by task with limited text and liberal use of illustrations to help readers learn about modems, printers, monitors, and other computer componentsLearning the Lingo sidebars help explain new terms in a non-techie styleTips present shortcuts and alternative approaches to various computer tasks such as hooking up computers and attaching components for best results
Broadcast federation: an application-layer broadcast internetwork
Authors: Yatin Chawathe, Mukund Seshadri
Venue: Proceedings of the 12th international workshop on Network and operating systems support for digital audio and video (2002)

Researchers and commercial developers have proposed several protocols to enable efficient multi-point communication both at the IP layer and at the application or overlay layer. However, no single protocol has made enough headway in terms of deployment for it to span the entire Internet. In fact, we believe that none of the existing multicast or broadcast protocols will become the sole dominant Internet broadcasting technology any time in the near future. Instead, we expect islands of non-interoperable broadcast connectivity. To address this, we propose an architecture that enables the composition of different broadcast protocol, to provide an end-to-end broadcast service. We call this architecture the Broadcast Federation. In this paper, we describe the architecture along with a prototype implementation and preliminary results from the prototype.
Quantitative assessment of image retrieval effectiveness
Authors: John R. Smith
Venue: Journal of the American Society for Information Science and Technology (2001)

Content-based retrieval (CBR) promises to greatly improve capabilities for searching for images based on semantic features and visual appearance. However, developing a framework for evaluating image retrieval effectiveness remains a significant challenge. Difficulties include determining how matching at different description levels affects relevance, designing meaningful benchmark queries of large image collections, and developing suitable quantitative metrics for measuring retrieval effectiveness. This article studies the problems of developing a framework and testbed for quantitative assessment of image retrieval effectiveness. In order to better harness the extensive research on CBR and improve capabilities of image retrieval systems, this article advocates the establishment of common image retrieval testbeds consisting of standardized image collections, benchmark queries, relevance assessments, and quantitative evaluation methods.
Computer Networks and Systems: Queueing Theory and Performance Evaluation, 2nd edition
Authors: Thomas G. Robertazzi
Venue:  (1994)

:This text, intended for a first course in performance evaluation, is a self-contained treatment covering all aspects of queuing theory. It starts by introducing readers to the terminology and usefulness of queuing theory and continues by considering Markovian queues in equilibrium, Little's law, reversibility, transient analysis, and computation, and the M/G/1 queuing system. A subsequent chapter covers networks of queues including the presentation of a recent and clear topological explanation for the existence of the product form solution. The final chapters explain techniques for numerical solutions, such as the convolution algorithm and mean-value analysis; discuss the PANACEA technique, discrete time queuing systems and simulation; and describe the new area of stochastic Petri networks. Case studies of distributed queuing networks arising in industrial applications are included. An appendix reviews probability theory. The third edition includes a new chapter on self-similar traffic, many new problems, and solutions for many exercises.