ppxscal/embedding_network huggingface dataset:
Modelling and Evaluation of a Game-Theory Approach for Airborne Conflict Resolution in Omnet++
Authors: Paolo Masci, Alessandra Tedeschi
Venue: Proceedings of the 2009 Second International Conference on Dependability (2009)

Airborne self-separation is an air-traffic management concept in which pilots are allowed to select the optimal route for the aircraft in real time. In such environments, pilots are assisted by an airborne system that detects possible route conflicts with neighbouring aircraft and gives advice for maneuvering solutions to avoid conflicts. In this paper, we evaluate a game-theory approach for conflict resolutions between aircraft.We modelled the aircraft in a well established simulation framework. Preliminary results give an insight into the dependability of the approach when dealing with the lossy nature of the wireless environment.
Game Usability Heuristics (PLAY) for Evaluating and Designing Better Games: The Next Iteration
Authors: Heather Desurvire, Charlotte Wiberg
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games. The resulting set, presented at CHI 2004, was Heuristics to Evaluate Playability (HEP). Generalization of these heuristics is required to make them applicable to a multiple of game genres and game deliveries. This follow-up study focused on the refined list, Heuristics of Playability (PLAY), that can be applied earlier in game development as well as aiding developers between formal usability/playability research during the development cycle. Heuristics were formed based on their efficacious scores on the popular game review website, metacritic.com. Fifty-four gamers rated High and Low ranked games on 116 potential heuristics. Implications for how these Heuristics will help developers improve game quality are discussed. PLAY has been found useful in design evaluation and elf-report survey format.
Ergonomic Issues in the Material Re-use Process
Authors: Maciej Skowronski, Jerzy Charytonowicz
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

The major purposes of ergonomic design in architecture are as follows: creating comfortable space and environment around the human- body and mind, the optimization of working and living spaces, and preservation of the natural environment. One of the most important aspects of the design process is proper building materials selection. In accordance with extraction and manufacturing processes, building materials are divided into the following groups: natural materials, synthetics, and composite materials. In the second half of twentieth century, mainly due to natural resource depletion, people began to focus their attention on re-use and recycling strategies. Nowadays it seems, that thanks to material recovery and recycling, we are able to limit the destructive impact of human activity on the natural environment. However it needs to be pointed out, that today's re-use technology needs to be adjusted and improved regarding modern environmental and ergonomic issues.
Semantic Query Based on Context Approximation of Ontology Structure
Authors: Kehe Wu, Wei Li, Yinglong Ma
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

In this paper, we presented an approach for semantic query based on context approximation of ontology. We also propose a ranking strategy based on ontology context approximation. We exploited the implementation technologies related to the approach. Furthermore, a distributed semantic query system called DSQ was developed for successfully performing tasks of semantic queries across multiple ontologies based on a multi-agent system. The experimental results show that our approach is efficient to semantic queries based on distributed environments.
Research on Fault-tolerant Mechanism of Integrating Water-Domain Oriented Computing Resources
Authors: Ling Shang, Zhijian Wang, Xiaohong Zhang, Junjie Wang, Zhizhong Liu
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Water domain grid platform, a Grid platform based on cycle stealing technology is used to harness idle computing resources in one or several labs of one or several sites for its low costs and high performance. Volatility is the key challenge of this kind of platform and one fault will generate when a computing node leaves the platform. So how to make these volatile nodes work together without being influenced by generated faults is a key issue. So this paper presents a fault tolerance architecture aiming at minimizing generating faults. Once faults generated, other idle computation nodes in this platform can go on executing the unfinished task immediately. Finally some experiments based on this platform show that the framework has good performance in dealing with fault tolerance in water domain oriented computing resources integrated platform.
Information authentication in automated control systems based on finite groups with multidimensional cyclicity
Authors: N. A. Moldovyan
Venue: Automation and Remote Control (2009)

The paper deals with information authentication for real time automatic control systems. Our approach differs from known ones in using finite groups of vectors over a finite field. We show that these groups of vectors are multidimensionally cyclic. This allows developing secure digital signature algorithms based on groups with the maximal prime factor of length 160/m bits where m is the vectors' dimension. We list formulas describing this multidimensional cyclicity of vector groups.
An Efficient State Recovery Attack on X-FCSR-256
Authors: Paul Stankovski, Martin Hell, Thomas Johansson
Venue: Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers (2009)

We describe a state recovery attack on the X-FCSR-256 stream cipher of total complexity at most 257.6. This complexity is achievable by requiring 249.3 output blocks with an amortized calculation effort of at most 28.3 table lookups per output block using no more than 233 table entries of precomputational storage.
An analysis of bootstrapping for the recognition of temporal expressions
Authors: Jordi Poveda, Mihai Surdeanu, Jordi Turmo
Venue: Proceedings of the NAACL HLT 2009 Workshop on Semi-Supervised Learning for Natural Language Processing (2009)

We present a semi-supervised (bootstrapping) approach to the extraction of time expression mentions in large unlabelled corpora. Because the only supervision is in the form of seed examples, it becomes necessary to resort to heuristics to rank and filter out spurious patterns and candidate time expressions. The application of bootstrapping to time expression recognition is, to the best of our knowledge, novel. In this paper, we describe one such architecture for bootstrapping Information Extraction (IE) patterns ---suited to the extraction of entities, as opposed to events or relations--- and summarize our experimental findings. These point out to the fact that a pattern set with a good increase in recall with respect to the seeds is achievable within our framework while, on the other side, the decrease in precision in successive iterations is succesfully controlled through the use of ranking and selection heuristics. Experiments are still underway to achieve the best use of these heuristics and other parameters of the bootstrapping algorithm.
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Authors: Virginia Papailiopoulou, Laya Madani, Lydie Bousquet, Ioannis Parissis
Venue: Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (2009)

Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the fields of avionics, transportation or energy production. Testing this kind of applications is an important and demanding task during the development process. It mainly consists in generating test data and measuring the achieved coverage. A hierarchy of structural coverage criteria for Lustre programs have been recently defined to assess the thoroughness of a given test set. They are based on the operator network, which is the graphical representation of a Lustre program and depicts the way that input flows are transformed into output flows through their propagation along the program paths. The above criteria definition aimed at demonstrating the opportunity of such a coverage assessment approach but doesn't deal with all the language constructions. In particular, the use of multiple clocks has not been taken into account. In this paper, we extend the criteria to programs that use multiple clocks. Such an extension allows for the application of the existing coverage metrics to industrial software components, which usually operate on multiple clocks, without negatively affecting the complexity of the criteria.
A 3D Method for Fit Assessment of a Sizing System
Authors: Jiang Wu, Zhizhong Li, Jianwei Niu
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

A three-dimensional (3D) method for the evaluation of a sizing system via objective fit assessment is introduced in this study. Taking the evaluation of a helmet sizing system as an example, geometrical models of the human head surfaces of a target population are generated based on 3D anthropometric measurement at first. Then a helmet model for each size is prepared. For each individual, a helmet model of his corresponding size is virtually worn on his head with proper relative position and orientation. After that, objective fit assessment criteria are calculated. Finally, Statistical analysis on these criteria provides an objective evaluation of the sizing system. This method affords a rapid, low-cost, and quantitative approach to carry out fit assessment on a sizing system when critical fit is concerned.
Environment Characterization and System Modeling Approach for the Quantitative Evaluation of Security
Authors: Geraldine Vache
Venue: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (2009)

This article aims at proposing a new approach for the quantitative evaluation of information system security. Our approach focuses on system vulnerabilities caused by design and implementation errors and studies how system environment, considering such vulnerabilities, may endanger the system. The two main contributions of this paper are: 1) the identification of the environmental factors which influence the security system state; 2) the development a Stochastic Activity Network model taking into account the system and these environmental factors. Measures resulting from our modeling are aimed at helping the system designers in the assessment of vulnerability exploitation risks.
Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs
Authors: Harold Ishebabi, Philipp Mahr, Christophe Bobda, Martin Gebser, Torsten Schaub
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

Configurable on chip multiprocessor systems combine advantages of task-level parallelism and the flexibility of field-programmable devices to customize architectures for parallel programs, thereby alleviating technological limitations due to memory bandwidth and power consumption. Given the huge size of the design space of such systems, it is important to automatically optimize design parameters in order to facilitate wide and disciplined explorations. Being a combinatorial problem, system design can be modeled and solved as such, but the amount of parameters renders the problem difficult to solve for large instances. However, as the synthesis problem usually exhibits structure, Answer Set Programming (ASP), for which solvers utilizing techniques from the propositional satisfiability domain are available, can be effectively employed. This paper presents a design flow based on ASP that uses the solver clasp as back-end engine. Synthesis experiments demonstrate the effectiveness of the approach.
A minimal energy tracking method for non-radially symmetric solutions of coupled nonlinear Schrödinger equations
Authors: Yueh-Cheng Kuo, Wen-Wei Lin, Shih-Feng Shieh, Weichung Wang
Venue: Journal of Computational Physics (2009)

We aim at developing methods to track minimal energy solutions of time-independent m-component coupled discrete nonlinear Schrodinger (DNLS) equations. We first propose a method to find energy minimizers of the 1-component DNLS equation and use it as the initial point of the m-component DNLS equations in a continuation scheme. We then show that the change of local optimality occurs only at the bifurcation points. The fact leads to a minimal energy tracking method that guides the choice of bifurcation branch corresponding to the minimal energy solution curve. By combining all these techniques with a parameter-switching scheme, we successfully compute a non-radially symmetric energy minimizer that can not be computed by existing numerical schemes straightforwardly.
Location-Based Mixed-Map Application Development for Mobile Devices
Authors: Hyo-Haeng Lee, Kil-Ram Ha, Kwang-Seok Hong
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

This study proposes a Mixed-Map based on a mobile device. The proposed mobile Mixed-Map is designed to download 2-dimensional and 3-dimensional data provided by Google maps and Yahoo maps. It then controls the map data independently. A variety of applications can be implemented. Transferring geographical data from a web geographical information system can improve efficiency by reducing response time. It adopts a tile cache method to provide continuous service when a wireless internet cannot be connected. As an example of the proposed system, we implemented a real-time location tracking system application between mobile devices that obtains current location and GPS information in real-time using GPS. The Mixed-Map can be easily applied to different technologies as the application does not simply rely on API in the ubiquitous environment. The study develops and suggests basic technologies necessary for a ubiquitous geographic information system.
Radiometric and Spectrometric Calibrations, and Distance Noise Measurement of ToF Cameras
Authors: Michael Erz, Bernd Jähne
Venue: Proceedings of the DAGM 2009 Workshop on Dynamic 3D Imaging (2009)

This paper proposes to extend the EMVA 1288 standard to characterize the properties and noise of image sensors for ToF cameras. The concepts for radiometric and spectrometric sensitivities were extended for intensity images recorded by lock-in pixels. The characterization of the distance information was performed by describing the phase shift analogous to intensities. Results of sensitivity and noise measurements are presented for two ToF cameras: PMDTec CamCube and MESA Imaging SR3101. Both cameras had no intrinsic filter, so the quantum efficiency could be measured from UV to IR. The noise in the phase measurement could be related to the noise in the intensity.
The Empirical Study on the Corporate Citizenship Behavior in Service Enterprises: Based on Non-Market Strategy
Authors: Wang Xiquan, Zhou Haiwei
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Found on reviewing correlative literatures, this article constructed the theoretical framework of the influence of corporate citizenship behavior on competitive advantage and organizational performance. The article outlined the corporate citizenship behavior clearly and completely though the empirical study on the 7 coastal provinces and municipalities by the structural equation model (SEM) method. The research team carried on the exploring development of the construction of corporate citizenship behavior though the empirical investigation of 455 effective enterprise samples on the east coast of our country. We obtained the dual-factor structure of transactional corporate citizenship behavior and relational corporate citizenship behavior through data analysis by spss15.0 and the amos6.0, which provided one kind of new explanation of the realization of competitive advantage and the lasting political stability of corporate citizenship behavior operation in the non-market environment for Chinese localized enterprises.
The future of biologically-inspired security: is there anything left to learn?
Authors: Anil Somayaji, Michael Locasto, Jan Feyereisl
Venue: Proceedings of the 2007 Workshop on New Security Paradigms (2008)

While biology has inspired much of the vocabulary in computer security, biologically-inspired security remains a controversial research strategy. This panel was convened to address the issue of biologically-inspired security by raising the question of whether there is anything left to learn. The discussion at NSPW touched on many issues, ranging from the nature of evolved and intelligent systems to whether anything in security works. The final consensus, however, was that while there may be promise in biologically-inspired defenses, we need to clarify our goals and develop better evaluation methodologies if we are to see further successes in such approaches.
An Asbestos Counting Method from Microscope Images of Building Materials Using Summation Kernel of Color and Shape
Authors: Atsuo Nomoto, Kazuhiro Hotta, Haruhisa Takahashi
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

In this paper, an asbestos counting method from microscope images of building materials is proposed. Since asbestos particles have unique color and shape, we use color and shape features for detecting and counting asbestos by computer. To classify asbestos and other particles, the Support Vector Machine (SVM) is used. When one kernel is applied to a feature vector which consists of color and shape, the similarity of each feature is not used effectively. Thus, kernels are applied to color and shape independently, and the summation kernel of color and shape is used. We confirm that the accuracy of asbestos detection is improved by using the summation kernel.
Cloning for Heteroscedasticity Elimination in GMDH Learning Procedure
Authors: Marcel Jirina, Marcel Jirina,  Jr.
Venue: Proceedings of the 8th International Conference on Unconventional Computation (2009)

Classification of multivariate data into two or more classes is an important problem of data processing in many different fields. For the classification of multivariate data into two classes the well-known GMDH MIA (group method data handling multilayer iterative algorithm) is often used. This approach - in contrast to others --- can provide even a closed form polynomial solution. Each neuron of the GMDH network has a quadratic transfer function of two input variables that has six parameters. The process of adaptation of the GMDH network is based on standard linear regression.However, it can be found that the mathematical condition of homoscedasticity for linear regression to get unbiased results is not fulfilled. Thus all neurons have slightly biased parameters and do not give an optimal solution.Here we introduce a cloning procedure for generating clones of a given neuron that may be better than the original "parent" neuron with the parameters stated by linear regression. We show that cloning together with the use of genetic selection procedure leads to an unconventional type of GMDH algorithm.We found that cloning is a simple and effective method for obtaining a less biased solution and faster convergence than that obtained by standard linear regression. At the same time, the use of genetic selection procedure allows all neurons already generated to remain potential parents for a new neuron. Thus the problem of deleting excessive neurons during learning disappears. We show that GMC GMDH can outperform other powerful methods. It is demonstrated on tasks from the Machine Learning Repository.Our results demonstrate that the influence of heteroscedasticity can be easily eliminated by a simple cloning procedure and faster convergence and so better behavior of GMDH algorithm can be obtained.We suppose that our finding of heteroscedasticity in the GMDH method and its solution by cloning may lead to finding other more effective procedures based e.g. on robust approaches.
Mining translations of web queries from web click-through data
Authors: Rong Hu, Weizhu Chen, Jian Hu, Yansheng Lu, Zheng Chen, Qiang Yang
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Query translation for Cross-Lingual Information Retrieval (CLIR) has gained increasing attention in the research area. Previous work mainly used machine translation systems, bilingual dictionaries, or web corpora to perform query translation. However, most of these approaches require either expensive language resources or complex language models, and cannot achieve timely translation for new queries. In this paper, we propose a novel solution to automatically acquire query translation pairs from the knowledge hidden in the click-through data, that are represented by the URL a user clicks after submitting a query to a search engine. Our proposed solution consists of two stages: identitying bilingual URL pair patterns in the click-through data and matching query translation pairs based on user click behavior. Experimental results on a real dataset show that our method not only generates existing query translation pairs with high precision, but also generates many timely query translation pairs that could not be obtained by previous methods. A comparative study between our system and two commercial online translation systems shows the advantage of our proposed method.
Stochastic Games for Verification of Probabilistic Timed Automata
Authors: Marta Kwiatkowska, Gethin Norman, David Parker
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic timed automata, forwards reachability is the analysis method of choice, since it can be implemented extremely efficiently. However, for PTAs, such techniques are only able to compute upper bounds on maximum reachability probabilities. In this paper, we propose a new approach to the analysis of PTAs using abstraction and stochastic games. We show how efficient forwards reachability techniques can be extended to yield both lower and upper bounds on maximum (and minimum) reachability probabilities. We also present abstraction-refinement techniques that are guaranteed to improve the precision of these probability bounds, providing a fully automatic method for computing the exact values. We have implemented these techniques and applied them to a set of large case studies. We show that, in comparison to alternative approaches to verifying PTAs, such as backwards reachability and digital clocks, our techniques exhibit superior performance and scalability.