ppxscal/embedding_network huggingface dataset:
Strider typo-patrol: discovery and analysis of systematic typo-squatting
Authors: Yi-Min Wang, Doug Beck, Jeffrey Wang, Chad Verbowski, Brad Daniels
Venue: Proceedings of the 2nd conference on Steps to Reducing Unwanted Traffic on the Internet - Volume 2 (2006)

Typo-squatting refers to the practice of registering domain names that are typo variations of popular websites. We propose a new approach, called Strider Typo-Patrol, to discover large-scale, systematic typo-squatters. We show that a large number of typo-squatting domains are active and a large percentage of them are parked with a handful of major domain parking services, which serve syndicated advertisements on these domains. We also describe the Strider URL Tracer, a tool that we have released to allow website owners to systematically monitor typo-squatting domains of their sites.
On the empirical limits of billboard rotation
Authors: Elodie Fourquet, William Cowan, Stephen Mann
Venue: Proceedings of the 4th symposium on Applied perception in graphics and visualization (2007)

This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in an image among other objects produced by traditional 3D computer graphics. The need for this results has arisen in building a system to assist artists with simultaneous composition in two and three dimensions. Imitating the cartoon-based compositional practices of Renaissance artists we are using billboards as modelling primitives, with the additional freedom of manipulating them in three dimensions rather than two. Three-dimensional manipulation adds the capability of rotating billboards about vertical axes, which introduces geometric distortions exactly like those produced by multiple projections in Renaissance painting. An experiment measured the limits of acceptable distortion by having subjects choose the distorted object from an array of undistorted ones. The results include a concrete limit for acceptable billboard rotations, an identification of object features that create exceptional limits to rotation, and some conclusions about the relationship of canonical views to billboard use.
Multiple motion estimation and segmentation in transparency
Authors: J. G. Toro
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 04 (2000)

In this paper a mechanism for computing multiple motion models along with the corresponding regions of support for a sequence of images is presented. The mechanism is an indirect parametric motion estimation technique. Firstly, a robust technique based on the fundamental constraint equation of multiple optical flow is used to estimate a dense multiple vector field of the scene. Secondly, from the recovered low-level data, motion models and their corresponding regions of support are estimated through a variant of the expectation-maximisation (EM) algorithm. The proposed algorithm is shown to provide good motion estimates and regions of support.
Financial EDI over the internet, case study II: the bank of America and Lawrence Livermore national laboratory pilot
Authors: Arie Segev, Jaana Porra, Malu Roldan
Venue: Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2 (1996)

Bank of America Corporation (BofA) has used Electronic Data Interchange (EDI) to transmit financial transactions between itself and its customers for years. Until recently, however, BofA has used direct private lines or third party value added networks (VANs) as the carrier of the EDI data. In 1994, BofA initiated a pilot project with its customer Lawrence Livermore National Laboratory (LLNL) to investigate whether the Internet could be used for secure, reliable, and fast financial EDI (FEDI) transactions. This follow up study is the second case study on BofA's EDI strategy conducted by the Fisher Center for Information Technology and Management at the University of California, Berkeley. The first case study was completed in August 1995 (Segev, et.al., 1995). In the first case study, the current practices in EDI, FEDI, and related technologies were reviewed and documented. In this second case study, the results of the pilot project, which ended June 30th, 1996, are presented and possible implications are discussed. According to the results, the Internet is a viable alternative carrier for critical or sensitive business transactions. It is suggested that the transition from the traditional EDI to EDI over the Internet has strategic implications.
Dynamic Bandwidth Management for Handoffs with RSVP in 802.16/WLAN Environment
Authors: Yen-Wen Chen, I-Hsuan Peng, Shiu-Tsuen Guan
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

In order to provide seamless handoff for QoS connections in 802.16-2004/WLAN environment, a cross layer design approach is proposed to manage the bandwidth requirement of mobile node during movement. The main concept of the dynamic bandwidth management proposed in this paper is to treat the layer 2 connection of 802.16 as a pipe that aggregates multiple layer 3 RSVP connections with the same class of service. As the layer 3 connections are integrated into a pipe, bandwidth can be managed in a more statistical way. The control procedure of RSVP connection is designed in accordance with the signaling procedure of 802.16. In order to manage the bandwidth effectively, the Admitted Bandwidth Utilization Portion (ABUP) is defined as a threshold of the layer 2 pipe to determine whether the reserved bandwidth is enough or not. This threshold also plays an important role for the acceptance of handoff connection and new connection. The performance of the proposed scheme is examined through exhaustive simulations. Our results show that our scheme demonstrates a quite good performance in managing resources for RSVP connections in 802.16/WLAN environment.
Interactive Decision Support for Multiobjective COTS Selection
Authors: Thomas Neubauer, Christian Stummer
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

In the past decade component-based software engineering (CBSE) has gained considerable attention from both industry and the scientific community. Obviously, selecting the "best" combination of commercial off-the-shelf (COTS) components plays a critical role in CBSE. This task becomes demanding, as multiple objectives and constraints have to be taken into account. So far, the selection process has been tackled by such traditional techniques as the Weighted Scoring Method or the Analytical Hierarchy Process. This paper introduces a decision support approach that more properly addresses that challenge. The approach involves first determining (feasible) Pareto-efficient alternatives, then allowing decision makers to interactively explore the solution space until they find the most appealing solution. It not only works without extensive a priori preference information (such as criteria weights), it can also be easily integrated into existing COTS selection frameworks.
Preparing the next generation of information specialists in collaboration with industry
Authors: L. Kaufman
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

Summary form only given as follows. The panel presents the industry developed "Profile of the Graduate," which describes the skills and knowledge they desire in new hires, the curriculum developed so that students may acquire these skills and knowledge, and describes the uniqueness of the pedagogy and the successes with some pilot projects. The "Profile of the Graduate" is the specification for the development of the curriculum which is information centric, begins with a broad look at enterprise computing and spirals deeper into technical topics. Communications skills, collaborative and group experiences, and ethics in the profession are integrated into the curriculum from first course to last.
Scheduling for reduced CPU energy
Authors: Mark Weiser, Brent Welch, Alan Demers, Scott Shenker
Venue: Proceedings of the 1st USENIX conference on Operating Systems Design and Implementation (1994)

The energy usage of computer systems is becoming more important, especially for battery operated systems. Displays, disks, and cpus, in that order, use the most energy. Reducing the energy used by displays and disks has been studied elsewhere; this paper considers a new method for reducing the energy used by the cpu. We introduce a new metric for cpu energy performance, millions-of-instructions-per-joule (MIPJ). We examine a class of methods to reduce MIPJ that are characterized by dynamic control of system clock speed by the operating system scheduler. Reducing clock speed alone does not reduce MIPJ, since to do the same work the system must run longer. However, a number of methods are available for reducing energy with reduced clock-speed, such as reducing the voltage [Chandrakasan et al 1992][Horowitz 1993] or using reversible [Younis and Knight 1993] or adiabatic logic [Athas et al 1994]. What are the right scheduling algorithms for taking advantage of reduced clock-speed, especially in the presence of applications demanding ever more instructions-per-second? We consider several methods for varying the clock speed dynamically under control of the operating system, and examine the performance of these methods against workstation traces. The primary result is that by adjusting the clock speed at a fine grain, substantial CPU energy can be saved with a limited impact on performance.
Unsupervised Thresholding of Affymetrix Microarray Data
Authors: Matthew W. B. Trotter, Bernard F. Buxton
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

Unsupervised thresholding provides a data-driven alternative to manually-situated thresholds for those wishing to extract class structure from unlabelled data. The analysis of microarray data provides one such scenario, in which thresholds placed on the output of multiple hypothesis tests are the most common method of determining, for example, which genes of a genome-wide assay are expressed under different experimental conditions. The Affymetrix GeneChip microarray platform is a popular method of determining genome-wide gene expression. Here, we apply a well-known image segmentation algorithm to determine the simplest property inferred from Affymetrix microarray data - the detection of specific signal. The effective separation of specific and non-specific signal by an unsupervised thresholding algorithm demonstrates the potential of data-driven methods to complement and, in certain circumstances, replace manual thresholds in the analysis of this platform.
A discrete multitone power line communications system
Authors: T. Esmailian
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

In-building power lines have been considered as a medium for high speed data transmission for applications like home networking and Internet access. Frequency selectivity and time variation of this medium in addition to the high level of narrow-band and impulsive interference makes multi-carrier modulation, and especially its popular variant discrete multitone (DMT), an attractive modulation candidate for this application. This paper presents the results of our measurements of the high frequency characteristics of ordinary in-building power lines, as well as simulation results of a DMT transceiver system in an in-building power line environment.
Low-cost enrichment of Spanish WordNet with automatically translated glosses: combining general and specialized models
Authors: Jesús Giménez, Lluís Màrquez
Venue: Proceedings of the COLING/ACL on Main conference poster sessions (2006)

This paper studies the enrichment of Spanish WordNet with synset glosses automatically obtained from the English Word-Net glosses using a phrase-based Statistical Machine Translation system. We construct the English-Spanish translation system from a parallel corpus of proceedings of the European Parliament, and study how to adapt statistical models to the domain of dictionary definitions. We build specialized language and translation models from a small set of parallel definitions and experiment with robust manners to combine them. A statistically significant increase in performance is obtained. The best system is finally used to generate a definition for all Spanish synsets, which are currently ready for a manual revision. As a complementary issue, we analyze the impact of the amount of in-domain data needed to improve a system trained entirely on out-of-domain data.
Blind equalization: a new convex cost function
Authors: V. Shtrom
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

The use of gradient descent recursive identification in blind adaptive equalization requires a cost function with a unique minimum so that the FIR equalizer setup is guaranteed to remove sufficient ISI. We propose such a cost function which satisfies this requirement. The newly proposed cost function is the difference between the largest (l/sub 1/) and the smallest (l/sub /spl infin//) norms of the joint channel and equalizer impulse response. The global convergence for arbitrary linear channels holds regardless of the initial ISI and the equalizer length (i.e. for finite length equalizers). A globally convergent blind recursive equalizer is obtained based on an implementable approximation of such a cost function. Computer simulations compare favorably with existing algorithms of a similar kind.
A certified type-preserving compiler from lambda calculus to assembly language
Authors: Adam Chlipala
Venue: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007)

We present a certified compiler from the simply-typed lambda calculus to assembly language. The compiler is certified in the sense that it comes with a machine-checked proof of semantics preservation, performed with the Coq proof assistant. The compiler and the terms of its several intermediate languages are given dependent types that guarantee that only well-typed programs are representable. Thus, type preservation for each compiler pass follows without any significant "proofs" of the usual kind. Semantics preservation is proved based on denotational semantics assigned to the intermediate languages. We demonstrate how working with a type-preserving compiler enables type-directed proof search to discharge large parts of our proof obligations automatically.
Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs
Authors: Daniel Kroening, Natasha Sharygina
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Automated abstraction is the enabling technique for model checking large circuits. Predicate Abstraction is one of the most promising abstraction techniques. It relies on the efficient computation of predicate images and the right choice of predicates. Existing algorithms use a net-list-level circuit model for computing predicate images. 1) This paper describes a proof-based algorithm that computes an over-approximation of the predicate image at the word-level, and thus, scales to larger circuits. 2) The previous work relies on the computation of the weakest preconditions in order to refine the set of predicates. In contrast to that, we propose to extract predicates from a word-level proof to refine the set of predicates.
Performance Metrics for Intelligent Systems (PerMIS) 2006Workshop: Summary and Review
Authors: R. Madhavan, E. Messina
Venue: Proceedings of the 35th Applied Imagery and Pattern Recognition Workshop (2006)

The Performance Metrics for Intelligent Systems (Per- MIS 2006) workshop was held during August 21-23, 2006 at the National Institute of Standards and Technology (NIST) in Gaithersburg, Maryland, USA. The PerMIS series (the current workshop is the sixth) is targeted at defining measures and methodologies of evaluating performance of intelligent systems. PerMIS 2006 focused on applications of performance measures to practical problems in commercial, industrial, homeland security, and military applications. An important element of overall performance evaluation is that of assessing the technical maturity of a given technology or system. One approach for accomplishing this is known as Technology Readiness Level (TRL) assesment. TRL evaluations have been the focus of past PerMIS workshops and continue to be a foundational theme. This paper will provide an overview of the workshop and various topics that are closely related to the theme of the AIPR workshop.
Varying the antenna locations to optimize the capacity of multi-antenna Gaussian channels
Authors: N. Chiurtu
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

We investigate the problem of maximizing the capacity of multi-antenna Gaussian channels when one has the freedom of moving the transmit/receive antennas so as to modify individual singular values of the transfer matrix (subject to an overall energy conservation constraint). We solve this maximization problem and make some interesting observations. Namely that with n transmit and n receive antennas, when the signal-to-noise ratio is sufficiently large, the optimal solution corresponds to creating n parallel channels, all of which have the same strength. On the other extreme, when the signal-to-noise ratio is sufficiently small, the optimal solution boils down to creating a single channel. This is done by using the transmit and receive antennas to create focused beams. Perhaps the most interesting lesson is that beamforming is optimal only in the low signal-to-noise regime.
Achieving High Performance with FPGA-Based Computing
Authors: Martin C. Herbordt, Tom VanCourt, Yongfeng Gu, Bharat Sukhwani, Al Conti, Josh Model, Doug DiSabello
Venue: Computer (2007)

Numerous application areas, including bioinformatics and computational biology, demand increasing amounts of processing capability. In many cases, the computation cores and data types are suited to field-programmable gate arrays. The challenge is identifying the design techniques that can extract high performance potential from the FPGA fabric.
Representation of fuzzy time variables in discrete event simulation
Authors: Antonio Grieco, Francesco Nucci, Alfredo Anglani
Venue: Integrated Computer-Aided Engineering (2003)

Consideration about the possibility to integrate vague uncertainty notions into numerical simulation modeling tools may be a very interesting research field. In this way, it will be possible to exploit more efficient and robust modeling evaluation tools in the study of high productivity and flexibility production systems. In literature, few works investigated on the possibility to cope with the lack of numerical models able to deal with ill-defined uncertainty. In particular, if it is possible to describe uncertainty by statistical distribution, the methods of classical discrete event simulation theory are able to model the considered system thoroughly and may be regarded as an exhaustive tool. Otherwise, if uncertainty can not be described by statistical distribution, no robust methods tools are available to model and analyze discrete complex dynamic systems. In this work, the integration of Fuzzy Sets in discrete event simulation theory is analyzed. Firstly, uncertainty is considered from different point of views and all the necessary issues to introduce fuzziness in discrete event simulation models are illustrated. Then, a possibility-based approach is considered and fuzzy set theory concepts have been introduced in such a context. The soundness of simulation mechanisms has been formally established by considering the new questions arising from the description of system variables as fuzzy sets. Finally, the application of the proposed methodology to a simplified test case is showed and the obtained results are presented.
An efficient algorithm for mining frequent inter-transaction patterns
Authors: Anthony J. T. Lee, Chun-Sheng Wang
Venue: Information Sciences: an International Journal (2007)

In this paper, we propose an efficient method for mining all frequent inter-transaction patterns. The method consists of two phases. First, we devise two data structures: a dat-list, which stores the item information used to find frequent inter-transaction patterns; and an ITP-tree, which stores the discovered frequent inter-transaction patterns. In the second phase, we apply an algorithm, called ITP-Miner (Inter-Transaction Patterns Miner), to mine all frequent inter-transaction patterns. By using the ITP-tree, the algorithm requires only one database scan and can localize joining, pruning, and support counting to a small number of dat-lists. The experiment results show that the ITP-Miner algorithm outperforms the FITI (First Intra Then Inter) algorithm by one order of magnitude.
A New Algorithm of F Matrix Computing to Build Digital Elevation Model
Authors: Qiyu Yang, Zhenbang Gong, JiaQi Wu, Wei Ding
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

It is the primary step of "digital city" to construct three-dimensional digital map [1][2]. We consider that it constructed by computer vision based on the image microminiature aircraft collected [3]. But the characteristic point's quantity cannot meet the requirement of construct Digital Elevation Model. This paper provides a latest correlative matching method based on Epipolar Constrain after introduce the characteristic point extract and matching. Also it adopted a precise Fundamental Matrix estimate algorithm to calculate epipolar equation and increase the matching point. This algorithm performs very well in terms of robustness to outliers and noises .It improves the precision effectively. It also gives the experimental evidence of this algorithm's effect and its speed meets the real time 's request .
Transmission Over Slowly Fading Channels Using Unreliable Quantized Feedback
Authors: Siavash Ekbatani, Farzad Etemadi, Hamid Jafarkhani
Venue: Proceedings of the 2007 Data Compression Conference (2007)

We study the problem of maximizing the expected rate over a slowly fading channel with quantized channel state information at the transmitter (CSIT). This problem has been recently studied in the literature assuming a noiseless feedback link. In this work, we consider a more realistic model, where the feedback link suffers from fading, as well as the limited power allocated to the feedback signals. Our scheme considers a finite-state model to capture the fading in the feedback link. We solve the rate maximization problem with different power control strategies at the transmitter. A channel optimized scaler quantizer (COSQ) is designed to incorporate feedback in our transmission scheme. Unlike the conventional COSQs where the objective is to reconstruct the source, our proposed quantizer is designed to optimize the expected rate of the forward link. For a high quality feedback channel, the proposed system performs close to the noiseless feedback case, while its performance converges to the nofeedback scenario as the feedback channel quality degrades.