ppxscal/embedding_network huggingface dataset:
Emergent Structure in Unstructured Epidemic Multicast
Authors: Nuno Carvalho, Jose Pereira, Rui Oliveira, Luis Rodrigues
Venue: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2007)

In epidemic or gossip-based multicast protocols, each node simply relays each message to some random neighbors, such that all destinations receive it at least once with high probability. In sharp contrast, structured multicast protocols explicitly build and use a spanning tree to take advantage of efficient paths, and aim at having each message received exactly once. Unfortunately, when failures occur, the tree must be rebuilt. Gossiping thus provides simplicity and resilience at the expense of performance and resource efficiency. In this paper we propose a novel technique that exploits knowledge about the environment to schedule payload transmission when gossiping. The resulting protocol retains the desirable qualities of gossip, but approximates the performance of structured multicast. In some sense, instead of imposing structure by construction, we let it emerge from the operation of the gossip protocol. Experimental evaluation shows that this approach is effective even when knowledge about the environment is only approximate.
A NURBS Facial Model Based on MPEG-4
Authors: Boxiang Xiao, Qiang Zhang, Xiaopeng Wei
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

In this paper, a NURBS approach based on MPEG- 4 standard for facial modeling is presented. In this method, human face is simulated by using a piece of NURBS surface, and the model points of NURBS surface are affected by MPEG-4 feature points. The method combines the superiorities of NURBS and MPEG-4. For individual object, by means of capture of the MPEG-4 feature points and a mapping relationship, individual facial model is constructed. In some non-continuous region such as eyes, a partition algorithm of NURBS surface is implemented and some necessary aided models such as eyeballs are constructed. Due to the low data quantity of MPEG-4 and the local support property of NURBS, the model can be extended to dynamic modeling of facial expressions. The result of simulation is satisfying.
Design and Implementation of EPARK Wireless Parking Payment System Using Pervasive Computing
Authors: Darrel A. Mazzari, Patrick Seraphine, Sheikh I. Ahamed, Sreekanth G. Balasubramanian
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

The advent of ubiquitous computing has prompted the development of wireless applications within a pervasive computing environment. PDA's and cell phones are the current logical choice for these implementations. However, the display characteristics of these devices vary greatly, and are certain to continue evolving. In order to handle existing and future breeds of these devices, a configurable, scalable, and maintainable interface, based upon standards definitions, is imperative. In this paper, we present the design and implementation of the EPARK wireless parking payment system built using pervasive computing. Our system utilizes XSLT (eXtensible Stylesheet Language Transformations) of standard XML (eXtensible Markup Language) for performing device adaptability and data validation.
Interactive presentation: Soft-core processor customization using the design of experiments paradigm
Authors: David Sheldon, Frank Vahid, Stefano Lonardi
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Parameterized components are becoming more commonplace in system design. The process of customizing parameter values for a particular application, called tuning, can be a challenging task for a designer. Here we focus on the problem of tuning a parameterized soft-core microprocessor to achieve the best performance on a particular application, subject to size constraints. We map the tuning problem to a well-established statistical paradigm called Design of Experiments (DoE), which involves the design of a carefully selected set of experiments and a sophisticated analysis that has the objective to extract the maximum amount of information about the effects of the input parameters on the experiment. We apply the DoE method to analyze the relation between input parameters and the performance of a soft-core microprocessor for a particular application, using only a small number of synthesis/execution runs. The information gained by the analysis in turn drives a soft-core tuning heuristic. We show that using DoE to sort the parameters in order of impact results in application speedups of 6x-17x versus an un-tuned base soft-core. When compared to a previous single-factor tuning method, the DoE-based method achieves 3x-6x application speedups, while requiring about the same tuning runtime. We also show that tuning runtime can be reduced by 40--45% by using predictive tuning methods already built into a DoE tool.
Three-dimensional MEMS simulation using Euler parameters
Authors: G. Casinovi
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

Lumped-constant simulation of microelectromechanical systems (MEMS) is performed by solving numerically systems of coupled ordinary differential equations expressing Kirchhoff's laws and those of classical mechanics. One of the challenges is to describe mathematically the dynamics of these systems in a form that is both numerically stable and computationally efficient. The goal of this paper is to show that the representation of rigid-body dynamics based on the Euler parameters satisfies these requirements: it can describe arbitrary three-dimensional motion, its numerical stability properties are superior to those of other more frequently used parametrizations, and it can be implemented in a simulator in an efficient manner using so-called element stamps.
Minitack: Software Agents and Semantic Web Technologies
Authors: Mark T. Elmore, Thomas E. Potok
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

The Semantic Web seeks to extend the World Wide Web from a web for human users into a web for Software Agents as well, where Software Agents provide a powerful assist to the human users. Before a ubiquitous and Software Agent-enabled Semantic Web can be realized, there are a number of challenging issues in a number of divergent disciplines that must be solved. How can we better gather, fuse, interpret, analyze, and visualize information stored on the Web? How can we provide a rapid and profound understanding of the information that is available on the Web?
Instruction level test methodology for CPU core software-based self-testing
Authors: S. Shamshiri, H. Esmaeilzadeh, Z. Navabi
Venue: Proceedings of the High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International (2004)

TIS (S. Shamshiri et al., 2004) is an instruction level methodology for CPU core self-testing that enhances the instruction set of a CPU with test instructions. Since the functionality of test instructions is the same as the NOP instruction, NOP instructions can be replaced with test instructions so that online testing can be done with no performance penalty. TIS tests different parts of the CPU and detects stuck-at faults. This method can be employed in offline and online testing of all kinds of processors. Hardware-oriented implementation of TIS was proposed previously (S. Shamshiri et al., 2004) that tests just the combinational units of the processor. Contributions of this paper are first, a software-based approach that reduces the hardware overhead to a reasonable size and second, testing the sequential parts of the processor besides the combinational parts. Both hardware and software oriented approaches are implemented on a pipelined CPU core and their area overheads are compared. To demonstrate the appropriateness of the TIS test technique, several programs are executed and fault coverage results are presented.
Direct Manipulation of 3D Virtual Objects by Actors for Recording Live Video Content
Authors: Michihiko Minoh, Hideto Obara, Takuya Funtatomi, Masahiro Toyoura, Koh Kakusho
Venue: Proceedings of the Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure (2007)

In this article, we will describe our work aiming to realize direct manipulation of 3D virtual objects used as virtual props by a human playing a role of an actor for recording a live video content. For direct manipulation of the 3D virtual props, the actor wears a data glove, which is replaced by a realistic virtual hand in the same 3D shape as the actor's hand using chroma key before the video is delivered to viewers. When the virtual hand replaces the data glove on the actor's hand, its posture is adjusted so that it grasps the virtual props without misalignment. For modeling the virtual hand, the actor's hand is measured by the light stripe triangulation while moving with various postures. The 3D point set obtained as the result is segmented into the points corresponding to the parts of the actor's hand based on the difference in motion among those parts so that the segmented points are integrated into a 3D description of an articulated object. The 3D virtual objects used for virtual props are modeled by recovering the 3D shapes of the real objects by the volume intersection method. The 3D shape recovered by the method is improved using motion of the object and random pattern backgrounds.
From characters to words: dynamical segmentation and predictive neural networks
Authors: S. Garcia-Salicetti
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 06 (1996)

We present the extension of a neural predictive system primitively designed for on-line character recognition to words. Feature extraction is performed after resampling the pen trajectory information, recorded by a digitizing tablet. Each word is modeled by the natural concatenation of letter-models corresponding to the letters composing it. Successive parts of a word trajectory are this way modeled by different neural networks and only transitions from each one to itself or to its right neighbors are permitted. A holistic and dynamical segmentation allows one to adjust letter-models to the great variability of handwriting encountered in the words. Our system combines multilayer neural networks and dynamic programming with an underlying left-right hidden Markov model (HMM). Training was performed on 7000 words from 9 writers, leading to good results in the letter-labelling process, without using any language model.
You Know My 'Alter-Ego'--but You Don't Know Me!
Authors: Dora Galvez-Cruz, Karen Renaud
Venue: Proceedings of the 24th British National Conference on Databases (2007)

This paper explores the pitfalls of information disclosure in an e-commerce context. Many unwary and unaware e-customers fall into this trap. We explore current efforts to give the user control over disclosure of sensitive information. We propose a mechanism which will give customers this control over their own privacy by means of a third party portal which can be trusted by customers and stores alike. The portal gives the customers the chance to tailor the information they want to disclose and the stores will earn customer trust by behaving ethically. The portal's architecture and implementation details are presented and future work is suggested.
Blind Volterra signal modeling
Authors: T. Stathaki
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

In this paper the problem of nonlinear signal modeling is examined from a higher-order statistical perspective. The approach taken involves the use of second order Volterra kernels which are derived from a joint operation on second and third order moments of the signal. The paper describes the fundamental issues of the various components of the approach. The nonlinear equations involved are solved by means of unconstrained Lagrange programming neural networks. The results of the entire modeling scheme contained in this paper are very encouraging.
Acceleration of the Multiple-Try Metropolis algorithm using antithetic and stratified sampling
Authors: Radu V. Craiu, Christiane Lemieux
Venue: Statistics and Computing (2007)

The Multiple-Try Metropolis is a recent extension of the Metropolis algorithm in which the next state of the chain is selected among a set of proposals. We propose a modification of the Multiple-Try Metropolis algorithm which allows for the use of correlated proposals, particularly antithetic and stratified proposals. The method is particularly useful for random walk Metropolis in high dimensional spaces and can be used easily when the proposal distribution is Gaussian. We explore the use of quasi Monte Carlo (QMC) methods to generate highly stratified samples. A series of examples is presented to evaluate the potential of the method.
An Example Based Approach for Parsing Natural Language Sentences
Authors: Niladri Chatterjee, Shailly Goyal
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

Development of a parser from scratch is typically time-consuming and error prone. A more efficient approach may lie in adapting an example-based parsing scheme, provided an appropriate strategy is developed for knowledge elicitation from the example base. This paper proposes such a scheme for developing a Link Grammar based parser. The proposed scheme extracts knowledge from an already parsed example base in the form of "link information" and "phrase templates". For a given input sentence the parsing algorithm first extracts the possible links for the constituent words from the link dictionary. Then using the phrase templates and the possible links of the words, the sentence is parsed bottom-up. Algorithms have been developed to identify different phrases in the input sentence and to handle unknown words. The examples considered in this work are for English sentence. The proposed scheme uses very little language-specific information. Hence, the proposed algorithms can be adapted for other languages as well.
Using the analytic network process (ANP) in a SWOT analysis - A case study for a textile firm
Authors: İhsan Yüksel, Metin Dagdeviren
Venue: Information Sciences: an International Journal (2007)

Strengths, Weaknesses, Opportunities and Threats (SWOT) analysis does not provide an analytical means to determine the importance of the identified factors or the ability to assess decision alternatives according to these factors. Although the analysis successfully pinpoints the factors, individual factors are usually described briefly and very generally. For this reason, SWOT analysis possesses deficiencies in the measurement and evaluation steps. Although the analytic hierarchy process (AHP) technique removes these deficiencies, it does not allow for measurement of the possible dependencies among the factors. The AHP method assumes that the factors presented in the hierarchical structure are independent; however, this assumption may be inappropriate in light of certain internal and external environmental effects. Therefore, it is necessary to employ a form of SWOT analysis that measures and takes into account the possible dependency among the factors. This paper demonstrates a process for quantitative SWOT analysis that can be performed even when there is dependence among strategic factors. The proposed algorithm uses the analytic network process (ANP), which allows measurement of the dependency among the strategic factors, as well as AHP, which is based on the independence between the factors. Dependency among the SWOT factors is observed to effect the strategic and sub-factor weights, as well as to change the strategy priorities.
Human Pose Inference from Stereo Cameras
Authors: Feng Guo, Gang Qian
Venue: Proceedings of the Eighth IEEE Workshop on Applications of Computer Vision (2007)

In this paper, a Bayesian mixture expert (BME) framework for the estimation of 3D human poses from two uncalibrated wide-baseline cameras is presented. The two cameras will reduce the ambiguities of the pose estimation greatly and is easy to implemented. BME is learnt to conductmulti-modal pose estimation regression. K-means algorithm considering Euclidean distance and maximum-value distance for the joint angle vector is used for the initial clustering in BME learning. This will give the better cluster results to separate the ambiguous poses into different expert. Also a weighted PCA is implemented in an expectation-maximization (EM) framework to learn the parameters of the BME. This can reduce the dimension of the training data more effectively compared with global PCA. The system is trained with synthesized silhouettes from motion capture data. The experimental results on synthesized and real images illustrate that our approach does not need precise camera calibration and can estimate the poses effectively.
Verification and Validation of (Real Time) COTS Products using Fault Injection Techniques
Authors: R. Barbosa, N. Silva, J. Duraes, H. Madeira
Venue: Proceedings of the Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (2007)

With the goal of reducing time to market and project costs, the current trend of real time business and mission critical systems is evolving from the development of custom made applications to the use of commercial off the shelf (COTS) products. Obviously, the same confidence and quality of the custom made software components is expected from the commercial applications. In most cases, such products (COTS) are not designed with stringent timing and/or safety requirements as priorities. Thus, to decrease the gap between the use of custom made components and COTS components, this paper presents a methodology for evaluating COTS products in the scope of dependable, real time systems, through the application of fault injection techniques at key points of the software engineering process. By combining the use of robustness testing (fault injection at interface level) with software fault injection (using educated fault injection operators), a COTS component can be assessed in the context of the system it will belong to, with special emphasis given to timing and safety constraints that are usually imposed by the target real time dependable environment. In the course of this work, three case studies have been performed to assess the methodology using realistic scenarios that used common COTS products. Results for one case study are presented.
A Survey of Autonomic Computing Systems
Authors: Mohammad Reza Nami, Koen Bertels
Venue: Proceedings of the Third International Conference on Autonomic and Autonomous Systems (2007)

The evolution of networks and Internet has introduced highly scalable and available services making operational environments more complex. The increasing complexity, cost and heterogeneity of distributed computing systems have motivated researchers to investigate new ideas to cope with the management of this complexity. One such idea is autonomic computing. This paper provides a thorough survey of autonomic computing systems, presenting their characteristics, effects on quality factors, their building block architecture and challenges.
A Systematic Approach to Uncover Security Flaws in GUI Logic
Authors: Jose Meseguer, Ralf Sasse, Helen J. Wang, Yi-Min Wang
Venue: Proceedings of the 2007 IEEE Symposium on Security and Privacy (2007)

To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws are a category of software vulnerabilities that result from logic bugs in GUI design/implementation. Visual spoofing attacks that exploit these flaws can lure even securityconscious users to perform unintended actions. The focus of this paper is to formulate the problem of GUI logic flaws and to develop a methodology for uncovering them in software implementations. Specifically, based on an in-depth study of key subsets of Internet Explorer (IE) browser source code, we have developed a formal model for the browser GUI logic and have applied formal reasoning to uncover new spoofing scenarios, including nine for status bar spoofing and four for address bar spoofing. The IE development team has confirmed all these scenarios and has fixed most of them in their latest build. Through this work, we demonstrate that a crucial subset of visual spoofing vulnerabilities originate from GUI logic flaws, which have a well-defined mathematical meaning allowing a systematic analysis.
On disturbance estimation and its applications in health monitoring
Authors: Zhiqiang Gao
Venue:  (2006)

This research focuses on the disturbance estimation problem. A survey of existing techniques is first conducted, where extensive plant knowledge for state estimation is contrasted with less plant knowledge for disturbance estimation. To advance the latter methodology and to reduce over-dependence on model information in the former, the boundary between a model and disturbance is redrawn. With this redefined boundary, existing methods are improved. Furthermore, to make the estimators optimal as well as practical, a new concept of practical optimality is introduced. Several novel design techniques are developed and initial results show advantages over current disturbance estimators. Finally, the disturbance estimation techniques are applied to health monitoring of dynamic systems. Two engineering examples are used to demonstrate the effectiveness and practicality of the new methods, including the health monitoring of a servomechanism and the fault diagnosis of a three-tank level control system.* *This dissertation is a compound document (contains both a paper copy and a CD as part of the dissertation). The CD requires the following system requirements: Adobe Acrobat.
Graphics and the symbolization of ideas
Authors: George A. J. Sparling
Venue: ACM SIGGRAPH Computer Graphics (2007)

I work in a very arcane area of mathematical physics. It begins with Einstein's theory of gravitation and adds in the ideas of Sir Roger Penrose.
A real time transmission scheduling scheme for the class of service in WDM passive star network
Authors: NamUk Kim, YeongSuk Choe, Minho Kang
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 02 (2002)

In WDM passive star networks (PSN), Two critical problems that determine transmission performances are a data channel collision on transmission and a receiver collision at a receiver node. We propose a new transmission scheduling scheme that can efficiently avoid the above two collision problems and makes the class of service possible with high channel utilization. The proposed protocol introduces the self collision prediction mechanism with a fixed roundtrip delay by using the FDL at node registration state and adopts the multiple control slots for guaranteeing a low channel reservation time of the high class' real time traffic.
Mobile Electronic Signatures: Progression from Mobile Service to Mobile Application Unit
Authors: Evgenia Pisko
Venue: Proceedings of the International Conference on the Management of Mobile Business (2007)

Since the electronic signature market in Europe got legal support in the form of EU Directive 1999/93/EC[1], various mobile signature service (MSS) architectures, which imply an intermediary role for MSS Providers, have been developed accordingly to those days' technical implementation possibilities. Today, the advanced level of mobile technology allows for more efficient architectures of mobile services and applications. In this paper, we propose a new architecture for mobile services which integrates the use of mobile signatures. This architecture comprises the whole mobile signature service as an application unit on mobile devices. We also discuss the integration rules of this unit in various mobile services and applications.