ppxscal/embedding_network huggingface dataset:
Fast Kansei Matching Method as an Algorithm for the Solution of Extended Stable Marriage Problem
Authors: Shunichi Sugimoto, Tetsuo Hattori, Tetsuya Izumi, Hiromichi Kawano
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

This paper proposes a fast iteration algorithm for Kansei matching as an algorithm for solving the general stable marriage problem, which is easier and more transparent than the conventional (extended) Gale-Shapley (GS) algorithm in the sense of programming and debugging. This paper also presents a fast version of the iteration algorithm and describes the result of comparative experimentation in execution time. The result shows that the proposed algorithm executes more than six times faster than the GS one, while it requires the same memory storage as GS one, and this proves the effectiveness of the iteration method.
Coordinate Assignment for Cyclic Level Graphs
Authors: Christian Bachmaier, Franz J. Brandenburg, Wolfgang Brunner, Raymund Fülöp
Venue: Proceedings of the 15th Annual International Conference on Computing and Combinatorics (2009)

The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, leveling, crossing reduction, and coordinate assignment. However, there are situations where cycles must be displayed as such, e. g., distinguished cycles in the biosciences and scheduling processes which repeat in a daily or weekly turn. This excludes the removal of cycles. In their seminal paper Sugiyama et al. introduced recurrent hierarchies as a concept to draw graphs with cycles. However, this concept has not received much attention in the following years. In this paper we supplement our cyclic Sugiyama framework and investigate the coordinate assignment phase. We provide an algorithm which runs in linear time and constructs drawings which have at most two bends per edge and use quadratic area.
A syndetic approach to referring phenomena in multimodal interaction
Authors: Giorgio P. Faconti, Mieke Massink
Venue: Referring Phenomena in a Multimedia Context and their Computational Treatment (1997)

User interfaces of many application systems have begun to include multiple devices which can be used together to input single expressions. Such interfaces (and even the whole application systems) are widely labelled multi-modal, since they use different types of communication channels to acquire information.
An Improved Delphi Method for Machinability Evaluation and Examination in Process Planning
Authors: Huan-Min Xu, Jing Wei, Ming-Hai Yuan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Machinability evaluation and examination is fundamental for process planning　while an effective weight method is one of the primary concerns of machinability evaluation and examination in process planning. In this paper, a new improved approach for calculating the weights of extracted indices in machinability evaluation and examination in process planning is proposed based on the conventional Delphi method [1]. The proposed approach is the statistical method that is applied to develop an algorithm for calculating weights of extracted machinability indices. The proposed method follows three steps: (1) extracted machinability indices are sequenced according to importance by domain experts; (2) the statistical values are obtained from the evaluation data given by these experts; (3) the weights of extracted machinability indices are calculated according to this approach. The new method in the paperprovides one solution to the existing evaluation system. An application case is used to illustrate the process of calculation of weights of extracted machinability indices in machinability evaluation and examination in process planning.
Complementary Optic Flow
Authors: Henning Zimmer, Andrés Bruhn, Joachim Weickert, Levi Valgaerts, Agustín Salgado, Bodo Rosenhahn, Hans-Peter Seidel
Venue: Proceedings of the 7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (2009)

We introduce the concept of complementarity between data and smoothness term in modern variational optic flow methods. First we design a sophisticated data term that incorporates HSV colour representation with higher order constancy assumptions, completely separate robust penalisation, and constraint normalisation. Our anisotropic smoothness term reduces smoothing in the data constraint direction instead of the image edge direction, while enforcing a strong filling-in effect orthogonal to it. This allows optimal complementarity between both terms and avoids undesirable interference. The high quality of our complementary optic flow (COF) approach is demonstrated by the current top ranking result at the Middlebury benchmark.
Determination of body density by the hydrostatic weighting: Dynamometer versus load cell
Authors: Carlos M. P. Cursino, Raimundo C. S. Freire, Joao B. A. Silva, Enilson J. L. Costa, Sebastian Y. Catunda, Alessio T. Barros, Fernando J. S. P. Guimaraes
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

This study aims to determine the body density using the hydrostatic weighing method as a standard and comparison of results obtained with the dynamometer and a microcontroller-based system using the load cell. We used a population sample of 78 male subjects, between 18 and 35 years of age and were 7 to 10 measurements of the hydrostatic weighing for each. Through the SPSS software was analyzed information obtained from the body density in both cases. The automated system is presented repetitive, reproductive, compact, performs data acquisition and through the RS 232 provides for the calculations by the software. There were significant differences when compared measures of body density by two procedures.
A fully adaptive hybrid optimization of aircraft engine blades
Authors: L. Dumas, B. Druez, N. Lecerf
Venue: Journal of Computational and Applied Mathematics (2009)

A new fully adaptive hybrid optimization method (AHM) has been developed and applied to an industrial problem in the field of the aircraft engine industry. The adaptivity of the coupling between a global search by a population-based method (Genetic Algorithms or Evolution Strategies) and the local search by a descent method has been particularly emphasized. On various analytical test cases, the AHM method overperforms the original global search method in terms of computational time and accuracy. The results obtained on the industrial case have also confirmed the interest of AHM for the design of new and original solutions in an affordable time.
On the Relationship between Latitude and Altitude Temperature Effects
Authors: Lu Aigang, Wang Tianming, Kang Shichang, Pang Deqian
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Natural laws can only be recognized in the dynamic processes. Here we present the relationship between latitude and altitude temperature effects under the unprecedented global warming, using the 160-station observed meteorological data. We find that there are very distinctive seasonal differences in latitude and altitude effects: a very significant latitude effect in winter and a very significant altitude effect in summer. However, with global warming underway, the latitude effect of winter is weakening and the altitude effect in summer is strengthening. It seems that there exists a seesaw-relationship between latitude and altitude temperature effects with global temperature change: when the global temperature rises, the latitude effect will weaken and the altitude effect will strengthen, and vice versa. The relationship between latitude effect and altitude effect is helpful to reconstruct and explain the ancient temperature structure in different temperature conditions.
Software Abundance in the Face of Economic Scarcity, Part 1
Authors: Grady Booch
Venue: IEEE Software (2009)

Software-intensive systems are an inescapable and necessary element in helping us operate, innovate, and even thrive in the face of lean economic times.
Volume and Entropy of Regular Timed Languages: Analytic Approach
Authors: Eugene Asarin, Aldric Degorre
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

We have recently defined size measures for timed languages: volume for languages with words having a fixed finite number of events, and entropy (growth rate) as asymptotic measure for an unbounded number of events. These measures can be used for quantitative comparison of languages, and the entropy can be viewed as the information contents of a timed language. For languages accepted by deterministic timed automata, using methods of functional analysis, we characterize the entropy as the logarithm of the leading eigenvalue (spectral radius) of a positive integral operator. We devise two procedures to compute the entropy: a symbolic one for so-called "$1\, \frac{1}{2}$-clock" automata, using differential equations; and a numerical one based on iterations of an integral operator.
Real-Time FPGA-Based Panoramic Unrolling of High-Resolution Catadioptric Omnidirectional Images
Authors: Lidong Chen, Maojun Zhang, Bin Wang, Zhihui Xiong, Gang Cheng
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A new generation of optical devices that generate images covering 360 degree field of view, namely catadioptric cameras, is slowly emerging. Because of the concentric annular distortion, the omnidirectional images need to be transformed into panoramic images. In omnidirectional visual surveillance systems, it is a challenge to realize panoramic unrolling in real time, especially for high-resolution applications. In this paper, a FPGA implementation of pipeline structure is proposed, which uses look-up tables to replace complex calculations to guarantee high-speed performance and low cost of hardware resources. Notably, a novel strategy of “Block Prefetching” is proposed. The experimental results show that the implementation can realize real-time unrolling of 1024x1024 omnidirectional images into 3200x768 panoramic images at 24.672ms per frame. The developed FPGA design can be easily inserted into the digital interface of the current omnidirectional cameras.
Automatic assessment of spoken modern standard Arabic
Authors: Jian Cheng, Jared Bernstein, Ulrike Pado, Masanori Suzuki
Venue: Proceedings of the Fourth Workshop on Innovative Use of NLP for Building Educational Applications (2009)

Proficiency testing is an important ingredient in successful language teaching. However, repeated testing for course placement, over the course of instruction or for certification can be time-consuming and costly. We present the design and validation of the Versant Arabic Test, a fully automated test of spoken Modern Standard Arabic, that evaluates test-takers' facility in listening and speaking. Experimental data shows the test to be highly reliable (test-retest r=0.97) and to strongly predict performance on the ILR OPI (r=0.87), a standard interview test that assesses oral proficiency.
First-order Mixed Type Implicit Impulsive Fuzzy Differential Equation Systems
Authors: Heng-you Lan, Wei Xie, Xian-jun Zhang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

In this paper, by using Banach contraction mapping principle, we obtain some new existence and uniqueness theorems of solutions for a new system of initial value problems of first-order mixed type implicit impulsive fuzzy differential equations in the metric space of normal fuzzy convex sets with distance given by maximum of the Hausdorff distance between level sets.
High Definition Wearable Video Communication
Authors: Ulrik Söderström, Haibo Li
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

High definition (HD) video can provide video communication which is as crisp and sharp as face-to-face communication. Wearable video equipment also provide the user with mobility; the freedom to move. HD video requires high bandwidth and yields high encoding and decoding complexity when encoding based on DCT and motion estimation is used. We propose a solution that can drastically lower the bandwidth and complexity for video transmission. Asymmetrical principal component analysis can initially encode HD video into bitrates which are low considering the type of video (< 300 kbps) and after a startup phase the bitrate can be reduced to less than 5 kbps. The complexity for encoding and decoding of this video is very low; something that will save battery power for mobile devices. All of this is done only at the cost of lower quality in frame areas which aren't considered semantically important.
A Method for Measuring Water Content of Oil Based on the Propagation of Electromagnetic Waves
Authors: Yanpeng Sun, Yuan Zhang, Peng Peng
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A method for measuring water content in oil based on the principle that the dielectric constant of oil can impact the transmitting properties of electromagnetic waves is introduced in this paper. Starting with the equivalent input impedance of antenna, analyzes the relationship between the input impedance and dielectric constant, and uses the empirical formula of the dielectric constant of mixture, finally obtains the relationship between the input impedance and water content. The relationship between the output voltage and water content will be found by measuring the voltage at the input impedance, while realizing the measurement for water content. Compared with the existing methods, this new method, which takes on certain significance for the engineering practice, has the characteristics of simple operation, short time period and so on.
From Paper to PDA: Design and Evaluation of a Clinical Ward Instruction on a Mobile Device
Authors: Anne Marie Kanstrup, Jan Stage
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Mobile devices with small screens and minimal facilities for interaction are increasingly being used in complex human activities for accessing and processing information, while the user is moving. This paper presents a case study of the design and evaluation of a mobile system, which involved transformation of complex text and tables to digital format on a PDA. The application domain was an emergency medical ward, and the user group was junior registrars. We designed a PDA-based system for accessing information, focusing on the ward instruction, implemented a prototype and evaluated it for usability and utility. The evaluation results indicate significant problems in the interaction with the system as well as the extent to which the system is useful for junior registrars in their daily work.
User experience with in-car GPS navigation systems: comparing the young and elderly drivers
Authors: Abdullah Al Mahmud, Omar Mubin, Suleman Shahid
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study revealed that younger drivers had a more positive user experience as compared to the elderly drivers. This paper also identifies a number of advanced features that a routing system should have for satisfying both the elderly and younger drivers on road. In conclusion, we will discuss the key design recommendations that were derived from the study.
Enhancing a dependable multiserver operating system with temporal protection via resource reservations
Authors: Antonio Mancina, Dario Faggioli, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum
Venue: Real-Time Systems (2009)

Nowadays, microkernel-based systems are getting studied and adopted with a renewed interest in a wide number of IT scenarios. Their advantages over classical monolithic solutions mainly concern the dependability domain. By being capable of dynamically detect and solve non-expected behaviours within its core components, a microkernel-based OS would eventually run forever with no need to be restarted. Dependability in this context mainly aims at isolating components from a spatial point of view: a microkernel-based system may definitely not be adopted in the context of real-time environments, simply basing on this kind of protection only.One of the most active real-time research areas concerns adding temporal protection mechanisms to general purpose operating systems. By making use of such mechanisms, these systems become suitable for being adopted in the context of time-sensitive domains. Microkernel-based systems have always been thought of as a kind of platform not suited to real-time contexts, due to the high latencies introduced by the message passing technique as the only inter-process communication (IPC) facility within the system. With computer performances growing at a fairly high rate, this overhead becomes negligible with respect to the typical real-time processing times.In the last years, many algorithms belonging to the class of the so-called Resource Reservations (RRES) have been devised in order to provide the systems with the needed temporal isolation. By introducing a RRES-aware scheduler in the context of a microkernel-based system, we may enrich it with the temporal benefits it needs in order to be deployed within domains with real-time requirements.In this paper we propose a generic way to implement these mechanisms, dependent for a very small part on the underlying OS mechanisms. In order to show the generality of our RRES framework we implemented it in the context of Minix 3, a highly dependable microkernel-based OS with an impressive users base.
Solving a stochastic queueing design and control problem with constraint programming
Authors: Daria Terekhov, J. Christopher Beck, Kenneth N. Brown
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

A facility with front room and back room operations has the option of hiring specialized or, more expensive, cross-trained workers. Assuming stochastic customer arrival and service times, we seek a smallest-cost combination of cross-trained and specialized workers satisfying constraints on the expected customer waiting time and expected number of workers in the back room. A constraint programming approach using logic-based Benders' decomposition is presented. Experimental results demonstrate the strong performance of this approach across a wide variety of problem parameters. This paper provides one of the first links between queueing optimization problems and constraint programming.
Stepping Stones over the Refactoring Rubicon
Authors: Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege Moor
Venue: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009)

Refactoring tools allow the programmer to pretend they are working with a richer language where the behaviour of a program is automatically preserved during restructuring. In this paper we show that this metaphor of an extended language yields a very general and useful implementation technique for refactorings: a refactoring is implemented by embedding the source program into an extended language on which the refactoring operations are easier to perform, and then translating the refactored program back into the original language. Using the well-known Extract Method refactoring as an example, we show that this approach allows a very fine-grained decomposition of the overall refactoring into a series of micro-refactorings that can be understood, implemented, and tested independently. We thus can easily write implementations of complex refactorings that rival and even outperform industrial strength refactoring tools in terms of correctness, but are much shorter and easier to understand.
Detecting Man-in-the-Middle Attacks by Precise Timing
Authors: Benjamin Aziz, Geoff Hamilton
Venue: Proceedings of the 2009 Third International Conference on Emerging Security Information, Systems and Technologies (2009)

Man-in-the-middle attacks are one of the most popular and fundamental attacks on distributed systems that have evolved with advances in distributed computing technologies and have assumed several shapes ranging from simple IP spoofing to complicated attacks on wireless communications, which have safety-critical applications such as remote wireless passport verification. This paper proposes a static analysis algorithm for the detection of man-in-the-middle attacks in mobile processes using a solution based on precise timing.
Multimodal Interaction with Speech, Gestures and Haptic Feedback in a Media Center Application
Authors: Markku Turunen, Jaakko Hakulinen, Juho Hella, Juha-Pekka Rajaniemi, Aleksi Melto, Erno Mäkinen, Jussi Rantala, Tomi Heimonen, Tuuli Laivo, Hannu Soronen, Mervi Hansen, Pellervo Valkama, Toni Miettinen, Roope Raisamo
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

We demonstrate interaction with a multimodal media center application. Mobile phone-based interface includes speech and gesture input and haptic feedback. The setup resembles our long-term public pilot study, where a living room environment containing the application was constructed inside a local media museum allowing visitors to freely test the system.
Discourse level opinion relations: an annotation study
Authors: Swapna Somasundaran, Josef Ruppenhofer, Janyce Wiebe
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

This work proposes opinion frames as a representation of discourse-level associations that arise from related opinion targets and which are common in task-oriented meeting dialogs. We define the opinion frames and explain their interpretation. Additionally we present an annotation scheme that realizes the opinion frames and via human annotation studies, we show that these can be reliably identified.
EMG wavelet analysis and metabolic study during cardiofitness activity
Authors: A. Palumbo, T. Iona, A. Ammendolia, M. D'Andrea, M. Iocco, G. Fragomeni
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

Fitness centers offer a series of machines that can be used by participants independently from their training status. CardiowaveTM (CW) is a new device (Technogym R, Italy) that works simultaneously on three axes with a sliding movement of the lower limbs, activating different muscle groups according to the position maintained (i.e., Basic, B; Intermediate, I; Advanced, A; Free style, F). Thus, the purpose of the present study was to evaluate the muscle activity and exercise intensity in untrained individuals during all four positions and in the 3 intensity levels in order to optimize training programs for untrained individuals. Nine healthy and sedentary individuals (UT) were recruited for the study. To familiarize with the exercise protocol, participants underwent four sessions, each including a 12-min exercise protocol on a position performed at three intensity levels (i.e., 120, 200, 300 rpm). During the experimental sessions, surface electromyography (EMG) activity of rectus femoris, biceps femoris, and vastus medialis was recorded. Heart rate (HR), blood lactate, oxygen uptake (VO2) and RPE were evaluated during the test. An ANOVA for repeated measures was utilized in order to evaluate differences (p≪0.05) in HR and muscle activation between the four difference positions. For each muscle a 4 (Positions) × 3 (intensity level) × 2 (Groups) ANOVA for repeated measures was applied to verify statistical differences (p≪0.05) in EMG data expressed as percentages of basal values.