ppxscal/embedding_network huggingface dataset:
Stochastic Algorithms for Visual Tracking: Probabilistic Modelling and Stochastic Algorithms for Visual Localisation and Tracking
Authors: John MacCormick
Venue:  (2002)

:A central problem in computer vision is to track objects as they move and deform in a video sequence. Stochastic algorithms  in particular, particle filters and the Condensation algorithm  have dramatically enhanced the state of the art for such visual tracking problems in recent years. This book presents a unified framework for visual tracking using particle filters, including the new technique of partitioned sampling which can alleviate the "curse of dimensionality" suffered by standard particle filters. The book also introduces the notion of contour likelihood: a collection of models for assessing object shape, colour and motion, which are derived from the statistical properties of image features. Because of their statistical nature, contour likelihoods are ideal for use in stochastic algorithms. A unifying theme of the book is the use of statistics and probability, which enable the final output of the algorithms presented to be interpreted as the computer's "belief" about the state of the world. The book will be of use and interest to students, researchers and practitioners in computer vision, and assumes only an elementary knowledge of probability theory.
Second-Order Runge--Kutta Approximations in Control Constrained Optimal Control
Authors: A. L. Dontchev, William W. Hager, Vladimir M. Veliov
Venue: SIAM Journal on Numerical Analysis (2000)

In this paper, we analyze second-order Runge--Kutta approximations to a nonlinear optimal control problem with control constraints. If the optimal control has a derivative of bounded variation and a coercivity condition holds, we show that for a special class of Runge--Kutta schemes, the error in the discrete approximating control is O(h2) where h is the mesh spacing.
Mastering Excel 2002
Authors: Gini Courter, Annette Marquis
Venue:  (2001)

:Business Coverage for Business Users The latest release of Excel is more about business productivity than ever before-and so is Mastering Microsoft Excel 2002, which has been designed specifically to help you tap into the unparalleled feature set Excel 2002 offers serious business users. Inside, two Excel experts give you not only the how but also the why-clear, concise explanations of the value you and the rest of your team will derive from a wide range of intermediate and advanced techniques. Coverage includes: * Creating worksheets * Creating simple and complex formulas * Using Excel's logic to handle decisions and worksheet errors * Rearranging and manipulating data with text and date functions * Constructing, editing, and formatting charts * Sorting, filtering, and subtotaling databases * Applying conditional formatting and data validation * Summarizing data with pivot tables and pivot charts * Importing data from the Web, SQL Server, Access, OLAP servers, and other sources * Integrating Excel with Access, Word, PowerPoint, Outlook, and MapPoint 2002 * Collaborating with other users: workbook routing, file sharing, and SharePoint Team Services * Modeling business data with the what-if tools: data tables, Goal Seek, Solver, and scenarios * Using templates and reports to create workbooks for other users * Recording and editing macros * Building applications using Excel 2002 and VBA * Creating simple smart tags
Review of Isomorphisms of Types:: from λ-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995)
Venue: ACM SIGACT News (1997)

The &lambda;-calculus is an elegant computational model used extensively in the formal semantics of programming languages. It was first described by Alonzo Church in 1932, as a foundation of mathematics based not on sets, but directly on functions. &lambda;-calculus was, in part, the inspiration for the programming language Lisp, and its typed versions have become the foundation for a family of modern type-safe languages that includes Haskell and ML. In its original untyped form, the &lambda;-calculus is an extremely simple rewrite system with the concise syntax e :: x|e1 e2|&lambda;x.e, where x ranges over variable names, e1 e2 is called an application, and &lambda;x.e is called an abstraction. An abstraction is analogous to a function; x is the formal parameter and e is the body. Effectively, there is just one rewrite rule, called &beta;-reduction: (&lambda;x.e1) e2 &rarr;&beta; e1[e2/x], where e1[e2/x] means that we substitute e2 for occurrences of x in the expression e1 Voil&agrave;---Turing equivalence. Actually, there are a few technicalities we are glossing over, having to do with renaming bound variables and such. And in modern usage we generally augment the system with natural numbers, arithmetic, and boolean logic as primitives, although these can be completely encoded in the raw calculus. This book is about types (a familiar notion in both mathematical logic and programming languages) and a family of typed &lambda;-calculi. Armed with these formalisms, Di Cosmo explores various isomorphisms of types, which then prove useful in building a software engineering tool to classify and retrieve software components! Specifically, " Chapters 1-3 present a quick introduction to the various typed &lambda;-calculi, sketch some isomorphisms, and then prove important results about confluence, decidability, and normalization. " Chapters 4-5 contain the meat of the theoretical contribution of this work, presenting complete theories for first- and second-order isomorphic types. " Chapters 6-7 demonstrate the utility of these isomorphisms in a software engineering application, and sketch other potential applications and extensions.
Check Point Firewall-1 Administration Guide, 1st edition
Authors: Marcus Goncalves, Steven Brown
Venue:  (1999)

:Only complete guide to Check Point FireWall-1,the security software used in 75% of corporate networks worldwide. Clear,step-by-step help for installing,administrating,troubleshooting,and maintaining Check Point firewalls. Officially endorsed and tech edited by Check Point. Valuable CD-ROM,created in cooperation with Check Point,contains the most useful set of Firewall-1 tools and utilities available anywhere. Your Indispensable Guide to Installing and Maintaining Check Point FireWall-1Check Point Systems,the leader in security solutions and perimeter protection,has created the #1 firewall used in most corporate networks worldwide. If you are an engineer or network administrator,you know how difficult it is to find the facts you need to implement this new technologyand you don't have the time to search through manuals and documentation. With this unique guide,you can find the most current and comprehensive information on Check Point's FireWall-1all in a single volume. The authors clearly explain the underlying concepts of protection that all security professional should know. Using a hands-on approach,the authors guide you through the complex process of designing,building,and maintaining firewalls using Check Point's FireWall-1. Check Point FireWall-1 Administration Guide covers three key aspects of this product:FireWall-1 Overview & Configuration,covering firewall technologies,Check Point's Stateful Inspection and FireWall-1 installation and configuration Fire Wall-1 Administration,discussing all the topics of a security policy,creating objects used in a security policy,some FireWall-1 advanced security features and VirtualPrivate Networking FireWall-1 Advanced Topics,including Check Point's OPSEC standard,fault tolerance,load balancing and advanced general firewall security topics Throughout the book,extensive case studies discuss the many security threats to corporate Intranet and Internet sitesand show you how to avoid them using FireWall-1. You'll also find an invaluable CD_ROM that contains an evaluation copy of Check Points's FireWall-1 product,so you can see the benefits of this great product for yourself. Check Point FireWall-1 Administration Guide is ideal for administrators and professionals who need to install FireWall-1 for Windows and UNIX. It is the single most up-to-date resource for the latest information on firewall security.
Designing Microsoft® Asp.Net Applications
Authors: Douglas J. Reilly, J. Douglas Reilly
Venue:  (2001)

:This book introduces the Microsoft .NET Framework and the common language runtime and goes on to cover the ASP.NET development process and ASP.NET Web Forms. The book discusses the various controls within ASP.NET, such as HTML server controls ASP.NET server controls, and validator controls, and explains how to create custom user controls and components. Retrieiving data from Microsoft SQL Server using ADO.NET and data controls is also covered. The book finishes with a discussion of how to create and use XML Web services. Code samples are based on Beta and post-Beta 2 buils of Microsoft Visual Studio&reg; .NET and alternate between Microsoft Visual Basic&reg; .NET and Visual C#. Presents a first look at the basic capabilities of ASP.NET * Describes how to exploit the new functionality of ASP.NET, including improved integration with the common language, XML, and ADO.NET * Presents how-to examples for Visual Basic and Visual C# for building dynamic, reusable Web applications faster and more efficiently * Features code samples on CD-ROM for supplemental reference and study
Tetrahedral projection using vertex shaders
Authors: Brian Wylie, Kenneth Moreland, Lee Ann Fisk, Patricia Crossno
Venue: Proceedings of the 2002 IEEE symposium on Volume visualization and graphics (2002)

Projective methods for volume rendering currently represent the best approach for interactive visualization of unstructured data sets. We present a technique for tetrahedral projection using the programmable vertex shaders on current generation commodity graphics cards. The technique is based on Shirley and Tuchman's Projected Tetrahedra (PT) algorithm and allows tetrahedral elements to be volume scan converted within the graphics processing unit. Our technique requires no pre-processing of the data and no additional data structures. Our initial implementation allows interactive viewing of large unstructured datasets on a desktop personal computer.
XCache: a semantic caching system for XML queries
Authors: Li Chen, Elke A. Rundensteiner, Song Wang
Venue: Proceedings of the 2002 ACM SIGMOD international conference on Management of data (2002)

A wide range of Web applications retrieve desired information from remote XML data sources across the Internet, which is usually costly due to transmission delays for large volumes of data. Therefore we propose to apply the ideas of semantic caching to XML query processing systems [2], in particular the XQuery engine. Semantic caching [3] implies view-based query answering and cache management. While it is well studied in the traditional database context, query containment for XQuery is left unexplored due to its complexity coming with the powerful expressiveness of hierarchy, recursion and result construction. We hence have developed the first solution for XQuery processing using cached views.We exploit the connections between XML and tree automata, and use subtype relations between two regular expression types to tackle the XQuery containment mapping problem. Inspired by XDuce [1], which explores the use of tree-automata-based regular expression types for XML processing, we have designed a containment mapping process to incorporate type inference and subtyping mechanisms provided by XDuce to establish containment mappings between regular-expression-type-based pattern variables of two queries. We have implemented a semantic caching system called XCache (see Figure 1), to realize the proposed containment and rewriting techniques for XQuery.The main modules of XCache include: (1) Query Decomposer. An input query is is decomposed into source-specific subqueries explicitly represented by matching patterns and return structures. (2) Query Pattern Register. By registering a few queries into semantic regions, we warm up XCache at its initialization phase. (3) Query Containment Mapper. The XDuce subtyper is incorporated into the containment mapper for establishing query containment mappings between variables of a new query and each cached query. (4) Query Rewriter. We implement the classical bucket algorithm and further apply heuristics to decide on an "optimal" rewriting plan if several valid ones exist. (5) Replacement Manager. We free space for new regions by both complete and partial replacement. (6) Region Coalescer. We apply a coalescing strategy to control the region granularity over time.
Hardware implementation of intelligent systems
Authors: Horia-Nicolai Teodorescu, Lakhmi C. Jain, Abraham Kandel
Venue:  (2001)

The book offers an overview of a large spectrum of implementations for the computational intelligence based on neuro-fuzzy and artificial approaches. The clear and concise explanations help the reader to understand the hardware implementation aspects of the new computational intelligence paradigms.
Micro-Raman investigation of the n-dopant distribution in lateral epitaxial overgrown GaN/sapphire (0001)
Authors: V. V. Chaldyshev, Fred H. Pollak, M. Pophristic, S. P. Gou, I. Ferguson
Venue: Journal of Electronic Materials (2002)

We have investigated the n-dopant distribution in the overgrown and window regions of lateral-epitaxial overgrown GaN/sapphire (0001) using room-temperature micro-Raman spectroscopy in the backscattering configuration. From a fit to the high energy-coupled longitudinal optical (LO) phonon-plasmon mode (LPP+), we have evaluated n ≈ (6.5 ± 0.6) × 1017 cm-3 in the overgrown region; a value considerably higher than that previously reported by Pophristic et al. The spectrum from the window region was harder to interpret because of the considerable overlap of the A1(LO) mode and Eg(750 cm-1) sapphire line with the LPP+ trace. The implications of our findings for the overgrown region on the measured thermal conductivity as well as other parameters will be discussed.
Invited editorial: reflections on curriculum development in computing programs
Authors: Joe Turner
Venue: ACM SIGCSE Bulletin (2001)

Constant changes in courses and curricula seem to be a fact of life for computing programs. Having participated in several curriculum creation and modification efforts, and in two major curriculum recommendation projects [1,2], and also having observed and reviewed many curriculum development efforts by others during the past 20 years or so, I take this opportunity to offer some observations about computing programs and issues related to their evolution and maintenance. (The term computing is used here to include programs with a wide range of names such as computer science, informatics, information systems, and computer engineering.) Most of the observations and comments that I make have been made before by myself and others, and there is no intention to make this a complete discussion of such issues. Instead, I offer some observations that seem, to me, important and relevant for many of the problems that we face today.
Microsoft Train Simulator: Sybex Official Strategies and Secrets
Authors: David Chong, Rick Selby, Richard Wayne Smith
Venue:  (2001)

:Microsoft Train Simulator brings the excitement of some of the world's most famous trains to your home. Harness the engines' power as an engineer, using the fully functional gauges and working controls. Sit back and enjoy the ride as a passenger, taking in the scenery as you rumble through the realistic settings. Or take on the responsibility of a railroad designer, using Train Simulator's open architecture and tools to customize and extend the game. Written with the full support of the game's developer, Microsoft Train Simulator: Sybex Official Strategies Secrets gives you everything you'll need to stay on track. Inside you'll find: Expert advice on operating everything from the Orient Express to The Flying Scotsman Essential strategies for handling the game's challenging operating strategies Hands-on tutorials covering Train Simulator's extensive track and activity building tools Plus: An exclusive full-color poster!
Exception Handling in Ada-94: Initial Users' Requests and Final Features
Authors: Michel Gauthier
Venue: ACM SIGAda Ada Letters (1995)

This paper is intended as a study of the new Ada features about exceptions, as compared to the initial requests of the Ada community. We have only considered : bull;the initial requests, summarized in the document "Ada 9X Revision Requests bull; August 1989". bull;the requirements of the project managing team, built from the users' requests, expressed by the document "Ada-9X Requirements bull; December 1990". bull;the final draft standard submitted to ISO ballot "Reference Manual for the Programming Language Ada bull; Version 5.0 bull; June 1994". bull;and the corresponding "Rationale".No attempt at a historical view on intermediate stages has been made.Some comments, suggestions of use and relations to concepts follow. However, it should be clear that exceptions remain a language feature which is suitable for implementing operation reports, and that the problems and difficulties raised by the general report concept are not considered here in full depth, but only as a survey of a few useful principles.Note: this paper is not targeted to Ada lawyers, but rather to programmers who ask what is new with exceptions.
Oracle PL/SQL Interactive Workbook, 2nd edition
Authors: Benjamin Rosenzweig, Elena Silvestrova
Venue:  (2002)

:FREE Access to Interactive Oracle PL/SQL Training Web Site Build Oracle PL/SQL applications-now! No Oracle PL/SQL experience necessary! Covers all key Oracle PL/SQL concepts Real-life labs and "Test Your Thinking" Q&As Start developing applications with Oracle PL/SQL-fast! This integrated book-and-Web learning solution teaches all of the Oracle PL/SQL skills you need, through hands-on, real-world labs, exercises, projects, and our great Web-based training site. You'll master PL/SQL syntax and structured programming, iterative control, scoping and anchored datatypes, cursors, triggers, security, tables-even sophisticated packaging and parameter passing techniques! Your free Web-based training module includes a Virtual Study Lounge where you can interact with the author, interactive Q&As, new projects, book updates, and more! -Totally integrated with a FREE, state-of-the-art Oracle Forms learning Web site! Every Prentice Hall Interactive Workbook is fully integrated with its own exclusive Web site, giving you all this and more: "Test Your Thinking" project solutions and detailed explanations Author's Corner: Your personal connection to this book's expert author Additional self-review exercises with instant feedback and explanations An exclusive Virtual Study Lounge where you can interact with other learners! Just the facts! No endless, boring discussions here! You'll learn hands-on, through practical exercises, self-review questions and real-world answers. Exclusive "Test Your Thinking" projects guarantee you'll go beyond rote knowledgeto really master the subject! It's an integrated learning system that's proven to work! Dozens of exercises cover the real-world tasks that matter most! 100s of self-review questions and answers make sure you understand! Sample exercise from this title Sample Self-Review Questions Page from this title
Microsoft Access 97 Exam Guide with Cdrom, 1st edition
Authors: Joe Habraken, Dorothy Burke
Venue:  (1998)

:Exercises and review questions give readers step-by-step coverage of the topics included on the MOUS exams.Complete end user preparation for Microsoft s Access 97 Expert User exam as part of Microsoft s new Certified Microsoft Office User programReviewed by Microsoft, will receive Official Microsoft Curriculum statusCovers all tested concepts and tasks and includes guided practice sections to help readers build confidence while studying for the exam
Microsoft Internet Explorer 5 at a Glance, 1st edition
Authors: Douglas W. Allen
Venue:  (1999)

:Here's the fast, visual way to solve problems and get work done with the latest version of Microsoft's popular Web browser. Microsoft Internet Explorer 5 At a Glance lets you focus on a particular task and shows you, with clear, numbered steps, the easiest way to get it done.
Strategies and Technologies for Healthcare Information: Theory into Practice, 1st edition
Authors: Marion J. Ball, Judith V. Douglas, David E. Garets
Venue:  (1999)

:This book, a companion volume to Performance Improvement Through Information Management, offers wisdom from twenty-four healthcare practitioners who have worked with information systems in a variety of settings. This book will help healthcare practitioners recognize the most valuable information technology applications, make sound decisions about management and implementation, and learn how to sidestep disastrous projects.
Professional Visual Basic 6.0 Business Objects
Authors: Rockford Lhotka, Rocky Lhotka
Venue:  (1998)

:What is the Subject Area?In recent years, the concept of 'business objects' has taken hold in the developer community. Basically, these are the processes that deal with some input data and mediate the appropriate business response. Whether this be a stock-withdrawal from a warehouse supply system, an invoice-sender or whatever, writing the code in such a way that it can be used by an entire organization to maintain coherent information on the business is worthwhile. Visual Basic 6 classes can be exposed as ActiveX objects. This allows the developer to use DCOM to enable objects to communicate between machines. Also, objects can be both called and scripted by Active Server Pages and controlled by Microsoft Transaction Server, so that they are accessible through a web browser. Tied to these new server-side technologies from Microsoft, we can see that Visual Basic is a great tool to implement such a system. The book does this for a variety of client-server designs, to show how to design and deploy business objects. What's Great About this Book? STILL the only book dedicated to Business Objects with VB, the hottest topic for developers New VB6 IIS and DHTML apps covered ADO 2 techniques exploited throughout MTS 2.0 coverage and stateless objects Illustrates deployment of server-side Visual Basic 6 objects using DCOM Who is this Book for?This book is aimed at experienced application developers, who have developed applications in Windows using Visual Basic. It will also appeal to intermediate-level programmers because it presents components and techniques that can easily be integrated into their applications.
Squeak: Open Personal Computing and Multimedia, 1st edition
Authors: Mark J. Guzdial, Kimberly M. Rose
Venue:  (2001)

:The only advanced book on Squeak, an important up-and-coming programming language, and includes an introductory chapter to help those who know programming but not Squeak. Squeak is the only tool that allows users to explore computer music, digital sound, advanced user interfaces, 3-D computer graphics, Flash animation, and virtual machine creation (such as for embedded systems) across Windows, Macintosh, and Linux. This book is the best documentation of Squeak for those purposes. Provides details on 3-D Computer Graphics, Advanced UI, Streaming Audio, and other multimedia topics. Provides detailed tours of the architecture of a virtual machine (including tradeoffs), porting it to multiple platforms and extensions mechanisms. Includes description of the efforts of an Open Source Community. Appropriate for all professionals in Advanced Object-Oriented Programming, Multimedia Systems and Developments, and Software Engineering Special-Topics: Open-Source, and Embedded Systems fields as an authoritative guide to the use of Squeak