ppxscal/embedding_network huggingface dataset:
Preference logic grammars: fixed point semantics and application to data standardization
Authors: Baoqiu Cui, Terrance Swift
Venue: Artificial Intelligence (2002)

The addition of preferences to normal logic programs is a convenient way to represent many aspects of default reasoning. If the derivation of an atom A1 is preferred to that of an atom A2, a preference rule can be defined so that A2 is derived only if A1 is not. Although such situations can be modelled directly using default negation, it is often easier to define preference rules than it is to add negation to the bodies of rules. As first noted by Govindarajan et al. [Proc. Internat. Conf. on Logic Programming, 1995, pp. 731-746], for certain grammars, it may be easier to disambiguate parses using preferences than by enforcing disambiguation in the grammar rules themselves. In this paper we define a general fixed-point semantics for preference logic programs based on an embedding into the well-founded semantics, and discuss its features and relation to previous preference logic semantics. We then study how preference logic grammars are used in data standardization, the commercially important process of extracting useful information from poorly structured textual data. This process includes correcting misspellings and truncations that occur in data, extraction of relevant information via parsing, and correcting inconsistencies in the extracted information. The declarativity of Prolog offers natural advantages for data standardization, and a commercial standardizer has been implemented using Prolog. However, we show that the use of preference logic grammars allow construction of a much more powerful and declarative commercial standardizer, and discuss in detail how the use of the non-monotonic construct of preferences leads to improved commercial software.
Interface Tracking for Axisymmetric Flows
Authors: James Glimm, John W. Grove, Yongmin Zhang
Venue: SIAM Journal on Scientific Computing (2002)

A front tracking method for inviscid gas dynamics is presented. The key constructions and algorithms used in the code are described and the interrelations between shock capturing, interface dynamics, computational geometry, grid construction, and parallelism are discussed for the code as a whole. Validation is carried out by comparing the single mode bubble velocity for Rayleigh--Taylor instability with theoretical models and experimental results. The calculations are validated by mesh refinement studies and by the comparison of the asymptotic limit of the minimum radius $r_{\rm min} \rightarrow \infty$ to a pure planar computation in two dimensions.
HTML 4.0: User's Resource
Authors: William H. Murray, Chris H. Pappas
Venue:  (1998)

:Get a head start on the programming pack and supercharge your Web pages with HTML 4.0. Get up to speed quickly with HTML and learn the new features that HTML 4.0 provides. Pappas and Murray take you step-by-step through the creation of simple but complete HTML code as each new topic is introduced. Early chapters start with topics and examples revolving around traditional HTML tags such as <HTML>, <HEAD>, <TITLE>, <BASE>, <LINK>, <STYLE>, <SCRIPT>, <META>, and more. In addition to a discussion on various tags and containers you'll learn how to format text and include graphics, links, tables, forms, animation, and more in your projects. More advanced topics include frames, scripting, cascading style sheets, layers, and Dynamic HTML. You'll also be introduced to CGI, JavaScript, and VBScript programming concepts.
Eye and gaze tracking for interactive graphic display
Authors: Qiang Ji, Zhiwei Zhu
Venue: Proceedings of the 2nd international symposium on Smart graphics (2002)

This paper describes preliminary results we have obtained in developing a computer vision system based on active IR illumination for real time gaze tracking for interactive graphic display. Unlike most of the existing gaze tracking techniques, which often require assuming a static head to work well and require a cumbersome calibration process for each person, our gaze tracker can perform robust and accurate gaze estimation without calibration and under rather significant head movement. This is made possible by a new gaze calibration procedure that identifies the mapping from pupil parameters to screen coordinates using the Generalized Regression Neural Networks (GRNN). With GRNN, the mapping does not have to be an analytical function and head movement is explicitly accounted for by the gaze mapping function. Furthermore, the mapping function can generalize to other individuals not used in the training. The effectiveness of our gaze tracker is demonstrated by preliminary experiments that involve gaze-contingent interactive graphic display.
An extended relational algebra with control over duplicate elimination
Authors: Umeshwar Dayal, Nathan Goodman, Randy H. Katz
Venue: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems (1982)

In the pure relational model, duplicate tuples are automatically eliminated. Some real world languages such as DAPLEX, however, give users control over duplicate elimination. This paper extends the relational model to include multiset relations, i.e., relations with duplicate tuples. It considers three formalisms for expressing queries in this model: extended relational algebra, tableaux, and DAPLEX. It shows that, as in the original algebra, the equivalence problem for conjunctive expressions in the extended algebra can be solved using tableaux, and is NP-complete. Finally, it demonstrates that the extended algebra and DAPLEX have essentially the same expressiveness relative to conjunctive expressions.
Dataflow process networks
Authors: Edward A. Lee, Thomas M. Parks
Venue: Readings in hardware/software co-design (2001)

We review a model of computation used in industrial practice in signal processing software environments and experimentally in other contexts. We give this model the name "dataflow process networks," and study its formal properties as well as its utility as a basis for programming language design. Variants of this model are used in commercial visual programming systems such as SPW from the Alta Group of Cadence (formerly Comdisco Systems), COSSAP from Synopsys (formerly Cadis), the DSP station from Mentor Graphics, and Hypersignal from Hyperception. They are also used in research software such as Khoros from the University of New Mexico and Ptolemy from the University of California at Berkeley, among many others.Dataflow process networks are shown to be a special case of Kahn process networks, a model of computation where a number of concurrent processes communicate through unidirectional FIFO Channels, where writes to the channel are nonblocking, and reads are blocking. In dataflow process networks, each process consists of repeated "firings" of a dataflow "actor". An actor defines a (often functional) quantum of computation. By dividing processes into actor firings, the considerable overhead of context switching incurred in most implementations of Kahn process networks is avoided. We relate dataflow networks to other dataflow models, including those used in dataflow machines, such as static dataflow and the tagged-token model. We also relate dataflow process networks to functional languages such as Haskell, and show that modern language concepts such as higher-order functions and polymorphism can be used effectively in dataflow process networks. A number of programming examples using a visual syntax are given.
Power analysis techniques for SoC with improved wiring models
Authors: Takeshi Sakamoto, Takashi Yamada, Mamoru Mukuno, Yoshifumi Matsushita, Yasoo Harada, Hiroto Yasuura
Venue: Proceedings of the 2002 international symposium on Low power electronics and design (2002)

This paper proposes two techniques for improving the accuracy of gate-level power analysis for system-on-a-chip (SoC).
The Book of IRC
Authors: Alex Charalabidis
Venue:  (2000)

:This comprehensive guide shows how to talk in real time on the Internet using Internet Relay Chat (IRC). Author Alex Charalabidis provides instruction and answers for users at every level as well as offering complete coverage of more advance topics such as scripting, robots, and client authoring. 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
Predictive Coding in the Visual Cortex by a Recurrent Network with Gabor Receptive Fields
Authors: Gustavo Deco, Bernd Schürmann
Venue: Neural Processing Letters (2001)

We derive a recurrent neural network architecture of single cells in the primary visual cortex that dynamically improves a 2D-Gabor wavelet based representation of an image by minimizing the corresponding reconstruction error via feedback connections. Furthermore, we demonstrate that the reconstruction error is a Lyapunov function of the herein proposed recurrent network. Our model of the primary visual cortex combines a modulatory feedforward strategy and a feedback subtractive correction for obtaining an optimal coding. The fed back error is used in our system for a dynamical improvement of the feedforward Gabor representation of the images, in the sense that the feedforward redundant representation due to the non-orthogonality of the Gabor wavelets is dynamically corrected. The redundancy of the Gabor feature representation is therefore dynamically eliminated by improving the reconstruction capability of the internal representation. The dynamics therefore introduce a nonlinear correction to the standard linear representation of Gabor filters that generates a more efficient predictive coding.
Java 2 from Scratch with Cdrom
Authors: Steve Haines
Venue:  (1999)

:Java 2 From Scratch walks you through the analysis, design and implementation of a functioning application using Java 2. Learn all the critical programming concepts and techniques associated with the language in the context of creating a functioning Stock Market Tracker/Analyzer. Each chapter builds on the previous with a casual tone, in-depth examples, and detailed steps to ultimately create a working stock market tracker. Key areas addressed are user interface design, SWING user interface, Internet communication, file I/O, painting/drawing, and brief introductions to JDBC and RMI.
Code generation for silicon
Authors: S. C. Johnson
Venue: Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1983)

Compiler writers facea bleak future---soon everyone will be using Ada on the Nebula Architecture and there will be no further need for our services. Luckily, it appears to be possible to recycle compiler writers by encouraging them to build circuit design tools (Silicon Compilers). Many of the standard techniques used in compilers can be immediately applied in circuit design, especially for LSI circuits. In part, this paper attempts to serve as a tutorial, casting some of the problems of designing in nMOS with the Mead-Conway design rules into the vocabulary of the compiler writer. The paper also discusses experience with a Silicon compiler that has fabricated over two dozen different designs.
How to Boss Your Fonts around: A Primer on Font Technology and Font Management on the MacIntosh, 2nd edition
Authors: Robin Williams
Venue:  (1998)

:Do your fonts frustrate you to the point of distraction? Are you lost in the world of font technology? If so, let award-winning author Robin Williams help you take control. In this revised and updated edition, Robin explains the basics of identifying types of fonts, installing and organizing fonts, and working with printers and service bureaus. There's all-new material on font utilities and using ATM Deluxe, MasterJuggler, Suitcase, and Font Reserve to manage your fonts.
Visual Basic.Net Core Language Little Black Book
Authors: Steven Holzner
Venue:  (2002)

:Visual Basic .NET Core Language Little Black Book is an indispensable quick reference guide to Visual Basic .NET syntax and data organization. Readers get a guided tour with an expert programmer who concisely explains how to use the Visual Basic tools, from the Integrated Development Environment to the debugger. It helps readers master common programming tasks, such as working with databases, ASP.NET, ADO.NET, and the core Visual Basic controls. This at-your-fingertips guide focuses on core programming topics and writing code. Plus, it includes a tear-out, quick-reference card summarizing the Visual Basic .NET language.
PathLog: a query language for schemaless databases of partially labeled objects
Authors: Tadeusz Pankowski
Venue: Fundamenta Informaticae (2002)

In the paper we deal with the problem of modeling and querying information in schemaless databases of partially labeled objects (PLO-DB). Partially labeled objects are used for modeling data within repositories integrating both structured and semistructured data. The proposed PLO (Partially Labeled Objects) data model originates from the OEM data model and extends it by allowing partial labeling of objects. For PLO-DB we propose a rule-oriented query language PathLog, which data manipulation paradigm is based on set-theoretical operations and on rules (in Datalog style) involving Skolem functions and referential variables. The main contribution of the paper is the development of a formalized and consistent model of schemaless databases of partially labeled objects and its query language PathLog.
Internet Business Tools, 1st edition
Authors: Bruce J. McLaren, Constance H. McLaren
Venue:  (1999)

:This book shows how fundamental business concepts apply to the world of e-commerce It covers personal applications such as online banking, retail purchasing, and consumer education as well as business applications such as Internet marketing, advertising, and security. Case Studies are provided. This book also shows how to build and maintain a commercial Web site and includes end-of-chapter projects that emphasize the practical application of technical skills in a business setting.
Dynamic route descriptions: tradeoffs by usage goals and user characteristics
Authors: C. M. Chewar, D. Scott McCrickard
Venue: Proceedings of the 2nd international symposium on Smart graphics (2002)

Principles are empirically established for various multimodal representations of route descriptions that are found to facilitate aspects of user navigation performance on significantly different levels. Some representations clearly minimize navigation completion time, navigation error, and/or distraction to focal view, while others hinder these goals. Furthermore, user characteristics such as brain lateralization and information type preference relate to significant differences in representation effectiveness. "Best Choice" route depictions are presented based on experimental participant performance data from a simulated navigation task. Results may be useful in information design for helmet-mounted displays and other wearable computing devices.
Lightspeed Business: Find It,Fund It,Build It,when There's No Margin for Error
Authors: J. Neil Weintraut, Christopher Barr
Venue:  (2001)

:Leading experts get entrepreneurs and investors up to speed on high-growth business opportunities The rules of building a new business changed dramatically with the bursting of the dot com bubble. Yet despite the ups and downs of the stock market, the time has never been riper for entrepreneurs and investors. Most industry observers now agree that the next few years will see a dramatic growth of opportunities in wireless and broadband communications, consumer and enterprise marketing, health services, and banking, just to name a few e-business sectors. But, to succeed in this new environment, you have to play by new rules, and sources of expert advice and guidance are few and far between. Coauthored by one of today's most successful and visible entrepreneurs and venture capitalists, Lightspeed Business fills that information vacuum with no-nonsense advice and practical wisdom. With hard-hitting analysis, invaluable insights, and war stories gleaned from an unparalleled tenure in the trenches, the authors deliver proven money-making ideas, present new rules on how to start, finance, and invest in a successful startup, and explain why conventional business strategies are doomed to failure in this new business environment. Lightspeed Business provides everything investors need to know to recognize a big opportunity and quickly build a successful business. J. Neil Weintraut (Palo Alto, CA) is the founder and General Partner of 21st Century Internet Venture Partners. Christopher Barr (San Francisco, CA) was the founding Editor in Chief of CNET. Currently, he serves as Vice President and Editor at Large at CNET.
Design and implementation of a mobile device for outdoor augmented reality in the archeoguide project
Authors: Tim Gleue, Patrick Dähne
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

This paper presents the design and implementation issues associated with the development of a mobile device for the ARCHEOGUIDE project. We describe general and application specific design goals as well as the technical requirements the implementation is based upon. Since speed is crucial for an interactive application we provide a survey of mobile and wearable computing equipment especially considering performance aspects. A detailed overview of available hardware components follows. We describe the decisions made during prototype development and present the final result --- a mobile unit for outdoor Augmented Reality tours in cultural-heritage sites. Finally we discuss the experiences we made using the system during a first trials phase at ancient Olympia in Greece.
CCIE Professional Development: Large-Scale IP Network Solution
Authors: Don Slice, Mark Turner
Venue:  (1999)

:An essential guide to scaling and maintaining large networks.Understand critical scalability issues and the parameters to plan for future network growthExamine detailed migration plans with sample scenarios and working Cisco configuration examplesLearn the pros and cons of each major routing protocol and how to choose the right one for your environmentUnderstand the operations and scalability features of Protocol Independent Multicast (PIM)Implement effective quality of service and network management techniquesBenefit from extensive large-scale network design and configuration case studiesLarge-Scale IP Network Solutions provides practical advice for network engineers as IP networks grow and become more complex. With in-depth discussions of the major IP protocolsincluding RIP, Enhanced IGRP, OSPF, IS-IS, and BGPthis book evaluates the strengths and weaknesses of each protocol. In addition to specific large and medium network protocol deployment issues, this guide contains special sections on more general topics such as network management, core and distribution networks, multicasting, and quality of service features.Router configuration examples, network case studies, and sample scenarios all help you put the book's information to use and become an effective Cisco Certified Internetwork Expert (CCIE). In addition, this title offers unique elements to help you prepare for the exam, including: case studies that highlight real-world design, implementation, management, and troubleshooting issues; configuiration examples from actual network input and output; scenarios that help you put solutions to use; andreview questions and exercises.
Financial Analysis with Microsoft Excel, 2nd edition
Authors: Timothy R. Mayes, Todd M. Shank
Venue:  (2001)

:This was the first book to completely integrate corporate finance topics with spreadsheet analysis and focus exclusively on Microsoft Excel. These two key features prove that Financial Analysis with Microsoft Excel is the book that will prepare students for financial analysis in the real world. Designed for courses in corporate finance where Microsoft Excel is used to solve financial problems, the text is also appropriate for advanced financial management courses, financial models or case courses, Senior finance seminar courses, and introductory MBA-level corporate finance courses. The unique approach gives the student a chance to experiment with applications of materials by using Microsoft Excel.
Teach Yourself Visual C++ 6 Online in Webtime with Cdrom, 1st edition
Authors: Jeff Kurtz, Jerry Kurtz
Venue:  (1999)

:Sams Teach Yourself Visual C++ in WebTime teaches you, through a series of lessons, quizzes, and programming exercises, how to get the most out of the preferred development tool used by professional developers. This course teaches the C++ programmer how to develop custom Windows applications with Microsoft's newest and most feature-packed development environment, Visual C++ 6. The course is designed to get C++ programmers into the mainstream of Windows programming using such technologies as Activex, Threads, Property Sheets, Views, and Databases. The learning experience is enhanced with an instructional Web site.
Advantage Series: Microsoft Access 2000 Brief Edition, 1st edition
Authors: Sarah E. Hutchinson-Clifford, Glen Coulthard
Venue:  (1999)

:The Advantage Series presents the Why,What and How of computer application skills to today's students. Each lab in this series is built upon an efficient learning model,which provides students and faculty with complete coverage and enhances critical thinking skills.
Cases and Applications in Lotus 1-2-3, Releases 2.3, 2.4, 3.1 and 3.4, 5th edition
Authors: Jack A. Holt, John F. Kottas
Venue:  (1994)

:Holt covers all the major features of the new releases (2. 4 and 3. 4) of Lotus 1-2-3,as well as previous releases 2. 2,2. 3,and 3. 1. The text can be used for courses that spend a predominant amount of time teaching how to use spreadsheets in a business situation. The book may be used in a course devoted entirely to Lotus 1-2-3,or it may be packaged with an Information Systems concepts textbook to satisfy the coverage in the Introduction to Information systems course. It provides a wide breadth of real business cases and exercises. Business problems proceed the more complex cases and provide the needed support and expertise to solve the cases. These cases which vary in level of depth and difficulty are indicative of what managers must cope with on a day-to-day basis. The focus of the text is on the powerful analytical tools of Lotus so students can make more effective decisions more quickly. The areas of application span accounting,finance,marketing operations,and general business needs and analyses.
Broadcast technologies for disseminating cultural heritage
Authors: John Cosmas, Take Itegaki, Kannan Krishnapillai, Alan Lucas, Mohammed Akhtar, Graham Thomas, Jigna Chandaria, Wolfgang Putz, Andre Everts, Michael Probst, Peter Stammnitz, Jens Guether, Wolfram Liebsch, Gerhard Stoll, Christoph Dosch Reiner Socker, Chris Brendes, Ronald Mies, Dick Van Smirren, Benoit Mory, Nicolas Santini, Alan Pearmain, Yakup Paker, Mounia Lalmas, Damien Parwporth, Ekaterina Moutogianni, Gunn Klungsoeyr, Lena Pedersen, Pers-Steinar Hansen, Klaus Illgner
Venue: Proceedings of the 2001 conference on Virtual reality, archeology, and cultural heritage (2001)

This paper introduces the System for Advanced Multimedia Broadcast and IT Services (SAMBITS). It consists of a Studio, Server and TV Terminal system for broadcasting audio/video TV content enhanced by 3D graphics, Internet pages, database indexing and sub-image streaming. It describes two scenarios program for disseminating cultural heritage. The readers are invited to imagine how this system could be used to prepare programs for disseminating archaeology. The paper describes the Studio and Server Tools and the main functionality of the TV terminal. It describes the functionality of the terminal through the description of the scenario in conjunction with illustrative screen shots.