ppxscal/embedding_network huggingface dataset:
A Study on Quick Cockpit for Flight Simulators Prototype Systems
Authors: Guangda Liu, Qitao Huang, Bing Zhang, Junwei Han, En-yong Xu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The development of flight simulator prototype systems is a challenging work because of its complexity. A common problem faced in the design of the flight simulator is how to build the cockpit. The cockpit contains thousands of data acquiring point, and very complex logics. Too much time will be spend on designing the board and debugging the code if the cockpit Data Acquire (DAQ) system is not well designed. This paper describes a kind of DAQ boards’ suite and a software structure to make the work of building the cockpit easier. A standard IO system is showed in the paper construct by the DAQ system and Controller Area Network (CAN) bus which build for the flight simulators prototype systems. A detailed analysis about the data characteristics of panels is given and a structure of DAQ board sets is discussed. A software framework is presented in the paper. Conclusions drawn from the experience of implementing the design are also given.
Semantic-Based Top-k Retrieval for Competence Management
Authors: Umberto Straccia, Eufemia Tinelli, Simona Colucci, Tommaso Noia, Eugenio Sciascio
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

We present a knowledge-based system, for skills and talent management, exploiting semantic technologies combined with top-k retrieval techniques. The system provides advanced distinguishing features, including the possibility to formulate queries by expressing both strict requirements and preferences in the requested profile and a semantic-based ranking of retrieved candidates. Based on the knowledge formalized within a domain ontology, the system implements an approach exploiting top-k based reasoning services to evaluate semantic similarity between the requested profile and retrieved ones. System performance is discussed through the presentation of experimental results.
Temporal Pattern Recognition in Video Clips Detection
Authors: Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, Sulan Zhai, Jin Tang
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal information. Based on a formal characterization of time-series and state-sequences, this paper presents the computational technique and algorithm for matching state-based temporal patterns. As a case study of real-life applications, zone-defense pattern recognition in basketball games is specially examined as an illustrating example. Experimental results demonstrate that it provides a formal and comprehensive temporal ontology for research and applications in video events detection.
Multistage stochastic programming with fuzzy probability distribution
Authors: Fouad Ben Abdelaziz, Hatem Masri
Venue: Fuzzy Sets and Systems (2009)

In this paper, we introduce the multistage stochastic program with fuzzy probability distribution. We focus on the case where fuzzy probability distribution is defined by (triangular) fuzzy numbers. We extend Ben Abdelaziz and Masri [Stochastic programming with fuzzy linear partial information on probability distribution, European Journal Operational Research 162 (2005) 619-629] solution strategy, for the two-stage stochastic program with fuzzy probability distribution, to solve the multistage model. The proposed solution strategy is based on two transformation steps. In the first step, the fuzzy transformation step, we propose to use the @a-cut defuzzification technique. The level @a relates to the DM credibility degree on information sources. This step ends with a certainty equivalent program. In the second step, the stochastic transformation step, we decompose the certainty equivalent program based on a minimax approach. The obtained problem is then solved using a modified version of the nested decomposition method. The modification on the nested decomposition method concerns the way in which we generate optimal constraints. The modified nested decomposition algorithm may be used to solve the multistage problem with interval probability distribution.
Multi-stage Quality Modeling and Analyzing Based on AHP and PLS
Authors: Chen Bing, Feng Tao, Yang Ting, Wang Gang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The paper discussed some key issues about quality analyzing in the environment of multistage manufacturing process. The machining stage flow model had been constructed according to the multistage manufacturing process. A key quality ontrol point selection method based AHP (Analytic Hierarchy Process) was put forward. An association analyzing among key quality control points based PLS (Partial Least Squares) was proposed. In order to verify the method and technology proposed in this paper, a running example is also given.
SwimMaster: a wearable assistant for swimmer
Authors: Marc Bächlin, Kilian Förster, Gerhard Tröster
Venue: Proceedings of the 11th international conference on Ubiquitous computing (2009)

In this paper we introduce the concept of a wearable assistant for swimmer, called SwimMaster. The SwimMaster consists of acceleration sensors with micro-controllers and feedback interface modules that swimmer wear while swimming. With four different evaluation studies and a total of 22 subjects we demonstrate the functionality and power of the SwimMaster system. We show how a wide range of swim parameters can be monitored and used for a continuous swim performance evaluation. These parameters include the time per lane, the swimming velocity and the number of strokes per lane. Also swim style specific factors like the body balance and the body rotation are extracted. Finally three feedback modalities are tested and evaluated. With these means we show the ability of the SwimMaster to assist a swimmer in achieving the desired exercise goals by constantly monitoring his/her swim performance and providing the necessary feedback to achieve the desired workout goals.
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Authors: Santiago Escobar, Catherine Meadows, José Meseguer
Venue: Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures (2009)

In this tutorial, we give an overview of the Maude-NRL Protocol Analyzer (Maude-NPA), a tool for the analysis of cryptographic protocols using functions that obey different equational theories. We show the reader how to use Maude-NPA, and how it works, and also give some of the theoretical background behind the tool.
A New SVM Merged into Data Information
Authors: He Chunjiang, Zhang Cuilian, Zhao Yan
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A new technique using a positive symmetric function to improve support vector machine(SVM) is presented. Firstly, the support vectors are obtained from traditional SVM. Secondly, a positive scalar function is constructed using the support vectors. Thirdly, a new kernel function is obtained from the Gaussian kernel multiplied by the positive symmetric function merged into data information. The new SVM with the new kernel is to enlarge margin around the separating hyper-plane as a result of the differential approximation theory. Therefore, the separability is increased and the support vectors are decreased. Simulation results for both artificial and real data show remarkable improvement of generalization error and computational cost.
Extraction of Cardiac Motion Using Scale-Space Features Points and Gauged Reconstruction
Authors: Alessandro Becciu, Bart J. Janssen, Hans Assen, Luc Florack, Vivian Roode, Bart M. Haar Romeny
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

Motion estimation is an important topic in medical image analysis. The investigation and quantification of, e.g., the cardiac movement is important for assessment of cardiac abnormalities and to get an indication of response to therapy. In this paper we present a new aperture problem-free method to track cardiac motion from 2-dimensional MR tagged images and corresponding sine-phase images. Tracking is achieved by following the movement of scale-space critical points such as maxima, minima and saddles. Reconstruction of dense velocity field is carried out by minimizing an energy functional with regularization term influenced by covariant derivatives gauged by a prior assumption.MR tags deform along with the tissue, a combination of MR tagged images and sine-phase images was employed to produce a regular grid from which the scale-space critical points were retrieved. Experiments were carried out on real image data, and on artificial phantom data from which the ground truth is known. A comparison between our new method and a similar technique based on homogeneous diffusion regularization and standard derivatives shows increase in performance. Qualitative and quantitative evaluation emphasize the reliability of dense motion field allowing further analysis of deformation and torsion of the cardiac wall. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
New Prospects in Territorial Resource Management: The Semantic Web GIS
Authors: Ernesto Marcheggiani, Michele Nucci, Andrea Galli
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part I (2009)

Traditional GIS and Web GIS solutions are showing considerable limitations in terms of IT technologies and knowledge management as well as in the ability to reconcile flexibility and interoperability. The Geospatial Semantic Web is a novel, fast-evolving territorial resource management application that uses advanced geographical data processing technologies based on semantic rules and specific geo-ontologies to overcome the rigid relational structures of traditional geographical databases. The work proposes a methodological reflection on the applicative potential of Semantic Web GIS (SWGIS) in territorial resource management and provides examples. A collaborative project between the SeMedia/3mediaLabs and SAIFET-Agrur research groups of the Polytechnic University of Marches (Italy) was devised to design a tool using a data management multiplatform desktop system based on Semantic Web initiative-defined standards in different scale test areas in the Como Lake area, Italy.
Landmarks revisited
Authors: Silvia Richter, Malte Helmert, Matthias Westphal
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Landmarks for propositional planning tasks are variable assignments that must occur at some point in every solution plan. We propose a novel approach for using landmarks in planning by deriving a pseudo-heuristic and combining it with other heuristics in a search framework. The incorporation of landmark information is shown to improve success rates and solution qualities of a heuristic planner. We furthermore show how additional landmarks and orderings can be found using the information present in multi-valued state variable representations of planning tasks. Compared to previously published approaches, our landmark extraction algorithm provides stronger guarantees of correctness for the generated landmark orderings, and our novel use of landmarks during search solves more planning tasks and delivers considerably better solutions.
Applications of the situation calculus to formalizing control-and strategic information: the prolog cut operator
Authors: Fangzhen Lin
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a situation calculus semantics for the Prolog cut operator, the central search control operator in Prolog. We show that our semantics is well-behaved when the programs are properly stastified. We also show that according to this semantics, the conventional implementation of the negationas-failure operator using cut is provably correct with respect to the stable model semantics.
Capstone projects as community connectors
Authors: Ruth E. Anderson, Gaetano Borriello, Hélène Martin, Leonard Black
Venue: Journal of Computing Sciences in Colleges (2009)

At the University of Washington, a capstone design project to help artists market their craft, taught students valuable, cross-cultural collaboration skills while providing evidence of the local and global positive impacts of computing. In this project, which took place in the context of a year-long course focusing on technology for low-income regions, a group of senior computing students worked with business students and faculty at Heritage University to create an on-line store for marketing crafts made by artists in rural Washington state and Mexico. In addition to the skills normally gained in capstone design courses, including group work, iterative design, and software engineering, students in this project learned to collaborate over a distance with partners from different backgrounds and to capitalize on the strengths of each group. In this paper, we briefly describe the course as a whole, the specific project, and lessons learned.
Ten steps modeling of electrolysis processes by using neural networks
Authors: C. G. Piuleac, M. A. Rodrigo, P. Cañizares, S. Curteanu, C. Sáez
Venue: Environmental Modelling Software (2010)

Neural networks have been developed to model the electrolysis of wastes polluted with phenolic compounds, including phenol, 4-chlorophenol, 2,4-dichlorophenol, 2,4,6-trichlorophenol, 4-nitrophenol and 2,4-dinitrophenol. They enable the prediction the Chemical Oxygen Demand of a treated waste as a function of the initial characteristics (pollutant concentration, pH), operation conditions (temperature, current density) and current charge passed. A consistent set of experimental data was obtained by electrochemical oxidation with conductive diamond electrodes, used to treat synthetic aqueous wastes. Several modeling strategies based on simple and stacked neural networks, with different transfer functions into the hidden and output layers, have been considered to obtain a good accuracy of the model. Global errors during the training stage were under 3% and those of the validation stage were under 4%, demonstrating that the neural network based technique is appropriate for modeling the system. The generalization capability of the neural networks was also tested in realistic conditions where Chemical Oxygen Demand was predicted with errors around 5%. Therefore, the developed neural models can be used in industry to determine the required treatment period, to obtain the discharge limits in batch electrolysis processes, and it is a first step in the development of process control strategies. The ten step methodology was applied to the neural network based process modeling.
Developing a Film-Based Learning System with English Verbal Reduced Forms for Supporting English Listening Comprehension
Authors: Jie-Chi Yang, Yi-Lung Lin, Ching-I. Chung
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

English listening comprehension is always bewildering for language learners. English language students are generally not taught to recognize English in reduced forms (contractions) in verbal exchanges; they also lack opportunities for practicing listening exercises in reduced forms of English vocabulary. This study developed a film based vocal language learning system working with English reduced forms, thus enabling students to learn English in reduced forms. The film includes an abundance of learning situations, which are easily learned from. Within this system, the learner can import subtitles from English films by themselves. The system also automatically marks reduced English forms in verbal conversations, and offers many example sentences for listening exercises. The system uses subtitles as the source of examinations for students after completing course sections. The system can generate items from movie subtitles automatically, as well as evaluating learner performance. This study probes the effectiveness of the aforementioned learning system as well as the user's attitude and satisfaction with the system. The results show that the learning system of English reduced forms in verbal conversations had a positive effect on the experimental group's learning which was significantly better than traditional film systems without English reduced form subtitles used by the control group. Hence this system benefits students learning English contractions. In English listening tests, the results of experimental group were significantly higher than the control group. The results of post-course survey showed positive satisfaction by system users. All students using the system reported a positive attitude after using the system. The system can be improved by enhancing the interfaces which broadcast the films and subtitles as well as increasing the course and experimental time periods.
Multi-frequency Phase Unwrapping from Noisy Data: Adaptive Local Maximum Likelihood Approach
Authors: José Bioucas-Dias, Vladimir Katkovnik, Jaakko Astola, Karen Egiazarian
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

The paper introduces a new approach to absolute phase estimation from frequency diverse wrapped observations. We adopt a discontinuity preserving nonparametric regression technique, where the phase is reconstructed based on a local maximum likelihood criterion. It is shown that this criterion, applied to the multifrequency data, besides filtering the noise, yields a 2¿Q-periodic solution, where Q > 1 is an integer. The filtering algorithm is based on local polynomial (LPA) approximation for the design of nonlinear filters (estimators) and the adaptation of these filters to the unknown spatially smoothness of the absolute phase. Depending on the value of Q and of the original phase range, we may obtain complete or partial phase unwrapping. In the latter case, we apply the recently introduced robust (in the sense of discontinuity preserving) PUMA unwrapping algorithm [1]. Simulations give evidence that the proposed method yields state-of-the-art performance, enabling phase unwrapping in extraordinary difficult situations when all other algorithms fail.
Filtering and Temperature Correction Algorithms for Smog Interference in Temperature Measurement Based on CCD Image Sensor
Authors: Xiaoqi Peng, Yuan Sun
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The visible radiation would be absorbed and scattered by the smog diffusing around the radiator and on the path of the radiation, which distorts the results of temperature measurement by two-color thermometry based on CCD image sensor. In this paper, an approach for filtering smog interference of high-temperature radiator and correcting temperature is proposed. Firstly, by the image target recognition method based on color information of radiator, the smog noises around a high-temperature radiator are eliminated. And then, the region interfered by smog is segmented. Finally, the temperature of the region calculated by the two-color thermometry formula is corrected using the nonlinear correction function. The experimental results show that the method can effectively reduce the influence in measurement results by smog interference and increase the accuracy and practicability in temperature measurement based on CCD.
The Effectiveness of Feedback Control in a HCI System Using Biological Features of Human Beings
Authors: Mariko Funada, Miki Shibukawa, Yoshihide Igarashi, Takashi Shimizu, Tadashi Funada, Satoki P. Ninomija
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

The purpose of this paper is to clarify the brain activities of human beings engaged in their tasks. Response time, correctness ratios, and Event Related Potentials (ERPs) are useful indexes of the brain activities of a subject at his task in the experiments. We analyze these indexes by a method called the Principle Component Analysis. Then we characterize the brain activities while he is engaged in the task. Finally we discuss the effectiveness of feedback control in a HCI system using these indexes.
Affective Interaction: Challenges at the Ubiquitous Computing Times
Authors: Stephane Gros, Jérôme Dupire, Stéphane Natkin
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

Due to the diversity of studies towards detection of affective state of a user, it is hard to distinguish amongst them toward specific needs. Our approach consists in realizing a comparative study taking in account specificities such as mobility to be able to choose the best settings for a specific set of constraints. These issues will be applied in the context of the PLUG project which aims at creating an ubiquitous affective game that will take place in a museum.
Data Sharing in DHT Based P2P Systems
Authors: Claudia Roncancio, María Pilar Villamil, Cyril Labbé, Patricia Serrano-Alvarado
Venue: Transactions on Large-Scale Data- and Knowledge-Centered Systems I (2009)

The evolution of peer-to-peer (P2P) systems triggered the building of large scale distributed applications. The main application domain is data sharing across a very large number of highly autonomous participants. Building such data sharing systems is particularly challenging because of the "extreme" characteristics of P2P infrastructures: massive distribution, high churn rate, no global control, potentially untrusted participants... This article focuses on declarative querying support, query optimization and data privacy on a major class of P2P systems, that based on Distributed Hash Table (P2P DHT). The usual approaches and the algorithms used by classic distributed systems and databases for providing data privacy and querying services are not well suited to P2P DHT systems. A considerable amount of work was required to adapt them for the new challenges such systems present. This paper describes the most important solutions found. It also identifies important future research trends in data management in P2P DHT systems.
Novelty Extraction from Special and Parallel Corpora
Authors: Elżbieta Dura, Barbara Gawronska
Venue: Human Language Technology. Challenges of the Information Society: Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers (2009)

How can corpora assist translators in ways in which resources like translation memories or term databases cannot? Our tests on English, Polish and Swedish parts of the JRC-Acquis Multilingual Parallel show that corpora can provide support for term standardization and variation, and, most importantly, for tracing novel expressions. A corpus tool with an explicit dictionary representation is particularly suitable for the last task. Culler is a tool which allows one to select expressions with words absent from its dictionary. Even if the extracted material may be stained with some noise, it has an undeniable value for translators and lexicographers. The quality of extraction depends in a rather obvious way on the dictionary and text processing but also on the query.