ppxscal/embedding_network huggingface dataset:
Technology and Digital Art: Creating video art with evolutionary algorithms
Authors: Teresa Chambel, Luís Correia, Jônatas Manzolli, Gonçalo Dias Miguel, Nuno A. C. Henriques, Nuno Correia
Venue: Computers and Graphics (2007)

The boundaries of art are subjective, but the impetus for art is often associated with creativity, regarded with wonder and admiration along human history. Most interesting activities and their products are a result of creativity. The main goal of our approach is to explore new creative ways of editing and producing videos, using evolutionary algorithms. A creative evolutionary system makes use of evolutionary computation operators and properties and is designed to aid our own creative processes, and to generate results to problems that traditionally required creative people to solve. Our system is able to generate new videos or to help a user in doing so. New video sequences are combined and selected, based on their characteristics represented as video annotations, either by defining criteria or by interactively performing selections in the evolving population of video clips, in forms that can reflect editing styles. With evolving video, the clips can be explored through emergent narratives and aesthetics in ways that may reveal or inspire creativity in digital art.
Variable Weights Decision-Making and Its Fuzzy Inference Implementation
Authors: Bo Liu, Xuejun Zhang, Shangran Xie, Hannan Ma
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

This paper investigates multiple attribute decision-making (MADM) problems with preference information on alternatives. Principle of variable weights evaluation is introduced first. Then, a new algorithm, fuzzy inference variable weights method, is proposed. The principle of fuzzy logic control (FLC) and available techniques of variable weights evaluation are merged together, to formulate the new method to determine the adjusted weights of attributes for MADM problems with preferences. An example is provided to illustrate the utility and effectiveness of the proposed method .
Segmentation of Touching Characters in Mathematical Expressions Using Contour Feature Technique
Authors: Xuedong Tian, Yan Zhang
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

Touching symbols cannot be segmented accurately which is one of the main reasons for false recognition of typeset mathematical expressions. To solve this problem, a technique which is based on contour feature is presented for the segmentation of touching symbols in mathematical expressions. Partitioning paths can be constructed ground on contour feature and the ratio of the width and the height, and then touching symbols are segmented. Experimental results show the effectiveness on the accuracy improvement of mathematical expression recognition.
Refrigerator temperature control with soft computing
Authors: Geuntaek Kang, Wonchang Lee, Yun-Seog Kang, Seong-Wook Jeong, Jae-In Kim, Hong-Won Lee
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1998)

The soft computing methods are used for the control of refrigerator temperature. An axis having blades is introduced in the refrigerator compartment to control the direction of cold air, and the directions of the blades are controlled by a neural networks controller so that more cold air is sent where the temperature is high in the refrigerator compartment. The neural networks controller is taught by a TSK fuzzy supervisor. The TSK fuzzy supervisor has the form of TSK fuzzy model. For the identification of fuzzy sets parameters in TSK fuzzy models, a new method made by combining the genetic algorithm with the complex method is suggested. With the new method, more optimal parameters of fuzzy sets can be searched more speedily.
Protecting browsers from dns rebinding attacks
Authors: Collin Jackson, Adam Barth, Andrew Bortz, Weidong Shao, Dan Boneh
Venue: Proceedings of the 14th ACM conference on Computer and communications security (2007)

DNS rebinding attacks subvert the same-origin policy of browsers and convert them into open network proxies. We survey new DNS rebinding attacks that exploit the interaction between browsers and their plug-ins, such as Flash and Java. These attacks can be used to circumvent firewalls and are highly cost-effective for sending spam e-mail and defrauding pay-per-click advertisers, requiring less than $100 to temporarily hijack 100,000 IP addresses. We show that the classic defense against these attacks, called "DNS pinning," is ineffective in modern browsers. The primary focus of this work, however, is the design of strong defenses against DNS rebinding attacks that protect modern browsers: we suggest easy-to-deploy patches for plug-ins that prevent large-scale exploitation, provide a defense tool, dnswall, that prevents firewall circumvention, and detail two defense options, policy-based pinning and host name authorization.
FluxCapacitor: efficient time-travel text search
Authors: Klaus Berberich, Srikanta Bedathur, Thomas Neumann, Gerhard Weikum
Venue: Proceedings of the 33rd international conference on Very large data bases (2007)

An increasing number of temporally versioned text collections is available today with Web archives being a prime example. Search on such collections, however, is often not satisfactory and ignores their temporal dimension completely. Time-travel text search solves this problem by evaluating a keyword query on the state of the text collection as of a user-specified time point. This work demonstrates our approach to efficient time-travel text search and its implementation in the FLUXCAPACITOR prototype.
An Anonymous Account-Based Mobile Payment Protocol for a Restricted Connectivity Scenario
Authors: Jesus Tellez Isaac, Jose Sierra Camara
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

Recent advances in m-commerce have raised the usage of scenarios with communication restrictions. These scenarios create new security challenges which must be considered by protocol's designers in order to achieve the same security capabilities as in those protocols designed for mobile payment systems based on a 'Full connectivity' scenario (where all the entities can exchange messages with each other without intermediaries). In this paper, we propose an anonymous payment protocol for a Client Centric Mobile Scenario where the merchant has no direct communication with the acquirer due to absence of Internet access in her infrastructure, and the unaffordability of other communication technologies due to the inconveniences and costs associated. The proposed protocol uses symmetric-key operations which require low computational power and can be processed much faster than asymetric ones. As a result, our proposal illustrates how a merchant can sell goods in a secure way even if she can not directly communicate with the acquirer.
List decoding of the first-order binary Reed-Muller codes
Authors: I. I. Dumer, G. A. Kabatiansky, C. Tavernier
Venue: Problems of Information Transmission (2007)

A list decoding algorithm is designed for the first-order binary Reed-Muller codes of length n that reconstructs all codewords located within the ball of radius n/2(1 ¿ ¿) about the received vector and has the complexity of O(n ln2(min{¿ ¿2, n})) binary operations.
A Contrast Between Language Level Measures
Authors: R. R. Oldehoeft
Venue: IEEE Transactions on Software Engineering (1977)

Software science techniques have been used to provide a framework for evaluation of problem solving systems. In that effort, two methods for calculating the level of a language (L and L^) were used, it was suspected that L^, while adequate in that application, might be inferior to L. By using a set of hypothetical languagesj each with different intrinsic data structures and operators, it is shown here that when an inappropriate language is applied to some problems, L^ may reflect an inaccurately large value for language level, and can sometimes be made to yield an arbitrary value. Since L is often as easily applied as L, and does not exhibit this anomalous behavior, it is suggested that its general use is to be preferred.
A fuzzy cognitive mapping analysis of the impacts of an eco-industrial park
Authors: Sumita Fons, Gopal Achari, Timothy Ross
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2004)

Fuzzy cognitive maps are used as an automated decision aid to better assess how change in one component of a system affects the other components of the same system. To illustrate the advantage of this method, a conceptual model of an eco-industrial park is presented and the fuzzy cognitive mapping approach is used to analyze the impacts of this model. The model of the eco-industrial park is a collection of industries and companies that agree to co-exist for the purpose of maintaining a sustainable economic posture in the use of natural resources and in the minimization of wastes. Industries such as a steam co-generation plant, an asphalt refinery, a salt cavern, a fish farm, and various feedlots are contained in this conceptual model. The impact assessment presented involves a total of 18 various kinds of interdependencies between and among these various industries. Impacts such as pollution, waste disposal, employment, transportation, available land, school facilities, population growth, and other economic issues are all considered in the assessment of the impacts the eco-industrial park will have on the local community and the economy of a region that straddles northeastern Alberta and northwestern Saskatchewan, Canada. The fuzzy cognitive mapping approach is used to analyze the intricacies of these relationships and how they are likely to affect each other.
Differences between acoustic characteristics of spontaneous and read speech and their effects on speech recognition performance
Authors: Masanobu Nakamura, Koji Iwano, Sadaoki Furui
Venue: Computer Speech and Language (2008)

Although speech derived from read texts, news broadcasts, and other similar prepared contexts can be recognized with high accuracy, recognition performance drastically decreases for spontaneous speech. This is due to the fact that spontaneous speech and read speech are significantly different acoustically as well as linguistically. This paper statistically and quantitatively analyzes differences in acoustic features between spontaneous and read speech using two large-scale speech corpora, ''Corpus of Spontaneous Japanese (CSJ)'' and ''Japanese Newspaper Article Sentences (JNAS)''. Experimental results show that spontaneous speech can be characterized by reduced spectral space in comparison with that of read speech, and that the more spontaneous, the more the spectral space shrinks. This paper also clarifies that reduction in the spectral space leads to reduction in phoneme recognition accuracy. This result indicates that spectral reduction is one major reason for the decrease of recognition accuracy in spontaneous speech.
Minimax control of a process in a linear uncertain-stochastic system with incomplete data
Authors: G. B. Miller, A. R. Pankov
Venue: Automation and Remote Control (2007)

Consideration is given to the control problem in a linear stochastic differential system where constant noise intensities in equations of state and observation are prescribed only accurate within the membership of some known sets. For control optimization, an integral root-mean-square performance criterion is used. The problem is solved by the transition to a dual one, which makes it possible to prove the existence of a saddle point of the criterion and obtain an explicit expression for the minimax control operator as functions of the solution to the dual problem. To solve the latter, an iteration algorithm is proposed; the convergence of the algorithm is proved and investigated by a model example.
Analysis of adaptive interference cancellation using common-mode information in wireline communications
Authors: Thomas Magesacher, Per Ödling, Per Ola Börjesson
Venue: EURASIP Journal on Advances in Signal Processing (2007)

Joint processing of common-mode (CM) and differential-mode (DM) signals in wireline transmission can yield significant improvements in terms of throughput compared to using only the DM signal. Recent work proposed the employment of an adaptive CM-reference-based interference canceller and reported performance improvements based on simulation results. This paper presents a thorough investigation of the cancellation approach. A subchannel model of the CM-aided wireline channel is presented and the Wiener solutions for different adaptation strategies are derived. It is shown that a canceller, whose coefficients are adapted while the far-end transmitter is silent, yields a signal-to-noise power ratio (SNR) that is higher than the SNR at the DM channel output for a large class of practically relevant cases. Adaptation while the useful far-end signal is present yields a front-end whose output SNR is considerably lower compared to the SNR of the DM channel output. The results are illustrated by simulations based on channel measurement data.
Visual Insights into High-Resolution Earthquake Simulations
Authors: Amit Chourasia, Steve Cutchin, Yifeng Cui, Reagan W. Moore, Kim Olsen, Steven M. Day, J. Bernard Minster, Philip Maechling, Thomas H. Jordan
Venue: IEEE Computer Graphics and Applications (2007)

This study focuses on the visualization of a series of large earthquake simulations, collectively called TeraShake. The simulation series aims to assess the impact of Southern San Andreas Fault earthquake scenarios on Southern California. The authors discuss the role of visualization in gaining scientific insight and aiding unexpected discovery. Examples include significant differences in the ground motion pattern for different rupture directions; wave-guide effects leading to strong, localized amplification; variation in rupture speed for a spontaneous rupture model; and a star-burst pattern, indicating an unusual radiation of energy. The authors also cite instances of how visualization helped in finding numerical instabilities, leading to the use alternate absorbing boundary conditions for the wave propagation code. Without the sophisticated level of visualization carried out for the TeraShake, important scientific results would have remained undiscovered or less clearly understood. Moreover, some of the visualizations provide invaluable instructional material on earthquake phenomena to the public.
LR Automatic Parser Generator and LR(1) Parser
Authors: C. Wetherell
Venue: IEEE Transactions on Software Engineering (1981)

LR is an LR(1) parser generation system. It is written entirely in portable ANS1 standard Fortran 66 and has been successfully operated on a number of computers. LR uses a powerful algorithm of Pager's to generate a space efficient parser for any LR(1) grammar. Generated parsers have been used in a variety of compilers, utility programs, and applications packages.
Extraction Blood Vessels from Retinal Fundus Image Based on Fuzzy C-Median Clustering Algorithm
Authors: Chaichana Thanapong, Wiriyasuttiwong Watcharachai, Reepolmaha Somporn, Pintavirooj Chuchart, Sangworasil Manas
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

An automated method detection and extraction of blood vessels in retinal images would be described. The proposed algorithm is composed of three steps: matched filtering, fuzzy c-median (FCMED) clustering and label filtering. First, the matched filter technique is to enhance visualization of the blood vessels in retinal image. Secondly, the FCMED clustering is to keep the spatial structure of vascular tree segments. Finally, label filter technique is used to remove misclassified pixels. The algorithm has been tested on twenty sets in ocular fundus images, and experimental results are compared with clinically generated vessel segmentation and are evaluated in terms of sensitivity and specificity. This method performs well in analyzing anatomical structures in retinal image. .
Recent Developments in Design Automation
Authors: M. A. Breuer
Venue: Computer (1972)

In this paper we review some of the recent developments in the automated design and analysis of digital systems. The areas of gate level simulation, synthesis, partitioning, interconnection and fault test generation are discussed, and new algorithms in each of these areas are presented and compared. 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
A New Stereo Algorithm Integrating Luminance, Gradient and Segmentation Informations in a Belief-Propagation Framework
Authors: Nello Balossino, Maurizio Lucenteforte, Luca Piovano, Giuseppe Pettiti, Massimiliano Spertino
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

The paper deals with the design and implementation of a stereo algorithm. Disparity map is formulated as a Markov Random Field with a new smoothness constraint depending not only on image derivatives, but also on segmentation results and gradient directions. With these constraints we force disparity continuity inside each segmented object, while its contours are well preserved. Moreover we have designed a modified version of Belief Propagation which gives the solution to the stereo matching problem: the optimization has remarkable improvements and especially with respect to message propagation, which is actually driven by segmentation and boundary knowledge. Preliminary results are presented both on synthetic and benchmark images to demonstrate the effectiveness of our method.
Learning the valid incoming direction of IP packets
Authors: Jun Li, Jelena Mirkovic, Toby Ehrenkranz, Mengqiu Wang, Peter Reiher, Lixia Zhang
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2008)

Packet forwarding on the Internet is solely based on the destination address of packets, and it is easy to forge the source address of IP packets without affecting the delivery of the packets. To solve this problem, one can have routers check whether or not every packet comes from a correct direction based on its source address field. However, due to routing asymmetry in today's Internet, a router cannot simply reverse its forwarding table to determine the correct incoming direction of a packet. In this paper, we present the source address validity enforcement protocol, SAVE, which allows routers to learn valid incoming directions for any given source address. SAVE is independent from-and can work with-any specific routing protocol. By only interfacing with the forwarding table at routers, SAVE allows routers to properly propagate valid source address information from source address spaces to all destinations, and allows each router en route to build and maintain an incoming tree to associate each source address prefix with a corresponding incoming interface. The incoming tree is further valuable in handling routing changes: although a routing change at one router could affect the incoming direction of source address spaces from many locations, only the router that sees the change needs to send out new updates. Finally, SAVE has a good performance with low overhead.
Probability-Based Locally Linear Embedding for Classification
Authors: Zhenyue Zhang, Lingxiao Zhao
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 03 (2007)

We propose a novel dimension reduction method for clas- sification using a probability-based distance and the tech- nique of locally linear embedding (LLE). Logistic Discrim- ination (LD) is adopted for estimating the probability dis- tribution as well as for classification for the reduced data. Different to the supervised locally linear embedding (SLLE) that is only used for the dimension reduction of train- ing data, our probability-based locally linear embedding (PLLE) can be applied on both training and testing data. Five microarray data sets in high dimensional spaces, the IRIS data, and a real set of handwritten digits are experi- mented. The numerical results show that our method per- forms better, compared with the LD classifiers applied on the LLE or SLLE mapped lower dimensional data.
Increasing Software Effort Estimation Accuracy Using Experience Data, Estimation Models and Checklists
Authors: Kristian Marius Furulund, Kjetil Molkken-stvold
Venue: Proceedings of the Seventh International Conference on Quality Software (2007)

It is frequently suggested that using experience data, estimation models and checklists can increase software effort estimation accuracy. However, there has been limited empirical research on the subject. We conducted a study of eighteen of the latest projects of a software contractor. Quantitative and qualitative data was collected on several issues related to estimates, key project properties, and project outcome. It was found that in projects where experience data was utilized in the estimation process, they experienced a lesser magnitude of effort overruns. The use of a checklist also appeared to increase estimation accuracy. However, the utilization of an estimation model did not appear to have a substantial impact. Keywords: Software estimation, experience data, estimation models, checklists Topics: Project management, software estimation
Inventory allocation and transportation scheduling for logistics of network-centric military operations
Authors: F. Barahona, P. Chowdhary, M. Ettl, P. Huang, T. Kimbrel, L. Ladanyi, Y. M. Lee, B. Schieber, K. Sourirajan, M. I. Sviridenko, G. M. Swirszcz
Venue: IBM Journal of Research and Development (2007)

This paper describes a prototype inventory-placement and transportation-scheduling solution developed in support of the emerging military doctrine of Network-Centric Operations (NCO). NCO refers to an unprecedented ability to share information among cooperating forces, enabled by modern communications and computing technology. The objective of the Network-Centric concept is to collect, disseminate, and react to real-time information in order to improve the performance of the U.S. Army as a fighting force. One problem that arises in the logistics domain involves the maintenance of combat vehicles. We seek to determine the improvement, if any, made possible by exploiting accurate information on the status of available repair parts inventory, the current locations of mobile supply points, and the demand for parts. We describe logistics algorithms for maximizing the operational availability of combat vehicles by producing, flexible, optimized inventory and delivery plans that decrease replenishment times and prioritize parts allocations and repairs. Our algorithms are designed to leverage real-time information available from modern communications and inventory tracking technology by employing state-of-the-art mathematical optimization models. Our simulations indicate that Network-Centric Logistics (NCL) can significantly improve combat vehicle availability in comparison with current practice.