ppxscal/embedding_network huggingface dataset:
Research on the Diagnosis of Insulator Operating State Based on Improved ANFIS Networks
Authors: Zipeng Zhang, Shuqing Wang, Liqin Xue, Xiaohui Yuan
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

Power transmission line insulator is an important part for power system security. Because insulator has complex operating environment and its infection factors interact on each other, the diagnosis of insulator running state is very difficult. It is needed to use some useful information to conclude insulator operating state. ANFIS networks have strong knowledge expressing, fuzzy reasoning and learning ability, which is used to diagnose insulator operating state in this paper. In order to improve the knowledge gain ability for ANFIS, two ways both neural networks learning and GAs optimizing are combined together to train optimized reasoning parameters in reasoning rules training. The new improved quick GA is designed to train parameters based on the character of inference system. Experiment results show that the designed ANFIS network has strong reasoning and learning ability, which can diagnose insulator operating state unfailingly. These techniques used in this paper are quite effective in expert diagnosis system.
A SVM-Based Ensemble Approach to Multi-Document Summarization
Authors: Yllias Chali, Sadid A. Hasan, Shafiq R. Joty
Venue: Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence (2009)

In this paper, we present a Support Vector Machine (SVM) based ensemble approach to combat the extractive multi-document summarization problem. Although SVM can have a good generalization ability, it may experience a performance degradation through wrong classifications. We use a committee of several SVMs, i.e. Cross-Validation Committees (CVC), to form an ensemble of classifiers where the strategy is to improve the performance by correcting errors of one classifier using the accurate output of others. The practicality and effectiveness of this technique is demonstrated using the experimental results.
How the Web Is Changing the Way We Trust
Authors: Dario Taraborelli
Venue: Proceeding of the 2008 conference on Current Issues in Computing and Philosophy (2008)

Several studies have addressed the issue of what makes information on the World Wide Web credible. Understanding how we select reliable sources of information and how we estimate their credibility has been drawing an increasing interest in the literature on the Web. In this paper I argue that the study of information search behavior can provide social and cognitive scientists with an extraordinary insight into the processes mediating knowledge acquisition by epistemic deference. I review some of the major methodological proposals to study how users judge the reliability of a source of information on the World Wide Web and I propose an alternative framework inspired by the idea that--as cognitively evolved organisms--we adopt strategies that are as effortless as possible. I argue in particular that Web users engaging in information search are likely to develop simple heuristics to select in a cognitively efficient way trustworthy sources of information and I discuss the consequences of this hypothesis and related research directions.
Modeling human sentence processing data with a statistical parts-of-speech tagger
Authors: Jihyun Park
Venue: Proceedings of the 21st International Conference on computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics: Student Research Workshop (2006)

It has previously been assumed in the psycholinguistic literature that finite-state models of language are crucially limited in their explanatory power by the locality of the probability distribution and the narrow scope of information used by the model. We show that a simple computational model (a bigram part-of-speech tagger based on the design used by Corley and Crocker (2000)) makes correct predictions on processing difficulty observed in a wide range of empirical sentence processing data. We use two modes of evaluation: one that relies on comparison with a control sentence, paralleling practice in human studies; another that measures probability drop in the disambiguating region of the sentence. Both are surprisingly good indicators of the processing difficulty of garden-path sentences. The sentences tested are drawn from published sources and systematically explore five different types of ambiguity: previous studies have been narrower in scope and smaller in scale. We do not deny the limitations of finite-state models, but argue that our results show that their usefulness has been underestimated.
A problem driven approach to interface manufacturing strategy analysis and manufacturing system design
Authors: Francois Geiskopf, Virginie Goepp, François Kiefer, Emmanuel Caillaud
Venue: Computers and Industrial Engineering (2009)

This paper introduces an interface between manufacturing strategy analysis (MSA) and manufacturing system design (MSD). MSA methods are not accurate enough to assess the manufacturing design choices. MSD requires functional-oriented scopes, and not only strategic initiatives resulting from MSA. That is why MSA and MSD must be interfaced. The proposed interface consists in the Model of Operational Manufacturing System, the evolution class framework, the model of problem and the problem handling procedure using these models. They point out the proposed detailed evolution classes (domains which have to be improved) adapted to a specific manufacturing system. Finally, the proposal is illustrated within an industrial case study, which underlines its efficiency.
Optimal Preventive Maintenance Inspection Period on Reliability Improvement with Bayesian Network and Hazard Function in Gantry Crane
Authors: Gyeondong Baek, Kangkil Kim, Sungshin Kim
Venue: Proceedings of the 6th International Symposium on Neural Networks: Advances in Neural Networks - Part III (2009)

In this study, using Bayesian network about degradation model applied practically in gantry crane, the optimal preventive maintenance inspection period is suggested to improve the reliability of the parts. Central to this paper are two ideas. Bayesian network serves to indicate causal relation of the degradation units, and degradation of each unit is defined hazard function. Experimental results are presented to prove that the increase in degradation rate is due to the relation of parts. Proposed analysis method provides a stepping stone for developing basic technique for designing scheduled maintenance under uncertainly failure information.
A study of storage assignment problem for an order picking line in a pick-and-pass warehousing system
Authors: Jason Chao-Hsien Pan, Ming-Hung Wu
Venue: Computers and Industrial Engineering (2009)

Order picking is one of the most crucial factors for efficient warehouse management. Most of previous research in order picking in a warehouse considered only the picker-to-part or part-to-picker system; however, the pick-and-pass system plays an increasingly important role because of the growth of e-commerce and time-based competition. This paper develops an analytical model for the pick-and-pass system by describing the operation of a picker as a Markov Chain for the estimation of the expected distance traveled of the picker in a picking line. Based on the proposed analytical model, this study derives properties of storage assignment and proposes three algorithms that optimally allocate items to storages for the cases of a single picking zone, a picking line with unequal-sized zones, and a picking line with equal-sized zones in a pick-and-pass system.
Web-based tool for environmental risk assessment and management
Authors: Dejan Paunovic, Mladen Stanojevic
Venue: Proceedings of the 10th WSEAS international conference on Automation & information (2009)

Although the international and EU legislation and guidance on risk assessment and management is well defined, a commonly agreed framework and procedures are still lacking. An attempt in this direction has been made within the STRiM project and the Web-based tool for Environmental Risk Assessment and Management has been developed to support the application of the proposed STRiM framework in the specific environmental case studies. This tool is used to describe the environmental case studies, perform qualitative risk assessment and risk management options appraisal, and provide automatically generated reports. It integrates a map server to handle GIS maps, Risk Assessment indicator database and document database. In this paper the emphasize is on the applied 3-tier architecture and the application of AJAX, Java Server Faces and Enterprise JavaBeans technologies in the implementation of the Web-based tool for Environmental Risk Assessment and Management. The tool has been successfully applied in four case studies covering different types of environmental risks (damage from flooding, forest damage from storms, water pollution and wetland loss from water abstraction).
Murshid: a mobile tourist companion
Authors: Ahmed Echtibi, Mohamed Jamal Zemerly, Jawad Berri
Venue: Proceedings of the 1st International Workshop on Context-Aware Middleware and Services: affiliated with the 4th International Conference on Communication System Software and Middleware (COMSWARE 2009) (2009)

This paper describes Murshid, a context aware mobile application that provides guidance to tourists traveling to a country. The user context is a key element of our application as guidance to the tourist is provided after sensing the context and a fine analysis of its ingredients. Our focus in this research was to establish a tourist model and to instantiate it with a specific tourist for the United Arab Emirates (UAE) which is becoming one of the ideal tourist destinations nowadays. Murshid is designed as client-server architecture and it uses GPS based location to provide a visual aid using UAE map. Murshid is flexible, user-friendly, portable, and support dynamic information. The application provides a set of services to tourists through their mobile handsets, namely: special event notification, weather forecasting, currency exchange, language translation, and location bookmarking and sharing. Each of the services provides tourism guidance according to the user's context that is dynamic by nature since we are dealing with nomadic users. The application utilizes different context information to adapt its functionality according to the surrounding environment. This information can be spatial, temporal, or related to the environment. The context model includes the user location, the user profile, the current date, events related information, and user interaction. The paper presents the context model, the architecture of the system and the services implemented. It describes also how the context is managed in order to adapt the system functionality to the changes that may occur in order to react accordingly at the right time, at the right place and for the right person.
Application of Information Theory to the Quantification of Concurrent Engineering Processes
Authors: George Chryssolouris, Eleni Vassiliou, Dimitris Mavrikios
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

The paper explores the use of Information Theory for modelling the information exchange and flow in the product development process. The models developed are implemented in serial, as well as in concurrent product development. They provide a qualitative analysis of the messages exchanged through the communication channels and they lead to a comparison of the effectiveness of concurrent engineering to that of sequential. The case study is the pilot implementation of the model, based on information theory, in a bicycle manufacturing company. The results have shown that in the concurrent approach, the total development and detection times of the potential errors are reduced compared with those in the serial approach.
Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism
Authors: Călin Anton, Lane Olson
Venue: Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence (2009)

We report preliminary empirical results on Generating Satisfiable SAT instances using a variation of the Random Subgraph Isomorphism model. The experiments show that the model exhibits an easy-hard-easy pattern of empirical hardness. For both complete and incomplete solvers the hardness of the instances at the peak seems to increase exponentially with the instance size. The hardness of the instances generated by the model appears to be comparable with that of Quasigroup with Holes instances, known to be hard for Satisfiability solvers. A handful of state of the art SAT solvers we tested have different performances with respect to each other, when applied to these instances.
A scalable publish/subscribe system for large mobile ad hoc networks
Authors: Sanghyun Yoo, Jin Hyun Son, Myoung Ho Kim
Venue: Journal of Systems and Software (2009)

Since nodes that compose mobile ad hoc networks (MANETs) does not have any prior knowledge about other nodes in many cases, the publish/subscribe communication paradigm that has the decoupling and asynchrony properties can be useful to share information between nodes. Existing publish/subscribe services for MANETs can be categorized into document flooding (DF), destination-based routing (DBR), and content-based routing (CBR). Although those approaches may work well when the size of network is small, all of them suffer from the performance decline as the size of the network increases. In this paper, we compare those approaches, and then propose a scalable publish/subscribe communication scheme in large MANETs by combining DF and CBR hierarchically. Our approach is to cluster all nodes in networks and to exploit CBR and DF for the intra- and inter-cluster communication, respectively. By using this approach, we can effectively utilize benefits of both approaches. Then, we present performance evaluation results which validate our idea with respect to system performance and scalability.
Iterated local search for the team orienteering problem with time windows
Authors: Pieter Vansteenwegen, Wouter Souffriau, Greet Vanden Berghe, Dirk Van Oudheusden
Venue: Computers and Operations Research (2009)

A personalised electronic tourist guide assists tourists in planning and enjoying their trip. The planning problem that needs to be solved, in real-time, can be modelled as a team orienteering problem with time windows (TOPTW). In the TOPTW, a set of locations is given, each with a score, a service time and a time window. The goal is to maximise the sum of the collected scores by a fixed number of routes. The routes allow to visit locations at the right time and they are limited in length. The main contribution of this paper is a simple, fast and effective iterated local search meta-heuristic to solve the TOPTW. An insert step is combined with a shake step to escape from local optima. The specific shake step implementation and the fast evaluation of possible improvements, produces a heuristic that performs very well on a large and diverse set of instances. The average gap between the obtained results and the best-known solutions is only 1.8% and the average computation time is decreased with a factor of several hundreds. For 31 instances, new best solutions are computed.
Simulating Particulate Organic Advection along Bottom Slopes to Improve Simulation of Estuarine Hypoxia and Anoxia
Authors: Ping Wang, Lewis C. Linker
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

In a coupled hydrodynamic and water quality model, the hydrodynamic model provides forces for movement of simulated particles in the water quality model. A proper simulation of organic solid movement from shallow to deep waters is important to simulate summer hypoxia in the deepwater. It is necessary to have a full blown particle transport model that focuses organic particulates' resuspension and transport. This paper presents an approach to move volatile solids from the shoals to the channel by simulating movement of particulate organics due to slopes based on an example in the Chesapeake Bay eutrophication model. Implementations for the simulation of this behavior in computer parallel processing are discussed.
Utilizing Semantics in the Production of iTV Shows
Authors: Georg Güntner, Dietmar Glachs, Rupert Westenthaler
Venue: Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications (2009)

This paper gives an overview of the semantic aspects of an advanced, semantics-based broadcasting production support system designed to enable the creation of interactive multi-channel television shows. The "Intelligent Media Framework" forms the middleware of this system and was developed in the context of the European integrated project LIVE. The envisaged "intelligence" is based on formal, machine understandable descriptions of the content and the events. We demonstrate the successful usage of the system by a broadcasting corporation in a field trial with several hundred end consumers, conducted during the Olympic Games in Beijing, August 2008.
Scalable skyline computation using object-based space partitioning
Authors: Shiming Zhang, Nikos Mamoulis, David W. Cheung
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in multi-objective analysis of large datasets. Although a large number of skyline methods have been proposed, the majority of them focuses on minimizing the I/O cost. However, in high dimensional spaces, the problem can easily become CPU-bound due to the large number of computations required for comparing objects with current skyline points while scanning the database. Based on this observation, we propose a dynamic indexing technique for skyline points that can be integrated into state-of-the-art sort-based skyline algorithms to boost their computational performance. The new indexing and dominance checking approach is supported by a theoretical analysis, while our experiments show that it scales well with the input size and dimensionality not only because unnecessary dominance checks are avoided but also because it allows efficient dominance checking with the help of bitwise operations.
A survey of land mine detection technology
Authors: L. Robledo, M. Carrasco, D. Mery
Venue: International Journal of Remote Sensing (2009)

This paper describes the state of the art in land mine detection technology and algorithms. Landmine detection is a growing concern due to the danger of buried landmines to people's lives, economic growth and development. Most of the injured people have no connection with the reason why the mines were placed. There are 50-100 million landmines in more than 80 countries around the world. Deactivation is estimated at 100 000 mines per year, against the nearly 2 million mines laid annually. In this paper we describe and analyse sensor technology available including state-of-the-art technology such as ground penetrating radar (GPR), electromagnetic induction (EMI) and nuclear quadrupole resonance (NQR) among others. Robotics, data processing and algorithms are mentioned, considering support vectors, sensor fusion, neural networks, etc. Finally, we establish conclusions highlighting the need to improve not only the way images are acquired, but the way this information is processed and compared.
Uniformly convergent second-order numerical method for singularly perturbed delay differential equations
Authors: Jugal Mohapatra, Srinivasan Natesan
Venue: Neural, Parallel Scientific Computations (2008)

In this work, we propose a uniformly-convergent second order Richardson extrapolation technique for solving singularly perturbed delay differential equation. First, we solve the equation using the upwind finite difference scheme on piecewise-uniform Shishkin mesh, then apply the Richardson extrapolation technique on the computed solution fixing the transition parameter. Error estimates are obtained. Numerical example permits us to confirm in practise the theoretical result.
Curing recursion aversion
Authors: Katherine Gunion, Todd Milford, Ulrike Stege
Venue: Proceedings of the 14th annual ACM SIGCSE conference on Innovation and technology in computer science education (2009)

This paper outlines a pilot study which expands the age range of students exposed to computer science through interesting and engaging activities. Through this engagement, the number of students who understood and recognized the concepts covered increased. We hypothesize that these activities can increase the number of students who pursue post-secondary computer science. We present a unique recursion curriculum that exposes nine students aged 11-14 through hands-on experience over a 7 week period at the University of Victoria, Canada. The curriculum was comprised of progressively challenging "unplugged" activities and included programming applications with the Logo based programming language MicroWorlds EX. Curriculum, classroom experience, preliminary results and next steps are discussed.
Role of spike-frequency adaptation in shaping neuronal response to dynamic stimuli
Authors: Simon Peter Peron, Fabrizio Gabbiani
Venue: Biological Cybernetics (2009)

Spike-frequency adaptation is the reduction of a neuron&#x2019;s firing rate to a stimulus of constant intensity. In the locust, the Lobula Giant Movement Detector (LGMD) is a visual interneuron that exhibits rapid adaptation to both current injection and visual stimuli. Here, a reduced compartmental model of the LGMD is employed to explore adaptation&#x2019;s role in selectivity for stimuli whose intensity changes with time. We show that supralinearly increasing current injection stimuli are best at driving a high spike count in the response, while linearly increasing current injection stimuli (i.e., ramps) are best at attaining large firing rate changes in an adapting neuron. This result is extended with in vivo experiments showing that the LGMD&#x2019;s response to translating stimuli having a supralinear velocity profile is larger than the response to constant or linearly increasing velocity translation. Furthermore, we show that the LGMD&#x2019;s preference for approaching versus receding stimuli can partly be accounted for by adaptation. Finally, we show that the LGMD&#x2019;s adaptation mechanism appears well tuned to minimize sensitivity for the level of basal input.
A mixed multi-unit combinatorial auctions test suite
Authors: Andrea Giovannucci, Jesus Cerquides, Ulle Endriss, Meritxell Vinyals, Juan A. Rodriguez, Bruno Rosell
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Supply Chain Formation (SCF) is the process of determining the participants in a supply chain, who will exchange what with whom, and the terms of the exchanges. Mixed multi-unit combinatorial auctions (MMUCAs) offer a high potential to solve SCF problems, and thus be employed for the automated assembly of supply chains of agents. In this paper we present MMUCATS, a test suite for MMUCAs that allows researchers to test, compare, and improve their winner determination algorithms for MMUCAs.
Answering Definition Question: Ranking for Top-k
Authors: Chao Shen, Xipeng Qiu, Xuanjing Huang, Lide Wu
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

As an important form of complex questions, definition question attracts much attention from QA researchers. For many of the definition question answering systems, it is a core step to rank the candidate answer sentences, so that the top-k in the ranked list can be extracted. We integrate these evidences as features into a whole framework, and propose a novel method to learning weights of these features to rank the candidate answer sentences.