ppxscal/embedding_network huggingface dataset:
A Fast Algorithm for the Production of Permutation Factor Circulant Matrices
Authors: Xuetting Liu, Peiyu Wei
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Permutation factor circulant matrices have applied in numerical computation, signal processing, coding theory and oil investigation in recent years, and so on. In this paper, we present a fast algorithm for the production and the k-th power of permutation factor circulant matrices of order n.
Web Knowledge Management System Based on User Model
Authors: Yaoming Luo, Fengxiang Cao
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Based on analysis of the implications of knowledge management and knowledge management system(KMS), an architecture of web knowledge management systembased on user model is presented. To realize knowledgesharing and knowledge recommendation, User model isapplied the architecture, which describe user’s interests, skilland task-relevant information need and is learning by geneticalgorithms. The architecture is implemented through threetiers which is data layer, core integration layer and front-endapplication layer. It was helpful to set up user-centered webknowledge management system and realize sharing knowledge and recommending task-relevant knowledge among users.
Error classification in action descriptions: a heuristic approach
Authors: Thomas Eiter, Michael Fink, Ján Senko
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions in such languages wrt. semantic integrity constraints have been considered, in particular their reconciliation. However, merely ad hoc tests and methods have been presented to aid the user in analyzing and correcting a flawed description. We go beyond this and present a methodology on top of such tests for identifying a possible error, which works in several stages. The issue of such a methodology for action languages is novel and has not been addressed before, but is important for building tools and engineering action descriptions in practice.
Penalized factor mixture analysis for variable selection in clustered data
Authors: Giuliano Galimberti, Angela Montanari, Cinzia Viroli
Venue: Computational Statistics Data Analysis (2009)

A model-based clustering approach which contextually performs dimension reduction and variable selection is presented. Dimension reduction is achieved by assuming that the data have been generated by a linear factor model with latent variables modeled as Gaussian mixtures. Variable selection is performed by shrinking the factor loadings though a penalized likelihood method with an L1 penalty. A maximum likelihood estimation procedure via the EM algorithm is developed and a modified BIC criterion to select the penalization parameter is illustrated. The effectiveness of the proposed model is explored in a Monte Carlo simulation study and in a real example.
Web Personalization Method Based on Relevance Feedback on Keyword Space
Authors: Xiao-Gang Wang, Yue Li
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

The relevance feedback techniques have been studied in the field of document retrieval, aiming to generate appropriate queries for users’ information needs.Conventional relevance feedback techniques are performed on document space, while the resultant queries should be represented in keyword space. In this paper, it is proposed to perform relevance feedback on keyword space. The relevance feedback is supposed to work with interactive keyword map system, which visualizes the relationship between keywords extracted from retrieved results. As the first step for realizing relevance feedback based on interactive keyword map, this paper also proposes the algorithm for extracting the pair of keywords that reflects a user’s interest from the keyword map. Experimental results are given for showing how the algorithm works on the keyword map that is modified by the user.
Ring-like structures corresponding to pseudo MV-algebras
Authors: Yun Shang
Venue: Soft Computing - A Fusion of Foundations, Methodologies and Applications (2008)

The natural bijective correspondence between MV-algebras and pseudorings is generalized to the case of pseudo MV-algebras. We first introduce the concepts of non-commutative pseudorings and strong pseudo De Morgan algebras. Then, we show that they both correspond to pseudo MV-algebras via symmetric difference in a natural bijective way.
The Research of ABS Performance Examination Experiment Based on Virtual Technique
Authors: Jing-ming Zhang, Bao-yu Song, Da-fang Wang, Sheng-min Cui
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

ABS (Anti-lock Braking System) can avoid the wheel locking when the vehicle urgently brakes as an auxiliary braking system. Its performance parameter must be accord with some evaluation standard. The vehicle equipped with ABS was studied in this paper. The main performance examination parameter was determined and mathematical model of ABS was established. The module and the test stand of ABS performance examination experiment were designed by LabVIEW. Then experiment was carried on the test stand. ABS performance examination parameter was collected, analyzed and handled. In the end, the method of performance examination was tested. The result shows that the virtual experiment can get the same result as the vehicle road test and it has greater efficiency.
Hierarchical Simultaneous Localization and Mapping Based on Discrete Event Systems
Authors: Xufeng Dai, Juan Du
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In order to make the simultaneous localization and mapping (SLAM) algorithm universal, a novel hierarchical approach, which realizes both macro and micro localization and mapping for a kind of large environments is proposed. The map is a two-layer architecture which the upper layer is an automaton and the lower layer is a set of feature-based maps. The exploring strategy for unknown space was embodied in the system. It’s described by a supervisor which permits some desired actions to occur and prohibits undesired actions. The approach proposed here has the potential ability of localizing the robot in maze like environments.
The Production System Optimizing Simulation in Petrochemical Industry Based on HLA
Authors: Dou Zhiwu, Li Hongwei
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

By analyzing the characteristic and the application of distributed interactive simulation (DIS) and high level architecture (HLA) and researching the management of federation object model and data distribution in DIS, A new method is presented to develop Petrochemical industry distributed interactive simulation adopting HLA technology. A simple petrochemical industry is modeled with HLA, the FOM and SOM are developed. The results of the instance research show that HLA plays an important role in developing distributed interactive simulation of complicated distributed system and the method is valid to solve the problem puzzling petrochemical industry.
Extending FeatuRSEB with Concepts from Systems Engineering
Authors: John Favaro, Silvia Mazzini
Venue: Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering (2009)

FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuRSEB with constructs from the SysML profile for systems engineering, augmenting it with analysis and modeling mechanisms that are upstream from the original method, while nevertheless conserving the advantages of an industry standard notation and semantics.
Improved Team Performance Using EEG- and Context-Based Cognitive-State Classifications for a Vehicle Crew
Authors: Kevin R. Dixon, Konrad Hagemann, Justin Basilico, Chris Forsythe, Siegfried Rothe, Michael Schrauf, Wilhelm E. Kincses
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

We present an augmented cognition (AugCog) system that utilizes two sources to assess cognitive state as a basis for actions to improve operator performance. First, continuous EEG is measured and signal processing algorithms utilized to identify patterns of activity indicative of high cognitive demand. Second, data from the automobile is used to infer the ongoing driving context. Subjects participated as eleven 2-person crews consisting of a driver/ navigator and a commander/gunner. While driving a closed-loop test route, the driver received through headphones a series of communications and had to perform two secondary tasks. Certain segments of the route were designated as threat zones. The commander was alerted when entering a threat zone and their task was to detect targets mounted on the roadside and engage those targets To determine targeting success, a photo was taken with each activation of the trigger and these photos were assessed with respect to the position of the reticle relative to the target. In a secondary task, the commander was presented a series of communications through headphones. Our results show that it is possible to reliably discriminate different cognitive states on the basis of neuronal signals. Results also confirmed our hypothesis: improved performance at the crew level in the AugCog condition for a secondary communications tasks, as compared to a control condition, with no change in performance for the primary tasks.
Modular and efficient top-down parsing for ambiguous left-recursive grammars
Authors: Richard A. Frost, Rahmatullah Hafiz, Paul C. Callaghan
Venue: Proceedings of the 10th International Conference on Parsing Technologies (2007)

In functional and logic programming, parsers can be built as modular executable specifications of grammars, using parser combinators and definite clause grammars respectively. These techniques are based on top-down backtracking search. Commonly used implementations are inefficient for ambiguous languages, cannot accommodate left-recursive grammars, and require exponential space to represent parse trees for highly ambiguous input. Memoization is known to improve efficiency, and work by other researchers has had some success in accommodating left recursion. This paper combines aspects of previous approaches and presents a method by which parsers can be built as modular and efficient executable specifications of ambiguous grammars containing unconstrained left recursion.
Scaling textual inference to the web
Authors: Stefan Schoenmackers, Oren Etzioni, Daniel S. Weld
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

Most Web-based Q/A systems work by finding pages that contain an explicit answer to a question. These systems are helpless if the answer has to be inferred from multiple sentences, possibly on different pages. To solve this problem, we introduce the Holmes system, which utilizes textual inference (TI) over tuples extracted from text. Whereas previous work on TI (e.g., the literature on textual entailment) has been applied to paragraph-sized texts, Holmes utilizes knowledge-based model construction to scale TI to a corpus of 117 million Web pages. Given only a few minutes, Holmes doubles recall for example queries in three disparate domains (geography, business, and nutrition). Importantly, Holmes's runtime is linear in the size of its input corpus due to a surprising property of many textual relations in the Web corpus---they are "approximately" functional in a well-defined sense.
Study of Human Anxiety on the Internet
Authors: Santosh Kumar Kalwar, Kari Heikkinen
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

In this paper a conceptualization of human anxiety on the Internet is introduced; it is built on the understanding of human behavior with regard to technology. The objective of this paper is to conceptualize the human anxiety. An integral part of understanding is an inter-disciplinary (psychology science, cognitive science, behavioral science and communication technology) literature review, of which and overall summary is presented. The understanding is conceptualized by designing, implementing and evaluating through a developed user study model. In this paper the preliminary result of utilizing the developed user study found seven particular anxiety areas which need further studies.
Temporal and Spatial Distribution of Soil Organic Carbon under Different Land Uses in Middle of Heihe
Authors: Junhua Zhang, Guodong Li
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Temporal and spatial distribution of soil organic carbon and its mutative mechanism are researched under different land uses in middle of Heihe, based on the multi-methods of field samples gathered, laboratory analysis, GIS spatial analysis model and remote sensing. The results show that obvious pertinence and otherness exist between total soil carbon (TOC), active organic carbon (AOC), nonactive organic carbon (NOC) and different land uses. The extreme region and regional distribution of soil organic carbon have the better corresponding relation with different land uses; with the increase of the depth, spatial distribution of TOC, AOC and NOC have distinct change. AOC and NOC distribution are more veracious to reflect the affect of land use. Content of TOC, AOC and NOC have great change after land use change.
Communication, Knowledge and Co-ordination Management in Globally Distributed Software Development: Informed by a scientific Software Engineering Case Study
Authors: Adel Taweel, Brendan Delaney, Theodoros N. Arvanitis, Lei Zhao
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

With the global distribution of scientific and software engineering skills and with the need to foster multidisciplinary research collaboration across organisations result in teams dispersed separated by time and distance. However to attain the potential benefits of such collaboration, there is a critical need for a better management of communication, knowledge and co-ordination across distributed teams. The importance of these factors is becoming increasingly known to organisations requiring them to develop methods and enabling mechanisms in need for more successful and efficient collaboration outcomes. This paper discusses and emphasises the importance of managing these factors in distributed software engineering projects based on experiences drawn from an international scientific research and software engineering project (ePCRN). It presents their impact on the collaborative process and how they may hinder the progress of the software development process. It also presents the methods and mechanisms used in the project to address some of these factors
Position paper on appropriate audio/visual Turing test
Authors: Bradley B. Custer
Venue: Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning (1998)

Dr. Hugh Loebner in his 1994 article in Communications [1] makes the statement regarding future LP competitions, "the winner of the Loebner Grand Prize must develop a computer with associated hardware that can respond 'intelligently' to audio visual input in the manner that a human would. ... Turing wrote, 'The question and answer method seems suitable for introducing any one of the fields of human endeavor that we wish to include.' Well, I would like to ask questions about images and pattern recognition. If the computer answers appropriately it is intelligent."
Building Task-Based User Interfaces with ANSI/CEA-2018
Authors: Charles Rich
Venue: Computer (2009)

The recently approved ANSI/CEA-2018 standard is motivated by the current usability crisis in computer-controlled electronic products. The standard facilitates a new user interface design methodology that uses a task model at runtime to guide users.
On the distribution of runs of ones in binary strings
Authors: Koushik Sinha, Bhabani P. Sinha
Venue: Computers Mathematics with Applications (2009)

In this paper, we derive the number of binary strings which contain, for a given i"k, exactly i"k runs of 1's of length k in all possible binary strings of length n, 1@?k@?n. Such a knowledge about the distribution pattern of runs of 1's in binary strings is useful in many engineering applications - for example, data compression, bus encoding techniques to reduce crosstalk in VLSI chip design, computer arithmetic using redundant binary number system and design of energy-efficient communication schemes in wireless sensor networks by transformation of runs of 1's into compressed information patterns, among others. We present, here, a generating function based approach to derive a solution to this counting problem. Our experimental results demonstrate that, for most commonly used file formats, the observed distributions of exactly i"k runs of length k, 1@?k@?n, closely follow the theoretically derived distributions, for a given n. For n=8, we find that the experimentally obtained values for most file formats agree within +/-5% of the theoretically obtained values for all i"k runs of length k, 1@?k@?n. Also, the root mean square (RMS) values of these deviations across all file types studied in this paper are less than 5% for n=8. In view of these facts, the results presented in this paper could be useful in various application domains, like the ones mentioned above.
Robust H∞ filter design for uncertain fuzzy neutral systems
Authors: Jun Yang, Shouming Zhong, Guihua Li, Wenpin Luo
Venue: Information Sciences: an International Journal (2009)

This paper investigates the problem of robust H"~ filtering for a class of uncertain Takagi-Sugeno (T-S) fuzzy neutral systems with time-varying delay and linear fractional parametric uncertainties. The aim is to design an asymptotically stable fuzzy filter ensuring asymptotical stability and prescribed H"~ performance of the filtering error system for all admissible uncertainties. Based on the Lyapunov-Krasovskii functional, the Barbalat lemma and the LMI approach, delay-dependent sufficient conditions for the solvability of this problem are proposed in terms of LMIs, and an explicit expression of the desired H"~ fuzzy filter is readily given when these LMIs are feasible. Finally, the H"~ filter design problem for a neutral-type nonlinear distributed network (long line with tunnel diode) is considered in the simulation example to demonstrate the effectiveness and applicability of the proposed method.
Real World Verification
Authors: André Platzer, Jan-David Quesel, Philipp Rümmer
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advances in verification technology, complexity issues with classical decision procedures are still a major obstacle for formal verification of real-world applications, e.g., in automotive and avionic industries. To identify strengths and weaknesses, we examine state of the art symbolic techniques and implementations for the universal fragment of real-closed fields: approaches based on quantifier elimination, Gröbner Bases, and semidefinite programming for the Positivstellensatz. Within a uniform context of the verification tool KeYmaera, we compare these approaches qualitatively and quantitatively on verification benchmarks from hybrid systems, textbook algorithms, and on geometric problems. Finally, we introduce a new decision procedure combining Gröbner Bases and semidefinite programming for the real Nullstellensatz that outperforms the individual approaches on an interesting set of problems.
Image Authentication Method Based on DWT In Color JPEG Images
Authors: Chang Gao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

This paper presents a novel watermarking method that embeds authentication information into color JPEG format images based on discrete wavelet transforms. This is done by first acquiring the gray values matrix from the color image, then identifying low and high frequency coefficients by using a two-dimensional discrete wavelet transform. The authentication information is embedded into the low coefficients by modifying the low coefficients’ mean values. Experimental results have shown this algorithm to produce a robust and imperceptible watermark.Furthermore, this algorithm allows detection and identification of any alterations or damage done to the copyrighted image.Thus, this research proposes a method of watermarking that effectively counters the illegal tampering and piracy of copyrighted color JPEG images.
Model Checking Service Component Composition by SPIN
Authors: Zuohua Ding, Mingyue Jiang, Jing Liu
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Service Component Architecture (SCA) provides a language-independent way to define and compose service component. The SCA assembly model should be reliable. This target can be reached by translating a formal signature model and behavior model for SCA to Promela, and Promela specifications are then verified with the model checker SPIN. SCA complements some service composition languages (such as BPEL) for enabling the more convenient and efficient service-based development. Based on our method and by using IBM WID tool, we show how to build a reliable BPEL process.
Determination of Thickness of the Sediments in a Rectangular Pipe by Modal Frequencies' Shift
Authors: Yean Yin, K. V. Horoshenkov
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

This paper presents an approach which estimates the depth of the porous sediments on the bottom of a rectangular pipe by comparing the measured propagation modes’ frequencies to that calculated by finite element method (FEM). It is validated by comparing the calculated results to the theoretical results for the rectangular pipe with rigid boundary condition and to the experimental results with sediments laid on the bottom of the rectangular flume. The comparison results show that the disagreements between measured depth and the calculated depth are less 3 percent. This method can be used to monitoring or measuring the depth of the sediments on the bottom of a pipe.