ppxscal/embedding_network huggingface dataset:
The Gateway MYMUP Project: experience from a pilot implementation at Florida International University
Authors: V. A. Tsihrintzis
Venue: Proceedings of the 26th Annual Frontiers in Education - Volume 01 (1996)

The Multi-Year, Multi-University project (MYMUP) is a new initiative within the gateway coalition funded by the National Science Foundation EEC Grant 9109853. It involves multi-disciplinary and multi-university student teams working on common design projects. The pilot implementation of this project took place in Fall and Spring 1996 semesters at Florida International University (FIU). This paper presents the FIU experience with this project including a description of the pilot implementation and results of MYMUP.
Alternate Diagnostic Testing and Compensation of RF Transmitter Performance Using Response Detection
Authors: Rajarajan Senguttuvan, Abhijit Chatterjee
Venue: Proceedings of the 25th IEEE VLSI Test Symmposium (2007)

Digital predistortion is used as a compensation technique in communication systems to minimize the effect of power amplifier non-linearity while increasing its operational efficiency. Prior linearization schemes use the receiver chain to feed data to the baseband processor that adaptively adjusts the predistortion coefficients. The procedure is iterative, requires many test applications, is sensitive to receiver quality, and is not suitable for RF communication front ends in which the mixer, LNA and PA are dynamically reconfigured to adapt to changing operating conditions. In the proposed scheme, a single multi-sine diagnostic test is applied from the baseband, and the response of the transmitter is captured via a response envelope detector. A novel unified methodology for co-tuning predistortion coefficients along with the PA bias voltage based on response diagnosis is proposed, thereby, enabling the transmitter to operate at high efficiency and linearity.
The Algebraic Computing Structure of Four DNA Bases
Authors: Ping Zhu, Xuqing Tang, Zhenyuan Xu, Weihong Guan
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

In this paper, we offers a new algebraic point of view for DNA molecules and introduce the algebraic system by using the natural operation based on the \Sigma = {A,C, G, T} . We characterize its structure by using the algebraic theory. We show that (L,\oplus,\otimes)is the distribution lattice of rings with identical element. Furthermore,we generalize this result to the W_\rho(V ) , a set which elements simulates the DNA molecules with sticky ends, the element is called an incomplete double stranded molecules consist of mixed DNA molecules with double and single strands.
Dynamic Patching of Embedded Software
Authors: Mathias Ekman, Henrik Thane
Venue: Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium (2007)

In this paper, we present a method for patching embedded multitasking real-time systems applications during runtime, for instrumentation purposes. The method uses binary modification techniques and automates the entire patch process. The method makes it possible to insert and remove instrumentation code without preparing the original source code. The method makes it possible to invoke code patches during run-time, without having to rely on dynamic linking of object files, or predeployment prepared dormant code. The actual modification of the executing target binary is performed in a safe and controlled manner by a dedicated low interference mutation task.
99% (Biological) Inspiration...
Authors: Michael G. Hinchey, Roy Sterritt
Venue: Proceedings of the Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (2007)

Greater understanding of biology in modern times has enabled significant breakthroughs in improving healthcare, quality of life, and eliminating many diseases and congenital illnesses. Simultaneously there is a move towards emulating nature and copying many of the wonders uncovered in biology, resulting in "biologically inspired" systems. Significant results have been reported in a wide range of areas, with systems inspired by nature enabling exploration, communication, and advances that were never dreamed possible just a few years ago. We warn, that as in many other fields of endeavor, we should be inspired by nature and biology, not engage in mimicry. We describe some results of biological inspiration that augur promise in terms of improving the safety and security of systems, and in developing self-managing systems, that we hope will ultimately lead to selfgoverning systems.
Performance analysis of the LMS blind minimum-output-energy CDMA detector
Authors: Yu Gong
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

Adaptive filters used in code division multiple access (CDMA) receivers to counter interference have been formulated both with and without the assumption of training symbols being transmitted. They are known as training-based and blind detectors respectively. We show that the convergence behaviour of the blind minimum-output-energy (MOE) detector can be quite easily derived, unlike what was implied by the procedure outlined in a previous paper. The simplification results from the observation that the correlation matrix determining convergence performance can be made symmetric, after which many standard results from the literature on least mean square (LMS) filters apply immediately.
Solving recurring student problems with recurrences
Authors: Jonathan Byrd, Monty Carter, David Cook, Philip Kirkham, Martha J. Kosa
Venue: Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education (2007)

We describe a prototype of RRTS (Recurrence Relation Tutorial System), a tool for students to use to practice solving homogeneous and non-homogeneous recurrence relations, both linear and divide-and-conquer, that arise in algorithm analysis.
Transition-based speech synthesis using neural networks
Authors: G. Corrigan
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 02 (2000)

Prior attempts to use neural networks to synthesize speech from a phonetic representation have used the neural network to generate a frame of input to a vocoder. As this requires the neural network to compute one output for each frame of speech from the vocoder, this can be computationally expensive. An alternative implementation is to model the speech as a series of gestures, and let the neural network generate parameters describing the transitions of the vocoder parameters during these gestures. Experiments have shown that acceptable speech quality is produced when each gesture is half of a phonetic segment and the transition model is a set of cubic polynomials describing the variation of each vocoder parameter during the gesture. This results in a significant reduction in computational cost.
The design and implementation of a dataflow language for scriptable debugging
Authors: Guillaume Marceau, Gregory H. Cooper, Jonathan P. Spiro, Shriram Krishnamurthi, Steven P. Reiss
Venue: Automated Software Engineering (2007)

Debugging is a laborious, manual activity that often involves the repetition of common operations. Ideally, users should be able to describe these repetitious operations as little programs. Debuggers should therefore be programmable, or scriptable. The operating environment of these scripts, however, imposes interesting design challenges on the programming language in which these scripts are written.This paper presents our design of a language for scripting debuggers. The language offers powerful primitives that can precisely and concisely capture many important debugging and comprehension metaphors. The paper also describes a pair of debuggers, one for Java and the other for Scheme, built in accordance with these principles. The paper includes concrete examples of applying this debugger to programs.
Modeling complex networks for electronic commerce
Authors: Foster Provost, Arun Sundararajan
Venue: Proceedings of the 8th ACM conference on Electronic commerce (2007)

Complex networks connect businesses, consumers, and the artifacts they create, such as pages, products, and accounts. Modeling these networks can help focus on the characteristics that will be useful for understanding or predicting important ecommerce phenomena, such as product demand or illicit behavior. Our tutorial will cover various generic models of (i) the structure of complex networks, and (ii) the probabilistic dependencies among networked entities. We will then discuss practical examples where the different types of models have been or could be used in order to improve understanding or to improve performance. For example, models of the structure of social networks can improve the theoretical understanding of network effects (Sundararajan, 2007). Modeling the structure of co-purchase networks can help explain demand patterns in electronic commerce. Models of networked probabilistic dependencies can improve prediction tasks including the targeting of advertisements/offers (Hill, Provost and Volinsky, 2006), the detection of illicit behavior (such as fraud), and the identification of interesting Web pages. The tutorial will be largely self-contained. Attendees will be assumed to know basic economics, probability and statistics.
Frequency-domain spectral envelope estimation for low rate coding of speech
Authors: M. Jelinek
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 01 (1999)

Estimation of the spectral envelope in the frequency domain allows to avoid some problems of linear prediction (LP) algorithms for voiced speech. We present a low complexity method of spectral envelope estimation from harmonics for low rate coding. The method consists in computing the harmonic amplitude spectrum using pitch-synchronous DFT with length depending on voicing, modifying this spectrum outside the telephone bandwidth to simplify modeling of the useful bandwidth and interpolating it by a frequency-domain low-pass filter. An all-pole model is then fitted to this modified smoothed version of the harmonic spectrum. The method was implemented on the harmonic-stochastic excitation (HSX) vocoder and the performance was compared with the LP algorithm similar to that used in the G.729 speech coding standard. A-B comparative tests show an important increase in perceptual quality.
Library interface versioning in solaris and linux
Authors: David J. Brown, Karl Runge
Venue: Proceedings of the 4th annual Linux Showcase & Conference - Volume 4 (2000)

Shared libraries in Solaris and Linux use a versioning technique which allows the link editor to record an application's dependency on a particular release level of the library. The versioning mechanism operates at the level of the library's GLOBAL symbol names--a finer granularity than simply associating a version number with the library itself. In Solaris, this mechanism has also been used to provide a means for the system-supplied shared libraries to define their application interface: to declare specifically which of their symbols are intended for application use (and are stable from one release to the next), and which are internal to the system's implementation (and hence subject to incompatible change). This paper describes the library symbol-versioning technology in Linux and Solaris, the ways in which it is used to support upward compatibility for existing compiled applications from one release of Solaris to the next, and the potential for similar mechanisms to be applied in Linux versioned shared libraries.
A fine-grid model for evaluating multidisciplinary team experiences
Authors: J. R. Rowland
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

A model having five interconnected component blocks is presented for evaluating multidisciplinary team experiences. These blocks feature project selection, use of skill sets, team dynamics, faculty mentoring and project reporting. Similar to the coarse-grid ABET's matrix used to assess the implementation of the overall continuous improvement process, this fine-grid model applies specifically to the multidisciplinary teams outcome. Five levels ranging from very limited activity (Level 1) to a highly developed capability (Level 5) are identified for each component block. The model has been applied at the University of Kansas, USA, to improve team experiences for electrical, computer, and mechanical engineering students in undergraduate control classes having 10 to 15 teams each spring over a three-year period. All teams performed at Levels 1 and 2 during the first year; many teams this year performed at Level 3 for most model components. Student teams are being asked now to provide their own assessments of component levels.
Union mounts in 4.4BSD-lite
Authors: Jan-Simon Pendry
Venue: Proceedings of the USENIX 1995 Technical Conference Proceedings on USENIX 1995 Technical Conference Proceedings (1995)

This paper describes the design and rationale behind union mounts, a new filesystem-namespace management tool available in 4.4BSD-Lite. Unlike a traditional mount that hides the contents of the directory on which it is placed, a union mount presents a view of a merger of the two directories. Although only the filesystem at the top of the union stack can be modified, the union filesystem gives the appearance of allowing anything to be deleted or modified. Files in the lower layer may be deleted with whiteout in the top layer. Files to be modified are automatically copied to the top layer. This new functionality makes possible several new applications including the ability to apply patches to a CD-ROM and eliminate symbolic links generated by an automounter. Also possible is the provision of per-user views of the filesystem, allowing private views of a shared work area, or local builds from a centrally shared read-only source tree.
Fine-grained access control to web databases
Authors: Alex Roichman, Ehud Gudes
Venue: Proceedings of the 12th ACM symposium on Access control models and technologies (2007)

Before the Web era, databases were well-protected by using the standard access control techniques such as Views and SQL authorization commands. But with the development of web systems, the number of attacks on databases increased and it has become clear that their access control mechanism is inadequate for web-based systems. In particular, the SQL Injection and other vulnerabilities have received considerable attention in recent years, and satisfactory solutions to these kinds of attacks are still lacking. We present a new method for protecting web databases that is based on fine-grained access control mechanism. This method uses the databases' built-in access control mechanisms enhanced with Parameterized Views and adapts them to work with web applications. The proposed access control mechanism is applicable for any existing databases and is capable to prevent many kinds of attacks, thus significantly decreases the web databases' attack surface.
Design and implementation of a mixed-signal embedded DSP system
Authors: M. Yeary
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 200. on IEEE International Conference - Volume 02 (2001)

At Texas Instruments, integrated circuits in production are continually becoming more power efficient and faster. The time associated with testing these designs, say with a with Taradyne test platform, represents a large cost of the overall price of these integrated circuits. This paper discusses the design and layout of a compact mixed signal printed circuit board using a digital signal processor (DSP) that can be used in the test environment. In general, we live in an analog world, but the processing and transfer of information is typically digital. Mixed signal designs offer the best of both worlds since these designs can take advantage of the processing power of a DSP, while operating in close proximity to the analog signals. The paper presents a discussion of our design along with a picture of our mixed signal board; more detailed discussions and pictures may be viewed at http://ee.tamu.edu//spl sim/mbyeary/mixedsignal.html.
2007 Special Issue: Model inversion by parameter fit using NN emulating the forward model - Evaluation of indirect measurements
Authors: Helmut Schiller
Venue: Neural Networks (2007)

The usage of inverse models to derive parameters of interest from measurements is widespread in science and technology. The operational usage of many inverse models became feasible just by emulation of the inverse model via a neural net (NN). This paper shows how NNs can be used to improve inversion accuracy by minimizing the sum of error squares. The procedure is very fast as it takes advantage of the Jacobian which is a byproduct of the NN calculation. An example from remote sensing is shown. It is also possible to take into account a non-diagonal covariance matrix of the measurement to derive the covariance matrix of the retrieved parameters.
Cascaded change detection for foreground segmentation
Authors: Luis F. Teixeira, Luis Corte-Real
Venue: Proceedings of the IEEE Workshop on Motion and Video Computing (2007)

The extraction of relevant objects (foreground) from a background is an important first step in many applications. We propose a technique that tackles this problem using a cascade of change detection tests, including noise-induced, illumination variation and structural changes. An objective comparison of pixel-wise modellingmethods is first presented. Given its best relation performance/complexity, the mixture of Gaussians was chosen to be used in the proposed method to detect structural changes. Experimental results show that the cascade technique consistently outperforms the commonly used mixture of Gaussians, without additional post-processing and without the expense of processing overheads.
Event Alignment for Cross-Media Feature Extraction in the Football Domain
Authors: Jan Nemrava, Paul Buitelaar, Vojtech Svatek, Thierry Declerck
Venue: Proceedings of the Eight International Workshop on Image Analysis for Multimedia Interactive Services (2007)

This paper describes an experiment in creating cross-media descriptors from football-related text and videos. We used video analysis results and combined them with several textual resources - both semistructured (tabular match reports) and unstructured (textual minute-by-minute match reports). Our aim was to discover the relations among six video data detectors and their behavior during a time window that corresponds to an event described in the textual data. The experiment shows how football events extracted from text can be mapped to corresponding scenes in video and how this may help in extracting eventspecific video detectors.
Training compositional agents in negotiation protocols using ontologies
Authors: M. Amor, L. Fuentes, J. M. Troya
Venue: Integrated Computer-Aided Engineering (2004)

The Internet facilitates the creation of new markets, which has motivated the development of new technologies for e-commerce. The increasing number of e-markets poses a big challenge to designers of e-commerce services. Agent-based applications are the most appropriate for merchandising because software agents are suitable for automating tedious tasks that the user may have to perform, such as, searching for goods. Furthermore, software agents are able to negotiate on the user's behalf according to negotiation protocols. However, new challenges arise from the evolution of negotiation mechanisms. The lack of protocol interoperability at the application level is preventing the evolution of negotiation since the set of interaction protocols supported by a software agent is usually fixed once the agent is created, and any protocol adaptation needs agent replacement. Thus, new software technologies for the development of more flexible, adaptable and reusable software agents are needed. We propose the use of component technology for the development of adaptive software agents for new negotiations protocols. In this paper we describe the compositional architecture of a software agent, and how we take advantage of component orientation for training agents in new negotiation mechanisms at runtime.
Formalizing Web Service Choreography Interface
Authors: Yu Huang, Chunxiang Xu, Hanpin Wang, Yunni Xia, Jiaqi Zhu, Cheng Zhu
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

All existing Web service composition standards remain at the descriptive level, without providing any formal semantics and method for verifying some important properties. Web Service Choreography Interface (WSCI) describes the flow of messages exchanged by a Web service which participates in choreographed interactions with other services. This paper presents an extended Petri net to formalize WSCI, and proposes several nets to represent the activity, process and interface respectively. Our formal model remarkably focuses on the message exchange and the context of WSCI. Furthermore, we give the formal semantics for the context in a subtle manner, i.e., subprocess and exception handling. According to the characteristic of WSCI, this paper proposes some properties just like well-founded, and introduces technique for checking these properties to ensure the correct implementation and deployment of WSCI.
Dynamic type checking in jalapeño
Authors: Bowen Alpern, Anthony Cocchi, David Grove
Venue: Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1 (2001)

A Java virtual machine (JVM) must sometimes check whether a value of one type can be can be treated as a value of another type. The overhead for such dynamic type checking can be a significant factor in the running time of some Java programs. This paper presents a variety of techniques for performing these checks, each tailored to a particular restricted case that commonly arises in Java programs. By exploiting compile-time information to select the most applicable technique to implement each dynamic type check, the run-time overhead of dynamic type checking can be significantly reduced. This paper suggests maintaining three data structures operationally close to every Java object. The most important of these is a display of identifiers for the superclasses of the object's class. With this array, most dynamic type checks can be performed in four instructions. It also suggests that an equality test of the run-time type of an array and the declared type of the variable that contains it can be an important short-circuit check for object array stores. Together these techniques result in significant performance improvements on some benchmarks.
Occlusion-adaptive 2-D mesh tracking
Authors: Y. Altunbasak
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 04 (1996)

Available 2-D mesh models, whether uniform or adaptive, preserve neighboring relationships between the patches (connectivity) everywhere within the frame, which is clearly not suitable across motion and occlusion boundaries. To this effect, this paper proposes an occlusion-adaptive, content-based mesh design and forward tracking algorithm, where no node points are placed within the background to be covered (BTBC), and node points along the boundary of the uncovered background (UB) are allowed to split. Furthermore, the mesh is refined within the UB region at every frame. Experimental results show successful motion compensation and tracking.