ppxscal/embedding_network huggingface dataset:
Motion Planning of Legged Robots
Authors: Jean-Daniel Boissonnat, Olivier Devillers, Sylvain Lazard
Venue: SIAM Journal on Computing (2000)

We study the problem of computing the free space ${\cal F}$ of a simple legged robot called the spider robot. The body of this robot is a single point and the legs are attached to the body. The robot is subject to two constraints: each leg has a maximal extension R (accessibility constraint) and the body of the robot must lie above the convex hull of its feet (stability constraint). Moreover, the robot can only put its feet on some regions, called the foothold regions. The free space ${\mathcal{F}}$ is the set of positions of the body of the robot such that there exists a set of accessible footholds for which the robot is stable. We present an efficient algorithm that computes ${\cal F}$ in $O(n^2\log n)$ time using $O(n^2\alpha(n))$ space for $n$ discrete point footholds where $\alpha(n)$ is an extremely slowly growing function ($\alpha(n)\leq 3$ for any practical value of $n$). We also present an algorithm for computing ${\cal F}$ when the foothold regions are pairwise disjoint polygons with $n$ edges in total. This algorithm computes ${\cal F}$ in $O(n^2\alpha_8(n)\log n)$ time using $O(n^2\alpha_8(n))$ space. ($\alpha_8(n)$ is also an extremely slowly growing function.) These results are close to optimal since $\Omega(n^2)$ is a lower bound for the size of ${\cal F}$.
Aliasing analysis for a million lines of C
Authors: Nevin Heintze
Venue: Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (2002)

We will describe the design and implementation of a fast points-to analysis system. On some industrial code bases (about a million lines of unpreprocessed C code) this system performs context-insensitive field-based Andersen-style points-to analysis in less than a second and uses less than 10MB of memory. The two main contributions of the work are a database-centric analysis architecture called compile-link-analyze (CLA), and a new graph-based algorithm for implementing a form of dynamic transitive closure. An open source release of our system should be available soon.
Statistical Richness of Visual Phase Information: Update on Recognizing Persons by Iris Patterns
Authors: John Daugman
Venue: International Journal of Computer Vision (2001)

Algorithms first described in 1993 for recognizing persons by their iris patterns have now been tested in several public field trials, producing no false matches in several million comparison tests. The underlying recognition principle is the failure of a test of statistical independence on texture phase structure as encoded by multi-scale quadrature wavelets. The combinatorial complexity of this phase information across different persons spans about 244 degrees of freedom and generates a discrimination entropy of about 3.2 bits/mm2 over the iris, enabling real-time decisions about personal identity with extremely high confidence. This paper reviews the current algorithms and presents the results of 2.3 million comparisons among eye images acquired in trials in Britain, the USA, and Japan, and it discusses aspects of the process still in need of improvement.
A digital fuzzy processor for fuzzy-rule-based systems
Authors: Davide Falchieri, Alessandro Gabrielli, Enzo Gandolfi
Venue: Hardware implementation of intelligent systems (2001)

In this chapter, we describe a family of fuzzy processors oriented to physics experiments. We firstly present two fuzzy processors that have already been realized; the architectures are described in detail. Then, we present a new fast digital Fuzzy Processor that has been designed on 0.7 &mgr;m digital CMOS technology. The processor implements a set of fuzzy rules created by means of a genetic fuzzy rule generator. It can process ten 7-bit input variables and carries out one 7-bit output. It may be synchronized up to a 50 MHz clock signal for an estimated power consumption slightly more than 1 W. Moreover the processing rate depends on the number of fuzzy rule and , as a rule of thumb, it can be estimated by multiplying 20 ns, which is the clock period, for the number of fuzzy rules. Also, the inside parallel-pipeline architecture is described in detail. In addition, the architecture is described with layout and data flow simulation pictures. The fuzzy logic methodologies that have been adopted are justified in terms of hardware implementation feasibility and speed requirements.
Concrete Mathematics: A Foundation for Computer Science, 2nd edition
Authors: Ronald L. Graham, Donald E. Knuth, Oren Patashnik
Venue:  (1994)

:This book introduces the mathematics that supports advanced computer programming and the analysis of algorithms. The primary aim of its well-known authors is to provide a solid and relevant base of mathematical skills - the skills needed to solve complex problems, to evaluate horrendous sums, and to discover subtle patterns in data. It is an indispensable text and reference not only for computer scientists - the authors themselves rely heavily on it! - but for serious users of mathematics in virtually every discipline. Concrete Mathematics is a blending of CONtinuous and disCRETE mathematics. "More concretely," the authors explain, "it is the controlled manipulation of mathematical formulas, using a collection of techniques for solving problems." The subject matter is primarily an expansion of the Mathematical Preliminaries section in Knuth's classic Art of Computer Programming, but the style of presentation is more leisurely, and individual topics are covered more deeply. Several new topics have been added, and the most significant ideas have been traced to their historical roots. The book includes more than 500 exercises, divided into six categories. Complete answers are provided for all exercises, except research problems, making the book particularly valuable for self-study. Major topics include: Sums Recurrences Integer functions Elementary number theory Binomial coefficients Generating functions Discrete probability Asymptotic methods This second edition includes important new material about mechanical summation. In response to the widespread use ofthe first edition as a reference book, the bibliography and index have also been expanded, and additional nontrivial improvements can be found on almost every page. Readers will appreciate the informal style of Concrete Mathematics. Particularly enjoyable are the marginal graffiti contributed by students who have taken courses based on this material. The authors want to convey not only the importance of the techniques presented, but some of the fun in learning and using them.
Novell's Certified Internet Business Strategist Study Guide, 1st edition
Authors: Jim Bowman
Venue:  (1998)

:Take the next step and open the door to exciting IT career opportunities with Novells Certified Internet Business Strategist Study Guide. Now you can learn to use the Internet to boost personal productivity, hone high-tech marketing strategies, and streamline customer service. Author and certified Novell professional Jim Bowman provides a complete review of Certified Internet Business Strategist courses 600 and 650. Novells Certified Internet Business Strategist Study Guide also delves into Web resource management, Internet business plan development, and marketing plan guidelines. Plus, Novells Certified Internet Business Strategist Study Guide covers prerequisites to Novells Certified Web Designer, Certified Intranet Manager, and Certified Web Developer certifications.
Shuffle factorization is unique
Authors: Jean Berstel, Luc Boasson
Venue: Theoretical Computer Science (2002)

We prove that, given a finite set of words S, there exists at most one (normalized) multiset P such that S is the shuffle of the words in P. The multiset P is effectively computable.
Teach Yourself HTML 4 in 24 Hours, 2nd edition
Authors: Dick Oliver, Molly E. Holzschlag
Venue:  (1997)

:Teach Yourself HTML in 24 Hours, Second Edition provides a quick step-by-step tutorial that is broken up into 24 short, one-hour chapters that are easy for the busy beginner to read and digest.Updated to cover all of the latest developments in HTML 4, Microsoft Internet Explorer 4, and Netscape Communicator 4 including Dynamic HTML and Cascading Style SheetsThe HTML Caf support site will be set up on the Sams Web site, providing online examples from the book, easy access to Web publishing shareware products, and updated materialShort, easy one-hour chapters are ideal for the busy beginner
A Tandem Queue with a Movable Server: An Eigenvalue Approach
Authors: Winfried K. Grassmann, Javad Tavakoli
Venue: SIAM Journal on Matrix Analysis and Applications (2002)

In this paper, we analyze a two station tandem queue with Poisson arrivals and exponential service times. All arrivals occur at the first line, and, after receiving service at the first station, they proceed to the second line. There is only a finite buffer between the stations, and, as soon as the buffer is full, any job completed by the first server is lost. To reduce customer loss, the first server can move to the second station and help the second server, thereby increasing its service rate. Once the work at station two is complete, the job leaves the system. The problem will be solved by using eigenvalues which can be obtained in explicit form. It is shown that this method is substantially faster than matrix analytic methods.
Correctly detecting intrinsic type errors in typeless languages such as MATLAB
Authors: Pramod G. Joisha, Prithviraj Banerjee
Venue: Proceedings of the 2001 conference on APL: an arrays odyssey (2001)

Among the main impediments that languages such as MATLAB and APL present to a compiler is the lack of an explicit declaration for a variable's type, The determination of this important attribute could allow a compiler to generate more efficient code, and is a problem that has been extensively studied in the past. This paper revisits this problem but unlike prior efforts, the objective is a uniform approach to type estimation that also accommodates type incorrect programs in a way that facilitates stronger type error detection through the exact localization of the type error at run time. We also show how our methodology makes it possible to further reduce the run-time overhead due to type conformability checking. The techniques are clearly demonstrated by applying them to deduce the intrinsic types of program variables in the MATLAB language.
Application-defined scheduling in Ada
Authors: Mario Aldea Rivas, Michael González Harbour
Venue: ACM SIGAda Ada Letters (2002)

This paper presents an application program interface (API) that enables Ada applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is currently implemented on our operating system MaRTE OS.
CG 101: A Computer Graphics Industry Reference
Authors: Terrance Masson, Steve Weiss
Venue:  (1999)

:This book is written for students, current CG artists, and related professionals such as teachers, managers, producers, directors, writers, and studio executives.
Select: Word 2000, 1st edition
Authors: Johnson Toliver, Pamela Toliver, Philip Koneman
Venue:  (1999)

:The SELECT Lab Series uses a highly visual, project-based approach that teaches readers through tasks supported by step-by-step instruction, and extensive 4-color figures tat guide learners through the basic skills and procedures necessary to demonstrate proficiency using each software application. The content of this text is driven the Microsoft Office User Specialist (MOUS) guidelines. Students work through step-by-step instructions in three projects designed to integrate files and data among Word, Excel, Access, and PowerPoint. For anyone interested in becoming more proficient in Microsoft Office.
Looking Good in Print, 4th edition
Authors: Roger C. Parker, Patrick Berry
Venue:  (1998)

:The New York Times says, "If you can afford only one book on desktop publishing, this is the one." MacWEEK says, "A graphic design primer for anyone who wants to design better-looking...desktop-published printed material." From PC Week, Looking Good in Print is an excellent and valuable resource." The fourth edition has been updated to reflect the now-mature desktop publishing world, covering all the commonly used print publishing formats. The book coaches designers to design with the reader (and readability) in mind, taking advantage of the strengths of the print medium while finessing its weaknesses, and avoiding both common and obscure design pitfalls. Continues and expands the popular Looking Good series, which has sold approximately 300,000 copies across all titles. Now celebrating its 10th anniversary with nearly a quarter million copies sold, Looking Good in Print has become a classic and virtually launched an entire genre. Recognized as the definitive work in its category, this booke features new information on service bureaus, color and printing, color lasers, new technologies, and much more.
Women, mathematics and computer science
Authors: Peter B. Henderson, Paul De Palma, Vicki L. Almstrum, Orit Hazzan, Kim Potter Kihlstrom
Venue: ACM SIGCSE Bulletin (2002)

"&hellip; women embrace the "precision" of mathematics." a quote from panelist Paul De Palma's viewpoint article "Why Women Avoid Computer Science" in the June 2001 CACM. Panelist Kim Kihlstrom notes "&hellip; I got into electrical engineering and then computer science exactly because I love math." Henderson's evidence indicates that women performed better than men in a mathematically oriented first course in computer science, and women felt the course was more beneficial than a traditional programming oriented first course. Regarding a mathematically oriented functional programming course for high schools Kathi Fisler says "Our high school teachers have noticed females preferring this to a conventional curriculum by as much as 5 to 1!"Coincidence, or is there a common thread here? Please join us for the discussion and share your own viewpoints.
Professional JSP
Authors: Karl Avedal, Ari Halberstadt, Danny Ayers, Timothy Briggs, Carl Burnham, Ray Haynes, Hen, Stefan Zeiger, Mac Holden
Venue:  (2000)

:Professional JSP (JavaServer Pages) covers a wide variety of areas including design and architecture, and JSP's relation to J2EE (Servlets, EJBs, JDBC etc), as well as extensive coverage of the tag extension mechanism that allows you to customize the tags you use in your pages to the data you're presenting. Readers are given an introduction to JSP, explaining how it relates to servlets - showing the tags - and creating beans to encapsulate business logic, to keep web page design simple. Further chapters cover database access with JDBC and connection pooling, JSP debugging, and web application architecture using JSP and servlets. After considering security issues in JSP web applications, the book concludes with seven real-world case studies including using JSP, XML and XSLT to target content at WAP and HTML browsers, e-commerce, streaming using JMF, and porting an existing ASP-based application to JSP. Appendices give programming refreshers on installing the Tomcat JSP/Servlet engine, detailed references to JSP, the Servlet API, and HTTP, and finally JSP for ASP programmers. This book is for both professional Java developers, who want to use JSP as the front-end of their J2EE web applications, and web designers, who want to see how JSP separates presentation from dynamic content generation. Although no knowledge of Java is assumed, reference will be made to a quick start Java tutorial at http://www.wrox.com and to other materials for some topics. Knowledge of HTML and some programming experience is required.
Course Ilt: Visio 2000 Professional, 1st edition
Authors: Karen (Ed.) Jacot
Venue:  (2000)

:An affordable, easily scannable one-day training guide designed for use in instructor-led training courses. 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
The Age of E-Tail: Conquering the New World of Electronic Shopping
Authors: Alex Birch, Geoff Mott, Dirk Schneider
Venue:  (2000)

:"The Age of E-Tail charts the forces reshaping consumer-driven business. The authors show how giants like Amazon.com and e-Bay dominate the e-tail space and help aspiring participants to use these lessons to create their own leadership position. Whether you are an entrepreneur, a retailer, a manufacturer, a wholesaler, a media company, an infrastructure company or service provider, The Age of E-Tail will help you to develop the strategies and tactics you need to prosper in the digital economy."--BOOK JACKET.
How to Hack a Party Line: The Democrats and Silicon Valley
Authors: Sara Miles, Miles Miles
Venue:  (2002)

:How to Hack a Party Line is the first book to explain the political significance of the high-technology industry. It shows the birth of a relationship between the new millionaires of the information age and the Washington insiders that will shape the politics of the twenty-first century. Packed with exclusive, behind-the-scenes reporting, How to Hack a Party Line chronicles a high-stakes experiment: the creation of Silicon Valley's first political machine. The book explores the often contradictory forces behind Silicon Valley's political awakening-a mixture of na&iuml;ve libertarian sentiment, northern California social attitudes, aggressive business instincts, and a raw desire for power. Simultaneously it looks at Centrist "new Democrats" who have left behind the liberal coalitions of the industrial economy and are seeking a new identity in the values proclaimed by high-tech capitalists: growth, globalism, efficiency, and innovation. How to Hack a Party Line combines a colorful, character-rich narrative with serious reporting and political analysis. It asks what values prosper when high-tech business becomes the metaphor for society-and how, in the twenty-first century, democracy will respond.
Specifying symbol instances
Authors: James D. Foley
Venue: ACM SIGGRAPH Computer Graphics (1976)

This paper reviews and compares the uses of dimensioning in the instance and dimensioning in the master to specify instances of symbol definitions in general-purpose graphics programming languages. The processing required to each case is described and compared. Dimensioning in the master is easier to implement, can allow faster display of images because of simpler processing, and semantically is a bit less powerful than dimensioning in the instance. When appropriate, both can gracefully coexist in a graphics language, but the great majority of graphics applications only need the semantic power of dimensioning in the master.
The Illustrated 3d Studio Quick Reference R4, 1st edition
Authors: Steven B. Combs, Jay H. Zirbel
Venue:  (1995)

:Whether you're a new user of 3D Studio or a seasoned professional, this book is an indispensable resource. Presenting clear, concise, and illustrated explanations of all commands available within 3D Studio, this reference is the tool you need to create effective three-dimensional computer graphics. Tap into the authors' wealth of expertise in the field to take full advantage of the exciting rendering and animation capacity of 3D Studio!
The Smart Way to Buy Information Technology: How to Maximize Value and Avoid Costly Pitfalls, 1st edition
Authors: Brad L. Peterson, Diane M. Carco
Venue:  (1997)

:This one-of-a-kind book helps companies make the most of their IT acquisitions budget by avoiding bad technology investments and harmful vendor relationships.
Reasoning agents in dynamic domains
Authors: Chitta Baral, Michael Gelfond
Venue: Logic-based artificial intelligence (2000)

The paper discusses an architecture for intelligent agents based on the use of A-Prolog- a language of logic programs under the answer set semantics. A-Prolog is used to represent the agent's reasoning tasks. We outline how these tasks can be reduced to answering questions about properties of simple logic programs and demonstrate the methodology of constructing these programs.
Fire in the Valley: The Making of the Personal Computer,Collector's Edition
Authors: Paul Freiberger, Michael Swaine
Venue:  (1999)

:First released in 1984, Fire in the Valley remains one of the most sought-after and widely revered testaments to the dynamic visionaries of the PC era. Now updated and expanded, the second edition contains more photos and new chapters, revealing how the PC came to transform the world today and will shape the century ahead. The authors look at recent developments at Apple, Microsoft, and IBM and convey the exciting development of other companies such as Sun, Netscape, Lotus, and Oracle in the Internet age. Itself a milestone in the fascinating history of the personal computer, Fire in the Valley is the definitive account of how it all happened and why.
State space generation for the HAVi leader election protocol
Authors: Yaroslav S. Usenko
Venue: Science of Computer Programming (2002)

This paper describes two specifications of the leader election protocol from the home audio/ video interoperability (HAVi) architecture. The specifications were written in two concurrent specification languages: µCRL and PROMELA. Two toolsets allowing generation of finite labeled transition systems, for µCRL and PROMELA, respectively, were applied in this case study. The results of the state space generation by both tools and some conclusions on the semantical differences between PROMELA and µCRL are presented in this paper.
Java Servlet Programming Bible with CD-ROM
Authors: Suresh Rajagopalan, Ramesh Rajamani, K. Ramesh
Venue:  (2002)

:This comprehensive reference shows Web and Java developers how to use Java Servlets and related technologies to build efficient, cutting-edge Web-based applications and their components.
I-Series: MS Office XP -- Volume I, 1st edition
Authors: Stephen Haag, James Perry
Venue:  (2002)

:The I-Series Applications textbooks strongly emphasize that students learn and master applications skills by being actively engaged- by doing. These texts have been written with clear,error-free,and unambiguous steps to accomplish tasks that lead to a finished document,worksheet or database table. The authors made the decision that teaching "how" to accomplish some task is not enough for complete understanding and mastery. Prior to introducing steps,the authors discuss why the steps students are about to experience are important and what role the steps play in the overall plan for creating a document,workbook or database.