ppxscal/embedding_network huggingface dataset:
Design and Implementation of Scientific Literature Statistical Analysis System on Three Retrieval Systems Based on DOM Tree
Authors: Li WeiDong, Dong Yibing, Wang RuiJiang, Tian HongXia
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

EI SCI and ISTP retrieval result provide best aid to understand the general picture and development direction of discipline; efforts have been made to deal with the retrieved massive information with software, to accomplish the heavy boring phase of the work. In this paper, a scientific literature statistical analysis system based on DOM tree is put forward with the design idea, system structure, design and implementation of main model and the running result. The practice shows that users can quickly understand the distribution of papers in their retrieving field and grasp the importance with the help of the system.
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations
Authors: Himanshu Jain, Edmund M. Clarke, Orna Grumberg
Venue: Formal Methods in System Design (2009)

The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interpolants in rational and real linear arithmetic. We focus on subsets of integer linear arithmetic. Our main results are polynomial time algorithms for obtaining interpolants for conjunctions of linear Diophantine equations, linear modular equations (linear congruences), and linear Diophantine disequations. We also present an interpolation result for conjunctions of mixed integer linear equations. We show the utility of the proposed interpolation algorithms for discovering modular/divisibility predicates in a counterexample guided abstraction refinement (CEGAR) framework. This has enabled verification of simple programs that cannot be checked using existing CEGAR based model checkers.
Nonlinear Combination Forecasting Model and Application Based on Radial Basis Function Neural Networks
Authors: Liu Hong, Cui Wenhua, Zhang Qingling
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

According to the sales forecasting problems of financial equipments,on the basis of Radial Basis Function (RBF, for short) theory, a nonlinear combination forecasting model is established based on RBF neural network by transforming a nonlinear mapping(input layer to hidden layer) to linear mapping in another space, this model greatly improves learning speed of neural networks, avoids local optimum and overcomes the disadvantages of low accuracy for linear combination forecasting in some forecasting points. On the basis of the industrial characteristics of the products, the forecasting results of traditional seasonal index smoothness and BP neural network forecasting model are taken as an input vector of RBF neural network, and the actual value of the respective moment is taken as an output. Network is trained by enough forecasting samples to achieve a high accuracy. Finally, the sales forecasting of JL106 money binding machine is taken as an example to illustrate the effectiveness of the model.
SUSIG: an on-line signature database, associated protocols and benchmark results
Authors: Alisher Kholmatov, Berrin Yanikoglu
Venue: Pattern Analysis Applications (2009)

We present a new online signature database (SUSIG). The database consists of two parts that are collected using different pressure-sensitive tablets (one with and the other without an LCD display). A total of 100 people contributed to each part, resulting in a database of more than 3,000 genuine signatures and 2,000 skilled forgeries. The genuine signatures in the database are real signatures of the contributors. In collecting skilled forgeries, forgers were shown the signing process on the monitor and were given a chance to practice. Furthermore, for a subset of the forgeries (highly skilled forgeries), this animation was mapped onto the LCD screen of the tablet so that the forgers could trace over the mapped signature. Forgers in this group were also informed of how close they were to the reference signature, so that they could improve their forgery quality. We describe the signature acquisition process and several verification protocols for this database. We also report the performance of a state-of-the-art signature verification system using the associated protocols. The results show that the highly skilled forgery set is significantly more difficult compared to the skilled forgery set, providing researchers with challenging forgeries. The database is available through http://biometrics.sabanciuniv.edu.
On the use of comparable corpora to improve SMT performance
Authors: Sadaf AbduI-Rauf, Holger Schwenk
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

We present a simple and effective method for extracting parallel sentences from comparable corpora. We employ a statistical machine translation (SMT) system built from small amounts of parallel texts to translate the source side of the non-parallel corpus. The target side texts are used, along with other corpora, in the language model of this SMT system. We then use information retrieval techniques and simple filters to create French/English parallel data from a comparable news corpora. We evaluate the quality of the extracted data by showing that it significantly improves the performance of an SMT systems.
Prüfer Number Encoding for Genetic Bayesian Network Structure Learning Algorithm
Authors: Beata Reiz, Lehel Csato, Dan Dumitrescu
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

Bayesian Networks encode causal relations between variables using probability and graph theory. We employ genetic algorithm to exploit these causal relations from data for classification problems, thus restricting the search space from directed acyclic graphs to trees.Prüfer number encoding of the structure is employed for the representation of individuals in the genetic algorithm. Several score functions - information criteria - are also employed in order to analyse Prüfer number encoding for Bayesian network structure learning.In this work we show that Prüfer number encoding can reveal the causal dependence between class the variable and the attributes, the dependence being made without a-priori information regarding about the class variable.
Multivariable system identification for integral controllability
Authors: Mark L. Darby, Michael Nikolaou
Venue: Automatica (Journal of IFAC) (2009)

Integral controllability is necessary and sufficient for a multivariable model to be usable in a decoupling controller with integral action that can be arbitrarily detuned without jeopardizing closed-loop robust stability. The design of experiments for identification of integral controllable models is challenging, because it must satisfy cumbersome eigenvalue inequalities involving a coupling between the real system and its model. To address this challenge, an optimization-based mathematical framework is developed that characterizes efficient identification experiments ensuring integral controllability. The proposed framework recovers well known experiment designs but also produces new ones of both theoretical and practical interest. Such designs are expressed either analytically or as a result of numerical optimization and are demonstrated in a number of examples. These designs can be easily implemented in industrial practice. By combining additional objectives or constraints of interest, the proposed framework can further serve as a basis for new experiment designs in future work.
Application Study on Performance Evaluation for Engineering Project Management Based on BP Neural Network
Authors: Jing Xu, Jianguo Chen
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

In order to make the performance evaluation for engineering project management quantitative and scientific, this paper adopts BP network method of artificial neural network to copy with the problem. By analysis, we set up a quantitative model of performance evaluation including of four main control indicators for engineering project management, and apply the model in an example. From the example we can see the method is more overall and more objective, which will promote the level of engineering project management improving.
An extended protocol for multiple-issue concurrent negotiation
Authors: Jiangbo Dang, Michael N. Huhns
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

Negotiation is the technique for reaching mutually beneficial agreement among agent via communication. A concurrent negotiation problem occurs when an agent needs to negotiate with multiple agents to reach agreement. In this paper, we present a protocol to support many-to-many bilateral multiple-issue negotiation in a competitive environment. The protocol is presented in the context of service-oriented negotiation, where one or more self-interested parties can provide services to one or more other parties. By extending existing negotiation protocols, our described protocol enables both service requestors and service providers to manage several negotiation processes in parallel. Moreover, this protocol mitigates the situation where most one-to-many negotiations are biased in favor of one participating agent, and allow the negotiation participants to make durable commitments to reduce the decommitment situation. We conclude by discussing additional issues related to concurrent multiple-issue negotiation.
Voting on multiattribute domains with cyclic preferential dependencies
Authors: Lirong Xia, Vincent Conitzer, Jérôme Lang
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

In group decision making, often the agents need to decide on multiple attributes at the same time, so that there are exponentially many alternatives. In this case, it is unrealistic to ask agents to communicate a full ranking of all the alternatives. To address this, earlier work has proposed decomposing such voting processes by using local voting rules on the individual attributes. Unfortunately, the existing methods work only with rather severe domain restrictions, as they require the voters' preferences to extend acyclic CP-nets compatible with a common order on the attributes. We first show that this requirement is very restrictive, by proving that the number of linear orders extending an acyclic CP-net is exponentially smaller than the number of all linear orders. Then, we introduce a very general methodology that allows us to aggregate preferences when voters express CP-nets that can be cyclic. There does not need to be any common structure among the submitted CP-nets. Our methodology generalizes the earlier, more restrictive methodology. We study whether properties of the local rules transfer to the global rule, and vice versa. We also address how to compute the winning alternatives.
Assessment of Website Quality: Scandinavian Web Awards Right on Track?
Authors: Hanne Sørum, Rony Medaglia, Kim Normann Andersen
Venue: Proceedings of the 8th International Conference on Electronic Government (2009)

This paper maps the criteria used for measuring website quality in a range of Scandinavian web awards. In order to categorize the evaluation criteria we have used the DeLone and McLean Model, and findings show that there is a heterogeneous pattern of methods and criteria used. System quality aspects are mainly assessed by usability criteria, while the rest of the criteria are evenly divided between information quality and service quality. The remaining evaluation criteria mapped, such as innovation and creativity, fall out of the model. Our analysis also reveals that the assessments are rarely grounded on standardized and objective measures, and that the actual user opinions are ignored in the evaluation process.
Examining the Effects of Workstation Design Satisfaction, Computer Usage, Supervisory and Co-worker Support on Perceived Physical Discomfort and Psychosocial Factors
Authors: Michelle Robertson, Emily Huang, Nancy Larson
Venue: Proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers: Held as Part of HCI International 2009 (2009)

This study examined the factors of computer use, job tasks, musculoskeletal and visual discomfort and organizational support to better understand the magnitude of their impact on the safety and health of computer work employees. A cross-sectional survey was administered to a large manufacturing company to investigate these relationships. Associations between these study variables were tested along with moderating effects framed within a conceptual model. Significant relationships were found between discomfort, computer use and psychosocial factors including supervisory relations moderating the relationships between workstation satisfaction and visual and musculoskeletal discomfort. This study provides guidance for developing recommendations in designing office ergonomic interventions with the goal of reducing musculoskeletal and visual discomforts while enhancing worker performance and their quality of worklife.
Using lexical patterns in the Google Web 1T corpus to deduce semantic relations between nouns
Authors: Paul Nulty, Fintan Costello
Venue: Proceedings of the Workshop on Semantic Evaluations: Recent Achievements and Future Directions (2009)

This paper investigates methods for using lexical patterns in a corpus to deduce the semantic relation that holds between two nouns in a noun-noun compound phrase such as "flu virus" or "morning exercise". Much of the previous work in this area has used automated queries to commercial web search engines. In our experiments we use the Google Web 1T corpus. This corpus contains every 2, 3, 4 and 5 gram occurring more than 40 times in Google's index of the web, but has the advantage of being available to researchers directly rather than through a web interface. This paper evaluates the performance of the Web 1T corpus on the task compared to similar systems in the literature, and also investigates what kind of lexical patterns are most informative when trying to identify a semantic relation between two nouns.
Computer-Aided Collaborative Work into War Rooms: A New Approach of Collaboration
Authors: Jeremy Ringard, Samuel Degrande, Stéphane Louis-Dit-Picard, Christophe Chaillou
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 paper presents the realization of a new software and hardware platform for collocated collaborative work. Our objective is to take the most of the various competences of the teammates. We have created an architecture named MVT (model, view, tool) for supporting collaborative interaction in war-room-like environments. This software distribution offers various interactions modalities, allowing multi-skilled teams to collaborate using different input devices, thanks to multiple visualization and interaction channels.
Comparing Virtual Machines and Thin Clients with GELT
Authors: Jiang Zhengzheng, Yong Huang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Information theorists agree that robust information are an interesting new topic in the field of programming languages, and cyberneticists concur. This is crucial to the success of our work. After years of private research into A* search, we disconfirm the practical unification of lambda calculus and Moore's Law, which embodies the appropriate principles of cryptography. Our focus here is not on whether the infamous cooperative algorithm for the construction of Lamport clocks by Martinez et al. runs in (logn) time, but rather on presenting a random tool for exploring DHCP (GELT).
Collaborative student profile to support assistance in CSCL environment
Authors: Elena Durán, Analía Amandi
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

An effective collaboration in learning environments involves a set of skills that students must learn and cultivate. Detecting the contexts in which students apply these skills allows learning environments to offer personalized assistance during the learning process. In this paper a Collaborative Profile, as part of a student model, is introduced. This profile captures collaborative skills of a student working in a group. To build the Collaborative Profile a Web Usage Mining Approach is applied and collaborative behaviour patterns are detected automatically, identifying contexts in which student's skills are evident. This profile is designed to offer additional information to improve personalized assistance in collaborative learning environment.
Design and Realization of Software in Processing Gray-Image used for Industrial X-ray Detection
Authors: Liu Guohong, Guo Wenming
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

In the process of image enhancement, how to effectively realize image enhancement is a difficulty in the image analysis. The processing results of image enhancement will affect the following image process. The gray-scale transformation technology of histogram is a very important way to realize the image enhancement. It was based on the probability theory, using gray-point computing method to achieve the transformation of histogram, so as to realize the purpose of image enhancement.
Tactics based approach for integrating non-functional requirements in object-oriented analysis and design
Authors: Tegegne Marew, Joon-Sang Lee, Doo-Hwan Bae
Venue: Journal of Systems and Software (2009)

Non-Functional Requirements (NFRs) are rarely treated as ''first-class'' elements in software development as Functional Requirements (FRs) are. Often NFRs are stated informally and incorporated in the final software as an after-thought. We leverage existing research work for the treatment of NFRs to propose an approach that enables to systematically analyze and design NFRs in parallel with FRs. Our approach premises on the importance of focusing on tactics (the specific mechanisms used to fulfill NFRs) as opposed to focusing on NFRs themselves. The advantages of our approach include filling the gap between NFRs elicitation and NFRs implementation, systematically treating NFRs through grouping of tactics so that tactics in the same group can be addressed uniformly, remedying some shortcomings in existing work (by prioritizing NFRs and analyzing tradeoff among NFRs), and integration of FRs and NFRs by treating them as first-class entities.
Researching Collaborative Technologies in Global Virtual Teams: Empirical Studies from an Interpretive Perspective
Authors: Tony Clear
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Researching global software engineering teams (GSETs), presents several phenomena of interest, and raises several issues relating to choice of method.Given the important function of both time and space when studying GSETs in field settings, ‘snapshot’ research methods (such as the use of questionnaires, and even interviews), tend to fall short in capturing some of the innate complexities.Researchers from the Information Systems discipline have recommended the use of such research methods as qualitative case studies and action research, but for software engineering researchers such methods appear uncommon.Action Research in particular, where the researcher is an active participant and even change agent challenges the notion of ‘objective’ science.This paper focuses on the design and conduct of empirical software engineering research from an interpretive viewpoint, and demonstrates its application to theory development in field studies within global virtual team contexts.The paper argues for a wider set of perspectives and an extension of the repertoire for researching the complex, dynamic and essentially human phenomena represented by GSETs.
Facilitating design learning through faceted classification of in-service information
Authors: Yee Mey Goh, Matt Giess, Chris McMahon
Venue: Advanced Engineering Informatics (2009)

The maintenance and service records collected and maintained by engineering companies are a useful resource for the ongoing support of products. Such records are typically semi-structured and contain key information such as a description of the issue and the product affected. It is suggested that further value can be realised from the collection of these records for indicating recurrent and systemic issues which may not have been apparent previously. This paper presents a faceted classification approach to organise the information collection that might enhance retrieval and also facilitate learning from in-service experiences. The faceted classification may help to expedite responses to urgent in-service issues as well as to allow for patterns and trends in the records to be analysed, either automatically using suitable data mining algorithms or by manually browsing the classification tree. The paper describes the application of the approach to aerospace in-service records, where the potential for knowledge discovery is demonstrated.
The Bulk Multicore architecture for improved programmability
Authors: Josep Torrellas, Luis Ceze, James Tuck, Calin Cascaval, Pablo Montesinos, Wonsun Ahn, Milos Prvulovic
Venue: Communications of the ACM (2009)

Easing the programmer's burden does not compromise system performance or increase the complexity of hardware implementation.
DFKI2: an information extraction based approach to people disambiguation
Authors: Andrea Heyl, Günter Neumann
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

We propose an IE based approach to people disambiguation. We assume the mentioning of NEs and the relational context of a person in the text to be important discriminating features in order to distinguish different people sharing a name.
Software testing by active learning for commercial games
Authors: Gang Xiao, Finnegan Southey, Robert C. Holte, Dana Wilkinson
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

As software systems have become larger, exhaustive testing has become increasingly onerous. This has rendered statistical software testing and machine learning techniques increasingly attractive. Drawing from both of these, we present an active learning framework for blackbox software testing. The active learning approach samples input/output pairs from a blackbox and learns a model of the system's behaviour. This model is then used to select new inputs for sampling. This framework has been developed in the context of commercial video games, complex virtual worlds with high-dimensional state spaces, too large for exhaustive testing. Beyond its correctness, developers need to evaluate the gameplay of a game, properties such as difficulty. We use the learned model not only to guide sampling but also to summarize the game's behaviour for the developer to evaluate. We present results from our semi-automated gameplay analysis by machine learning (SAGA-ML) tool applied to Electronics Arts' FIFA Soccer game.