ppxscal/embedding_network huggingface dataset:
End-user systems, reusability, and high-level design
Authors: Glenn S. Fowler, John J. Snyder, Kiem-Phong Vo
Venue: Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings (1994)

During the past ten years, the number of computer users has grown by orders of magnitude. This has been brought about by dramatic increase in computing power combined with equally dramatic decrease in hardware costs. Beyond "stand-alone" user applications like word processing and spreadsheets, new classes of business applications arise where competitive advantage is created by empowering "end-users" with instant access to relevant information. In many cases, code already exists to access and process the desired information; the challenge is finding a way to couple such processing capabilities to individual user requests in a timely, specific, and friendly fashion. The keys to such end-user systems lie in high-level design and software reusability. This paper describes a language tool EASEL (End-User Application System Encoding Language) for building end-user systems and experiences in its development and deployment.
Test Time Reduction to Test for Path-Delay Faults using Enhanced Random-Access Scan
Authors: Kim T. Le, Dong H. Baik, Kewal K. Saluja
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

Studies of Random-Access Scan (RAS) architecture have largely limited their scope to reduce test application time, test volume and test power to detect conventional stuck-at faults. In this paper we propose an enhanced RAS latch design for two pattern tests. The proposed latch is a minor modification of the RAS latch and is well suited for delayfault tests. In contrast, the traditional serial scan latch needs a major enhancement. As a result the RAS may offer a hardware advantage while the test time is nearly halved over the serial scan design. We demonstrate the test time advantage in this paper for various test sets for benchmark circuits and we argue that the advantage is even larger when test sets are generated for RAS architecture in mind, as well as by the exploitation of unspecified bits in test vectors.
The role of Wireless Sensor Networks in the area of Critical Information Infrastructure Protection
Authors: Rodrigo Roman, Cristina Alcaraz, Javier Lopez
Venue: Information Security Tech. Report (2007)

Critical Infrastructures, such as energy, banking, and transport, are an essential pillar to the well-being of the national and international economy, security and quality of life. These infrastructures are dependent on a spectrum of highly interconnected information infrastructures for their smooth, reliable and continuous operation. The field of protecting such Critical Information Infrastructures, or CIIP, faces numerous challenges, such as managing the secure interaction between peers, assuring the resilience and robustness of the overall system, and deploying warning and alert systems, amongst others. In this tapestry of CIIP, Wireless Sensor Networks can be used as an invaluable tool due to their intelligent distributed control capabilities, alongside with their capability to work under severe conditions. In this paper, we justify why Wireless Sensor Networks technology is suitable for providing security for these scenarios, describing both their advantages and research issues and their role in the overall scheme of protecting the Critical Information Infrastructures.
SWAPEROO: a simple wallet architecture for payments, exchanges, refunds, and other operations
Authors: Neil Daswani, Dan Boneh, Hector Garcia-Molina, Steven Ketchpel, Andreas Paepcke
Venue: Proceedings of the 3rd conference on USENIX Workshop on Electronic Commerce - Volume 3 (1998)

Most existing digital wallet implementations support a single or a limited set of proprietary financial instruments and protocols for electronic commerce transactions, preventing a user from having one consolidated digital wallet to manage all of his or her financial instruments. Commercial efforts to implement extensible digital wallets that are capable of inter-operating with multiple instruments and protocols are a step in the right direction, but these wallets have other limitations. In this paper, we propose a new digital wallet architecture that is extensible (can support multiple existing and newly developed instruments and protocols), symmetric (has common instrument management and protocol management interfaces across end-user, vendor, and bank applications), nonweb-centric (can be implemented in nonweb environments), and client-driven (the user initiates all operations, including wallet invocation).
Construction of Training Environment for Surgical Exclusion with a Basic Study of Multi-finger Haptic Interaction
Authors: Yoshihiro Kuroda, Makoto Hirai, Megumi Nakao, Toshihiko Sato, Tomohiro Kuroda, Yasushi Masuda, Osamu Oshiro
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

Virtual reality based surgical simulator allows a repetitive training without spoiling patients. Exclusion is an important surgical manipulation of pushing aside organ to make a hidden tissue visible. The authors propose an organ exclusion training simulator with multi-finger haptic interaction and stress visualization. The system equips FEM-based soft tissue deformation and exoskeletal haptic device CyberForce. Real-time simulation was achieved with a prototype system. Results of training trial suggested effectiveness of stress visualization especially in early training days. Subjective evaluation by surgeons cleared its potential. Results of a basic study showed decrease of required refresh rate in multi-finger interaction compared with single finger interaction. It suggested the system can keep realism even if calculation time is increased by multi-finger interaction.
Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs
Authors: Subir K. Roy, Rubin A. Parekhji
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

This paper describes the methods and challenges for modeling BIST logic in complex SOCs to enable their verification using formal techniques. The main contributions of this paper are: (a) application of symbolic model checking to BIST logic verification, (b) abstraction and modeling of sequential blocks such as memories, data-loggers, scan chains and LFSRs to enable property based formal verification, (c) automated generation of re-usable hookup logic properties, and (d) experimental results to highlight the benefits of the proposed t echniques.
A model for efficient formant estimation
Authors: L. Welling
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 02 (1996)

This paper presents a new method for estimating formant frequencies. The formant model is based on a digital resonator. Each resonator represents a segment of the short-time power spectrum. The complete spectrum is modeled by a set of digital resonators connected in parallel. An algorithm based on dynamic programming produces both the model parameters and segment boundaries that optimally match the spectrum. The main results of this paper are: (1) modeling formants by digital resonators allows a reliable estimation of formant frequencies; (2) digital resonators can be used efficiently in connection with dynamic programming; and (3) a recognition test with formant frequencies results in a string error rate of 4.8% on the adult corpus of the TI digit string database.
Ubi-Pen: Development of a Compact Tactile Display Module and Its Application to a Haptic Stylus
Authors: Ki-Uk Kyung, Jun-Seok Park
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

The objective of this research is to propose and design a compact tactile display module and verify its performance in a pen-like haptic interface. A small, safe, silent and light tactile display module with a low power dissipation has been built. Based on this module, we present the Ubi-Pen, a system providing texture and vibration stimuli. Preliminary evaluations indicate it can satisfactorily represent tactile patterns. We also investigate the optimal frequencies at which to present stimuli, and evaluate its capacity to support GUI operations by producing a simple click-like feedback when buttons are pressed.
Infinite mixtures of trees
Authors: Sergey Kirshner, Padhraic Smyth
Venue: Proceedings of the 24th international conference on Machine learning (2007)

Finite mixtures of tree-structured distributions have been shown to be efficient and effective in modeling multivariate distributions. Using Dirichlet processes, we extend this approach to allow countably many tree-structured mixture components. The resulting Bayesian framework allows us to deal with the problem of selecting the number of mixture components by computing the posterior distribution over the number of components and integrating out the components by Bayesian model averaging. We apply the proposed framework to identify the number and the properties of predominant precipitation patterns in historical archives of climate data.
On-campus and off-campus first-year electrical engineering students engage in interactive learning environments
Authors: A. D. Fontenot
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 02 (2000)

Universally available Internet and Web technologies support interactive learning environments for both on-campus and off-campus students in an introductory course in electrical engineering. This paper describes the rationale for the course and reports the results of scaling up online discussions from a 15-student on-campus honours section of the course taught during the fall semester of 1999 to a class of approximately 50 on-campus and off-campus students taught during the spring semester of 2000. The off-campus students comprised high-achieving high school students who enrolled in the course under a pilot offering of the Texas Tech University Early Admissions Program (EAP). An overview of the EAP and initial results of this pilot offering are discussed in the paper.
Non-linear instantaneous least squares and its high SNR analysis
Authors: J. Angeby
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 03 (1999)

A novel approach for signal parameter estimation, named the non-linear instantaneous least squares (NILS) estimator, is proposed and a high SNR statistical analysis of the estimates is presented. The algorithm is generally applicable to deterministic signal in noise models. However, it is of particular interest in applications where the "conventional" non-linear least squares criterion suffers from numerous local minima. The key idea here is to apply a sliding window to estimate the instantaneous amplitude, which is then used in a separable least squares criterion-function. Hereby the radius of attraction of the global minimum is under the control of the user, which makes the NILS approach advantageous to use in practical applications. Numerical results using polynomial-phase signals validate the theoretical results.
Mining Information Extraction Models for HmtDB annotation
Authors: Margherita Berardi, Donato Malerba, Marcella Attimonelli
Venue: Proceedings of the Sixth IEEE International Conference on Data Mining - Workshops (2006)

Advances of genome sequencing techniques have risen an overwhelming increase in the literature on discovered genes, proteins and their role in biological processes. However, the biomedical literature remains a greatly unexploited source of biological information. Information Extraction (IE) techniques are necessary to map this information into structured representations that allow facts relating domainrelevant entities to be automatically recognized. In this paper, we present a framework that supports biologists in the task of automatic extraction of information from texts. The framework integrates a data mining module that discovers extraction rules from a set of manually labelled texts. Extraction models are subsequently applied in an automatic mode on unseen texts. We report an application to a realworld dataset composed by publications selected to support biologists in the annotation of the HmtDB database.
Self-taught learning: transfer learning from unlabeled data
Authors: Rajat Raina, Alexis Battle, Honglak Lee, Benjamin Packer, Andrew Y. Ng
Venue: Proceedings of the 24th international conference on Machine learning (2007)

We present a new machine learning framework called "self-taught learning" for using unlabeled data in supervised classification tasks. We do not assume that the unlabeled data follows the same class labels or generative distribution as the labeled data. Thus, we would like to use a large number of unlabeled images (or audio samples, or text documents) randomly downloaded from the Internet to improve performance on a given image (or audio, or text) classification task. Such unlabeled data is significantly easier to obtain than in typical semi-supervised or transfer learning settings, making self-taught learning widely applicable to many practical learning problems. We describe an approach to self-taught learning that uses sparse coding to construct higher-level features using the unlabeled data. These features form a succinct input representation and significantly improve classification performance. When using an SVM for classification, we further show how a Fisher kernel can be learned for this representation.
Multi-Perspective Optimization of GEANTInter-domain Traffic
Authors: Manuel Pedro, Edmundo Monteiro, Fernando Boavida
Venue: Proceedings of the Fifth Annual Conference on Communication Networks and Services Research (2007)

Inter-domain traffic engineering is a key issue when resource optimization across autonomous systems boundaries is concerned. Mapping inter-domain traffic flows into existing service level agreements is, in general, a complex problem, for which an optimization tool is needed. This work aims at demonstrating the advantages of using such a tool to perform off-line inter-domain traffic optimization, using a multi-perspective approach. This optimization approach was applied to GÉANT, the European Research and Educational Network. The paper presents optimization solutions from various perspectives, namely bandwidth, monetary cost and routing trustworthiness. Results show the costs of the original GÉANT traffic engineering solution and the costs of the optimized solutions side-by-side. This case study also shows the advantages of being able to select between the perspectives that best fit the domain management policies.
An SDMA protocol for wireless multimedia networks
Authors: H. Yin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

Efficient exploitation of spatial diversity is fundamentally important to resource critical wireless applications. A medium access protocol (MAC) for space division multiple access (SDMA) packet networks is proposed. The new protocol performs scheduling based on users' spatial characteristics and quality-of-service (QoS) requirements to achieve throughput multiplication and reduction of packet delays. The system's performance is evaluated under mixed audio and data traffic patterns and the results show that the new protocol can lead to a significant improvement in network performance.
Intelligent Data Analysis for Diagnostics of Alcohol Dependency
Authors: Petra Povalej, Matej Kravos, Peter Kokol
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

The alcohol dependency is hard to diagnose since none of the existing laboratory markers has sufficient specificity and sensitivity. Therefore the goal of our study was to find better laboratory markers and / or their combinations. For that purpose the intelligent data analysis using the decision tree induction method was used. The results show that the combination of three or even two markers can prove alcohol dependency with almost 85% accuracy. However the remark has to be made that the induced decision tree offers a qualitatively different access to diagnostic evaluation of laboratory findings and varies from common practice, because it sets up its new and own borders and criteria what is the unlike from generally accepted or set up reference values. All selected markers are widely accessible, inexpensive and part of a routine laboratory tests.
Analysis of Topology Aggregation techniques for QoS routing
Authors: Suleyman Uludag, King-Shan Lui, Klara Nahrstedt, Gregory Brewster
Venue: ACM Computing Surveys (CSUR) (2007)

We study and compare topology aggregation techniques used in QoS routing. Topology Aggregation (TA) is defined as a set of techniques that abstract or summarize the state information about the network topology to be exchanged, processed, and maintained by network nodes for routing purposes. Due to scalability, aggregation techniques have been an integral part of some routing protocols. However, TA has not been studied extensively except in a rather limited context. With the continuing growth of the Internet, scalability issues of QoS routing have been gaining importance. Therefore, we survey the current TA techniques, provide methodology to classify, evaluate, and compare their complexities and efficiencies.
Adaptive subspace estimation-application to moving sources localization and blind channel identification
Authors: C. Riou
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

We present a new direct adaptive subspace estimation (DASE) algorithm, based on direct parametrization of the eigenvectors with their coefficients. Its application to sources localization and blind channel identification is described. We also present the study of its asymptotic performance and show the good behavior of our algorithm, compared to another adaptive algorithm based on a Givens rotations parametrization.
ASL and ES delivering a complete 2-yr engineering science curriculum in asynchronous mode
Authors: W. C. Beston
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 03 (1998)

Summary form only given. The Engineering Science (ES) Department at Broome Community College (BCC) studied implementation of its entire curriculum in the asynchronous learning (ASL) mode while participating in the National Science Foundation (NSF) sponsored Beta Coalition during the 1997-98 academic year. As a result, five required degree courses and one elective course are being offered in the Fall 1998 semester using the SUNY Learning Network (SLN) as its delivery system. The five required courses are Engineering Statics, Introduction to Microprocessors, Calculus-based Physics I and II, and Calculus I. The courses are imbedded with specific notation that is not usually supported with a traditional word processors, have sophisticated three dimensional applications or computer programming codes, and represent "problem solving" versus discussion and paper-oriented coursework. In addition, the Physics and Microprocessor courses are "laboratory" courses, component that has not usually been addressed with traditional ASL course formats. The development and delivery of these courses is discussed as well as an overview of each course as seen by the Internet user. The Engineering Science curriculum prepares students for transfer into junior level upper division courses at four year engineering schools across the country. 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
Multimodal localization of a flying bat
Authors: K. Ghose
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

We present a new multimodal system that combines stereoscopic and audio-based source localization to track the position of a flying bat. Also presented are novel algorithms for audio source localization. The bat was allowed to fly in an anechoic room and monitored by two high-speed video cameras. The vocalizations of the bat were simultaneously recorded from six microphones. The data was then processed offline to localize the source and reconstruct the trajectory of the bat. We compare the performance of the localization algorithm with the position data obtained from stereoscopic pictures of the bat. The results confirm that the stereoscopic analysis and the audio localization are in good agreement. This system opens up new possibilities for performing multimodal research, and developing more tightly integrated algorithms.
Modeling techniques: movies vs. games
Authors: James Dargie
Venue: ACM SIGGRAPH Computer Graphics (2007)

Computer graphic artists are constantly trying to emulate the real world. A main canvas that we paint reality on is the computer generated (CG) 3D model. CG models are used in a variety of ways for many disciplines. Although uses can run the gamut from medical visualization, accident recreation and entomology, main uses of this technology lie within the realm of movie visual effects and 3D gaming. The models themselves are not always accomplished the same way, and depend greatly upon which application it is being utilized in. The main difference between the two is that the CG movie model is simply built to be seen, while its video game cousin is built to interact with.
A Formal Derivation of Grover's Quantum Search Algorithm
Authors: Paolo Zuliani
Venue: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2007)

In this paper we aim at applying established formal methods techniques to a recent software area: quantum programming. In particular, we aim at providing a stepwise derivation of Grover's quantum search algorithm. Our work shows that, in principle, traditional software engineering techniques such as specification and refinement can be applied to quantum programs. We have chosen Grover's algorithm as an example because it is one of the two main quantum algorithms. The algorithm can find with high probability an element in an unordered array of length L in just O(pL) steps (while any classical probabilistic algorithm needs (L) steps). The derivation starts from a rigorous probabilistic specification of the search problem, then we stepwise refine that specification via standard refinement laws and quantum laws, until we arrive at a quantum program. The final program will thus be correct by construction.
A system for securing push-based distribution of XML documents
Authors: Elisa Bertino, Elena Ferrari, Federica Paci, Loredana Parasiliti Provenza
Venue: International Journal of Information Security (2007)

Push-based systems for distributing information through Internet are today becoming more and more popular and widely used. The widespread use of such systems raises non trivial security concerns. In particular, confidentiality, integrity and authenticity of the distributed data must be ensured. To cope with such issues, we describe here a system for securing push distribution of XML documents, which adopts digital signature and encryption techniques to ensure the above mentioned properties and allows the specification of both signature and access control policies. We also describe the implementation of the proposed system and present an extensive performance evaluation of its main components.