ppxscal/embedding_network huggingface dataset:
A PTAS for Minimizing Total Completion Time of Batch Scheduling under Tree Precedence Constraints
Authors: Ma Ran, Han Xuefeng
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

We consider the bounded batch scheduling problem to minimize total completion time for jobs with release dates and identical processing time under tree precedence constraints. We give the first polynomial-time approximation scheme (PTAS) for the problem.
Learning by Design in a Digital World: Students' Attitudes towards a New Pedagogical Model for Online Academic Learning
Authors: Karen Precel, Yoram Eshet-Alkalai, Yael Alberton
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)

Despite the fact that the blended learning model is considered today the preferred model for online course design, there is still ambiguity regarding its implementation in educational systems and regarding the optimal proportions between online learning and F2F meetings in various learning scenarios. The present research examined students' perceptions of pedagogical and design issues of a fully-online course at the Open University of Israel, which offers a new model for blended online learning. Fifty-eight of the course's students completed a questionnaire regarding three major aspects of the course's design: (1) pedagogy, (2) textbook format (print vs. digital) and (3) usability issues in designing the course's learning environment. Results illustrate the importance of a particular in-advance pedagogical and visual design of online learning and the potential of the course's model in creating meaningful learning, which takes into account the state-of-the-art knowledge on the major pedagogical considerations in online learning.
Supply Chain Risk Management by Mining Business Dependencies
Authors: Lucian Hancu
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

Current Supply Chain Risk Management techniques rely on the integration of the Business Information Systems of the entities forming the Supply Chain. The method is well-suited for Small and Medium Entities, but large Entities are rather reticent in integrating Information Systems with the ones of SMEs. This article presents a risk-reduction mechanism based on mining Business Dependencies that were previously automatically discovered from the Web logs of our multi-server search application. The material gathered in the previous experiments (business dependencies inferred from Web usage logs and information on entities) serves as a support for building Virtualized Supply Chains. The generation of the Virtualized Supply Chains and the computation of the associated risks conduct to the derivation of a risk reduction technique, which can be later applied in the redesign of Supply Chains and replace suppliers having high risk measures with those exhibiting lower risk measures.
Radar-Infrared Sensor Track Correlation Algorithm Based on Fuzzy Numbers Similarity Degree
Authors: Huang Youpeng, Zhou Yongfeng, Zhang Haibo, Li Lin
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

In the distributed multi-sensor information fusion system composed of 2-D radar and infrared sensor, the problem of the track correlation is sophisticated because the types of the sensors are different and both of them don't possess the consistent measurement space, this paper presents a radar-infrared sensor track correlation algorithm based on fuzzy number similarity degree. In this algorithm, each track's bearing information is considered as a discrete function of time, after performed temporal and spatial alignment, synchronizing the asynchronous bearing information of the track come from each sensor to the same reference time scale on the samecoordinate system, the fuzzy number of each bearing information is calculated by using triangular membership function, the similarity degree between every two fuzzy numbers is calculated, then, the similarity degree's matrix of fuzzy number of bearing information is formed and the track correlation pairs are determined based on the similarity degree's matrix. The results of simulation experiment show that this algorithm can effectively accomplish radar and infrared sensor track correlation.
A Multidimensional Approach for the Evaluation of Mobile Application User Interfaces
Authors: José Eustáquio Rangel De Queiroz, Danilo Sousa Ferreira
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

This paper focuses on a hybrid approach for the evaluation of mobile application UI, based upon a set of well known techniques for usability evaluation. Two perspectives of the problem are focused: (i) the user's perspective, which is expressed by user's perception of the application; and (ii) the specialist's perspective, which is expressed by his/her considerations from the point of view of the user-application interaction, and from the point of view of the HCI community as well. Further comparisons between a lab and field evaluation approaches are given for a case study involving an Internet tablet. Conclusions are given concerning on how to apply the experience acquired by evaluating conventional UI in the mobile technology domain.
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
Authors: Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
Venue: Proceedings of the 16th International Symposium on Static Analysis (2009)

We combine LR(k)-parsing technology and data-flow analysis to analyze, in advance of execution, the documents generated dynamically by a program. Based on the document language's context-free reference grammar and the program's control structure, the analysis predicts how the documents will be generated and parses the predicted documents. Our strategy remembers context-free structure by computing abstract LR-parse stacks. The technique is implemented in Objective Caml and has statically validated a suite of PHP programs that dynamically generate HTML documents.
Disambiguating Tags in Blogs
Authors: Xiance Si, Maosong Sun
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

Blog users enjoy tagging for better document organization, while ambiguity in tags leads to inaccuracy in tag-based applications, such as retrieval, visualization or trend discovery. The dynamic nature of tag meanings makes current word sense disambiguation(WSD) methods not applicable. In this paper, we propose an unsupervised method for disambiguating tags in blogs. We first cluster the tags by their context words using Spectral Clustering. Then we compare a tag with these clusters to find the most suitable meaning. We use Normalized Google Distance to measure word similarity, which can be computed by querying search engines, thus reflects the up-to-date meaning of words. No human labeling efforts or dictionary needed in our method. Evaluation using crawled blog data showed a promising micro average precision of 0.842.
Low-power inter-core communication through cache partitioning in embedded multiprocessors
Authors: Chenjie Yu, Xiangrong Zhou, Peter Petrov
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

We present an application-driven customization methodology for energy-efficient inter-core communication in embedded multiprocessors. The methodology leverages configurable cache architectures and integrates software and hardware support to achieve energy-efficient data sharing between producer and consumer tasks. The technique is especially beneficial for data-streaming applications exploiting pipeline parallelism where computational phases are mapped to separate processor cores. The application-driven data cache partitioning achieves low-power and low-latency (no coherence misses) inter-core data sharing. The basic premise of the proposed technique is to separate through cache partitioning the private data from the several shared data buffers used by each producer/consumer task. Such partitioning will result in the following benefits: 1) Data cache accesses caused by the processor and the coherence mechanism will need to access only a cache partition instead of the entire cache structure, resulting in significant power reductions; 2) Interference (caused by both processor and coherence activities) across private data and the several shared data buffers is eliminated - this in turn enables the efficient implementation of application-driven remote cache updates at synchronization boundaries.
Framework for Personal TV
Authors: André Claro, Paulo Rogério Pereira, Luís Miguel Campos
Venue: Traffic Management and Traffic Engineering for the Future Internet: First Euro-NF Workshop, FITraMEn 2008, Porto, Portugal, December 11-12, Revised Selected Papers (2009)

This paper proposes a study of the IPTV world, focusing on network and system architectures, video codecs, network protocols, services and quality assurance. Based on this study, a new framework for Personal TV was developed. This new system is designed primarily to provide new personalized services to the user. In the architecture of this framework there are three main elements: Clients, Aggregators and Producers. The most important element is the aggregator that provides all video contents from the producers to its clients. The client has the possibility of creating his own channel that is sent to the network through its aggregator, of creating customized channels that can be viewed by other clients, among other features. The architecture designed and developed is based on new and studied concepts. It was tested to prove its viability, to assess its performance and to draw conclusions about its scalability, based on functional tests, compatibility tests and performance tests.
Using wiktionary for computing semantic relatedness
Authors: Torsten Zesch, Christof Müller, Iryna Gurevych
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

We introduce Wiktionary as an emerging lexical semantic resource that can be used as a substitute for expert-made resources in AI applications. We evaluate Wiktionary on the pervasive task of computing semantic relatedness for English and German by means of correlation with human rankings and solving word choice problems. For the first time, we apply a concept vector based measure to a set of different concept representations like Wiktionary pseudo glosses, the first paragraph of Wikipedia articles, English WordNet glosses, and GermaNet pseudo glosses. We show that: (i) Wiktionary is the best lexical semantic resource in the ranking task and performs comparably to other resources in the word choice task, and (ii) the concept vector based approach yields the best results on all datasets in both evaluations.
Perceptions on Interaction Design in Malaysia
Authors: Idyawati Hussein, Esmadi Abu Seman, Murni Mahmud
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

Even though researchers have introduced Human Computer Interaction (HCI) methodologies, since 1980's, Malaysia's user interface is still considered inadequate. Despite being aware of the importance of usable design, several non-technical issues have more significant influence towards poorly designed user interfaces in Malaysia. This paper reports the findings of a study of interaction design and/or any HCI methodologies in practice among Malaysian companies for software design and computer-related design development. The research involved senior Information Communication Technology (ICT) managers and focused on the application developers, whose job descriptions and responsibilities vary. The study used semi-structured interviews and a focus group study to uncover the current perceptions of people involved in ICT project development. The findings serve as a pointer to the Malaysian government and stakeholders towards the improvement of user interface design.
Sparse projections over graph
Authors: Deng Cai, Xiaofei He, Jiawei Han
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Recent study has shown that canonical algorithms such as Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) can be obtained from graph based dimensionality reduction framework. However, these algorithms yield projective maps which are linear combination of all the original features. The results are difficult to be interpreted psychologically and physiologically. This paper presents a novel technique for learning a sparse projection over graphs. The data in the reduced subspace is represented as a linear combination of a subset of the most relevant features. Comparing to PCA and LDA, the results obtained by sparse projection are often easier to be interpreted. Our algorithm is based on a graph embedding model, which encodes the discriminating and geometrical structure in terms of the data affinity. Once the embedding results are obtained, we then apply regularized regression for learning a set of sparse basis functions. Specifically, by using L1-norm regularizer (e.g. lasso), the sparse projections can be efficiently computed. Experimental results on two document databases demonstrate the effectiveness of our method.
Developing, simulating, and deploying peer-to-peer systems using the Kompics component model
Authors: Cosmin Arad, Jim Dowling, Seif Haridi
Venue: Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE (2009)

Currently, the development of overlay network systems typically produces two software artifacts: a simulator to model key protocols and a production system for a WAN environment. However, this methodology requires the maintenance of two implementations, as well as adding both development overhead and the potential for errors, through divergence in the different code bases. This paper describes how our message-passing component model, called Kompics, is used to build overlay network systems using a P2P component framework, where the same implementation can be simulated or deployed in a production environment. Kompics enables two different modes of simulation: deterministic simulation for reproducible debugging, and emulation mode for stress-testing systems. We used our P2P component framework to build and evaluate overlay systems, and we show how our model lowers the programming barrier for simulating and deploying overlay network systems.
Research on Fault Diagnosis of Turbine Based on Similarity Measures between Interval-Valued Intuitionistic Fuzzy Sets
Authors: Weibo Lee, HongWei Shen, Guoyun Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

This paper presents a novel fault diagnosis method of turbine based on interval-valued intuitionistic fussy sets (IVIFSs) theory. In this paper, the concept of IVIFS is introduced, and the distance between two IVIFSs is defined. Then, the similarity degree between the detecting sample and the knowledge of system fault is evaluated in the fault diagnosis of turbine vibration by means of the similarity measures among IVIFSs. The larger the value of similarity measure, the more the similarity between the detecting sample and a type of fault knowledge. The value of similarity measure is ranked and the most possible type of vibration fault is determined according to the similarity degree. The example of steam turbine generator set’s fault diagnosis demonstrates the validity and reasonability of the proposed method.
Knowledge Management in the Global Software Engineering Environment
Authors: Ita Richardson, Miriam O'Riordan, Valentine Casey, Bridget Meehan, Ivan Mistrik
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

In this paper we consider the importance of explicit knowledge management, taking into account the growth of global software engineering and the importance of corporate knowledge. We conclude by suggesting specific areas of research which should be considered important for the implementation of knowledge management within global software engineering environments
An improved energy landscape paving algorithm for the problem of packing circles into a larger containing circle
Authors: Jingfa Liu, Shengjun Xue, Zhaoxia Liu, Danhua Xu
Venue: Computers and Industrial Engineering (2009)

The problem of packing circles into a larger containing circle is a kind of NP-hard problem. It is of high theoretical and practical value. Lacking powerful optimization method is the key obstacle to solving this problem. The energy landscape paving (ELP) method is a class of heuristic global optimization algorithm and a generation of Monte Carlo method. By incorporating new configuration update mechanism into ELP method, an improved energy landscape paving (ELP+) algorithm is put forward. The computational results, on two sets of instances taken from the literature, show the effectiveness of the proposed algorithm.
A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
Authors: Oleg V. Kudinov, Victor L. Selivanov
Venue: Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice (2009)

We establish a Gandy theorem for a class of abstract structures and deduce some corollaries, in particular the maximal definability result for arithmetical structures in the class. We also show that the arithmetical structures under consideration are biinterpretable (without parameters) with the standard model of arithmetic. As an example we show that for any k ¿ 3 a predicate on the quotient structure of the h-quasiorder of finite k-labeled forests is definable iff it is arithmetical and invariant under automorphisms.
Study on the Influence of Trade Protective Measures on Chinese Electromechanical Products
Authors: Li-ping Wang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Since 1994, electromechanical products have been the most export products in China. With the sustainable and quick export growth of the electromechanical products, trade protective measures on electromechanical products in the international market are becoming more and more intensive. Based on the new situation, the paper used the cost-benefit method of economics to analyze the influence of trade protective measures on electromechanical products export. Firstly, the paper generalized the kinds of trade protective measures affecting Chinese electromechanical products export; secondly, analyzed the influence of trade protective measures on electromechanical products cost; finally, analyzed the benefit game between customers and electromechanical firms, which made us more clearly recognize the essence of trade protection and provided the helpful thoughts for the electromechanical firms successfully responding to trade frictions.
Core-Tag Clustering for Web 2.0 Based on Multi-similarity Measurements
Authors: Yexi Jiang, Changjie Tang, Kaikuo Xu, Lei Duan, Liang Tang, Jie Gong, Chuan Li
Venue: Advances in Web and Network Technologies, and Information Management: APWeb/WAIM 2009 International Workshops: WCMT 2009, RTBI 2009, DBIR-ENQOIR 2009, PAIS 2009, Suzhou, China, April 2-4, 2009, Revised Selected Papers (2009)

Along with the development of Web2.0, folksonomy has become a hot topic related to data mining, information retrieval and social network. The tag semantic is the key for deep understanding the correlation of objects in folksonomy. This paper proposes two methods to cluster tags for core-tag by fusing multi-similarity measurements. The contributions of this paper include: (1) Proposing the concept of core-tag and the model of core-tag clusters. (2) Designing a core-tag clustering algorithm CETClustering, based on clustering ensemble method. (3) Designing a second kind of core-tag clustering algorithm named SkyTagClustering, based on skyline operator. (4) Comparing the two algorithms with modified K-means. Experiments show that the two algorithms are better than modified K-means with 20-30% on efficiency and 20% higher scores on quality.
Liveness Reasoning with Isabelle/HOL
Authors: Jinshuang Wang, Huabing Yang, Xingyuan Zhang
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

This paper describes an extension of Paulson's inductive protocol verification approach for liveness reasoning. The extension requires no change of the system model underlying the original inductive approach. Therefore, all the advantages, which makes Paulson's approach successful for safety reasoning are kept, while liveness reasoning becomes possible. To simplify liveness reasoning, a new fairness notion, named Parametric Fairness is used instead of the standard ones. A probabilistic model is established to support this new fairness notion. Experiments with small examples as well as real world communication protocols confirm the practicality of the extension. All the work has been formalized with Isabelle/HOL using Isar.
Possibilistic causal networks for handling interventions: a new propagation algorithm
Authors: Salem Benferhat, Salma Smaoui
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

This paper contains two important contributions for the development of possibilistic causal networks. The first one concerns the representation of interventions in possibilistic networks. We provide the counterpart of the "DO" operator, recently introduced by Pearl, in possibility theory framework. We then show that interventions can equivalently be represented in different ways in possibilistic causal networks. The second main contribution is a new propagation algorithm for dealing with both observations and interventions. We show that our algorithm only needs a small extra cost for handling interventions and is more appropriate for handling sequences of observations and interventions.
Fast SCOP Classification of Structural Class and Fold Using Secondary Structure Mining in Distance Matrix
Authors: Jian-Yu Shi, Yan-Ning Zhang
Venue: Proceedings of the 4th IAPR International Conference on Pattern Recognition in Bioinformatics (2009)

It is an urgent need to understand the structure-function relationship in proteomic era. One of the important techniques to meet this demand is to analyze and represent the spatial structure of domain which is the functional unit of the whole protein, and perform fast domain classification. In this paper, we introduce a novel method of rapid domain classification. Instead of analyzing directly protein sequence or 3-D tertiary structure, the presented method maps firstly tertiary structure of protein domain into 2-D C¿-C¿ distance matrix. Then, two distance functions for alpha helix and beta strand are modeled by considering their geometrical properties respectively. After that, the distance functions are further applied to mine secondary structure elements in such distance matrix with the way similar to image processing. Furthermore, composition feature and arrangement feature of secondary structure elements are presented to characterize domain structure for classification of structural class and fold in Structural Classification of Proteins (SCOP) database. Finally, the results compared with other methods show that the presented method can perform effectively and efficiently automatic classification of domain with the benefit of low dimension and meaningful features, but also no need of complicated classifier system.