ppxscal/embedding_network huggingface dataset:
Feature&dash;based learning of search&dash;guiding heuristics for theorem proving
Authors: Marc Fuchs, Matthias Fuchs
Venue: AI Communications (1998)

Automated reasoning or theorem proving essentially amounts to solving search problems. Despite significant progress in recent years theorem provers still have many shortcomings. The use of machine&dash;learning techniques is acknowledged as promising, but difficult to apply in the area of theorem proving. We propose here to learn search&dash;guiding heuristics by employing features in a simple, yet effective manner. Features are used to adapt a heuristic to a solved source problem. The adapted heuristic can then be utilized profitably for solving related target problems. Experiments have demonstrated that the approach allows a theorem prover to prove hard problems that were out of reach before.
Ajax on Rails
Authors: Scott Raymond
Venue:  (2007)

Learn to build dynamic, interactive web applications using the two most important approaches to web development today: Ajax and the phenomenally efficient Ruby on Rails platform. This book teaches intermediate to advanced web developers how to use both Ajax and Rails to quickly build high-performance, scalable applications without being overwhelmed with thousands of lines of JavaScript code. More than just recipes, you also get a thorough, low-level understanding of what's happening under the hood. Ajax on Rails includes three fully worked out Rails/Ajax applications, and quick reference sections for Prototype and script.aculo.us.Testing lessons show you how to eliminate cross-browser JavaScript errors and DOM debugging nightmares using a combination of Firebug, and Venkman.Advanced material explains the most current design practices for Ajax usability. You'll learn to avoid user experience mistakes with proven design patterns. Beyond the how-to, Ajax on Rails helps you consider when Ajax is (and isn't) appropriate, and the trade-offs associated with it. For those new to Rails, this book provides a quick introduction, the big picture, a walk through the installation process, and some tips on getting started. If you've already started working with Rails and seek to deepen your skill set, you'll find dozens of examples drawn from real-world projects, exhaustive reference for every relevant feature, and expert advice on how to "Ajaxify" your applications.
Linux Kernel Development (2nd Edition) (Novell Press)
Authors: Robert Love
Venue:  (2005)

The Linux kernel is one of the most interesting yet least understood open-source projects. It is also a basis for developing new kernel code. That is why Sams is excited to bring you the latest Linux kernel development information from a Novell insider in the second edition of Linux Kernel Development. This authoritative, practical guide will help you better understand the Linux kernel through updated coverage of all the major subsystems, new features associated with Linux 2.6 kernel and insider information on not-yet-released developments. You'll be able to take an in-depth look at Linux kernel from both a theoretical and an applied perspective as you cover a wide range of topics, including algorithms, system call interface, paging strategies and kernel synchronization. Get the top information right from the source in Linux Kernel Development.
Oracle Database 10g Insider Solutions
Authors: Arun Kumar, John Kanagaraj, Richard Stroupe
Venue:  (2005)

Oracle Database 10g Insider Solutions is a must-have reference guide for all Oracle professionals. It provides much-needed information on best practices, tips, and techniques in debugging, installation, deployment, and tuning of the Oracle 10g database. You can draw upon the experience and knowledge of these authors to find creative ways to put your Oracle database to work. The authors will also address common and not-so-common installation concerns, database administration, development, and tuning. Oracle Database 10g Insider Solutions will bring you the insider information that you can't get anywhere else.
Constrained nonlinear models of fingerprint orientations with prediction
Authors: Jun Li, Wei-Yun Yau, Han Wang
Venue: Pattern Recognition (2006)

In this paper, we developed an algorithm to model the fingerprint orientation field. The algorithm comprises two steps, orientation prediction and model computation. Orientation prediction is based on piece-wise first-order phase portrait model. It is used to estimate the orientation in areas where there is no ridge information in the input image or the coherence of the orientation field is low. In the model computation, a constrained nonlinear phase portrait algorithm is proposed, which aims to get an accurate mathematical model of the fingerprint orientation field. Compared to the prior works, this algorithm is able to predict orientation even in noisy regions and it integrates the global and local orientation description into a unified mathematical form. Experiments conducted on the first 500 images of the NIST-4 database showed that the proposed algorithm is able to model all the fingerprint orientation patterns except those with very poor quality images where the orientation information cannot be clearly extracted.
Towards a framework for usability testing of interactive e-learning applications in cognitive domains, illustrated by a case study
Authors: S. S. (Thabo) Masemola, M. R. (Ruth) De Villiers
Venue: Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2006)

Testing has been conducted in a controlled usability laboratory on an interactive e-learning application that teaches mathematical skills in a cognitive domain. The study obtained performance measures and identified usability problems, but was focused primarily on using the testing technology to investigate distinguishing aspects of such applications, such as time usage patterns in domains where rapid completion is not necessarily a performance indicator. The paper addresses the issue of what, actually, is meant by 'usability' in learning environments. A pilot study identified obstacles and served to enhance the main study. Thinking-aloud on the part of participants provided useful data to support analysis of the performance measures, as can benchmarks and best case measures. Particular attention must be paid to ethical aspects. Features emerging from this study can contribute to a framework for usability testing and usage pattern analysis of interactive e-learning applications in cognitive domains.
A course on mathematical software
Authors: A. K. Cline
Venue: ACM SIGNUM Newsletter (1982)

During the four academic years ending in 1981, a one semester course in mathematical software construction has been offered by the Computer Sciences Department at the University of Texas at Austin. Although originally offered at a graduate level, a modified version has been offered three times for undergraduate students. Those electing the class include students interested in scientific programming as a profession as well as mathematics, engineering, and science studetns who seek to improve their programming skills.
Microsoft Windows Server 2008: A Beginner's Guide, 1 edition
Authors: Marty Matthews
Venue:  (2008)

Get up and running on Microsoft Windows Server 2008 with easeThis hands-on guide covers all the essentials of deploying and administering the latest release of Microsoft's powerful, versatile network operating system. Using clear screenshots and step-by-step instructions, Microsoft Windows Server 2008: A Beginner's Guide shows you how to set up the server, migrate from earlier versions, and handle networking, administration, storage, and security. You'll also get details on the new Web tools and management utilities available in Windows Server 2008. Install, configure, and deploy Windows Server 2008Set up and manage a networkWork with Active Directory and DomainsSet up communications features and an Internet connection Install, customize, and maintain Internet Information Services (IIS) 7Configure a VPN server and client Set up Terminal Services and Remote DesktopManage storage and file systemsSecure your Windows Server environmentSet up and manage printing and faxingUse the built-in management tools, including Server Manager and group policiesTable of contentsAcknowledgmentsIntroductionPart I: The Windows Server 2008 EnvironmentChapter 1. Exploring Windows Server 2008Part II: Deploying Windows Server 2008Chapter 2. Preparing for InstallationChapter 3. Installing Windows Server 2008Chapter 4. Windows Deployment ServicesPart III: Networking Windows Server 2008Chapter 5. Windows Server 2008 Networking EnvironmentChapter 6. Setting Up and Managing a NetworkChapter 7. Using Active Directory and DomainsPart IV: Communications and the InternetChapter 8. Communications and Internet ServicesChapter 9. Internet Information Services Version 7Chapter 10. Virtual Private NetworkingChapter 11. Terminal Services and Remote DesktopPart V: Administering Windows Server 2008Chapter 12. Managing Storage and File SystemsChapter 13. Setting Up and Managing Printing and FaxingChapter 14. Managing Windows Server 2008Chapter 15. Controlling Windows Server 2008 SecurityIndex 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
Skype Hacks: Tips & Tools for Cheap, Fun, Innovative Phone Service (Hacks)
Authors: Andrew Sheppard
Venue:  (2005)

If you've heard about Skype--and who hasn't with all the recent media attention devoted to internet telephone services--chances are you've been mighty tempted to try it out. Skype Hacks tells you what all the Skype hype is about, explains the basics, and shows you more than 100 clever tips and tricks for tweaking and tuning Skype to make it do just what you want and more. Millions of people (48 million and counting, in fact) have opted for Skype, which uses peer-to-peer (P2P) technology to turn any PC, Mac, or Pocket PC into a telephone. Skype offers free calls between computers and extremely cheap calls to "old-fashioned" phone numbers (landlines and mobile phones). The sound quality is excellent, and end-to-end encryption means the connection is private and secure. But if you really know what you're doing, Skype can accomplish a whole lot more than that. Software developer and author Andrew Sheppard recently converted his entire house to Skype and uses it for all his personal and business calls, even when he's traveling. In Skype Hacks, he shows you how to do things with the technology that even the engineers at Skype probably never intended. Skype Hacks shows you how to: Get started with Skype Figure out how much money you're saving and maximize your savings Cut the ties to your old phone company Optimize your Skype configuration Integrate Skype with desktop tools like Microsoft Office and your web browser Set up a Skype-based call center The book offers ideas for creating and organizing a contacts list, using Skype to transfer files, taking advantage of chat and voicemail capabilities, turning a PDA into a mobile phone, and automating Skype for even greater efficiency. So whether you'd simply like to give Skype a trial run, you want new Skype ring tones and fun on-hold music, or you're considering wiring your home with Skype to get rid of "regular" phone service altogether, Skype Hacks is your ideal guide. 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
Rapid and brief communication: Fingerprint minutiae matching algorithm for real time system
Authors: Ying Jie, Yuan Yi fang, Zhang Renjie, Song Qifa
Venue: Pattern Recognition (2006)

Many fingerprint matching algorithms have been reported in articles in recent years. And people did fingerprint images matching through minutiae matching in most of the algorithms. In this paper, we proposed a new fingerprint minutiae matching algorithm, which is fast, accurate and suitable for the real time fingerprint identification system. In this algorithm we used the core point to determine the reference point and used a round bounding box for matching. Experiments done on a set of fingerprint images captured with a scanner showed that our algorithm is faster and more accurate than Xiping Luo's algorithm.
Encouraging participation in virtual communities
Authors: Joon Koh, Young-Gul Kim, Brian Butler, Gee-Woo Bock
Venue: Communications of the ACM (2007)

Leaders of robust, sustainable virtual communities find ways tostrengthen their members' sense of social identity and motivate their participation in the community's activities.
Face recognition from a single image per person: A survey
Authors: Xiaoyang Tan, Songcan Chen, Zhi-Hua Zhou, Fuyan Zhang
Venue: Pattern Recognition (2006)

One of the main challenges faced by the current face recognition techniques lies in the difficulties of collecting samples. Fewer samples per person mean less laborious effort for collecting them, lower cost for storing and processing them. Unfortunately, many reported face recognition techniques rely heavily on the size and representative of training set, and most of them will suffer serious performance drop or even fail to work if only one training sample per person is available to the systems. This situation is called ''one sample per person'' problem: given a stored database of faces, the goal is to identify a person from the database later in time in any different and unpredictable poses, lighting, etc. from just one image. Such a task is very challenging for most current algorithms due to the extremely limited representative of training sample. Numerous techniques have been developed to attack this problem, and the purpose of this paper is to categorize and evaluate these algorithms. The prominent algorithms are described and critically analyzed. Relevant issues such as data collection, the influence of the small sample size, and system evaluation are discussed, and several promising directions for future research are also proposed in this paper.
Edit distance-based kernel functions for structural pattern classification
Authors: Michel Neuhaus, Horst Bunke
Venue: Pattern Recognition (2006)

A common approach in structural pattern classification is to define a dissimilarity measure on patterns and apply a distance-based nearest-neighbor classifier. In this paper, we introduce an alternative method for classification using kernel functions based on edit distance. The proposed approach is applicable to both string and graph representations of patterns. By means of the kernel functions introduced in this paper, string and graph classification can be performed in an implicit vector space using powerful statistical algorithms. The validity of the kernel method cannot be established for edit distance in general. However, by evaluating theoretical criteria we show that the kernel functions are nevertheless suitable for classification, and experiments on various string and graph datasets clearly demonstrate that nearest-neighbor classifiers can be outperformed by support vector machines using the proposed kernel functions.
Creating a Database in FileMaker Pro 8: Visual QuickProject Guide
Authors: Steve Schwartz
Venue:  (2005)

If you want to make a great-looking, practical database fast but don't want to get bogged down with the details, then you need a Visual QuickProject Guide! If you've never created a database before, the task can be daunting. Recognizing that you don't necessarily want or need to know about every FileMaker Pro 8 feature, this low-priced, compact guide is the quickest route to creating a functional, organized database. Whether you're a small business owner looking for a better way to track inventory and invoices, someone just looking for a streamlined way to keep track of your contacts, or your boss simply needs a a project database, this book covers the FileMaker Pro 8 basics with full-color illustrations and step-by-step instructions to help you get your project done quickly. The guide also includes a companion Web site with downloadable graphic buttons, custom forms and templates, and more.
BingBee, an information kiosk for social enablement in marginalized communities
Authors: Hannah Slay, Peter Wentworth, Jonathon Locke
Venue: Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries (2006)

This paper describes our information kiosk, BingBee that is designed to be deployed in marginalized communities in South Africa to help improve education levels in street kids. It therefore has some novel constraints on it such as being fully contained behind a shop front window. BingBee uses a novel contactless technology to provide direct finger tracking from within a shop front. This paper describes both the tracking technology and the user interface we created for BingBee. It also provides an overview of three areas where BingBee is either currently deployed, or in the process of being deployed.
An analytical model of vehicle-based automated material handling systems in semiconductor fabs
Authors: Dima Nazzal, Leon F. McGinnis
Venue: Proceedings of the 38th conference on Winter simulation (2006)

This research explores analytical models useful in the design of vehicle-based Automated Material Handling Systems (AMHS) to support semiconductor manufacturing. The objective is to correctly estimate the throughput and move request delay. This analysis proposes a computationally effective analytical approach to multi-vehicle AMHS performance modeling for a simple closed loop. A probabilistic model is developed, based on a detailed description of AMHS operations, and the system is analyzed as an extended Markov chain. The model tracks the operations of one vehicle on the closed-loop considering the possibility of vehicle-blocking. This analysis provides the essential parameters such as the blocking probabilities in order to estimate the performance measures. A numerical example is analyzed and simulated using Automod to demonstrate and validate the queuing model.
Learning Sparse Overcomplete Codes for Images
Authors: Joseph F. Murray, Kenneth Kreutz-Delgado
Venue: Journal of VLSI Signal Processing Systems (2006)

Images can be coded accurately using a sparse set of vectors from a learned overcomplete dictionary, with potential applications in image compression and feature selection for pattern recognition. We present a survey of algorithms that perform dictionary learning and sparse coding and make three contributions. First, we compare our overcomplete dictionary learning algorithm (FOCUSS-CNDL) with overcomplete independent component analysis (ICA). Second, noting that once a dictionary has been learned in a given domain the problem becomes one of choosing the vectors to form an accurate, sparse representation, we compare a recently developed algorithm (sparse Bayesian learning with adjustable variance Gaussians, SBL-AVG) to well known methods of subset selection: matching pursuit and FOCUSS. Third, noting that in some cases it may be necessary to find a non-negative sparse coding, we present a modified version of the FOCUSS algorithm that can find such non-negative codings. Efficient parallel implementations in VLSI could make these algorithms more practical for many applications.
Rapid and brief communication: Combining classifier decisions for robust speaker identification
Authors: Daniel J. Mashao, Marshalleno Skosan
Venue: Pattern Recognition (2006)

In this work, we combine the decisions of two classifiers as an alternative means of improving the performance of a speaker recognition system in adverse environments. The difference between these classifiers is in their feature-sets. One system is based on the popular mel-frequency cepstral coefficients (MFCC) and the other on the new parametric feature-sets (PFS) algorithm. The feature-vectors both have mel-scale spectral warping and are computed in the cepstral domain but the feature-sets differs in the use of spectral filters and compressions. The performance of the classifier is not much different in recognition rates terms but they are complementary. This shows that there is information that is not captured in the popular mel-frequency cepstral coefficients (MFCC), and the parametric feature-sets (PFS) is able to add further information for improved performance. Several ways of combining these classifiers gives significant improvements in a speaker identification task using a very large telephone degraded NTIMIT database.
Performance evaluation of a CMB protocol
Authors: Célia L. O. Kawabata, Regina H. C. Santana, Marcos J. Santana, Sarita M. Bruschi, Kalinka R. L. J. Castelo Branco
Venue: Proceedings of the 38th conference on Winter simulation (2006)

This paper presents the performance evaluation of a CMB (Chandy-Misra-Bryant) protocol from the perspective of execution time. The performance of each logical process in simulation is measured. Our evaluation shows that logical processes can have different behaviors and different protocols can be used simultaneously in simulations. While some logical processes may perform well using conservative protocols, others can use optimistic protocols because otherwise most of the time these processes would be blocked unnecessarily. In order to analyze the behavior of the simulations some models were simulated using a CMB implementation called ParSMPLX. These models showed that each logical process of a simulation has a different behavior that makes it more suitable for a specific protocol, increasing the performance.
Mind Hacks: Tips & Tools for Using Your Brain (Hacks)
Authors: Tom Stafford, Matt Webb
Venue:  (2004)

The brain is a fearsomely complex information-processing environment--one that often eludes our ability to understand it. At any given time, the brain is collecting, filtering, and analyzing information and, in response, performing countless intricate processes, some of which are automatic, some voluntary, some conscious, and some unconscious. Cognitive neuroscience is one of the ways we have to understand the workings of our minds. It's the study of the brain biology behind our mental functions: a collection of methods--like brain scanning and computational modeling--combined with a way of looking at psychological phenomena and discovering where, why, and how the brain makes them happen. Want to know more? Mind Hacks is a collection of probes into the moment-by-moment works of the brain. Using cognitive neuroscience, these experiments, tricks, and tips related to vision, motor skills, attention, cognition, subliminal perception, and more throw light on how the human brain works. Each hack examines specific operations of the brain. By seeing how the brain responds, we pick up clues about the architecture and design of the brain, learning a little bit more about how the brain is put together. Mind Hacks begins your exploration of the mind with a look inside the brain itself, using hacks such as "Transcranial Magnetic Stimulation: Turn On and Off Bits of the Brain" and "Tour the Cortex and the Four Lobes." Also among the 100 hacks in this book, you'll find: Release Eye Fixations for Faster ReactionsSee Movement When All is StillFeel the Presence and Loss of AttentionDetect Sounds on the Margins of CertaintyMold Your Body SchemaTest Your HandednessSee a Person in Moving LightsMake Events Understandable as Cause-and-EffectBoost Memory by Using ContextUnderstand Detail and the Limits of Attention Steven Johnson, author of "Mind Wide Open" writes in his foreword to the book, "These hacks amaze because they reveal the brain's hidden logic; they shed light on the cheats and shortcuts and latent assumptions our brains make about the world." If you want to know more about what's going on in your head, then Mind Hacks is the key--let yourself play with the interface between you and the world.