ppxscal/embedding_network huggingface dataset:
Spectral moment estimation for weather radars using a whitening transformation on oversampled data
Authors: S. M. Torres
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

A method for estimation of Doppler spectral moments on pulsed weather radars is presented. This scheme operates on oversampled echoes in range; that is samples of in-phase and quadrature phase components are taken at a rate several times larger than the reciprocal of the transmitted pulse length. The aforementioned radar variables are estimated by suitably combining weighted averages of these oversampled signals in range with the usual processing of samples (spaced at pulse repetition time) at a fixed range location. The weights in range are chosen such that the oversampled signals become uncorrelated and consequently the variance of the estimates decreases significantly. Because the estimates' errors are inversely proportional to the volume scanning times, it follows that storms can be surveyed much faster than it is possible with current processing methods, or equivalently, for the current volume scanning time, the accuracy of the estimates can be greatly improved.
Reengineering a Legacy Tool for Software Evolution
Authors: Chia-Chu Chiang
Venue: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (2007)

This paper describes how a commercial legacy tool originally developed for a centralized computing environment has been reengineered for a heterogeneous distributed computing environment which allows the tool to be accessed remotely. In addition, we discuss how the tool was further enhanced to componentize customers' business applications in a heterogeneous distributed computing environment.
Rigorous analog verification of asynchronous circuits
Authors: Alain Martin
Venue:  (2006)

This thesis shows that rigorous verification of some analog implementation of any Quasi-Delay-Insensitive (QDI) asynchronous circuit is possible. That is, we show that in an accurate analog model, any behavior will adhere to the digital computation specifications under any possible noise and environment timing. Unlike a traditional simulation, we can analyze all of the infinitely many possible analog behaviors, in a time linear in the circuit size. A problem that arises in asynchronous circuit design is that he analog implementations of digital computations do not in general exhibit all properties demanded by the digital model assumed in circuit construction. For example, the digital model is atomic, in a sense we define. By contrast, analog models are non-atomic, and, as a result, we can give examples of real circuits with operational failures. There exist other attributes of analog models which can cause failures, and no complete classification exists. Ultimately there is only one way to solve this problem: we must show that all possible analog behaviors obey the atomic model. We focus on CMOS implementations, and the associated accepted bulk-scale model. Given any canonically-generated implementation of a general computation, we can rigorously verify it. The only exception to this rule is that restoring delay elements must be inserted into some implementations (fortunately, this change has no semantic effect on QDI circuits, by definition). Our theorem guarantees that when any possible analog behavior is properly observed, we obtain a valid, atomic digital execution. Several rigorous verifications have been produced, including one for an asynchronous pipeline circuit with dual-rail data.
Face authentication by using elastic graph matching and support vector machines
Authors: A. Tefa
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 04 (2000)

A novel method for enhancing the performance of elastic graph matching in face authentication is proposed. The starting point is to weigh the local matching errors at the nodes of an elastic graph according to their discriminatory power. We propose a novel approach to discriminant analysis that re-formulates Fisher's linear discriminant ratio to a quadratic optimization problem subject to inequality constraints by combining statistical pattern recognition and support vector machines. The method is applied to frontal face authentication on the M2VTS database.
Word sense disambiguation using lexical cohesion in the context
Authors: Dongqiang Yang, David M. W. Powers
Venue: Proceedings of the COLING/ACL on Main conference poster sessions (2006)

This paper designs a novel lexical hub to disambiguate word sense, using both syntagmatic and paradigmatic relations of words. It only employs the semantic network of WordNet to calculate word similarity, and the Edinburgh Association Thesaurus (EAT) to transform contextual space for computing syntagmatic and other domain relations with the target word. Without any back-off policy the result on the English lexical sample of SENSEVAL-21 shows that lexical cohesion based on edge-counting techniques is a good way of unsupervisedly disambiguating senses.
Physics-Based Subsurface Visualization of Human Tissue
Authors: Richard Sharp Jacob Adams Raghu Machiraju
Venue: IEEE Transactions on Visualization and Computer Graphics (2007)

In this paper, we present a framework for simulating light transport in three-dimensional tissue with inhomogeneous scattering properties. Our approach employs a computational model to simulate light scattering in tissue through the finite element solution of the diffusion equation. Although our model handles both visible and nonvisible wavelengths, we especially focus on the interaction of near infrared (NIR) light with tissue. Since most human tissue is permeable to NIR light, tools to noninvasively image tumors, blood vasculature, and monitor blood oxygenation levels are being constructed. We apply this model to a numerical phantom to visually reproduce the images generated by these real-world tools. Therefore, in addition to enabling inverse design of detector instruments, our computational tools produce physically-accurate visualizations of subsurface structures.
Finger Ring Tactile Interface Based on Propagating Elastic Waves on Human Fingers
Authors: Takayuki Iwamoto, Hiroyuki Shinoda
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

We propose a new tactile device which measures several DOF vibrations propagating along the finger. The device can be used both as a tactile sensor and human-machine interface. In this paper, as a pilot experiment, we carried out experiments on the identification of contact positions by using 2 DOF vibrations. It was shown that with a 2-axis accelerometer placed on the backside of the proximal phalanx, tapping on distal phalanx and middle phalanx can be discriminated.
WAVSTAN: waveform based variational static timing analysis
Authors: Saurabh K Tiwary, Joel R Phillips
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

We present a waveform based variational static timing analysis methodology. It is a timing paradigm that lies midway between convention static delay approximations and full dynamic (SPICE-level) analysis. The core idea is to break the modulation of waveforms processed by a circuit into two parts: (a) non-linear circuit elements e.g., transistors, diodes etc. and (b) linear elements: transmission line, RLC network etc. The non-linear and linear parts of the circuit are then solved using a combination of current-source modeling, model order reduction methodology, perturbation analysis and learning-based Galerkin methods which helps us get SPICE-like accuracies. The proposed method is potentially as robust and 10-20X faster than current-source based gate modeling methodologies.
Estimation of source location based on 2-D MUSIC and its application to speech recognition in cars
Authors: T. Nagai
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

This paper proposes a speech recognition and an enhancement system for noisy car environments based on a microphone array. In the system, multiple microphones axe arranged in 2-dimensional space, surrounding the interior of a car, and the speaker's location is first estimated by our proposed HE (harmonic enhanced) 2-D MUSIC (MUltiple SIgnal Classification). Then, 2-D delay and sum (DS) is applied to enhance the target speech. Such pre-processing makes robust speech recognition in noisy car environments possible. In the proposed system, not only a driver, but also a fellow passenger can control car electronics by their voices no matter where they are. This is an advantage of the system as well. The results of the simulation and the preliminary experiment in a real car environment are presented to confirm the validity of our proposed system.
Consolidating the capstone design course responsibility in electrical engineering at Texas A&M University
Authors: T. J. Talley
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

In 1992, an individual with industry experience was hired to coordinate the capstone design course in the Electrical Engineering Department at Texas A&M University, USA. The responsibility for the capstone design course had been distributed throughout the faculty of the department for several years. Approximately 150 students per year take the course in their final year as undergraduates. Over the following 4 years, several innovations in the structure of the course were adopted which produced a broad range of design experience alternatives for the students while minimizing the load on the tenured and tenure-track faculty of the department. Innovations include: interdisciplinary teams; entry in national design competitions; community service projects; joint projects between departments and colleges; undergraduate research; industry projects; mentoring high school design competitions; and the evaluation of matrix management techniques as applied to the capstone course. An outline of the course content and some analysis of the critical factors in implementing the various alternative design project environments are discussed. 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
STORM: An Approach to Database Storage Management in Clustered Storage Environments
Authors: Kaushik Dutta, Raju Rangaswami
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

Database storage management in clustered storage environments is a manual, time-consuming, and error-prone task. Such management involves regular movement of database objects across nodes in the storage cluster so that storage utilization is maximized. We present STORM, an automated approach that guides this task by combining low-overhead information gathering about database access and storage usage patterns, efficient analysis of gathered information, and effective decision-making for reconfiguring data layout. The reconfiguration process is guided by the primary optimization objective of minimizing the total data movement required for the reconfiguration, with the secondary constraints of space and balanced I/O bandwidth utilizations across the storage nodes in the cluster. We model the reconfiguration decision-making as a multiconstraint optimization problem which is NP-hard. We then present a heuristic that provides an approximate solution in O(Nlog( N M ) + ( N M )2) time, where M is the number of storage nodes and N is the total number of database objects. A simulation study shows that the heuristic converges to an acceptable solution that is successful in balancing storage utilization with an accuracy that lies within 7% of the ideal solution.
Cheating: student attitudes and practical approaches to dealing with it
Authors: T. S. Harding
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 02 (2000)

The preliminary results of educational research conducted at Kettering University is described in which students in an introductory engineering materials course (MFGE-370) were asked to complete a survey on their perceptions of cheating. The overall objective of the research was to determine those things students believed constituted cheating, the frequency to which they cheat and their attitudes about what steps could be taken to curtail cheating within a course. Practical approaches to effectively dealing with cheating are also discussed including using learning objectives for writing fair tests, promoting group work through cooperative learning teams, holding review sessions before tests and building a good rapport with students. Data were gathered from 65 students in two offerings of the course.
Depth, contrast and view-based homing in outdoor scenes
Authors: Wolfgang St&#x00fc;rzl, Jochen Zeil
Venue: Biological Cybernetics (2007)

Panoramic image differences can be used for view-based homing under natural outdoor conditions, because they increase smoothly with distance from a reference location (Zeil et&#x00a0;al., J Opt Soc Am A 20(3):450&#x2013;469, 2003). The particular shape, slope and depth of such image difference functions (IDFs) recorded at any one place, however, depend on a number of factors that so far have only been qualitatively identified. Here we show how the shape of difference functions depends on the depth structure and the contrast of natural scenes, by quantifying the depth- distribution of different outdoor scenes and by comparing it to the difference functions calculated with differently processed panoramic images, which were recorded at the same locations. We find (1) that IDFs and catchment areas become systematically wider as the average distance of objects increases, (2) that simple image processing operations&#x2014;like subtracting the local mean, difference-of-Gaussian filtering and local contrast normalization&#x2014;make difference functions robust against changes in illumination and the spurious effects of shadows, and (3) by comparing depth-dependent translational and depth-independent rotational difference functions, we show that IDFs of contrast-normalized snapshots are predominantly determined by the depth-structure and possibly also by occluding contours in a scene. We propose a model for the shape of IDFs as a tool for quantitative comparisons between the shapes of these functions in different scenes.
Interpreted Petri Nets used for human-machine dialogue specification
Authors: F. Moussa, M. Riahi, C. Kolski, M. Moalla
Venue: Integrated Computer-Aided Engineering (2002)

This paper proposes an approach for the specification of human-machine dialogue for interactive process control applications supported by a tool called Ergo-Conceptor+. This approach is based on a formal modelling of the Human-Machine System (HMS) behaviour. This modelling make possible the deduction of the user requirements and then the identification of the User Interface (UI) objects. A formalism using Interpreted Petri Nets is proposed for modelling the Human-Machine dialogue. The formal aspect allows the validation of the specifications before going on to the generation of the interface.
Using an outcome-based approach to assess computing programs
Authors: John Impagliazzo
Venue: ACM SIGCSE Bulletin (2007)

In this poster, the author provides a pictorial demonstration of the elements associated with assessment and its relationship to the newly developed requirements by accrediting agencies in various countries. The presentation will provide insights on the meaning of accreditation and describes some of the new dynamics in worldwide accreditation. Assurance of educational quality encompasses assessment, often measured against established criteria. The poster describes forms of assessment and the difference between formal and informal assessment. It also provides definitions and examples of program mission, program goals, and program outcomes. It shows the difference between direct and indirect assessment and provides examples of embedded assessment, performance indicators, and the use of rubrics. The poster highlights the interaction of all these assessment characteristics.
Image restoration from a downsampled image by using the DCT
Authors: Yoshinori Abe, Youji Iiguni
Venue: Signal Processing (2007)

The high-resolution (HR) image restoration from a downsampled low-resolution (LR) image by using the discrete cosine transform (DCT) is proposed. The downsampling process is modeled in matrix form and the DCT is applied to the downsampling matrix to obtain the sparse matrix representation. The restored HR image is then efficiently computed from the LR image by using the sparsity. The distortion caused by the observation noise is theoretically analyzed, and the power of distortion is shown to be closely equal to the variance of the observation noise. Computer simulations show that the proposed method is superior to the cubic spline interpolation in the HR image restoration performance as far as the amount of the additive noise is small.
How to Draw ClusteredWeighted Graphs using a Multilevel Force-Directed Graph Drawing Algorithm
Authors: Romain Bourqui, David Auber, Patrick Mary
Venue: Proceedings of the 11th International Conference Information Visualization (2007)

Visualization of clustered graphs has been a research area since many years. In this paper, we describe a new approach that can be used in real application where graph does not contain only topological information but also extrinsic parameters (i.e. user attributes on edges and nodes). In the case of force-directed algorithm, management of attributes corresponds to take into account edge weights. We propose an extension of the GRIP algorithm in order to manage edge weights. Furthermore, by using Voronoi diagram we constrained that algorithm to draw each cluster in a non overlapping convex region. Using these two extensions we obtained an algorithm that draw clustered weighted graphs. Experimentation has been done on data coming from biology where the network is the genesproteins interaction graph and where the attributes are gene expression values from microarray experiments.
Model-checking Distributed Components: The Vercors Platform
Authors: Tomás Barros, Antonio Cansado, Eric Madelaine, Marcela Rivera
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2007)

This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From the behavioural specification of primitive components, and from the architectural description of the composite components, our tools build models encoding the interactions between the components, suitable for analysis by model-checking tools. The models are hierarchical and parameterized, expressing in a compact way the system behaviour. Then we have tools for instantiating those parameterized models using finite abstractions, and producing input for state-of-the-art verification tools. Our current work also targets the generation of models that include controllers modelling the dynamic management of architectural transformation of an application, such as changes in bindings or replacement of sub-components. We describe the existing tools, give tracks for further developments and show how realistic case-studies can be model-checked using our platform.
Distributed web service coordination for collaborative applications and biological workflows
Authors: Sushil K. Prasad
Venue:  (2006)

In this dissertation work, we have investigated the main research thrust of decentralized coordination of workflows over web services. To address distributed workflow coordination, first we have developed "Web Coordination Bonds" as a capable set of dependency modeling primitives that enable each web service to manage its own dependencies. Web bond primitives are as powerful as extended Petri nets and have sufficient modeling and expressive capabilities to model workflow dependencies. We have designed and prototyped our "Web Service Coordination Management Middleware" (WSCMM) system that enhances current web services infrastructure to accommodate web bond enabled web services. Finally, based on core concepts of web coordination bonds and WSCMM, we have developed the "BondFlow" system that allows easy configuration distributed coordination of workflows. The footprint of the BonFlow runtime is 24KB and the additional third party software packages, SOAP client and XML parser, account for 115kb.
Technological transformation: a case study of technology integration in a foreign language program
Authors: Karen A. Ferneding
Venue:  (2006)

This study investigates the practice of technology integration in a Chinese language program in higher education in the United States. Adopting Ihde's phenomenology of instrumentation as the theoretical framework, this study views technology as a transformative and reflexive process, which not only mediates human activities but also conditions and configures the users and the surrounding social elements during the process of integration. As the practice of technology integration is complex, this study features an array of positionalities including those of a technical support person, an administrator, instructors and students. I use observations, surveys, interviews and document analysis as a basis to explore the embedded personal, social and political context in the process of technology integration. This study intends to provide both naturalistic generalizations and analytical generalizations. With thick descriptions of the contexts and rich information about the participants, the practice of technology integration is analyzed at two levels. The first phase of analysis reveals the complexity of technology integration and discusses the transformation of teaching and learning in the process of technology integration through three major issues: (a) learning a language versus getting a grade, (b) technology integration versus technology adoption, and (c) technology-based discrimination. The second phase of analysis provides a more theoretically based analysis of the case, articulates the theoretical framework, phenomenology of instrumentation, in terms of the data and addresses three major theoretical considerations: (a) hermeneutic relations, (b) background relations and (c) inclinations of technology. As technology integration poses a challenge to the quality of education regarding reaching interiority and intersubjectivity in communication, the analysis concludes with a fourth theoretical consideration, humanness in education, which is grounded upon Ong's works and evaluates the success of technology integration in the framework of humanness.
Methodology and Tools Developed for Validation of COTS-based Fault-Tolerant Spacecraft Supercomputers
Authors: Michel Pignol
Venue: Proceedings of the 13th IEEE International On-Line Testing Symposium (2007)

Commercial Off-The-Shelf (COTS) electronic components are attractive for space applications. However, fault-tolerant architectures are required to cope with the Single Event Effect sensitivity of these components. CNES has developed a methodology, and the related validation tools, by injecting faults into these fault-tolerant architectures for validation purposes. The methodology is a hybrid one, combining deterministic and random fault injection phases. The main tools used are a boundary scan fault injector, made from an off-the-shelf JTAG tool, and software to analyse and process data obtained from the fault injection tests. This paper highlights the experience feedback relating to both the design and use of these tools, which were implemented to validate fault-tolerant architectures developed by CNES. Although this development has been done in the framework of the space domain, the methodology and tools are applicable for any fault-tolerant systems.