ppxscal/embedding_network huggingface dataset:
Merging operators: Beyond the finite case
Authors: José Luis Chacón, Ramón Pino Pérez
Venue: Information Fusion (2006)

We extend the results of Konieczny and Pino Perez (Journal of Logic and Computation, 2002) concerning merging operators in a finite logical framework to the infinite case (countably many propositional variables). The number of sources we consider remains finite. The main result is the representation theorem. In order to prove it, we state some results which are interesting for their own sake. Some postulates had to be restated in a new form. The new form is equivalent to the old one only in the finite case, but more appropriate to deal with the infinite case. The construction of merging operators starting from distances between valuations is also generalized. Indeed, we introduce a new kind of operators built upon the so-called Cantor distance.
The LabVIEW Style Book (National Instruments Virtual Instrumentation Series)
Authors: Peter A. Blume
Venue:  (2007)

&>Drawing on the experiences of a world-class LabVIEW development organization, The LabVIEW Style Book is the definitive guide to best practices in LabVIEW development.Leading LabVIEW development manager Peter A. Blume presents practical guidelines or “rules” for optimizing every facet of your applications: ease of use, efficiency, readability, simplicity, performance, maintainability, and robustness. Blume explains each style rule thoroughly, presenting realistic examples and illustrations. He even presents “nonconforming” examples that show what not to doï¾and why not.Coverage includes Significance of style: How good style improves quality and actually saves time over the full project life cycle Before you code: Configuring your LabVIEW environment, and organizing your files on disk and in the LabVIEW project LabVIEW project specifications: A specialized standard for specifying LabVIEW application requirements Efficient VI layout and development: front panel, block diagram, icons, and connectors Data structures: Choosing data types, efficient use of arrays and clusters, and special considerations with nested data structures Error handling strategies: Trapping and reporting errors for robust and reliable applications Design patterns: Standard VI architectures and application frameworks that promote good style Documentation: Essential rules for source code documentation and streamlining the process Code reviews: Enforcing a style convention using a checklist, the LabVIEW VI Analyzer Toolkit, and peer reviews Appendixes: Convenient glossary and style rules summaryThis book will be indispensable to anyone who wants to develop or maintain quality LabVIEW applications: developers, managers, and end users alike. Additionally, it will also be valuable to those preparing for NI's Certified LabVIEW Developer or Certified LabVIEW Architect exams, which contain significant content on development style.Foreword by Darren Nattingerï¾ Prefaceï¾ Acknowledgmentsï¾ About the Authorï¾ Chapter 1ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ The Significance of Styleï¾ Chapter 2ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Prepare for Good Styleï¾ Chapter 3ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Front Panel Styleï¾ Chapter 4ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Block Diagramï¾ Chapter 5ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Icon and Connectorï¾ Chapter 6ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Data Structuresï¾ Chapter 7ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Error Handlingï¾ Chapter 8ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Design Patternsï¾ Chapter 9ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Documentationï¾ Chapter 10ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Code ReviewsAppendix Aï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Glossaryï¾ Appendix Bï¾ ï¾ ï¾ ï¾ ï¾ ï¾ Style Rules Summaryï¾ Indexï¾ 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
Ensemble based on GA wrapper feature selection
Authors: Enzhe Yu, Sungzoon Cho
Venue: Computers and Industrial Engineering (2006)

Ensemble of classifiers is a learning paradigm where many classifiers are jointly used to solve a problem. Research has shown that ensemble is very effective for classification tasks. Diversity and accuracy are two basic requirements for the ensemble creation. In this paper, we propose an ensemble creation method based on GA wrapper feature selection. Preliminary experimental results on real-world data show that the proposed method is promising, especially when the number of training data is limited.
Designing efficient input interconnect blocks for LUT clusters using counting and entropy
Authors: Wenyi Feng, Sinan Kaptanoglu
Venue: Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays (2007)

In a cluster-based FPGA, the interconnect from external routing tracks and cluster feedbacks to the LUT inputs consumes significant area, and no consensus has emerged among different implementations (e.g., 1-level or 2-level). In this paper, we model this interconnect as a unified input interconnect block (IIB). We develop general combinatorial techniques to count the number of distinct functional configurations of an IIB. We use entropy, defined as the logarithm of this count, to estimate an IIB's routing flexibility. This enables us to analytically evaluate different IIBs without the customary time-consuming place and route experiments. We show that both depopulated 1-level IIBs and VPR-style 2-level IIBs achieve high routing flexibility but lack area efficiency. We propose a novel class of highly efficient, yet still simple, IIBs that use substantially fewer switches (as few as 1/3) with only a small degradation in routing flexibility. Experimental results verify the routability of these IIBs, and confirm that entropy is a good predictor of routability.
Layer 2 VPN Architectures (Networking Technology)
Authors: Wei Luo, Carlos Pignataro, Anthony Y. H. Chan, Dmitry Bokotey
Venue:  (2005)

A complete guide to understanding, designing, and deploying Layer 2 VPN technologies and pseudowire emulation applications Evaluate market drivers for Layer 2 VPNs Understand the architectural frame-work and choices for Layer 2 VPNs, including AToM and L2TPv3 Grasp the essentials of Layer 2 LAN and WAN technologies Examine the theoretical and operational details of MPLS and LDP as they pertain to AToM Understand the theoretical and operational details of Layer 2 protocols over L2TPv3 in IP networks Learn about Layer 2 VPN bridged and routed interworking and Layer 2 local switching Understand the operation and application of Virtual Private LAN Services (VPLS) Learn about foundation and advanced AToM and L2TPv3 topics through an extensive collection of case studiesï¾ The historical disconnect between legacy Layer 2 and Layer 3 VPN solutions has forced service providers to build, operate, and maintain separate infrastructures to accommodate various VPN access technologies. This costly proposition, however, is no longer necessary. As part of its new Unified VPN Suite, Cisco Systems® now offers next-generation Layer 2 VPN services like Layer 2 Tunneling Protocol version 3 (L2TPv3) and Any Transport over MPLS (AToM) that enable service providers to offer Frame Relay, ATM, Ethernet, and leased-line services over a common IP/MPLS core network. By unifying multiple network layers and providing an integrated set of software services and management tools over this infrastructure, the Cisco® Layer 2 VPN solution enables established carriers, IP-oriented ISP/CLECs, and large enterprise customers (LECs) to reach a broader set of potential VPN customers and offer truly global VPNs.Layer 2 VPN Architectures is a comprehensive guide to consolidating network infrastructures and extending VPN services. The book opens by discussing Layer 2 VPN applications utilizing both AToM and L2TPv3 protocols and comparing Layer 3 versus Layer 2 provider-provisioned VPNs. In addition to describing the concepts related to Layer 2 VPNs, this book provides an extensive collection of case studies that show you how these technologies and architectures work. The case studies include both AToM and L2TPv3 and reveal real-world service provider and enterprise design problems and solutions with hands-on configuration examples and implementation details. The case studies include all Layer 2 technologies transported using AToM and L2TPv3 pseudowires, including Ethernet, Ethernet VLAN, HDLC, PPP, Frame Relay, ATM AAL5 and ATM cells, and advanced topics relevant to Layer 2 VPN deployment, such as QoS and scalability.
News about Euromicro
Authors: Walter Wallach
Venue: ACM SIGMICRO Newsletter (1981)

[Information in this feature has been obtained from Microprocessing and Microprogramming, the Euromicro Journal. Microprocessing and Microprogramming is copyrighted by North-Holland Publishing Company. Abstracts reproduced in this feature are used with permission of the Editors and publisher of Microprocessing and Microprogramming.]
The direct execution of intermediate languages on an Eclipse computer
Authors: R. E. M. Cooper
Venue: ACM SIGMICRO Newsletter (1980)

The use of intermediate languages as a convenient means of developing portable high-level language compilers, appears to be growing. With this approach, the compiler for language A (which may be written in language A) compiles the source code into an intermediate language I, which is usually a pseudo-machine language. For each machine that the language is to be implemented on, there is then either a program that converts I into the assembler language for that machine or, alternatively, an interpreter may be written which executes the pseudo-machines code interpretively.
Exploiting light projection for shape from shading
Authors: Daniele Gelli, Domenico Vitulano
Venue: Applied Numerical Mathematics (2004)

In this paper we propose a simple and effective way to improve the classical Shape from Shading (SFS) problem exploiting light projection information contained in the image data. Edges of concave regions can be split in projecting and the projected points. The geometrical relation between these points allows us to introduce a constraint on the SFS solution. To show the potentialities of our model, we present an application to a Cultural Heritage problem such as the extraction of the boundaries of the degradation zones.
Dimensional Data Warehousing with MySQL: A Tutorial
Authors: Djoni Darmawikarta
Venue:  (2007)

Data warehousing with MySQL, a free and popular database, has never been made easier with this step-by-step tutorial on building dimensional data warehouses. Topics include star-schema modeling, populating (Extract, Transform, and Load: ETL), testing, and dimensional querying. It comes complete with a hands-on case-scaled-down from a real project-as well as an electronic copy of all MySQL scripts and sample data available for download. Computer programmers who need to build a data warehouse will find relevant examples and information written in a thorough, easy-to-follow style. 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
Fuzzy GMDH-type neural network model and its application to forecasting of mobile communication
Authors: Heung Suk Hwang
Venue: Computers and Industrial Engineering (2006)

In this paper, the fuzzy group method data handling-type (GMDH) neural networks and their application to the forecasting of mobile communication systems are described. At present, the GMDH family of modeling algorithms discovers the structure of empirical models and it gives only the way to get the most accurate identification and demand forecasts in case of noised and short input sampling. In distinction to neural networks, the results are explicit mathematical models, obtained in a relative short time. In this paper, an adaptive learning network is proposed as a kind of neural-fuzzy GMDH. The proposed method can be reinterpreted as a multi-stage fuzzy decision rule which is called the neural-fuzzy GMDH. The GMDH-type neural networks have several advantages compared with conventional multi-layered GMDH models. Therefore, many types of nonlinear systems can be automatically modeled by using the neuro-fuzzy GMDH. A computer program is developed and successful applications are shown in the field of estimating problems of mobile communication with a number of factors considered.
Physics-based motion retiming
Authors: J. McCann, N. S. Pollard, S. Srinivasa
Venue: Proceedings of the 2006 ACM SIGGRAPH/Eurographics symposium on Computer animation (2006)

By changing only the playback timing of a motion sequence, an animator can achieve a variety of effects that alter our perception of an event. In some scenarios, it may be important to consider physical properties of the motion when retiming (e.g., to preserve physical plausibility). However, existing retiming solutions can be quite time consuming when physical parameters are considered. This paper presents an interactive method for creating optimal motion retimings that takes into account physically based constraints and objective functions. We achieve fast performance through a precomputation phase where constraints are projected into the two-dimensional space of velocities and accelerations along the input motion path. Unlike previous approaches, our precomputation technique allows for rapid computation of plausible contact forces that result from retiming, and it also accommodates changing physical parameters. We demonstrate our approach by creating physically plausible results for changes in motion duration, manipulations of the gravity vector, and modifications of character limb masses.
A multi-expert approach for robust face detection
Authors: Lin-Lin Huang, Akinobu Shimizu
Venue: Pattern Recognition (2006)

Both detection accuracy and speed are of major concerns in developing a robust face detection system for real-world applications. To this end, we propose a robust face detection approach by combining multiple experts in both cascade and parallel manner. We design three detection experts which employ different feature representation schemes of local images: 2D Haar wavelet, gradient direction, and Gabor filter. The three features are classified using the same classification model, namely, a polynomial neural network (PNN) on reduced feature subspace. The detection experts are used in multiple stages with simple ones in proceeding stages and complex ones in succeeding stages for improving detection speed. Meanwhile, the output of each expert is combined with the outputs of its preceding experts to improve detection accuracy. The effectiveness of the multi-expert approach has been demonstrated in experiments on a large number of images. The obtained detection results are superior to the best individual expert and state-of-the-art approaches while the detection speed is fast.
On the convergence of convolved vector subdivision schemes
Authors: Costanza Conti
Venue: Applied Numerical Mathematics (2004)

The aim of this paper is to discuss the use of convolution to build new families of refinable functions and thus new families of subdivision algorithms. In particular, we first generalise a result given in [C. Conti, K. Jetter, in: A. Cohen, R. Rabut, L.L. Schumaker (Eds.), Curves and Surfaces Fitting, Saint Malo, 1999, Vanderbilt University Press, Nashville, TN, 2000, pp. 135-142] where, following a too restrictive definition of convergence, it is proved that convolution of two refinable function vectors, which give rise to convergent subdivision schemes, generates a convolved scheme which is again convergent. Then, we discuss the use of convolution to construct refinable bases suitable to interpolate directions given by difference of control points. This turns out to be useful, for example, in algebraic numerical grid generation methods such as the one discussed in [C. Conti, R. Morandi, in: Proceedings of MASCOT/02, IMACS Ser. Comput. Appl. Math., IMACS, New Brunswick, NJ, 2003, pp. 75-82].
Enterprise JavaBeans 3.0 (5th Edition)
Authors: Bill Burke, Richard Monson-Haefel
Venue:  (2006)

If you're up on the latest Java technologies, then you know that Enterprise JavaBeans (EJB) 3.0 is the hottest news in Java this year. In fact, EJB 3.0 is being hailed as the new standard of server-side business logic programming. And O'Reilly's award-winning book on EJB has been refreshed just in time to capitalize on the technology's latest rise in popularity.This fifth edition, written by Bill Burke and Richard Monson-Haefel, has been updated to capture the very latest need-to-know Java technologies in the same award-winning fashion that drove the success of the previous four strong-selling editions. Bill Burke, Chief Architect at JBoss, Inc., represents the company on the EJB 3.0 and Java EE 5 specification committees. Richard Monson-Haefel is one of the world's leading experts on Enterprise Java.Enterprise JavaBeans 3.0, 5th Edition is organized into two parts: the technical manuscript followed by the JBoss workbook. The technical manuscript explains what EJB is, how it works, and when to use it. The JBoss workbook provides step-by-step instructions for installing, configuring, and running the examples from the manuscript on the JBoss 4.0 Application Server.Although EJB makes application development much simpler, it's still a complex and ambitious technology that requires a great deal of time to study and master. But now, thanks to Enterprise JavaBeans 3.0, 5th Edition, you can overcome the complexities of EJBs and learn from hundreds of practical examples that are large enough to test key concepts but small enough to be taken apart and explained in the detail that you need. Now you can harness the complexity of EJB with just a single resource by your side.
Modeling, Simulation and Performance Evaluation for a CIOQ Switch Architecture
Authors: Antonio M. Alberti, Sebastiao R. de Aguiar Filho, Anilton S. Garcia
Venue: Proceedings of the 39th annual Symposium on Simulation (2006)

The intense growth experienced by the Internet on the past decade has motivated a considerable development in packet switching architectures. Several architectures have been proposed and implemented. Combined Input-Output Queuing (CIOQ) is one of such successful architectures. In this paper, we present a proposal of modeling, simulation and performance evaluation for two CIOQ switch architectures developed by Santos and Motoyama. The main objective is to evaluate their performance and to compare main results. The performance evaluation covers blocking probability, mean and maximum queuing occupation for several switch dimensions and load intensities. Finally, we validated the proposal models and proved that Santos and Motoyama architectures are very efficient, with small blocking probabilities and queuing requirements.
Fast algorithms for finding disjoint subsequences with extremal densities
Authors: Anders Bergkvist, Peter Damaschke
Venue: Pattern Recognition (2006)

We derive fast algorithms for the following problem: given a set of n points on the real line and two parameters s and p, find s disjoint intervals of maximum total length that contain at most p of the given points. Our main contribution consists of algorithms whose time bounds improve upon a straightforward dynamic programming algorithm, in the relevant case that input size n is much bigger than parameters s and p. These results are achieved by selecting a few candidate intervals that are provably sufficient for building an optimal solution via dynamic programming. As a byproduct of this idea we improve an algorithm for a similar subsequence problem of Chen et al. [Disjoint segments with maximum density, in: International Workshop on Bioinformatics Research and Applications IWBRA 2005, (within ICCS 2005), Lecture Notes in Computer Science, vol. 3515, Springer, Berlin, pp. 845-850]. The problems are motivated by the search for significant patterns in biological data. Finally, we propose several heuristics that further reduce the time complexity in typical instances. One of them leads to an apparently open subsequence sum problem of independent interest.
Teaching with the problem solving power of simulation
Authors: Charles R. Standridge
Venue: Proceedings of the 38th conference on Winter simulation (2006)

A strategic curriculum revision concerning simulation methods, production operations, and facility layout and material handling courses in a product design and manufacturing engineering curriculum is described. The revision is based on two ideas. Simulation is best taught in the context of its applications. Simulation is both a vital analysis tool and a vital teaching approach for examining the time dynamics of production systems such as work cells, kanban systems, and flexible manufacturing systems as well as material movement systems within facilities and logistics systems for material movement over long distances. The simulation methods classes are removed from the curriculum. Simulation methods are integrated into revised production operations courses. A traditional material handling and facilities layout course is revised into a material movement course that includes supply chain logistics. Simulation based laboratories, case studies and case problems are used extensively in both of the revised courses.
GA directed self-organized search and attack UAV swarms
Authors: Ian C. Price, Gary B. Lamont
Venue: Proceedings of the 38th conference on Winter simulation (2006)

Self-organization offers many potential benefits to autonomous multi-UAV systems. This research investigates the use of a self-organization (SO) framework for evolving UAV swarm behavior. This SO framework is used to design a UAV swarm simulation with evolving behavior. The swarm behavior is then evolved using a genetic algorithm (GA) to successfully locate and destroy retaliating stationary targets. This system is tested using both a set of strictly homogeneous UAVs and heterogeneous UAVs with intriguing results.
Sams Teach Yourself Microsoft Office PowerPoint 2003 in 24 Hours
Authors: Tom Bunzel
Venue:  (2003)

For readers who are new to PowerPoint 11 and want to get up and running quickly, Sams Teach Yourself Microsoft PowerPoint 2003 in 24 Hours will do the trick. This book includes shortcuts and ways to accomplish the most common tasks in PowerPoint. Readers are able to work at their own pace through the easily digestible, one-hour lessons. After completing the lessons, the reader will have a solid foundation of the basics and know the most efficient way to utilize the new version of PowerPoint. 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
Awareness and teamwork in computer-supported collaborations
Authors: John M. Carroll, Mary Beth Rosson, Gregorio Convertino, Craig H. Ganoe
Venue: Interacting with Computers (2006)

A contemporary approach to describing and theorizing about joint human endeavor is to posit 'knowledge in common' as a basis for awareness and coordination. Recent analysis has identified weaknesses in this approach even as it is typically employed in relatively simple task contexts. We suggest that in realistically complex circumstances, people share activities and not merely concepts. We describe a framework for understanding joint endeavor in terms of four facets of activity awareness: common ground, communities of practice, social capital, and human development. We illustrate the sort of analysis we favor with a scenario from emergency management, and consider implications and future directions for system design and empirical methods.