ppxscal/embedding_network huggingface dataset:
Genetic Algorithm for Hybrid Flow-Shop Scheduling with Parrel Batch Processors
Authors: Haodi Feng, Shenpeng Lu, Xiuqian Li
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

In classical flow-shop scheduling problem, eachprocessor can process one job at a time. However, in practice, there may be many processors that can process jobs batch by batch. We call these processors batch processors. If the processing time of a batchis equal to the largest processing time among its members, we call such a batch processor parallel batch processor. In this paper, we study the hybrid flow-shop problem in which the processors are parrel batch processors. This problem is obviously NP-hard. Therefore, we propose a genetic algorithm in this work.
Key Changes of Design on Financial Shared Service: Lessons of Chinese Group Companies
Authors: Ruijun Zhang, Yongji Zhang, Yujia Huang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

This paper arises out of Renmin University’s ongoing research after current developments in the finance function enabled by information and communication technology of China. It sets out to summarize from Chinese group companies’ examples of the current state of the Shared Services Concept as applied to the finance activities. Few companies have fully tapped the potential of financial shared operations. We have generalized some key design changes which are critical for financial shared service under the transformation of the finance function in Chinese firms.
A General Interindustry Relatedness Index
Authors: David J. Bryce, Sidney G. Winter
Venue: Management Science (2009)

For empirical work in the resource-based view of the firm, characterizing the resources that are responsible for firm growth is difficult because valuable resources are often tacit, ambiguous, or difficult to identify. This is a particular problem for empirical assessments that rely upon the concept of relatedness between resources to characterize the direction of growth of the firm. We tackle the problem for the general case by developing a general interindustry relatedness index. The index harnesses the relatedness information embedded in the multiproduct organization decisions of every diversified firm in the U.S. manufacturing economy. The index is general in that it can be used across industry contexts without requiring explicit identification of resources and it provides a percentile relatedness rank for every possible pair of four-digit Standard Industrial Classification manufacturing industries. The general index is tested for predictive validity and found to perform as expected. Applications of the index in strategy research are suggested.
SemEval-2007 task 10: English lexical substitution task
Authors: Diana McCarthy, Roberto Navigli
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

In this paper we describe the English Lexical Substitution task for SemEval. In the task, annotators and systems find an alternative substitute word or phrase for a target word in context. The task involves both finding the synonyms and disambiguating the context. Participating systems are free to use any lexical resource. There is a subtask which requires identifying cases where the word is functioning as part of a multiword in the sentence and detecting what that multiword is.
Structural Active Control Based on the Concept of Equivalent-Input-Disturbance Considering Actuator Saturation
Authors: Ming-Xing Fang, Min Wu, Jin-Hua She
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Efficient design techniques are presented for improving the response of seismic-excited buildings under actuators with limited capacity. The controller, which is based on the concept of equivalent input disturbance, suppresses earthquake-induced vibrations. The controller produces an estimate of the equivalent vibration on the control input channel, which can be used to directly suppress seismic shocks. The configuration of the control system guarantees effective shock suppression. Information about the actuator saturation is taken into consideration. A three-story building structure under seismic loads is used to validate the effectiveness of the proposed method in reducing the structural vibration. Simulation results show that larger actuators result in better performance guarantees.
Mining web query hierarchies from clickthrough data
Authors: Dou Shen, Min Qin, Weizhu Chen, Qiang Yang, Zheng Chen
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

In this paper, we propose to mine query hierarchies from clickthrough data, which is within the larger area of automatic acquisition of knowledge from the Web. When a user submits a query to a search engine and clicks on the returned Web pages, the user's understanding of the query as well as its relation to the Web pages is encoded in the clickthrough data. With millions of queries being submitted to search engines every day, it is both important and beneficial to mine the knowledge hidden in the queries and their intended Web pages. We can use this information in various ways, such as providing query suggestions and organizing the queries. In this paper, we plan to exploit the knowledge hidden in clickthrough logs by constructing query hierarchies, which can reflect the relationship among queries. Our proposed method consists of two stages: generating candidate queries and determining "generalization/specialization" relatinns between these queries in a hierarchy. We test our method on some labeled data sets and illustrate the effectiveness of our proposed solution empirically.
Inductive Level Measurement Sensor with Magnetic Fluid
Authors: Hairong Cui, Decai Li, Mingli Sun
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Magnetic fluid is usually used as a variably inductive core in inclination measurement sensor because it is provided with both liquidity and magnetism. This paper presents an inductive sensor based on magnetic fluid, detecting level and small inclination angles against horizontal plane. The working principle is introduced firstly, and then the theoretical analysis for principle of detection is deduced. Furthermore, the influencing factors are extracted from the principle function and are testified by experiment results. Finally, one kind of structures is designed to set up experiment. The experimental results showed that the sensor provides a signal proportionally with the inclination angle, which fit well with theoretical conclusion. The sensor sensitivity is proportional with magnetic susceptibility, with pumping frequency, and with the peak value of driving current.
Robust multigrid method for the planar linear elasticity problems
Authors: Young-Ju Lee, Jinbiao Wu, Jinru Chen
Venue: Numerische Mathematik (2009)

We consider the solution of the system of equations that arise from the higher order conforming finite element (Scott&#x2013;Vogelius element) discretizations of the boundary value problems associated with the differential operator &#x2212;&#x03c1; 2 &#x0394; &#x2212; &#x03ba; 2&#x2207;div, where &#x03c1; and &#x03ba; are nonzero parameters. Robust multigrid method is constructed, i.e., the convergence rate of multigrid method is optimal with respect to the mesh size, the number of levels, and weights on the two terms in the aforementioned differential operator.
Data Streams Join Aggregate Algorithms Based on Compound Sliding Window
Authors: Yingli Zhong, Weiping Wang, Longjiang Guo
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

In many applications of data stream, join aggregate queries based on sliding window are a sort of queries that are widely used. All the join aggregate query algorithms in existing research works are designed for immediate continuous queries. In this paper, a join aggregate query method based on compound sliding window for periodically executed continuous queries is presented. This method organizes the basic windows in a compound sliding window into hash tables, according to their join properties, the aggregate values are computed while the join processing, the join results of compound sliding window are not saved, so the memory used by query processing is greatly reduced. An algorithm that computes the N+1th join aggregate value increment by using the Nth one is presented. Theoretical analysis and experiment result both show good time and space complexity of this incremental algorithm.
Instance Selection by Border Sampling in Multi-class Domains
Authors: Guichong Li, Nathalie Japkowicz, Trevor J. Stocki, R. Kurt Ungar
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Instance selection is a pre-processing technique for machine learning and data mining. The main problem is that previous approaches still suffer from the difficulty to produce effective samples for training classifiers. In recent research, a new sampling technique, called Progressive Border Sampling (PBS), has been proposed to produce a small sample from the original labelled training set by identifying and augmenting border points. However, border sampling on multi-class domains is not a trivial issue. Training sets contain much redundancy and noise in practical applications. In this work, we discuss several issues related to PBS and show that PBS can be used to produce effective samples by removing redundancies and noise from training sets for training classifiers. We compare this new technique with previous instance selection techniques for learning classifiers, especially, for learning Naïve Bayes-like classifiers, on multi-class domains except for one binary case which was for a practical application.
Research on Performance Analysis and Comprehensive Evaluation Model of MES for Machining Workshop
Authors: Yongdi Zhang, Yanfang Yue, Guang Yang, Dongcai Li
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

In order to improve the total performance of manufacturing execution system, according to the main characteristics of machining workshop for multi-variety and small batch production, the performance analysis function of manufacturing execution system (MES) is studied, the five principles of constructing index system of performance analysis are put forward, a three-layer treelike index system model of performance analysis is constructed and a comprehensive evaluation model is given.
All-Round Emergency Management of Public Incidents
Authors: Qing Yang, Zhan Wang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

In recent years, emergency management of public incidents has become a new subject, to which the governments all over the world and the international society as a whole have paid much attention. Also it is being placed more importance in the field of public management than ever before. Even so, what the relevant researches have achieved is quite poor. There exists no such perfect framework for theoretic analysis. And on the other hand, a good interaction between the government agencies and research institutes has not been formed. Therefore, it is essential and also urgent to seek an adaptable emergency management system both in theories and in practices. Moreover, SARS and the significant public incidents having occurred in China this year have posed new requirements on emergency management system. This paper, on the basis of summarizing the current research results concerning emergency management, suggests an all-round management system which covers such concepts as whole-process management, multi-system management, all-round emergency response, multi-means management and all-social-staff management of public incidents. This paper also argues that it is essential to form a dynamic assessment and improvement mechanism for emergency management, based on which a breakthrough is expected to be achieved. A special monitoring agency should be established to conduct a periodic assessment on the integrated capability of all-round emergency management, so that the problems and weaknesses can be recognized in time and the emergency management system be perfected continuously.
The Application of Difference Algorithm to PPW Interference Cancellation in Heart Rate Detection
Authors: Xiaodong Liu, Yarong Li, Baoqing Yang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A novel Interference Cancellation algorithm based on pressure pulse width (PPW) signal is presented, in order to ensure the high reliability of measurement results in pulse detection system with capacitive sensors. There is an output function of pulse width as the system analysis model, which has the corresponding relationship with pulse pressure. The analysis is conducted by using first order difference algorithm of discrete sequence, which can reveal the change rate of pulse signals. And the bubbling up sorting method is used for acquiring the pulse cycle automatically. The experimental comparison and analyses indicate that the sensor with this algorithm maintains a more effective way on filtering unorderly signal, especially enhancing the reliability of dynamic pulse detection.
M-Commerce Development and Challenges Facing
Authors: Chen Xin
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

With the advancement in mobile technology, many business activities can be conducted through wireless networks. M-commerce is experiencing rapid growth in terms of capabilities of mobile devices, services, applications, standards and network implementation. However, we are still facing some important factors that influence m-commerce adoption and development. The implications of these factors are discussed in the paper.
Story tracking: linking similar news over time and across languages
Authors: Bruno Pouliquen, Ralf Steinberger, Olivier Deguernel
Venue: Proceedings of the Workshop on Multi-source Multilingual Information Extraction and Summarization (2008)

The Europe Media Monitor system (EMM) gathers and aggregates an average of 50,000 newspaper articles per day in over 40 languages. To manage the information overflow, it was decided to group similar articles per day and per language into clusters and to link daily clusters over time into stories. A story automatically comes into existence when related groups of articles occur within a 7-day window. While cross-lingual links across 19 languages for individual news clusters have been displayed since 2004 as part of a freely accessible online application (http://press.jrc.it/NewsExplorer), the newest development is work on linking entire stories across languages. The evaluation of the monolingual aggregation of historical clusters into stories and of the linking of stories across languages yielded mostly satisfying results.
Service characteristics for service selection
Authors: Arto Hämäläinen, Pekka Jäppinen, Jari Porras
Venue: Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE (2009)

In this paper, we discuss service classification characteristics, usable in service selection in ad hoc environment. We present several characteristics that we have identified to be useful when selecting the most suitable services or performing handovers between different service providers. The objective of this study is to provide information for automatic service filtering and selection process. We have identified characteristics that are specific to services, users, devices and network technologies. Service selection process in a general form is described.
Constructing a Churned Peer-to-Peer Network for Efficient Search
Authors: Fuhong Lin, Changjia Chen, Hengkui Wu, Hongke Zhang, Lili Kou
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

AS churn is an inherent character of a network. Researchers find it could bring down the performance of networks. We investigate this in another point of view, and find that searching one resource repeatedly can bring up search efficiency, though churn does bring down the performance for one time search. In this paper, we build a churned peer to peer network in which the connections are re-connected actively. The good aspect of churn is illustrated by using this churned network we construct. And then we make a mathematical analysis to model these network parameters and simulate to verify what we find.
System f2lp --- Computing Answer Sets of First-Order Formulas
Authors: Joohyung Lee, Ravi Palla
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

We present an implementation of the general language of stable models proposed by Ferraris, Lee and Lifschitz. Under certain conditions, system f2lp turns a first-order theory under the stable model semantics into an answer set program, so that existing answer set solvers can be used for computing the general language. Quantifiers are first eliminated and then the resulting quantifier-free formulas are turned into rules. Based on the relationship between stable models and circumscription, f2lp can also serve as a reasoning engine for general circumscriptive theories. We illustrate how to use f2lp to compute the circumscriptive event calculus.
Reading Watermarks from Printed Binary Images with a Camera Phone
Authors: Anu Pramila, Anja Keskinarkaus, Tapio Seppänen
Venue: Proceedings of the 8th International Workshop on Digital Watermarking (2009)

In this paper, we propose a method for reading a watermark from a printed binary image with a camera phone. The watermark is a small binary image which is protected with (15, 11) Hamming error coding and embedded in the binary image by utilizing flippability scores of the pixels and block based relationships. The binary image is divided into blocks and fixed number of bits is embedded in each block. A frame is added around the image in order to overcome 3D distortions and lens distortions are corrected by calibrating the camera. The results obtained are encouraging and when the images were captured freehandedly by rotating the camera approximately -2 - 2 degrees, the amount of fully recovered watermarks was 96.3%.
A Hoare Logic for the State Monad
Authors: Wouter Swierstra
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

This pearl examines how to verify functional programs written using the state monad. It uses Coq's Program framework to provide strong specifications for the standard operations that the state monad supports, such as return and bind. By exploiting the monadic structure of such programs during the verification process, it becomes easier to prove that they satisfy their specification. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Asimovian adaptive agents
Authors: Diana F. Gordon
Venue: Journal of Artificial Intelligence Research (2000)

The goal of this research is to develop agents that are adaptive and predictable and timely. At first blush, these three requirements seem contradictory. For example, adaptation risks introducing undesirable side effects, thereby making agents' behavior less predictable. Furthermore, although formal verification can assist in ensuring behavioral predictability, it is known to be time-consuming. Our solution to the challenge of satisfying all three requirements is the following. Agents have finite-state automaton plans, which are adapted online via evolutionary learning (perturbation) operators. To ensure that critical behavioral constraints are always satisfied, agents' plans are first formally verified. They are then reverified after every adaptation. If reverification concludes that constraints are violated, the plans are repaired. The main objective of this paper is to improve the efficiency of reverification after learning, so that agents have a sufficiently rapid response time. We present two solutions: positive results that certain learning operators are a priori guaranteed to preserve useful classes of behavioral assurance constraints (which implies that no reverification is needed for these operators), and efficient incremental reverification algorithms for those learning operators that have negative a priori results.
Seed and Grow: augmenting statistically generated summary sentences using schematic word patterns
Authors: Stephen Wan, Robert Dale, Mark Dras, Cécile Paris
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

We examine the problem of content selection in statistical novel sentence generation. Our approach models the processes performed by professional editors when incorporating material from additional sentences to support some initially chosen key summary sentence, a process we refer to as Sentence Augmentation. We propose and evaluate a method called "Seed and Grow" for selecting such auxiliary information. Additionally, we argue that this can be performed using schemata, as represented by word-pair co-occurrences, and demonstrate its use in statistical summary sentence generation. Evaluation results are supportive, indicating that a schemata model significantly improves over the baseline.
Formal Model--Driven Design of Distributed Algorithms
Authors: Morten Kühnrich
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We examine the use of formal model-driven development for creation and improvement of distributed algorithms. We use the integrated modeling and verification tool UPPAAL as our supporting tool. Instead of the traditional design, code and test-cycles known from agile paradigms, we employ formal model, verification and correction-cycles. The success of this approach is demonstrated on a distributed agreement algorithm from 1996 by Chandra and Toueg. We improve the number of communication rounds needed in the best-case from n to 2 where n is the number of agents. We end the paper with a correctness argument for systems with n agents. Formal model-driven development thus seems to be a fruitful approach for development of distributed algorithms.
Bio-sensing for Emotional Characterization without Word Labels
Authors: Tessa Verhoef, Christine Lisetti, Armando Barreto, Francisco Ortega, Tijn Zant, Fokie Cnossen
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

In this article, we address some of the issues concerning emotion recognition from processing physiological signals captured by bio-sensors. We discuss some of our preliminary results, and propose future directions for emotion recognition based on our lessons learned.