ppxscal/embedding_network huggingface dataset:
The first-order theory of subtyping constraints
Authors: Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
Venue: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002)

We investigate the first-order of subtyping constraints. We show that the first-order theory of non-structural subtyping is undecidable, and we show that in the case where all constructors are either unary or nullary, the first-order theory is decidable for both structural and non-structural subtyping. The decidability results are shown by reduction to a decision problem on tree automata. This work is a step towards resolving long-standing open problems of the decidability of entailment for non-structural subtyping.
Smalltalk Developer's Guide to VisualWorks
Authors: Timothy G. Howard
Venue:  (1995)

:The Smalltalk Developer's Guide to Visual Works provides an in-depth analysis of the popular application development tool produced by ParcPlace Systems. Designed to enhance development acumen, this book serves as a guide to using VisualWorks to its full potential. The reader can use this book as a study guide, as a series of tutorials, as a reference for items and concepts, or just as a source of valuable VisualWorks code. The book is divided into two logical parts. The first section is an in-depth analysis of VisualWorks in terms of fundamental Smalltalk concepts. The author peels away the mystique behind this powerful development tool, thereby making it more accessible and familiar. The second section provides a greater understanding of the complexities and nuances specific to VisualWorks. By gaining a greater understanding of its unique characteristics, readers will be able to build better applications and extend and enhance the tools themselves. This section is packed with valuable tips, tricks, tutorials, and reusable code. In addition, an accompanying diskette provides source code and examples to be utilized by the reader.
PowerPoint 4 for Windows for Dummies, 1st edition
Authors: Doug Lowe
Venue:  (1994)

:With Microsoft's PowerPoint 4 software, you can create impressive, effective presentations. PowerPoint 4 For Windows For Dummies shows you how. With computing expert Doug Lowe to guide you, you discover the secrets of combining text from your word processing documents and charts and figures from your spreadsheets in order to develop presentations that are as informative as they are attractive. Here, you find tips on everything from preparing audience handouts and speaker notes to taking advantage of PowerPoint's Slide Masters and Templates to ensure a professional, consistent look to your presentations. Plus, you get a handle on using PowerPoint's timesaving Equation Editor, WordArt, and OrgChart applets, as well as adding clip art without cheesing-up the whole show.
Turbo Pascal, 5th edition
Authors: Elliot B. Koffman
Venue:  (1994)

:Hallmark Features: Conveys the relationship between problem-solving skills and effective software development by using the author's classic five-step problem solving process. Covers computer graphics in Chapter 3, and provides examples of animation and user interfaces in later chapters to help motivate students. Introduces abstract data types and units in Chapter 9, and Turbo Pascal objects and object-oriented programming in Chapter 13. This coverage prepares students to study other languages which use the object-oriented paradigm. Reinforces key concepts with proven pedagogical features like programming style sections, syntax displays, end-of-section and end-of-chapter exercises, and more.
Domino System Administration
Authors: Rob Kirkland
Venue:  (1999)

:Need a concise, practical explanation about the new features of Domino, and how to make some of the advanced stuff really work? You need answers and solutions from someone who's been in the trenches. You want information from someone like you, who has worked with the product for years, and understands what it is you need to know. Domino System Administration from New Riders is the answer-the first book on Domino that attacks the technology at the professional level, with practical, hands-on assistance to get Domino 5 running in your organization.
Cyberteaming: developing the online educational team
Authors: Jane Whitney Gibson, Charles W. Blackwell, Dana V. Tesone, Richard M. Hodgetts
Venue: Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork (2000)

This paper presents the collective experiences of four professors who have collaborated to develop and deliver online business courses. They suggest that at least part of the successful online classroom is based on the degree to which the faculty member performs as team leader in creating an online educational team. They offer the following six guidelines to trainers or faculty thinking about making the trip to cyberspace: (1) Maintain a small class size; (2) Employ strategies so students will get to know one another; (3) Use informality and humor; (4) Concentrate on asynchronous activities; (5) Intersperse synchronous activity to keep the team energized; and (6) Require constant interactivity regarding student assignments and communication.
The Complete Idiot's Guide to Microsoft Office 2000, 1st edition
Authors: Joe Kraynak
Venue:  (1999)

:Your home or office is about to experience one of the most significant renovations of the twentyfirst centuryMicrosoft Office 2000. Are you prepared to take advantage of the most advanced office suite on the market? Are you ready to whip up documents, spreadsheets, graphs, and interactive slide shows? Manage data? Plan your time? Communicate electronically via email? Publish your own Web pages? This book shows you the simple way to get up to speed with Office 2000!
Beginning Objects with Visual Basic 6
Authors: Peter Wright
Venue:  (1998)

:What is the Subject Area? The book deals with objects and object-oriented development with Visual Basic 6. It explains why object-oriented programming is so important today and how its use can simplify the development process as a whole. It leads the reader in top the realm of actual development by using real-world examples to demonstrate the sort of problems that programmers come up against everyday. What's Great About this Book? Proven step-by-step Wrox Beginning tutorial format Lots of clear samples and realistic examples Teaches object-oriented programming from scratch Written by a leading authority on VB Everything is put into the context of the real world of programming Who is this Book for? This book is for Visual Basic programmers who have a grasp of the fundamentals of Visual Basic and want to learn how to do object-oriented development. This book is ideal for aspiring programmers with intermediate ability who wish to tackle ideas that are more complex
The social life of avatars: presence and interaction in shared virtual environments
Authors: Ralph Schroeder
Venue: Springer CSCW Series (2002)

The Social Life of Avatars will be essential reading for computer scientists, and social scientists who are developing and researching virtual worlds. It will also be useful background reading for advanced undergraduate or postgraduate courses in the Sociology of New Information and Communication Technologies, Computer-Mediated Communication, Virtual Reality, Computer Graphics, HCI and Multimedia.
Freebsd Handbook: System Administration
Authors: FreeBSD Documentation Project
Venue:  (2000)

:FreeBSD is an advanced BSD UNIX operating system for "PC-compatible" computers, developed and maintained by a large team of individuals. FreeBSD offers advanced networking, performance, security and compatibility features today that are still missing in other operating systems, even some of the best commercial ones.FreeBSD Handbook Part II: System Administration is one of a series of books from iUniverse.com that provide a printed version of the BSD Handbook, an online guide that covers the installation and day to day use of FreeBSD Release 4.0. The four-part series from iUniverse.com contains the full text of the FreeBSD Handbook, and is comprised of the following four volumes. Each volume is available separately for your convenience. Part I: Getting Started Part II: System Administration Part III: Network Configuration Parts IV and V: Advanced Topics & Appendices
Online Searching: A Scientist's Perspective, 1st edition
Authors: Damon D. Ridley
Venue:  (1997)

:The availability of online information sources allows today's scientists to perform powerful, well-targeted searches, yet often the full potential of such searches is not realised. A sound understanding of how information is stored and how effective search strategies are developed is crucial if one is to fully utilise this potential. This book examines the content of some of the most important scientific databases and explains the indexing policies used by the database producers. The mechanics of online searching are discussed, and the author details and logically explains the key principles involved in keyword, chemical substances and numeric searches. This knowledge is combined to show how effective search strategies are constructed and used. 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
Dynamics and Control of Mechanical Systems: The Falling Cat and Related Problems
Authors: Michael J. Enos
Venue:  (1993)

:This book contains a collection of papers presented at the Fields Institute workshop, "The Falling Cat and Related Problems", held in March 1992. The theme of the workshop was the application of methods from geometric mechanics and mathematical control theory to problems in the dynamics and control of freely rotating systems of coupled rigid bodies and related nonholonomic mechanical systems. This book will prove useful in providing insight into this new and exciting area of research. 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
How the Web Was Won: Microsoft from Windows to the Web
Authors: Paul Andrews
Venue:  (1999)

:In How the Web Was Won, veteran Seattle Times journalist Paul Andrews chronicles the explosive drama and high-stakes gamesmanship behind the most remarkable business turnaround of the 1990s: the story of Microsoft's journey from Windows to the Web - and of the handful of Internet believers who led the charge. 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
Abort-Oriented Concurrency Control for Real-Time Databases
Authors: Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu
Venue: IEEE Transactions on Computers (2001)

There has been growing interest in the performance of transaction systems that have significant response time requirements. These requirements are usually specified as hard or soft deadlines on individual transactions and a concurrency control algorithm must attempt to meet the deadlines as well as preserve data consistency. This paper proposes a class of simple and efficient abort-oriented concurrency control algorithms in which the schedulability of a transaction system is improved by aborting transactions that introduce excessive blockings. We consider different levels of the aborting relationship among transactions and evaluate the impacts of the aborting relationship when the relationship is built in an online or offline fashion. We measure aborting overheads on a system running the LynxOS real time operating system. The strengths of the work are demonstrated by improving the worst-case schedulability of an avionics example [20], a satellite control system [7], and randomly generated transaction sets.
Developing Com Components with Visual Basic 6, 6th edition
Authors: Dan Appleman
Venue:  (1998)

:Developing ActiveX Components with Visual Basic X is a focused tutorial for learning component development. It teaches the reader the programming concepts and the technical steps needed to create ActiveX components. Dan Appleman is the author that Visual Basic programmer s recommend to their friends and colleagues. He consistently delivers on his promise to break through the confusion and hype surrounding Visual Basic and ActiveX. Appleman goes beyond the basics to show readers common pitfalls and practical solutions for key problems.Dan Appleman revises a successful title with new information on the new version of Visual Basic X.Appleman is one of the foremost developers in the Visual Basic community and the author of Visual Basic 5.0 Programmer s Guide to the Win32 APIComplet with a new CD and all new material, this title will publish day-and-date with the release of Visual Basic, due this summer. 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
Object Tracking with Bayesian Estimation of Dynamic Layer Representations
Authors: Hai Tao, Harpreet S. Sawhney, Rakesh Kumar
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2002)

Decomposing video frames into coherent two-dimensional motion layers is a powerful method for representing videos. Such a representation provides an intermediate description that enables applications such as object tracking, video summarization and visualization, video insertion, and sprite-based video compression. Previous work on motion layer analysis has largely concentrated on two-frame or multiframe batch formulations. The temporal coherency of motion layers and the domain constraints on shapes have not been exploited. This paper introduces a complete dynamic motion layer representation in which spatial and temporal constraints on shape, motion, and layer appearance are modeled and estimated in a maximum a posteriori (MAP) framework using the generalized expectation-maximization (EM) algorithm. In order to limit the computational complexity of tracking arbitrarily shaped layer ownership, we propose a shape prior that parameterizes the representation of shape and prevents motion layers from evolving into arbitrary shapes. In this work, a Gaussian shape prior is chosen to specifically develop a near real-time tracker for vehicle tracking in aerial videos. However, the general idea of using a parametric shape representation as part of the state of a tracker is a powerful one that can be extended to other domains as well. Based on the dynamic layer representation, an iterative algorithm is developed for continuous object tracking over time. The proposed method has been successfully applied in an airborne vehicle tracking system. Its performance is compared with that of a correlation-based tracker and a motion change-based tracker to demonstrate the advantages of the new method. Examples of tracking when the backgrounds are cluttered and the vehicles undergo various rigid motions and complex interactions such as passing, turning, and stop-and-go demonstrate the strength of the complete dynamic layer representation.
Datrix&trade; source code model and its interchange format: lessons learned and considerations for future work
Authors: Sébastien Lapierre, Bruno Laguë, Charles Leduc
Venue: ACM SIGSOFT Software Engineering Notes (2001)

The Datrix team within Bell Canada has been offering its source code analysis tools to the research community for a number of years. These tools perform a number of analyses that revolve around a central model (Datrix-ASG) developed by the Datrix team, and use an interchange format similar to TA, which we call Datrix-TA. This paper intends to communicate the modeling choices that were made when creating this information model, and the lessons learned over a few years of usage.
Web Database Primer Plus
Authors: Piroz Mohseni
Venue:  (1996)

:Web Database Primer Plus gives you step-by-step instructions; multi-database coverage; thorough Java connectivity coverage; detailed explanations of advanced techniques; real-life demos; CD-ROM with ready-to-use examples and code; and a handy quick reference section.
Cryptographic rights management of FPGA intellectual property cores
Authors: Tom Kean
Venue: Proceedings of the 2002 ACM/SIGDA tenth international symposium on Field-programmable gate arrays (2002)

As the capacity of FPGA's increases to millions of equivalent gates the use of Intellectual Property (IP) cores becomes increasingly important to control design complexity. FPGA's are becoming platforms for integrating a system solution from components supplied by independent vendors in the same way as printed circuit boards provided a platform for earlier generations of designers. However, the current commercial model for IP cores involves large up-front license fees reminiscent of ASIC NRE charges. In order to match the IP core business model to the low to medium volume applications addressed by FPGA customers it is important to develop cryptographic techniques which allow IP core vendors to sell their product on a pay-per-use basis rather than through up-front license fees.
Inductive methods and contract-signing protocols
Authors: R. Chadha, M. Kanovich, A. Scedrov
Venue: Proceedings of the 8th ACM conference on Computer and Communications Security (2001)

Garay, Jakobsson and MacKenzie introduced the notion of abuse-free distributed contract-signing: at any stage of the protocol, no participant Ahas the ability to prove to an outside party, that A has the power to choose between completing the contract and aborting it. We study a version of this property, which is naturally formulated in terms of game strategies, and which we formally state and prove for a two-party, optimistic contract-signing protocol. We extend to this setting the formal inductive proof methods previously used in the formal analysis of simpler, trace-based properties of authentication protocols.
The Theory of Constraints: Applications in Quality and Manufacturing, 2nd edition
Authors: Robert E. Stein
Venue:  (1997)

:Providing guidelines for implementation and insights into strategic issues as well as entirely new and expanded information in each area discussed, The Theory of Constraints, Second Edition describes the impact of establishing valid policy systems and supplies an efficient method of addressing the physical environment...defines a TOC-compatible TQM program and outlines organizational and communication tactics...demonstrates who is responsible for specific tasks and how goals are to be accomplished...examines the impact of TOC on supply-chain management...analyzes established tools, including quality function deployment (QFD), design for manufacturability, statistical process control (SPC), and design of experiments (DOE) from a TOC perspective...furnishes ways to make companies recession-proof...speeds up the implementation process so that profits occur more quickly and continue to grow...and much more. 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
Windows 95 Multimedia and ODBC API Bible: With Cdrom
Authors: Richard J. Simon
Venue:  (1995)

:This book/CD-ROM package covers: ODBC 2, Microsoft's widely accepted "Open Database Connectivity" API; TAPI, Telephony APIs for controlling telecommunications and networks; Common Messaging Calls (CMC); and Multimedia API. It is designed for C and C++ programmers wanting to write sophisticated Windows 95 and Windows NT applications.The essential reference for Windows programmersCovers ODBC, TAPI, Common Messaging Calls, and Multimedia APIThorough coverage on every function, including concise descriptions and hundreds of examples
Structures and Abstractions: An Introduction to Computer Science with Pascal, 2nd edition
Authors: William I. Salmon
Venue:  (1993)

:This text is intended for the first course in Computer Science (CS1) for those who intend to major in the field or want a deeper understanding of programming methodology.
Multimedia Systems: Delivering, Generating, and Interacting with Multimedia
Authors: Tim Morris
Venue:  (2000)

:Tim Morris introduces the reader to the methods of generating and delivering multimedia, and also gives an overview of current research in the area in order to show the generic tasks multimedia systems will be achieving in the future. The book is divided into 2 parts, discussing how multimedia delivery systems are designed and constructed, and then covering the methods of realising true multimedia computing." "Although Multimedia Systems is written to be read alongside a multimedia module of a computer science undergraduate course, it will be of general interest to all those working in multimedia.
SMS 1.2 MCSE Study Guide with Cdrom, 1st edition
Authors: Greg P. Bulette
Venue:  (1997)

:Covers Exam 70-18 SMS 1.2 MCSE Study Guide cuts through the quagmire of available systems management server (SMS) information and delivers the goods  clear SMS course objectives and skills specific to the MCSE exam. Through computer inventory management, software distribution, and network user support, SMS is an invaluable BackOffice tool and SMS administrators are in high demand. Now you can capitalize on these exciting career opportunities with SMS 1.2 MCSE Study Guide. Author Greg P. Bulette, a certified Microsoft technician and systems engineer with extensive enterprise systems training experience, covers all of the essential SMS topics  from SMS site configuration and installation to software auditing and diagnostics utilities. SMS 1.2 MCSE Study Guide also has a companion CD-ROM with helpful MeasureUp sample exam questions, selections from the Micro House Technical Library, Adobes Acrobat Reader, Internet Explorer 4.0, and a searchable electronic version of the book for easy transport.
Just Java
Authors: Peter van der Linden
Venue:  (1996)

:Learn Java with Peter van der Linden's straight talk, interesting examples, and unique style. Written by the author of the bestselling Expert C Programming: Deep C Secrets, this book conveys a sense of the enjoyment that lies in computer programming. The author strongly believes that programming should be challenging, exciting, and enjoyable, and that books about programming should be too. Topics discussed include the Story of O - Object Oriented Programming; the Robot Ping-Pong Player; GIGO - Garbage In, Gospel Out; and Associativity and the "Coffeepot Property". Also included are more traditionally titled topics such as applications versus Applets; identifiers, comments, keywords, and operators; packages, classes, and interfaces; arrays, exceptions, and threads; and Java Libraries - networking and windowing. Just Java is practical, understandable, and fun. Its CD-ROM includes Java sample code and applications, an anagram program, images, and the complete 1.0 release of the Java Developer's Kit (JDK) for Solaris, Windows 95 and Windows NT.