ppxscal/embedding_network huggingface dataset:
Three-dimensional shape recovery from focused image surface
Authors: T. S. Choi
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 06 (1999)

A new method for the three-dimensional shape recovery from image focus is proposed. The method is based on an approximation of the focussed image surface (FIS) by a piecewise curved surface which tracks the realistic FIS in image space. The piecewise curved surface is estimated by interpolation using the Lagrangian polynomial. The new method has been implemented on a prototype camera system. The experiments and their results are provided and discussed. The experimental results show that the new method gives more accurate results than the previous methods.
Allocating Services to Applications using Markov Decision Processes
Authors: Hadi Bannazadeh, Alberto Leon-Garcia
Venue: Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (2007)

In this paper, we outline the problem of allocating instances of services to different applications. We study a simple form of this problem with three types of services and two classes of applications. We address the problem when all instances of services have the same QoS parameters and when they have different QoS parameters. The objective of our problem is to find an optimal policy for accepting requests for each class of application, to maximize the utilization of available instances of services. To do so, we used Markov Decision Processes and we computed the optimal policy for our problem. Also, we compared the performance of this optimal policy with Complete Sharing and Complete Partitioning methods. The results show that using Markov Decision Processes we can obtain an optimal policy for allocating services to applications which outperforms the other two methods.
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
Authors: Heiko Hamann, Heinz Worn
Venue: Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems (2007)

Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and only little theoretical foundations exist. Predicting a system of many components with a huge amount of interactions is beyond human skills. The currently common use of simulations for design support is not satisfying, as it is time-consuming and the results are most likely suboptimal. In this work, we present the derivation of an analytical, time-, and space-continuous model for a swarm of autonomous robots based on the Fokker-Planck equation. While the motion model is in most parts physically motivated, the communication model is based on a heuristic approach. A showcase application to a recently proposed scenario of collective perception in a huge swarm of robots with very limited abilities is given and the simulation results are compared to the model. Despite the high level of abstraction, the prediction discrepancies are small and the parameters can be mapped one-to-one from the model to the control algorithm. Finally, we give an outlook on the capabilities of the proposed model, discuss its limitations, and suggest an improvement that could reduce the number of empirically determined parameters.
Test Technology TC Newsletter
Authors: Bruce C. Kim
Venue: IEEE Design Test (2007)

This newsletter provides information on past and upcoming events related to the IEEE Computer Society's Test Technology Technical Council and the test community.
Compensated mel frequency cepstrum coefficients
Authors: R. Vergin, D. O'Shaughnessy, V. Gupta
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 01 (1996)

The high concentration of energy in the low frequency range observed for most speech spectra is considered a nuisance because it makes less relevant the energy of the signal at middle and high frequencies in many speech analysis algorithms. This problem is often partially solved by filtering the input signal with a single-zero high pass filter. This technique, known as pre-emphasis, is not used in some speech recognition systems because it can increase the noise energy at high frequencies, which in some cases degrades the system's performance. A new algorithm, to avoid the ill effects of pre-emphasis, is presented in this paper. It is shown that this approach can increase the recognition rate.
Functional Fun with Tangible User Interfaces
Authors: Willem Fontijn, Jettie Hoonhout
Venue: Proceedings of the The First IEEE International Workshop on Digital Game and Intelligent Toy Enhanced Learning (2007)

This paper describes how fun can be used to maximize the learning potential of smart toys using tangible interfaces. Based on the purpose of fun, three orthogonal core sources of fun, accomplishment, discovery and bonding, are presented and linked to child development. This link is illustrated with two examples of tangible electronic games.
Using a Game Engine Technique to Produce 3D Entertainment Contents
Authors: Seung Seok Noh, Sung Dea Hong, Jin Wan Park
Venue: Proceedings of the 16th International Conference on Artificial Reality and Telexistence--Workshops (2006)

The computer game market has been growing rapidly all over the world with the game technology developing greatly caused from the development of computer technology and the increase in the prevalence of PC. Such excellent game technology has been used for making games and the various media design. For this reason, in this essay, I'll analyze the real time 3D game engine technology, the base of FPS (First Person Shooter) which is carried out through the character's view and also show the entertainment contents production study and the way of future game engine development using past production pipeline.
An Incremental Approach to Task and Message Scheduling for AUTOSAR Based Distributed Automotive Applications
Authors: Juan R. Pimentel
Venue: Proceedings of the 29th International Conference on Software Engineering Workshops (2007)

An incremental message and task scheduling approach based on a time driven message schedule and priority driven task schedule is proposed. The hierarchical message and task scheduling methodology meets precedence, real-time, and deadline constraints. The global message system is supported by FlexCAN and the task scheduler system is supported by the AUTOSAR O.S. A detailed design example that includes a drive-by-wire application is used to illustrate the methodology.
The syntactic monoid of hairpin-free languages
Authors: Lila Kari, Kalpana Mahalingam, Gabriel Thierrin
Venue: Acta Informatica (2007)

The study of hairpin-free words has been initiated in the context of DNA computing. DNA strands that, theoretically speaking, are finite strings over the alphabet {A, G, C, T} are used in DNA computing to encode information. Due to the fact that A is complementary to T and G to C, DNA single strands that are complementary can bind to each other or to themselves in either intended or unintended ways. One of the structures that is usually undesirable for biocomputation, since it makes the affected DNA string unavailable for future interactions, is the hairpin: if some subsequences of a DNA single string are complementary to each other, the string will bind to itself forming a hairpin-like structure. This paper continues the theoretical study of hairpin-free languages. We study algebraic properties of hairpin-free words and hairpins. We also give a complete characterization of the syntactic monoid of the language consisting of all hairpin-free words over a given alphabet and illustrate it with an example using the DNA alphabet.
Speech-enabled information retrieval in the automobile environment
Authors: Y. Muthusamy
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 04 (1999)

With the advances in speech recognition and wireless communications, the possibilities for information access in the automobile have expanded significantly. We describe four system prototypes for (i) voice-dialing, (ii) Internet information retrieval-called InfoPhone, (iii) voice e-mail, and (iv) car navigation. These systems are designed primarily for hands-busy, eyes-busy conditions, use speaker-independent speech recognizers, and can be used with a restricted display or no display at all. The voice-dialing prototype incorporates our hands-free speech recognition engine that is very robust in noisy car environments (1% WER and 3% string error rate on the continuous digit recognition task at 0 db SNR). The InfoPhone, voice e-mail, and car navigation prototypes use a client-server architecture with the client designed to be resident on a phone or other hand-held device.
Class Testing from State Diagrams Using Stream X-Machine Based Methods
Authors: Florentin Ipate
Venue: Proceedings of the 2007 Australian Software Engineering Conference (2007)

The Stream X-machine (SXM) is a form of extended finite state machine that describes a system as a finite set of states, an internal memory and a number of transitions between the states. One of the strengths of using a SXM to specify a system is that, under certain well defined conditions, it is possible to produce a test suite that is guaranteed to determine the correctness of the implementation under test. This paper shows how SXM based testing techniques can be applied to generate test suites at class level from state diagrams. Furthermore, a technique for constructing test suites for a hierarchical SXM without flattening the diagram, by reusing the test suites for the components, is given.
Modular Integration Through Aspects: Making Cents of Legacy Systems
Authors: Celina Gibbs, Daniel Lohmann, Chunjian Robin Liu, Yvonne Coady
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will provide commodity interoperable healthcare devices and services by introducing new connectivity standards for health management tools. But the costs of integrating and configuring disparate system services have proven to be prohibitive in this domain - healthcare processes require extreme agility to assimilate information across traditional boundaries. As a result, these tools must work effectively with dynamic business processes that often elude cost-effective integration themselves. This creates a requirement for software to be fluidly configurable and interoperable in order to best support personalized care with truly integrated solutions. We believe that, without a new technology for the seamless integration of features within healthcare devices, costs associated with attempts to fuse IT with dynamic business processes will continue to be an obstacle in modern patient care.
Viewpoint-Invariant and Illumination-Invariant Classification of Natural Surfaces Using General-Purpose Color and Texture Features with the ALISA dCRC Classifier
Authors: Teddy Ko, Peter Bock
Venue: Proceedings of the 35th Applied Imagery and Pattern Recognition Workshop (2006)

The paper reports the development of a classifier that can accurately and reliably discriminate among a large number of different natural surfaces in canonical and natural color images regardless of the viewpoint and illumination conditions. To achieve this objective, a set of general-purpose color and texture features were identified as the input to an ALISA statistical learning engine. These general-purpose color and texture features are those which exhibit the least sensitivity to illumination and viewpoint variation in a broad range of applications. To overcome the Bayesian confusion while a large number of test classes are involved, an ALISA dCRC classification method is developed. The classifier selects the trained class which has a known reclassification distribution histogram of a training image patch that is most closely matched with the unknown classification distribution of the test image patch. Preliminary results using the CUReT color texture dataset with test images not in the training set yields average classification accuracies well above 95% with no significant associated cost in computation time.
Dynamic management of CORBA trader federation
Authors: Djamel Belaïd, Nicolas Provenzano, Chantal Taconet
Venue: Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4 (1998)

In Wide Area Networks, tools for discovering objects that provide a given service, and for choosing one out of many are essential. The CORBA trading service is one of these tools. A trader federation extends the limit of a discovery, thanks to the cooperation of several trading servers. However, in a federation, cooperation links are manually and statically established. In this article, we propose an Extended Trading Service, which manages a trader federation dynamically. With Extended Trading Service, optimized links between traders are automatically set up thanks to the use of a minimum-weight spanning tree. Cycles in discovery propagation are eliminated. Links evolve dynamically in order to adapt to the modification of the underlying topology and the failure of an intermediate trader or link. The Extended Trading Service is able to organize discovered objects from the nearest to the furthest according to a distance function chosen for the federation. Such management is provided by specialized trading servers conforming to OMG Trading Service Specification.
Enabling effective engineering teams: a program for teaching interaction skills
Authors: E. Seat
Venue: Proceedings of the 28th Annual Frontiers in Education - Volume 01 (1998)

Working in teams is an integral part of modern engineering practice and education. However, successful team interaction depends on individuals possessing skills that allow them to communicate and interact with other people in adaptive and contributing styles. Simply putting people in teams does not teach them to work together effectively. A program for teaching interaction skills to engineers was developed at the University of Tennessee (USA) and has been expanded and used at the University of San Diego and in industry. This paper discusses what makes this training "a good fit" with engineering students, the background for its content, and the program's six modules. Personal experiences with teaching this material, lessons learned, and recommendations for implementation are discussed. Similarities and differences between teaching the engineering professional and student, student comments about the training and future directions are also addressed.
C++ exception handling for IA-64
Authors: Christophe de Dinechin
Venue: Proceedings of the 1st conference on Industrial Experiences with Systems Software - Volume 1 (2000)

The C++ programming language offers a feature known as exception handling, which is used, for instance, to report error conditions. This technique can result in more robust software. On the other hand, it generally has a highly negative performance impact, even when exceptions are not actually thrown. This impact is especially important on an architecture such as the HP/Intel IA-64 processor, which is very sensitive to compiler optimizations. Hewlett-Packard implemented exception handling for IA-64 in a way that leaves the door open for optimizations, even in the presence of exceptions.
Formally Counting Electronic Votes (But Still Only Trusting Paper)
Authors: Joeseph Kiniry
Venue: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (2007)

In this extended abstract we summarize our consulting work, scientific research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish government's activities are our particular focus, as is the Kiezen op Afstand (KOA) system, an experimental platform for electronic voting research with formal methods. We also reflect on the current state of affairs in The Netherlands and Ireland, and discuss next research steps in trustworthy, verified electronic voting systems.
The Role of a Shared Mental Model of Collaboration Technology in Facilitating Knowledge Work in Virtual Teams
Authors: Dominic M. Thomas, Robert P. Bostrom
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

We studied 52 field examples interaction breakdown in information technology project virtual teams and actions leaders took to fix it using information and communication technologies (ICTs). We found that leader success related to aspects of shared mental model (SMM) theory, particularly the equipment/technology (e/t) model. Our literature review shows that prior research has missed the critical impact of this SMM due to controls often placed on technology and context to make studies manageable. We found a solution to this dilemma by applying critical incident technique (CIT). We were able to study successful IT project managers in the field, sampling occasions when they engaged in technology facilitation. We found that these VT leaders need knowledge of ICTs in three areas: functional understanding of features, future prediction knowledge, and application/usefulness knowledge. We present the analysis of our interview data, the CIT methodology we employed, five propositions, and implications for practitioners and researchers.
Optimization of the "FOCUS" Inband-FEC architecture for 10-Gbps SDH/SONET optical communication channels
Authors: Afxendios Tychopoulos, Odysseas Koufopavlou
Venue: Proceedings of the conference on Design, automation and test in Europe (2007)

Forward-Error Correction (FEC) is of key importance to the robustness of optical communication networks. In particular, Inband-FEC is an attractive option, because it improves channel-performance without requiring an increase of the transmission bandwidth. We have devised and implemented a novel inband FEC method, dubbed FOCUS, for the electronic-mitigation of physical impairments in SDH/SONET optical networks. It is an inherently low-cost approach for both the metro and backbone network regions, scalable to any SDH/SONET rate and capable to significantly increase optical channel performance. This paper analyzes the most sophisticated ones from the plethora of optimizations that were employed to minimize the architectural complexity of FOCUS, falling in: a) Arithmetic operator design, b) Resource sharing and c) Redundant logic elimination. These optimizations were necessary to obtain a prototype, which eventually permitted the first fully successful laboratory evaluation of the FOCUS Inband-FEC method.
A Novel Geometrical Robust Image Data Hiding Scheme
Authors: Dan Wang, Peizhong Lu
Venue: Proceedings of the Eight International Workshop on Image Analysis for Multimedia Interactive Services (2007)

Robustness to geometrical distortions is essential to the data hiding scheme. However, most of existing methods mainly focus on the geometrical invariant watermark, and data hiding techniques with high robustness to geometrical attacks is still a challenge. In this paper1, we propose a novel geometrical invariant image data-hiding scheme based on fast correlation attacks of stream ciphers. The scheme can resynchronize the attacked image on the basis of the robustness of feature points and the powerful error-correcting characteristic of fast correlation attacks technique. The paper explicitly analyses the channel noise model, which provides a basis on which the parameters of fast correlation attacks is designed. Simulation results demonstrate that our data-hiding scheme is not only robust to geometrical distortions including RST and general affine transformations, but also robust t
A new architecture for the implementation of scripting languages
Authors: Adam Sah, Jon Blow
Venue: Proceedings of the USENIX 1994 Very High Level Languages Symposium Proceedings on USENIX 1994 Very High Level Languages Symposium Proceedings (1994)

Nearly all scripting languages today are implemented as interpreters written in C. We propose an alternate architecture where the language is translated into the dynamic language Scheme [R4RS]. The plethora of high quality, public domain Scheme implementations give the developer a wide selection of interpreters, byte compilers, and machine code compilers to use as targets for her VHLL. Our VHLL, Rush, provides high-level features such as automatic type conversion and production rules [SHH86][Ston93]. Performance benchmarks show that our system runs with acceptable speed; in fact, Rush programs run much more quickly than their equivalents in languages such as Tcl and Perl4. Whereas those languages are coded in C, Rush takes advantage of Scheme's existing high-level features, saving development time. Since the features provided by Scheme are among those most VHLLs share, we expect this approach to be widely applicable.
Teaching the non-traditional student
Authors: R. J. Hofinger, F. R. Lehman
Venue: Proceedings of the Frontiers in Education Conference, on 1995. Proceedings., 1995 - Volume 02 (1995)

Teaching the non-traditional student is an enlightening experience. To be involved in a classroom situation with a group of non-traditional students is to be in a classroom where the presence of enthusiasm and excitement is easily felt. The non-traditional student brings with him/her a wealth of experience, both personal and work related. This injection of experience and enthusiasm adds immensely to the flavor and authenticity of the teaching environment. He/she can add dimension to your repertoire that you may not have thought of in your wildest imagination. In addition to the above mentioned positive areas of interaction with the non-traditional student, that student also brings with him/her a wealth of problems. Some of their problems are not unlike those of the traditional student; some however are very unique and definitely more demanding.
Asymptotic non-null distribution of the generalized coherence estimate
Authors: A. Clausen
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 03 (1999)

The use of the generalized coherence estimate as a statistic for detection of a common signal in multiple independent channels of additive gaussian noise has been studied in several papers. This work has relied on simulations to evaluate detector performance because the distribution of the generalized coherence estimate with signal present is unknown. This paper derives an asymptotic expression for the non-null distribution of the estimate as the length of the sample sequences approaches infinity, develops an asymptotic performance analysis based on this distribution, and compares the receiver operating characteristics derived from this theoretical approach to those obtained using simulations with large sample sequence lengths.
From Here to There
Authors: Danny Ayers
Venue: IEEE Internet Computing (2007)

The demands of the Semantic Web vision are generally well-aligned with Web systems' practical requirements. Data-oriented Web systems technologies might help carry us to a Semantic Web sooner rather than later.
Developing a Computational Science IDE for HPC Systems
Authors: David E. Hudak, Neil Ludban, Vijay Gadepally, Ashok Krishnamurthy
Venue: Proceedings of the 29th International Conference on Software Engineering Workshops (2007)

Software engineering studies have shown that programmer productivity is improved through the use of computational science integrated development environments (or CSIDE, pronounced "sea side) such as MATLAB. ParaM is a CSIDE distribution which provides parallel execution of MATLAB scripts for HPC systems. ParaM runs on a range of processor architectures (e.g., x86, x64, Itanium, PowerPC) and its MPI binding, known as bcMPI, supports a number of interconnect architectures (e.g., Myrinet and Infinband). In this paper, we describe our goals for the ParaM project, the current status of the project and report on initial software engineering successes and challenges.