ppxscal/embedding_network huggingface dataset:
Keep healthy with fun: an entertainment system for keeping the motivation of daily, dull, and monotone exercise
Authors: Takuya Shimada, Itaru Kuramoto, Yu Shibuya, Yoshihiro Tsujino
Venue: Proceedings of the international conference on Advances in computer entertainment technology (2007)

Daily exercise is one of the popular methods to keep healthy. However, it is hard for most people to fit some exercise into their daily routine, because such exercise is often dull and monotone enough that their motivation of the exercise falls down. In this paper, we propose an entertainment system, "Exercise Game System (ExS)", to improve the person's motivation of daily exercises. It provides an entertainment which has a charactergrowing up based on the amount of exercise. The amount is estimated by the heart rate during the exercise. At weekend, the character participates a battle game, in which it fight against some other characters owned by other exercising people. By watching growth of a character and the battle game, users feel that dull and monotone exercise becomes fun.
Web facts and fantasy
Authors: Stephen Manley, Margo Seltzer
Venue: Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems (1997)

There is a great deal of research about improving Web server performance and building better, faster servers, but little research in characterizing servers and the load imposed upon them. While some tremendously popular and busy sites, such as netscape.com, playboy.com, and altavista.com, receive several million hits per day, most servers are never subjected to loads of this magnitude. This paper presents the analysis of internet Web server logs for a variety of different types of sites. We present a taxonomy of the different types of Web sites and characterize their access patterns and, more importantly, their growth. We then use our server logs to address some common perceptions about the Web. We show that, on a variety of sites, contrary to popular belief, the use of CGI does not appear to be increasing and that long latencies are not necessarily due to server loading. We then show that, as expected, persistent connections are generally useful, but that dynamic time-out intervals may be unnecessarily complex and that allowing multiple persistent connections per client may actually hinder resource utilization compared to allowing only a single persistent connection.
A fuzzy clustering algorithm enhancing local model interpretability
Authors: J. L. D&#x00ed;ez, J. L. Navarro, A. Sala
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2007)

In this work, simple modifications on the cost index of particular local-model fuzzy clustering algorithms are proposed in order to improve the readability of the resulting models. The final goal is simultaneously providing local linear models (reasonably close to the plant&#x2019;s Jacobian) and clustering in the input space so that desirable characteristics (regarding final model accuracy, and convexity and smoothness of the cluster membership functions) are improved with respect to other proposals in literature. Some examples illustrate the proposed approach.
A collision resolution algorithm for clump-free fast moving cloth
Authors: S. B. Huh, D. N. Metaxas
Venue: Proceedings of the Computer Graphics International 2005 (2005)

Cloth animation is an important area of computer graphics due to its numerous applications. However, so far an animation of fast moving cloth with multiple wrinkles has been difficult to make because of the cloth clump problem. Cloth clumps are the frozen areas where cloth pieces are clustered unnaturally - an obstacle in making a realistic cloth animation. Hence we present a novel cloth collision resolution algorithm which prevents clump formation during fast cloth motions. The goal of our resolution algorithm is to let cloth move swiftly without having any frozen cloth clumps, while preventing any cloth-cloth and rigid-cloth penetrations at any moment of a simulation. The non-penetration status of cloth is maintained without the formation of cloth clumps regardless of the speed of cloth motion. Our algorithm is based on a novel order in the resolution of cloth collisions. Our algorithm can be used with any cloth simulation approach such as spring-masses or finite elements. For the particular types of applications presented in this paper, we use a spring-mass system and we show several realistic simulations involving fast motions that are clump-free.
Statistical optimization of switched two-level quantizers with application to DPCM encoding of color video
Authors: F. Hartung
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 04 (1996)

Quantization is the core part of all lossy source coding schemes. We present a design scheme for statistical optimization of a set of one-bit (i.e., two-level) quantizers, given the signal statistics of an arbitrary signal, for example a prediction error signal. The set of quantizers can then be used for block-adaptive quantization of the signal. The quantizer design criterion combines ideas from block truncation coding (BTC) and vector quantization (VQ). As an example application of our design scheme we apply a set of two-level quantizers to adaptive differential pulse code modulation of color video where the quantizers are switched adaptively on a block-by-block basis. Coding results show that this scheme has a better performance than other low-complexity video coding schemes. At 2 bit/pel, it performs more than 2 dB better in peak signal-to-noise ratio than DPCM (differential pulse code modulation) and up to 3.5 dB better than BTC.
On periodic punctured binary complementary sequence pairs
Authors: Ting Jiang, Xiao-qun Zhao, Lan-tian Hou
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 01 (2002)

A new kind of periodic complementary sequence is defined, named periodic punctured binary complementary sequence pair (PPCSP), for which some properties and existence conditions are derived. With these properties and existence conditions, some optimal PPCSPs with length N /spl les/ 15, searched on computer, are presented.
Secure deletion of data from magnetic and solid-state memory
Authors: Peter Gutmann
Venue: Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography - Volume 6 (1996)

With the use of increasingly sophisticated encryption systems, an attacker wishing to gain access to sensitive data is forced to look elsewhere for information. One avenue of attack is the recovery of supposedly erased data from magnetic media or random-access memory. This paper covers some of the methods available to recover erased data and presents schemes to make this recovery significantly more difficult.
Time-Accurate Numerical Prediction of Free Flight Aerodynamics of Projectiles
Authors: Jubaraj Sahu
Venue: Proceedings of the HPCMP Users Group Conference (2006)

This paper describes a new multidisciplinary computational study undertaken to model the flight trajectories and the free flight aerodynamics of both finned projectile at supersonic velocities and a spinning projectile at subsonic speeds with and without aerodynamic flow control. Actual flight trajectories are computed using an advanced coupled computational fluid dynamics (CFD)/rigid body dynamics (RBD) technique. An advanced time-accurate Navier-Stokes computational technique has been used in CFD to compute the unsteady aerodynamics associated with the free flight of the finned projectile at supersonic speeds and the spinning projectile at subsonic speeds. Computed positions and orientations of the projectile have been compared with actual data measured from free flight tests and are found to be generally in good agreement. Predicted aerodynamics forces and moments also compare well with the forces and moments used in the six degree freedom fits of the results of the same tests. Unsteady numerical results obtained from the coupled method show the flow field, the aerodynamic forces and moments, and the flight trajectories of the projectile
Search via quantum walk
Authors: Frederic Magniez, Ashwin Nayak, Jeremie Roland, Miklos Santha
Venue: Proceedings of the thirty-ninth annual ACM symposium on Theory of computing (2007)

We propose a new method for designing quantum search algorithms forfinding a "marked" element in the state space of a classical Markovchain. The algorithm is based on a quantum walk à la Szegedy [25] that is defined in terms of the Markov chain. The main new idea is to apply quantum phase estimation to the quantumwalk in order to implement an approximate reflection operator. Thisoperatoris then used in an amplitude amplification scheme. As a result weconsiderably expand the scope of the previous approaches ofAmbainis [6] and Szegedy [25]. Our algorithm combines the benefits of these approaches in terms of beingable to find marked elements, incurring the smaller cost of the two,and being applicable to a larger class of Markov chain. In addition,it is conceptually simple, avoids several technical difficulties in the previous analyses, and leads to improvements in various aspects of several algorithms based on quantum walk.
A fingertip haptic display for improving local perception of shape cues
Authors: Massimiliano Solazzi, Antonio Frisoli, Fabio Salsedo, Massimo Bergamasco
Venue: Proceedings of the Second Joint EuroHaptics Conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2007)

In this paper we present a novel haptic device capable of providing both kinesthetic and local haptic cues at the level of the fingerpad. The system is composed of a supporting haptic interface and a fingertip haptic display. The augmentation of locally displayed haptic information may improve the performance in tasks such as shape recognition by haptic exploration. In this paper the overall device is presented, and some preliminary experiments are reported investigating the role of haptic local cues in haptic perception of curvature.
VBR video traffic modeling and synthetic data generation using GA-optimized Volterra filters
Authors: Adel Abdennour
Venue: International Journal of Network Management (2007)

Variable bit rate (VBR) video traffic models, which accurately represent the traffic characteristics and statistical properties of real videos, can provide significant information about expected traffic behavior. This knowledge can be used in the development of effective control schemes and improved network quality of service. An interesting class of models based on the idea of generating a number of chi-square sequences, by passing a Gaussian autoregressive (AR) process through a simple nonlinearity, was recently introduced. The gamma process in this class of models is obtained by a linear combination of the chi-square sequences. This model is simple and allows for arbitrary selection of both the AR model and the shape parameter of the gamma probability density function. However, the AR filter order is chosen mainly on a trial-and-error basis. In addition, while the approach uses a linear combination of K chi-square sequences, it fixes (K - 2) coefficients and solves for only the remaining two because it has more equations than unknowns. Occasionally, the resulting solution is not feasible and additional trials for different solutions are required. It is therefore the objective of this paper to use genetic algorithms to provide a more systematic approach to find the various model parameters. The paper also presents a thorough statistical analysis of the generated synthetic data in order to assess its suitability for representing MPEG video traffic. A comparison with published results is carried out in terms of how close are the means, standard deviations, and the autocorrelation functions to those of the real data. A comparison of over 10000 replications and a number of different video traces reveals that a significant improvement can be achieved in almost all measures and for almost all the movies tested.
An Evaluation of Progressive Sampling for Imbalanced Data Sets
Authors: Willie Ng, Manoranjan Dash
Venue: Proceedings of the Sixth IEEE International Conference on Data Mining - Workshops (2006)

One of the emerging challenges for the data mining research community is to allow learning algorithms to mine huge databases. Sampling has often been suggested as an effective way to circumvent memory limitations as well as to improve processing speed. In this paper, we study the learning-curve sampling method, an approach for applying machine learning algorithms to massive amount of data sets. We show that a naive application of progressive sampling on data sets with highly imbalanced class distributions is often not very effective for training a learning algorithm. We then present a refinement for progressive sampling which works well in practice and is able to converge to the desired sample size very quickly and accurately. Empirical results on a number of large data sets show that our approach is able to enhance its performance.
A study on fuzzy C-means clustering-based systems in automatic spike detection
Authors: Z. Hilal İnan, Mehmet Kuntalp
Venue: Computers in Biology and Medicine (2007)

In this study, different systems based on the fuzzy C-means (FCM) clustering algorithm are utilized for the detection of epileptic spikes in electroencephalogram (EEG) records. The systems are constructed as either single or two-stages. In contrast to single-stage systems, the two-stage system comprises a pre-classifier stage realized by a neural network. The FCM based two-stage system is also compared to a similar system implemented using the K-means clustering algorithm. The results imply that an FCM based two-stage system should be preferred as the spike detection system.
Log-magnitude modelling of auditory tuning curves
Authors: L. Lin
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

We propose the novel application of a technique for filter design that can accurately fit measured tuning curves for the auditory fibres in the log-magnitude domain. This method provides pole-zero filters with guaranteed stability, and its log-magnitude domain criterion allows tuning curves with very steep slopes to be accurately modelled with an 8/sup th/ to 10/sup th/ order pole-zero filter. Thus, this technique can also be used to design a new set of critical band filters with superior frequency domain characteristics compared with the well-known gammatone filter bank. The filter bank designed using this technique has applications in auditory-based speech and audio analysis.
A combined approach of array processing and independent component analysis for blind separation of acoustic signals
Authors: F. Asano
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 05 (2001)

Two array signal processing techniques are combined with independent component analysis to enhance the performance of blind separation of acoustic signals in a reflective environment such as rooms. The first technique is the subspace method which reduces the effect of room reflection. The second technique is a method of solving the permutation, in which the coherency of the mixing matrix in adjacent frequencies is utilized.
A Mobile Phone-Enhanced Remote Surveillance System with Electric Power Appliance Control and Network Camera Homing
Authors: Yoshiro Imai, Yukio Hori, Shin'ichi Masuda
Venue: Proceedings of the Third International Conference on Autonomic and Autonomous Systems (2007)

We have developed an remote surveillance system, which is organized with an integrated web/mail server, network cameras, remote control devices and web-based clients. Some kinds of devices can be used as our clients including, for example, high-performance mobile phone, which are equipped with Java virtual machine and web-browsing facility. Our integrated server is designed to play intensive roles of web and e-mail services. It can obtain JPEG images from network cameras, process them, and accumulate them into its database. It can also receive some types of requests from clients, analyze them and perform several kinds of services such as monitoring, controlling and so on. Almost all software of our surveillance system is written in Java programming language, because of easy and powerful description of GUI as well as network programming. With enhanced facilities for mobile phone, our system has been available for many applications.
Wafer-scale 0-level packaging of (RF-)MEMS devices using BCB
Authors: A. Jourdain, H. Ziad, P. De Moor, H. A. C. Tilmans
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

This paper describes a wafer-to-wafer 0-level packaging method to realize low-profile, near hermetically sealed packaged devices using BenzoCycloButene (BCB) as the bonding and sealing material. The technique is fully described, and the bond is mechanically tested in terms of shear strength and hermeticity. Silicon caps as thin as 100 /spl mu/m have been successfully bonded to silicon device wafers. Shear strength as high as 20 MPA have been measured, and all tested packaged devices were gross leak tight.
A variable frame pitch estimator and test results
Authors: Xiaoshu Qian, R. Kumaresan
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 01 (1996)

This paper describes a new algorithm to identify voiced sections in a speech waveform and determine their pitch contours. The new pitch determination algorithm (PDA) uses variable frames and thus overcomes some common problems associated with fixed frame PDAs. It is adapted from an existing maximum likelihood PDA by retaining its strength and removing some weakness in the original formulation. The new PDA was tested on sixteen sentences from TIMIT database and its effectiveness is supported by the test results.
NetKuang: a multi-host configuration vulnerability checker
Authors: Dan Zerkle, Karl Levitt
Venue: Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography - Volume 6 (1996)

NetKuang is an extension to Baldwin's SU-Kuang. It runs on networks of computers using Unix and can find vulnerabilities created by poor system configuration. Vulnerabilities are discovered using a backwards goal-based search that is breadth-first on individual hosts and parallel when multiple hosts are checked. An implementation in C++ found real vulnerabilities on production systems. Tests show reasonably fast performance on a Lan.
Minimizing Nonsubmodular Functions with Graph Cuts-A Review
Authors: Vladimir Kolmogorov, Carsten Rother
Venue: IEEE Transactions on Pattern Analysis and Machine Intelligence (2007)

Optimization techniques based on graph cuts have become a standard tool for many vision applications. These techniques allow to minimize efficiently certain energy functions corresponding to pairwise Markov Random Fields (MRFs). Currently, there is an accepted view within the computer vision community that graph cuts can only be used for optimizing a limited class of MRF energies (e.g., submodular functions). In this survey, we review some results that show that graph cuts can be applied to a much larger class of energy functions (in particular, nonsubmodular functions). While these results are well-known in the optimization community, to our knowledge they were not used in the context of computer vision and MRF optimization. We demonstrate the relevance of these results to vision on the problem of binary texture restoration.
Post-processing of MPEG2 coded video for transmission at lower bit rates
Authors: P. A. A. Assuncao
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 04 (1996)

It is expected that most of the video services will be based on the MPEG2 standard and many of them using recorded streams. When compressed video is recorded, the characteristics of the channel through which it will be transmitted are assumed to be known beforehand. Therefore a great lack of flexibility arises in transmission of these streams when channels of diverse characteristics are used. If the same video programme is to be simultaneously distributed to several users through channels with different capacities, the service provider needs to keep several copies of that programme, each one encoded according to the corresponding channel characteristics. We show that it is only required to keep one copy of the coded data at its highest possible quality. Transcoding the main stream to lower rates is achieved with minimum delay. Therefore the transcoder is also capable of fast response to network demands to prevent packet loss.
A Model Checking Approach to Verify BPEL4WS Workflows
Authors: Domenico Bianculli, Carlo Ghezzi, Paola Spoletini
Venue: Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (2007)

The increasing diffusion of service oriented computing in critical business transactions demands reliability and correctness of the workflow logic representing web service orchestrations. We present an approach for the formal verification of workflow-based compositions of web services, described in BPEL4WS. Workflow processes can be verified in isolation, assuming that the external services invoked are known only through their interface. It is also possible to verify that the actual composition of two or more processes behaves correctly. We can verify deadlock freedom, properties expressed as data-bound assertions written in WS-CoL, a specification language for web services, and LTL temporal properties. Our approach is based on the software model checker Bogor, whose language supports the modeling of all BPEL4WS constructs. We provide an empirical evaluation of our approach and we compare the results with other BPEL4WS model checking tools.
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System
Authors: Florencia Balbastro, Alfredo Capozucca, Nicolas Guelfi
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming generations of application will be web based and will integrate more and more mobile devices. In such application domain, dependability is a key notion. This paper presents, through a case study, how we can develop an application that controls the insulin injection and that is embedded in a mobile device belonging to an e-health Web Information System (WIS). In order to ensure the dependability of the control systems, we show how to use Coordinated Atomic Actions (CAA). In order to implement our design, we explain how to use a development framework that we have made to implement CAA, which originally was not tailored for mobile fault-tolerant applications. Thus, in this paper, we also explain how we have adapted and used CAA-DRIP for mobile devices.