ppxscal/embedding_network huggingface dataset:
Perceptual organization with image formation compatibilities
Authors: Josef Pauli, Gerald Sommer
Venue: Pattern Recognition Letters (2002)

The work presents a methodology contributing to boundary extraction in images of approximate polyhedral objects. We make extensive use of basic principles underlying the process of image formation and thus reduce the role of object-specific knowledge. Simple configurations of line segments are extracted subject to geometric-photometric compatibilities. The perceptual organization into polygonal arrangements is based on geometric regularity compatibilities under projective transformation. The combination of several types of compatibilities yields a saliency function for extracting a list of most salient structures. Based on systematic measurements during an experimentation phase the adequacy and degrees of compatibilities are determined. The methodology is demonstrated for objects of various shapes located in cluttered scenes.
The Universal Machine: A Multimedia Introduction to Computing with Cdrom, 1st edition
Authors: Glenn Blank, Robert Barnes
Venue:  (1998)

:This new introduction to the concepts of systematic C++ programming, problem solving, and software engineering is accompanied by a highly interactive CDROM with numerous exercises. Several approaches to C++ programming are featured, including functional decomposition and object-orientation.
Object-Oriented Methods, 1st edition
Authors: James Martin, James J. Odell
Venue:  (1994)

:The field of object orientation has evolved dramatically in the past several years, most recently with the introduction of the United Modeling Language (UML) - a standard approach to notation and modeling for object-oriented analysis and design. Now, world-renowned IT strategist James Martin, together with James Odell - a leader on the UML standardization effortjoin forces to deliver an insightful introduction to object-oriented methods using UML. This timely, authoritative, in-depth exploration of object-oriented analysis gives you a formal foundation for modeling both new software and new business processes. Object orientation and UML enable you to model regardless of language, to organize coherently all the technologies you wish to use, and to create designs that can evolve gracefully as new technologies and approaches come along. Object-Oriented Methods: A Foundation, UML Edition gives you the intellectual framework to make the most of object orientation no matter how you intend to apply it. Odell and Martin introduce more advanced structuresincluding constraints, rules, meta-modeling, power types, and dynamic and multiple classification - which make it possible to describe and specify systems with greater ease and power. They demonstrate the UML's approach to modeling object structure and behavior; review finite-state machine and scenario-based modeling; and present basic considerations for designing and implementing systems modeled with UML.
An Analysis of the Zero-Crossing Method for Choosing Regularization Parameters
Authors: Peter R. Johnston, Ramesh M. Gulrajani
Venue: SIAM Journal on Scientific Computing (2002)

Solving discrete ill-posed problems via Tikhonov regularization introduces the problem of determining a regularization parameter. There are several methods available for choosing such a parameter, yet, in general, the uniqueness of this choice is an open question. Two empirical methods for determining a regularization parameter (which appear in the biomedical engineering literature) are the composite residual and smoothing operator and the zero-crossing method. An equivalence is established between the zero-crossing method and a minimum product criterion, which has previously been linked with the L-curve method. Finally, the uniqueness of a choice of regularization parameter is established under certain restrictions on the Fourier coefficients of the data in the ill-posed problem.
Java bytecode as a typed term calculus
Authors: Tomoyuki Higuchi, Atsushi Ohori
Venue: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002)

We propose a type system for the Java bytecode language, prove the type soundness, and develop a type inference algorithm. In contrast to the existing proposals, our type system yields a typed term calculus similar to type systems of lambda calculi. This enables us to transfer existing techniques and results of type theory to a JVM-style bytecode language. We show that ML-style let polymorphism and recursive types can be used to type JVM subroutines, and that there is an ML-style type inference algorithm.The type inference algorithm has been implemented. The ability to verify type soundness is a simple corollary of the existence of type inference algorithm. Moreover, our type theoretical approach opens up various type safe extensions including higher-order methods, flexible polymorphic typing through polymorphic type inference, and type-preserving compilation.
Master Microsoft Office 2000 Visually, 1st edition
Authors: Paul Whitehead
Venue:  (1999)

:A comprehensive, visual reference designed to appeal to more sophisticated users. The CD-ROM includes a fully searchable Acrobat version of the book and hundreds of megabytes of valuable Windows utilities.
Intelligent agents for automated one-to-many e-commerce negotiation
Authors: Iyad Rahwan, Ryszard Kowalczyk, Ha Hai Pham
Venue: Australian Computer Science Communications (2002)

Negotiation is a process in which two or more parties with different criteria, constraints, and preferences, jointly reach an agreement on the terms of a transaction. Many current automated negotiation systems support one-to-one negotiation. One-to-many negotiation has been mostly automated using various kinds of auction mechanisms, which have a number of limitations such as the lack of the ability to perform two-way communication of offers and counteroffers. Moreover, in auctions, there is no way of exercising different negotiation strategies with different opponents. Even though auction-based online trading is suitable for many applications, there are some in which there is a need for such greater flexibility. There has been a significant body of work towards sophisticated one-to-one automated negotiation. In this paper, we present a framework for one-to-many negotiation by means of conducting a number of concurrent coordinated one-to-one negotiations. In our framework, a number of agents, all working on behalf of one party, negotiate individually with other parties. After each negotiation cycle, these agents report back to a coordinating agent that evaluates how well each agent has done, and issues new instructions accordingly. Each individual agent conducts reasoning by using constraint-based techniques. We outline two levels of strategies that can be exercised on two levels, the individual negotiation level, and the coordination level. We also show that our one-to-many negotiation architecture can be directly used to support many-to-many negotiations. In our prototype Intelligent Trading Agency (ITA), agents autonomously negotiate multi- attribute terms of transactions in an e-commerce environment tested with a personal computer trading scenario.
Improving SAT using 2SAT
Authors: Lei Zheng, Peter J. Stuckey
Venue: Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4 (2002)

Propositional satisfiability (SAT) is a fundamental problem of immense practical importance. While SAT is NP-complete when clauses can contain 3 literals or more, the problem can be solved in linear time when the given formula contains only binary clauses (2SAT). Many complete search algorithms for SAT solving have taken advantage of 2SAT information that occurs in the statement of the problem in order to simplify the solving process, only one that we are aware of uses 2SAT information that arises in the process of the search, as clauses are simplified. There are a number of possibilities for making use of 2SAT information to improve the SAT solving process: maintaining 2SAT satisfiability during search, detecting unit consequences of the 2SAT clauses, and Krom subsumption using 2SAT clauses. In this paper we investigate the tradeoffs of increasing complex 2SAT handling versus the search space reduction and execution time. We give experimental results illustrating that the SAT solver resulting from the best tradeoff is competitive with state of the art Davis-Putnam methods, on hard problems involving a substantial 2SAT component.
Linux+ (TM)Certification Study Guide
Authors: Drew Bird, Mike Harwood
Venue:  (2001)

:The only classroom-based training and self-assessment system! Osborne's Linux+ Certification Study Guide provides 100% complete coverage of all objectives for this exam. Based on 200,000+ hours of IT training experience,the book contains hundreds of practice exam questions and hands-on exercises. The CD-ROM features full CertTrainer CBT software with interactive tutorials and lab simulations,plus the new ExamSim adaptive test engine. The Only Certification Study System Based on 200,000+ Hours of IT Training Experience100% Complete CoverageAll official test objectives for the CompTIA Linux+ exam are covered in detail Hands-on ExercisesStep-by-step instruction modeled after classroom labs Exam WatchWarnings based on thorough post-exam research identifying the most troublesome exam topics and how to answer them correctly Three Types of Practice QuestionsKnowledge,scenario,and lab-based questions,all with in-depth answers From the ClassroomDiscussions of important issues direct from the classroom Full coverage of the topics you need to review,including how to:Identify the purpose of a Linux machine based on predetermined customer requirements Determine what software and services should be installed Partition according to your preinstallation plan using fdisk Select appropriate networking configuration and protocols Create users and passwords during installation Reconfigure X-Window with automated utilities Load,remove,and edit list modules Identify and change file permissions,modes,and types by using chmod,chown,and chgrp Performadministrative tasks while logged in as root,and by using the su command Monitor system log files regularly for errors,logins,and unusual activity Describe troubleshooting best practices Identify proper procedures for diagnosing and troubleshooting peripheral devices CD-ROM features full CertTrainer CBT software and the ExamSim test enginemore than 200 questions on CDCertTrainere-TrainingSelf-paced review of key Linux+ topics,including exam tips In-depth LinksNeed more explanation? Topically relevant links provide detailed instruction Skill AssessmentTest your knowledge with more than 200 challenging practice exam questions Score ReportsIndicate subject areas requiring further study ExamSimComplete Practice ExamA realistic Linux+ exam with questions found only on the CD-ROM Review ModeAnalyze what you got wrong and why Detailed AnswersExplain why the correct options are right and why the incorrect options are wrong Score ReportsProvide an overall assessment of your performance PLUSE-bookElectronic,searchable version of the Study Guide
Graphics for Engineers: With AutoCAD Release 14 and 2000, 5th edition
Authors: James H. Earle
Venue:  (1999)

:Graphics for Engineers with AutoCAD Release 14 and 2000 is designed to help students expand their creative talents and communicate their ideas effectively. Its layout, format, and content have been classroom-tested to make it user friendly and excellent for both classroom use and independent study. Students who use this text will learn ANSI standards, techniques to prepare working drawings, the solution of 3D problems and spatial analysis through descriptive geometry, and the use of graphics as a medium of design. Features:New coverage of AutoCAD R.14 and highlights AutoCAD R.2000Greater emphasis on the design processEven more illustrationsIncreased coverage of solid modelingOver 500 end-of-chapter problemsProblem books: 18 problem books and teacher's guides (with outlines, solutions, and tests) have been designed to support this textbook and are available from Creative Publishing.
The Auction APP: How Companies Tap the Power of Online Auctions to Maximize Revenue Growth
Authors: Leland Harden, Bob Heyman
Venue:  (2002)

:How companies such as L. L. Bean and Sun Microsystems are using online auctions to help boost their bottom lines From liquidating excess inventory to B2B materials procurement,corporate America has discovered online auctions as a catalyst for redefining old supply-chain relationships and business practices. Most analysts consider them the next big business opportunity. The Auction App details the tools and tactics employed by Sun Microsystems,Coca-Cola,and companies of any size and virtually every industry for creating,conducting,managing,and executing online auctions. Greater numbers of businesses will be able to discover the numerous profitable advantages of utilizing online auctions. The Auction App shows them how to&#58 Liquidate excess inventory Acquire new customers cost-effectively Conduct real-time market research Provide new avenues of cooperation between sellers and suppliers
ActiveX
Authors: Bud Aaron, Ben Thompson
Venue:  (1996)

:This step-by-step tutorial starts with a brief summary of how to create a Web site and then advances into the cutting-edge technologies. Learn the background of ActiveX, install and use Microsoft Internet Explorer, and understand HTML development.
Software Management, Fifth Edition, 5th edition
Authors: Donald J. Reifer
Venue:  (1997)

:Provides both the novice and experienced manager with the necessary materials to understand and use the basic theories, concepts, tools, and techniques of software engineering project management. This long-awaited 5th edition has been thoroughly revised and expanded with three new chapters, 33 new papers, and new case studies providing insight into tools and techniques that work. 550 pp. Pub: 9/97.
Bookmarks for Public Writing, 1st edition
Authors: John J. Ruszkiewicz, Janice R. Walker
Venue:  (1999)

:Bookmarks is a new-generation research guide built on the assumption that students need to appreciate both conventional methods of research and techniques associated with rapidly developing electronic technologies.. "Bookmarks is designed as a bridge between old and new traditions - a guide for the college writers working in both print and electronic environments. It invites them to think of themselves, perhaps for the first time, as serious researchers.
Managing Information Technology: What Managers Need to Know, 4th edition
Authors: Jeffrey A. Hoffer, Carol V. Brown, Daniel W. Dehayes, Willia Perkins
Venue:  (2001)

:Managing Information Technology, 4/E focuses on management of information technology topics vital to a successful career as a manager. The book has been completely updated to reflect the rapid changes in information technology and new types of business applications. Up-to-date content includes the latest changes in computer systems and software, such as Windows 2000, Linux, and XML; the growth of cyber-businesses and the e-business activities of traditional companies; and social and ethical issues of information technology. For managers in the field of information technology.
I'm on the Internet,Now What?!
Authors: Matt Lake
Venue:  (2001)

:Even if the web is all a mystery to you, you can explore its limitless possibilities, starting with what's most interesting. First, stop on the "What Now?" cruise: E-mail. Contact friends, join discussion groups with your favorite interests, play in live-action chat rooms. Research the phone numbers of lost loves, locate your name in the papers, genealogies, health and medical info, the latest news, and expert advice for your personal life, career, and hobbies. You can shop the universe with a secure credit card to reserve airline tickets, car rentals, hotel reservations, concert tickets. Try banking and paying bills online. Listen to any radio station in the world, watch live views of almost anything, and filter the web for your kids. 7 1/2 X 9 1/4. All in Color
New stability results for adversarial queuing
Authors: Zvi Lotker, Boaz Patt-Shamir, Adi Rosén
Venue: Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures (2002)

We consider the model of "adversarial queuing theory" for packet networks introduced by Borodin et al. [6]. We show that the scheduling protocol First-In-First-Out (FIFO) can be unstable at any injection rate larger than $1/2$, and that it is always stable if the injection rate is no more than 1/d, where d is the length of the longest route used by any packet. We further show that every work-conserving (i.e., greedy) scheduling policy is stable if the injection rate is no more than 1/(d+1).
Sams Teach Yourself Microsoft Publisher 2000 in 24 Hours, 1st edition
Authors: Ned Snell
Venue:  (1999)

:Sams Teach Yourself Microsoft Publisher 2000 in 24 Hours steps you through everything you need to know in order to quickly create a desired publication, while building skills that can be applied in the future to other types of projects. Since Microsoft Publisher comes with hundreds of built-in templates, the focus of this book is not on specific types of projects, but on basic product features and general desktop publishing and design techniques that help you use and customize templates for a variety of different types of publications. Topics include page design, working with text and type, pictures, backgrounds and color, publishing on paper, and publishing online.
Automated discovery of concise predictive rules for intrusion detection
Authors: Guy Helmer, Johnny S. K. Wong, Vasant G. Honavar, Les Miller
Venue: Journal of Systems and Software (2002)

This paper details an essential component of a multi-agent distributed knowledge network system for intrusion detection. We describe a distributed intrusion detection architecture, complete with a data warehouse and mobile and stationary agents for distributed problem-solving to facilitate building, monitoring, and analyzing global, spatio-temporal views of intrusions on large distributed systems. An agent for the intrusion detection system, which uses a machine learning approach to automated discovery of concise rules from system call traces, is described.We use a feature vector representation to describe the system calls executed by privileged processes. The feature vectors are labeled as good or bad depending on whether or not they were executed during an observed attack. A rule learning algorithm is then used to induce rules that can be used to monitor the system and detect potential intrusions. We study the performance of the rule learning algorithm on this task with and without feature subset selection using a genetic algorithm. Feature subset selection is shown to significantly reduce the number of features used while improving the accuracy of predictions.
Teaching computer concepts using virtual machines
Authors: Ola Ågren
Venue: ACM SIGCSE Bulletin (1999)

A set of virtual assemblers and a virtual machine are used as a teaching tool in order to teach students differences and similarities between architectural styles of computer processors. Programs written by the students in the virtual assemblers are compiled using the corresponding virtual assembler. They are then executed on the virtual machine so that students can follow the execution of the programs step by step or at full speed.
Systems Modeling for Business Process Improvement, 1st edition
Authors: Dave Bustard, Mark Norris, Peter Kawalek
Venue:  (2000)

:Effective application of Information Technology (IT) can be the key to achieving organizational change and improvements that directly impact your company's success in today's highly competitive business environment. In this practical new book, you discover cutting edge approaches for developing system models that bridge the traditional gap between Information Systems and Software Engineering and let you more effectively manage change and outcomes. With contributions from top researchers and practitioners in the field  including Ian Sommerville, Wendy Currie, Keith Bennett, and Dave Bustard  the book examines change from business, information systems, and software engineering perspectives, and addresses major concepts and issues in systems thinking and business process improvement.
Verifiable Partial Escrow of Integer Factors
Authors: Wenbo Mao
Venue: Designs, Codes and Cryptography (2001)

We construct an efficient interactive protocol for realizing verifiable partial escrow of the factors of an integer n with time-delayed and threshold key recovery features. The computational cost of the new scheme amounts to 10k\log_2P multiplications of numbers of size of P, where P is a protocol parameter which permits n of size up to (\log_2P) -4 to be dealt with and k is a security parameter which controls the error probability for correct key escrow under 1/2^k. The new scheme realizes a practical method for fine tuning the time complexity for factoring an integer, where the complexity tuning has no respect to the size of the integer.
CDMA Mobile Radio Design, 1st edition
Authors: John B. Groe, Lawrence E. Larson
Venue:  (2001)

:This new book presents the complete design background of a CDMA mobile radio, including hardware and software, digital, analog and RF, in one complete, convenient volume. You get an integral understanding of where this essential piece of communications technology fits into the CDMA "big picture" and what the basic parts are that make it work. Such an approach provides you with a complete understanding of how mobile radio hardware and software design affect system performance. CDMA Mobile Radio Design includes an overview of mobile communications principles and covers the basics of direct sequence spread spectrum communications systems before delivering a comprehensive look at the digital signal processing and software functions of a typical CDMA mobile radio. By examining the vital link between hardware performance and system specifications, you get insight into the tradeoffs to be made during design, simulation, and production. The book... > Details the DSP algorithms and the RF circuits included in the mobile radio > Investigates third generation (WCMDA) wireless standards and their impact > Examines advances that are certain to occur in future mobile radio design In addition, this book presents the full impact that key circuit and device approaches have on typical CDMA system operation by examining the individual building blocks of the CDMA mobile radio. A detailed discussion of modulation techniques, analog-to-digital and digital-to-analog conversion, and the radio frequency portion of the mobile radio are included.
PERL 5 Pocket Reference, 2nd edition
Authors: Johan Vromans
Venue:  (1998)

:This is the standard quick-reference guide for the Perl programming language. It provides a complete overview of the language, from variables to input and output, from how control to regular expressions, from functions to document formats - all packed into a convenient, carry-around booklet. Updated to cover Perl version 5.005.
Disciplinary differences and undergraduates' information-seeking behavior
Authors: Ethelene Whitmire
Venue: Journal of the American Society for Information Science and Technology (2002)

This study applied the Biglan model of disciplinary differences to the information-seeking behavior patterns of 5,175 undergraduates responding to questions on the College Student Experiences Questionnaire (CSEQ). The Biglan model categorizes academic disciplines along three dimensions: (1) hard-soft, (2) pure-applied, and (3) life-nonlife systems. Using t-tests, this model proved to be valid for distinguishing differences in undergraduates' information-seeking behavior patterns among various academic disciplines. The results indicate that the Biglan model has implications for the redesign of academic library services and use as a valid theoretical framework for future library and information science research.