ppxscal/embedding_network huggingface dataset:
An Automatic Intelligent Language Classifier
Authors: Brijesh Verma, Hong Lee, John Zakos
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

The paper presents a novel sentence-based language classifier that accepts a sentence as input and produces a confidence value for each target language. The proposed classifier incorporates Unicode based features and a neural network. The three features Unicode, exclusive Unicode and word matching score are extracted and fed to a neural network for obtaining a final confidence value. The word matching score is calculated by matching words in an input sentence against a common word list for each target language. In a common word list, the most frequently used words for each language are statistically collected and a database is created. The preliminary experiments were performed using test samples from web documents for languages such as English, German, Polish, French, Spanish, Chinese, Japanese and Korean. The classification accuracy of 98.88% has been achieved on a small database.
A New Extended Rough Set Model Based on the Dynamic Tolerance Relation and Improved Tolerance Degree Calculating Method
Authors: Xia Ji, Longshu Li, Shengbing Chen, Yi Xu
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A dynamic tolerance relation of extended rough set model is presented on the basis of analyzing the existing models. Firstly, an improved method to calculate the tolerance degree of two objects more objective is given. On this basis, a dynamic tolerance degree parameter is selected in this paper. It can adjust the extended model from equivalence relation to tolerance relation, besides it can adjust its value dynamically according to the dynamic adjustment of data set, so it can enlarge the scale of data which can be disposed by this model and enhance the model’s disposal ability. The UCI database is selected to demonstrate the validity of this new extended model.
Solution semicontinuity of parametric generalized vector equilibrium problems
Authors: C. R. Chen, S. J. Li, K. L. Teo
Venue: Journal of Global Optimization (2009)

In this paper, the lower semicontinuity and continuity of the solution mapping to a parametric generalized vector equilibrium problem involving set-valued mappings are established by using a new proof method which is different from the ones used in the literature.
Application Research for Robots Based on a Case
Authors: Yan-ming Qi, Xuezheng Zhang, Shuo Yu
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Unified ambimorphic algorithms have led to many extensive advances, including the Ethernet and lambda calculus. Given the current status of decentralized methodologies, mathematicians daringly desire the development of superpages. According to use psychoacoustic epistemologies to demonstrate that the famous extensible algorithm for the confusing unification of DHCP and extreme programming is impossible. In order to solve this question for the evaluation of journaling file systems, an analysis of compilers was described, We explored a novel heuristic for the evaluation of I/O automata (Col), which we used to validate that the infamous symbiotic algorithm for the improvement of IPv6 is recursively enumerable.
Incrementally Updating Concept Context Graph (CCG) for Focused Web Crawling Based on FCA
Authors: Zhaoqiong Gao, Yajun Du, Liangzhong Yi, Qiangqiang Peng, Yuekui Yang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Focused web crawler collects relevant web pages of interested topics from the Internet.Most searchers have studied strategy based on an initial model to gather as many relevant web pages as possible in the focused web crawling. However,web information continually change over time, the initial model representing outdated information can’t reflect user’s interested topics rightly. In this paper,we proposed a model named Concept Context Graph (CCG) based on Formal Concept Analysis (FCA) and updated it to get more relevant web pages. We had gotten inspiration from incremental idea for updating concept lattice. But our task is not updating concept lattice but updating CCG associated with a certain core concept.We took an unvisited page as an Incremental Concept (IC), judged the layer at which the IC located in the CCG by the attributes of concept and inserted this IC into CCG by the semantic similarity between core concept and incremental concept. As far as we know, it is the first literature on updating the initial model to get more relevant web pages in the focused web crawling.
Research on Knowledge Management for Person in E-learning
Authors: Zhigang Ji, Niugai Fang, Haiyan Yang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

The individual knowledge management in Elearning is a new area. With the development of E-learning,Individual knowledge management is necessary. This paper introduces the content of E-learning and individual knowledge management. The tools of individual knowledge management in E-learning include. These tools are a group. They have different application in different mobile equipment. Some tools are introduced how to use in this paper. The strategy of individual knowledge management in E-learning include:Analyze the learner's demand of knowledge resources; Choose the right personal knowledge management tools; Establish their own knowledge management system; Maintain personal knowledge management system; The using and innovation of knowledge. There are two main problems in individual knowledge management in E-learning in the future; one is Technical problems; the other is Development of tools.
A closed-loop logistic model with a spanning-tree based genetic algorithm
Authors: Hsiao-Fan Wang, Hsin-Wei Hsu
Venue: Computers and Operations Research (2010)

Due to the problem of global warming, the green supply chain management, in particular, closed-loop logistics, has drawn the attention of researchers. Although there were logistics models that were examined in the literatures, most of them were case based and not in a closed-loop. Therefore, they lacked generality and could not serve the purposes of recycling, reuse and recovery required in a green supply chain. In this study, the integration of forward and reverse logistics was investigated, and a generalized closed-loop model for the logistics planning was proposed by formulating a cyclic logistics network problem into an integer linear programming model. Moreover, the decisions for selecting the places of manufactories, distribution centers, and dismantlers with the respective operation units were supported with the minimum cost. A revised spanning-tree based genetic algorithm was also developed by using determinant encoding representation for solving this NP model. Numerical experiments were presented, and the results showed that the proposed model and algorithms were able to support the logistic decisions in a closed-loop supply chain efficiently and accurately. Statement of scope and purposes: This study concerns with operations of 3R in the green supply chain logistics and the location selection optimization. Based on 'cradle to cradle' principle of a green product, a ''closed-loop'' structure of a network was proposed in order to integrate the environmental issues into a traditional logistic system. Due to NP-hard nature of the model, a Genetic Algorithm, which is based on spanning tree structure was developed. Test problems from the small size for accuracy to the large scale for efficiency have been demonstrated with comparison. The promising results have shown the applicability of the proposed model with the solution procedure.
Robust Adaptive Wavelet Network Control for Robot Manipulators
Authors: Huifang Wang, Shiqiang Zhu, Songguo Liu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

A novel robust adaptive wavelet network controller (RAWNC) is proposed for trajectory tracking of robot manipulator with uncertainties and disturbances. The controller is composed of an approximate ideal controller based on the adaptive wavelet network and a robust part. The adaptive wavelet network controller (AWNC) with finite wavelet family is designed to approximate the ideal controller which assumes the uncertainties and disturbances are known exactly. The parameters of the wavelet network are updated online motivated from the sliding mode control. The robust controller is proposed to compensate the errors between the AWNC and the ideal controller. It attenuates the uncertainties and disturbances in the sense of the Lyapunov function with guaranteed H∞ tracking performance. The simulations for a two-joint robot manipulator demonstrate its robustness with satisfactory performance and approximate quality.
A mobile tool for in-situ prototyping
Authors: Marco de Sá, Luís Carriço
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Mobile interaction design introduces added challenges when compared with the usual design process for fixed technologies. In particular, it benefits greatly from the ability to take the design process out of the lab, creating, designing and evaluating applications within their natural usage context. However, this process requires new and deeply refined approaches to traditional techniques which are demanding and still avoided by designers. This paper presents a tool that overcomes some of these issues by offering means to support in-situ design. The tool supports prototyping of mobile applications and user interfaces on real scenarios, also providing evaluation features that allow the logging and analysis of usage information. We describe the tool's concept, goals and design implications, focusing, in particular, its out-on-the-field, in-situ design and prototyping features.
Static Detection of Logic Flaws in Service-Oriented Applications
Authors: Chiara Bodei, Linda Brodo, Roberto Bruni
Venue: Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers (2009)

Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often security problems can be found at this level, because circumventing or misusing the required operations can lead to unexpected behaviour or to attacks, called application logic attacks. We investigate this issue, by using the CaSPiS calculus to model services, and by providing a Control Flow Analysis able to detect and prevent some possible misuses.
Evolution of Probability Distribution in Time for Solutions of Hyperbolic Equations
Authors: Chang-Yeol Jung
Venue: Journal of Scientific Computing (2009)

We investigate the evolution of the probability distribution function in time for some wave and Maxwell equations in random media for which the parameters, e.g. permeability, permittivity, fluctuate randomly in space; more precisely, two different media interface randomly in space. We numerically compute the probability distribution and density for output solutions. The underlying numerical and statistical techniques are the so-called polynomial chaos Galerkin projection, which has been extensively used for simulating partial differential equations with uncertainties, and the Monte Carlo simulations.
Information Fusion Oriented Fuzzy Comprehensive Evaluation Model on Enterprises' Internal Control Environment
Authors: Fuming Liu, Rongmin Tang, Yunfeng Song
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

In order to gain an objective, true and effective assessment to the internal control environment of enterprises with fuzzy comprehensive evaluation, the critical problem we must solve is how to distribute the weight of indicators in the the hierarchy evaluation system and achieve the membership transformation properly between different layers of the indicators. This article, after constructing a multi-index evaluation system, then establishes a model of fuzzy comprehensive evaluation based on information fusion for enterprises’ internal control environment evaluation with the entropy-based data mining method. Through mining the data information of objective classification hidden in the membership of indicators and introducing the concept of distinguishable weight, it gets rid of redundant data which has no value to the classification process of the objective. This better solve the interference problem of the redundant data. An example of the evaluation model for enterprises’ internal control environment is presented, which indicates that the model is convenient and feasible and that the result of assessment is objective and reliable.
Note: The binding number of a graph and its cliques
Authors: Jeremy Lyle, Wayne Goddard
Venue: Discrete Applied Mathematics (2009)

We consider the binding numbers of K"r-free graphs, and improve the upper bounds on the binding number which force a graph to contain a clique of order r. For the case r=4, we provide a construction for K"4-free graphs which have a larger binding number than the previously known constructions. This leads to a counterexample to a conjecture by Caro regarding the neighborhoods of independent sets.
Exploiting 'subjective' annotations
Authors: Dennis Reidsma, Rieks op den Akker
Venue: Proceedings of the Workshop on Human Judgements in Computational Linguistics (2008)

Many interesting phenomena in conversation can only be annotated as a subjective task, requiring interpretative judgements from annotators. This leads to data which is annotated with lower levels of agreement not only due to errors in the annotation, but also due to the differences in how annotators interpret conversations. This paper constitutes an attempt to find out how subjective annotations with a low level of agreement can profitably be used for machine learning purposes. We analyse the (dis)agreements between annotators for two different cases in a multimodal annotated corpus and explicitly relate the results to the way machine-learning algorithms perform on the annotated data. Finally we present two new concepts, namely 'subjective entity' classifiers resp. 'consensus objective' classifiers, and give recommendations for using subjective data in machine-learning applications.
Spatial Variability of Soil Nutrient in Chongming of Shanghai, China by Using GIS and Kriging Method
Authors: Guangrong Shen, Zhenhua Qian, Jingjing Xu, Apostolos Sarris
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

The spatial distributions and variability of the main nutrients in the topsoil of Chongming island of China are explored by using geostatistics combining with GIS. The multi-scale model is used to analyze the spatial pattern of soil nutrient factors based on the principle of Minimum Nugget Effect to ensure the stability of the interpolation model with the high interpolating accuracy. The result shows that AK and CEC distributed with a moderate variance while AN, TN, AP and OM with strong variance. CEC has an insignificant autocorrelation, contrasting to the significant autocorrelation of TN. Multi-scaled model can harmonize the dilemma of global generalization and local accuracy; the maps of soil nutrients can illustrate the distribution of them in the continuity of the soil surface. The coefficients of soil fertility calculated based on the spatial analysis indicate that the anisotropism of these factors were affected by the soil salinity to different extent
Verifying Self-stabilizing Population Protocols with Coq
Authors: Yuxin Deng, Jean-François Monin
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such protocols involve subtle arguments on infinite sequences of events. We propose a general formalization of self-stabilizing population protocols with the Coq proof assistant. It is used in reasoning about a concrete protocol for leader election in complete graphs. The protocol is formally proved to be correct for networks of arbitrarily large size. To this end we develop an appropriate theory of infinite sequences, including results for reasoning on abstractions. In addition, we provide a constructive correctness proof for a leader election protocol in directed rings. An advantage of using a constructive setting is that we get more informative proofs on the scenarios that converge to the desired configurations.
TimePlace: Towards a Populated 3D Information Place
Authors: Pei-Hsien Hsu
Venue: Proceedings of the 2009 International Workshop on Social Informatics (2009)

TimePlace is a practice-based research project which aims to support social navigation in the context of 3D information spaces. This paper addresses underlying concepts and design issues. The final design of TimePlace as a prototype and outcomes of evaluation are also presented.
Electrocatalytic Oxidation of Uric Acid and Ascorbic Acid on L-cysteine Monolayer Modified Electrode
Authors: Yanping Cui, Changzhu Yang, Jun Hong
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

A three-dimensional L-cysteine (L-cys) monolayer assembled on gold nanoparticles (GNP) providing simultaneous detection of uric acid (UA) and ascorbic acid (AA) was studied in this work. An interestingly results was found during experiments, the L-cys monolayer-modified planar gold electrode presented a block effect on the oxidation of AA, which was facilitated by the three-dimensional L-cys monolayer attributed to its distinct structure.
At your service: embedded MT as a service
Authors: Florence M. Reeder
Venue: ANLP-NAACL 2000 Workshop: Embedded Machine Translation Systems (2000)

A growing trend in Machine Translation (MT) is to view MT as an embedded part of an overall process instead of an end result itself. For the last four years, we have fielded (primarily) Commercial-Off-The-Shelf (COTS) MT systems in an operational process. MT has been used to facilitate cross-language information retrieval (IR), topic detection and other, wide-scoped scenarios. These uses caused a fundamental shift in our views about MT -- everything from user interface to system evaluation to the basic system structures. This paper presents our lessons learned in developing an MT service for a wide range of user needs.
Optimization on Realization Time of Knowledge Demand in Innovation Networks
Authors: Chuanrong Wu, Deming Zeng
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Based on the characteristics of knowledge demand in innovation networks, an optimization model to determine the optimal realization time of knowledge demand is presented. Important factors, such as knowledge absorption capacity, update rate of knowledge in the network, discount rate, the time of knowledge transfer, market share, product life cycle, etc. are taken into account in the model. A large number of simulated experiments are implemented to test the efficiency of the optimization model. Experimental results show that the model is in accordance with the actual economic situation. The optimal time to realize the knowledge demand is a useful decision support for enterprises.
Study on Geography Information Application Integration Framework Based on Scenario
Authors: Liu Yong, Li Chengming
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Problem in geography information application integration is analyzed, concept and framework are discussed. Geography information integration framework focused on business is put forward, application organized for user’s point of view, user requirement will transfer to scenario with semantic information, element of scenario will bind to service with semantic web method, scenario will transfer to application by execute engine, the method is tested in the end.
Proceedings of the Eleventh European Workshop on Natural Language Generation
Authors: Stephan Busemann
Venue: ACL Workshops (2007)

This volume contains the proceedings of the 11th European Workshop on Natural Language Generation (ENLG07). The workshop takes place at Schloss Dagstuhl in Germany. It continues a biennial series of workshops on natural language generation that has been running since 1987. Previous European workshops have been held at Toulouse, Budapest and Aberdeen. The series provides a regular forum for presentation and discussion of research in this area, both for NLG specialists and for researchers from other areas. The 2007 workshop spans the interest areas of Natural Language Generation to Artificial Intelligence, Computational Linguistics and Semantic Web techniques. One of the key themes is evaluation of NLG systems, including two sessions on recent activities in this area.
Soft Tissue Deformation and Optimized Data Structures for Mass Spring Methods
Authors: Tansel Halic, Sinan Kockara, Coskun Bayrak, Richard Rowe, Bernard Chen
Venue: Proceedings of the 2009 Ninth IEEE International Conference on Bioinformatics and Bioengineering (2009)

One of the essential components of a virtual reality surgical simulation is deformation. Deformations in computer graphics and surgical simulations are commonly modeled with three different approaches e.g. geometry based methods, Finite Element method(FEM), and Mass-spring Method (MSM). The geometry based methods are quite fast and visually appealing. Late two methods take the physics of deformation into consideration. Even though the FEM results in more physically realistic deformations, a significant drawback of this method is its expensive computation cost and vulnerability to surgical procedures such as incision. However,MSM is relatively computationally inexpensive.Because of the real-time physics based behavior of MSM, it is widely accepted by surgical simulation community. This study summarizes deformation simulation methods and their pros and cons for surgical simulations. Moreover, because of wide usage of the MSM, optimized data structures for MSM are provided and analyzed under different deformation settings.
Constrained decision diagrams
Authors: Kenil C. K. Cheng, Roland H. C. Yap
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

A general n-ary constraint is usually represented explicitly as a set of its solution tuples, which may need exponential space. In this paper, we introduce a new representation for general n-ary constraints called Constrained Decision Diagram (CDD). CDD generalizes BDD-style representations and the main feature is that it combines constraint reasoning/consistency techniques with a compact data structure. We present an application of CDD for recording all solutions of a conjunction of constraints. Instead of an explicit representation, we can implicitly encode the solutions by means of constraint propagation. Our experiments confirm the scalability and demonstrate that CDDs can drastically reduce the space needed over explicit and ZBDD representations.