ppxscal/embedding_network huggingface dataset:
DUMS: A Dynamical Updatable Monitoring System for Desktop PCs Used for Distributed Computing
Authors: Jinwei Wang, Huazhi Sun, Jianping Fan
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

In this paper we present a novel monitoring methodology: DUMS, a dynamical updatable monitoring system for desktop PCs which will be used for distributed computing. In DUMS, monitoring items can be changed at any time without redeveloping the whole system. Basing on a large amount of samples collected by DUMS, we characterize the workloads of office computers.
Are Online Communities Good for the Civic Audit of Public Spaces, Services, and Officers?
Authors: Fiorella Cindio, Cristian Peraboni
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

While, the need of assessing public spaces, services and officers becomes, always more urgent and mandatory, a wide literature and extensive field experience show that internal audit by the public sector itself is not sufficient. There is the need to foster the civic accountability byintegrating an independent external evaluation in the audit process. The paper investigates the possibility that online communities provide a suitable framework for carrying on this external audit by supporting the so-called voice strategy in the contexts (such as the public sector) where the exit strategy does not hold. After envisaging the potential advantages coming from involving online communities of users in the assessment of a public space, service or officer, two early pilot experiments carried on to validate this assumption are presented and discussed. They are neither sufficient to validate the assumption nor sufficient to invalidate it, but provides hints helpful to pursue the investigation.
Mobile IPv6 Protocol Research and Development
Authors: Zhou Yi, Zheng Xuefeng, Jia Jia
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

The limitation of Mobile IPv4 can't satisfy with the people's increasing demands and Mobile IPv4 is difficult to use broadly. Mobile IPv6 resolved the problem of Mobile IPv4 and it became an important technique to realize personal communications. On the other hand, the larger carrying capacity and exchanging capability of MPLS give a chance to carry out Mobile IPv6. In the paper, first analyzed the principle of Mobile IPv6, and then worked out the executive plan of Mobile IPv6 on Linux. In the end point out the way to the combination of MPLS and Mobile IPv6.
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
Authors: Khalil Djelloul
Venue: Recent Advances in Constraints: 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers (2009)

Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling, resource allocation, computer graphics and bio-informatics. Recently, a new property called decomposability has been introduced and many first-order theories have been proved to be decomposable such as finite or infinite trees, rational and real numbers, linear dense order,...etc. A decision procedure in the form of five rewriting rules has also been developed. It decides if a first-order formula without free variables (proposition) is true or not in any decomposable theory. Unfortunately, this later needs to normalize the initial proposition before starting the solving process. This transformation generates many nested negations and quantifications which greatly slow down the performances of this decision procedure. We present in this paper an efficient decision procedure for functional decomposable theories, i.e. theories whose set of relation is reduced to { = , ¿ }. This new decision procedure does not need to normalize the formulas and transforms any first-order proposition with any logical symbols into a boolean combination of basic formulas which are either equivalent to true or to false. We show the efficiency of our algorithm (in time and space) and compare its performances with those of the classical decision procedure for decomposable theories. Our algorithm is able to solve first-order propositions involving many nested alternated quantifiers of the form $\exists\bar{x}\forall\bar{y}$ over different functional decomposable theories. 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
Correcting automatic translations through collaborations between MT and monolingual target-language users
Authors: Joshua S. Albrecht, Rebecca Hwa, G. Elisabeta Marai
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

Machine translation (MT) systems have improved significantly: however, their outputs often contain too many errors to communicate the intended meaning to their users. This paper describes a collaborative approach for mediating between an MT system and users who do not understand the source language and thus cannot easily detect translation mistakes on their own. Through a visualization of multiple linguistic resources, this approach enables the users to correct difficult translation errors and understand translated passages that were otherwise baffling.
Three dimensional structure of the closed conformation (active) of human merlin reveals masking of actin binding site in the FERM domain
Authors: Krishnankutty C. Sivakumar, Biju Thomas, Devarajan Karunagaran
Venue: International Journal of Bioinformatics Research and Applications (2009)

We modelled the structure of human merlin using the structure of moesin from Spodoptera frugiperda as the template. The present model suggests an interaction of its extreme C-terminal region with the subdomains B and C of FERM domain, masking the binding site of beta II spectrin. Modelling the complete structure of merlin revealed a novel central alpha helical domain with a helix-coil-helix. The actin binding site in the carboxy terminal is absent in merlin and in its closed conformation the indirect actin binding site in the FERM domain is also not available for the interaction of other proteins with it.
Mathematical domain reasoning tasks in natural language tutorial dialog on proofs
Authors: Christoph Benzmüller, Quoc Bao Vo
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

We study challenges that are imposed to mathematical domain reasoning in the context of natural language tutorial dialog on mathematical proofs. The focus is on proof step evaluation: (i) How can mathematical domain reasoning support the resolution of ambiguities and underspecified parts in proof steps uttered by a student? (ii) How can mathematical domain reasoning support the evaluation of a proof step with respect to the criteria soundness, granularity, and relevance?.
A Complete-Computerised Delphi Process with a Multi-Agent System
Authors: Iván García-Magariño, Jorge J. Gómez-Sanz, José R. Pérez-Agüera
Venue: Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers (2009)

Looking for alternative ways of coordinating agents, this paper explores the adaptation of the Delphi protocol to agent systems. The Delphi protocol can be applied when a community of experts is required to deliver a consensual answer. In these cases, consensus stands for reaching an agreement among the experts about what the answer should be. This consensus reaching problem has been already considered in the literature, though its automatisation remains as a challenge. Intuitively, the experts should dialogue, interchange ideas, and change their mind as the discussion progresses. This paper presents a computerisation of discussion among expert agents and shows how they can be drawn towards a conclusion discussion by means of the Delphi process. The proof of concept is made with a document relevance evaluation problem where a community of experts decide whether a document is relevant or not. In conclusion, this paper makes an important contribution to people using Delphi processes, because the presented system is the first complete- computerised Delphi process. With respect to multi-agent systems, it has the potential to solve coordination in an original way, different from everything that has been done before.
Estimating the Minimal Length of Tardos Code
Authors: Teddy Furon, Luis Pérez-Freire, Arnaud Guyader, Frédéric Cérou
Venue: Information Hiding: 11th International Workshop, IH 2009, Darmstadt, Germany, June 8-10, 2009, Revised Selected Papers (2009)

This paper estimates the minimal length of a binary probabilistic traitor tracing code. We consider the code construction proposed by G. Tardos in 2003, with the symmetric accusation function as improved by B. Skoric et al. The length estimation is based on two pillars. First, we consider the Worst Case Attack that a group of c colluders can lead. This attack minimizes the mutual information between the code sequence of a colluder and the pirated sequence. Second, an algorithm pertaining to the field of rare event analysis is presented in order to estimate the probabilities of error: the probability that an innocent user is framed, and the probabilities that all colluders are missed. Therefore, for a given collusion size, we are able to estimate the minimal length of the code satisfying some error probabilities constraints. This estimation is far lower than the known lower bounds.
Comprehensive Evaluation of the Urban Water Resources Carrying Capacity Based on Maximum Entropy Principle
Authors: Li Qinghang, Kuang Wei, Dong Zengchuan, Ding Shengxiang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Water is a sort natural resource that can’t be replaced. It is also one of the important supports for the sustainable development of society and economy. According to characteristics of urban water resources system, an optimal allocation modal of water resources is built considering coordinative development among multi-objective and regions such as the production, living and ecology. Taking gray theory as the basis, we apply maximum entropy principle to find the solution and contrast with gray clustering method. Consequently, this paper provides a basis for urban water resources carrying capacity assessment.
The Art of Concurrency: A Thread Monkey's Guide to Writing Parallel Applications
Authors: Clay Breshears
Venue:  (2009)

If you're looking to take full advantage of multi-core processors with concurrent programming, this practical book provides the knowledge and hands-on experience you need. The Art of Concurrency is one of the few resources to focus on implementing algorithms in the shared-memory model of multi-core processors, rather than just theoretical models or distributed-memory architectures. The book provides detailed explanations and usable samples to help you transform algorithms from serial to parallel code, along with advice and analysis for avoiding mistakes that programmers typically make when first attempting these computations. Written by an Intel engineer with over two decades of parallel and concurrent programming experience, this book will help you: Understand parallelism and concurrency Explore differences between programming for shared-memory and distributed-memory Learn guidelines for designing multithreaded applications, including testing and tuning Discover how to make best use of different threading libraries, including Windows threads, POSIX threads, OpenMP, and Intel Threading Building Blocks Explore how to implement concurrent algorithms that involve sorting, searching, graphs, and other practical computations The Art of Concurrency shows you how to keep algorithms scalable to take advantage of new processors with even more cores. For developing parallel code algorithms for concurrent programming, this book is a must.
An extended class of minimax generalized Bayes estimators of regression coefficients
Authors: Yuzo Maruyama, William E. Strawderman
Venue: Journal of Multivariate Analysis (2009)

We derive minimax generalized Bayes estimators of regression coefficients in the general linear model with spherically symmetric errors under invariant quadratic loss for the case of unknown scale. The class of estimators generalizes the class considered in Maruyama and Strawderman [Y. Maruyama, W.E. Strawderman, A new class of generalized Bayes minimax ridge regression estimators, Ann. Statist., 33 (2005) 1753-1770] to include non-monotone shrinkage functions.
Hands on music: physical approach to interaction with digital music
Authors: Janne Bergman, Jarmo Kauko, Jaakko Keränen
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Mobile users listen to large digital music libraries with thousands of songs. Browsing such libraries in mobile contexts is difficult due to constraints of the context and devices. We explore the usage of physical interaction with digital music to overcome these limitations. Our solution is to utilize the physical orientation of a mobile device as a tool for exploring music. We focus on allowing users to manage their music for easier mobile access. We present a novel bimanual interaction method for mapping items from a music library into different orientations of the mobile device. An experiment was conducted to test our prototype, focusing on efficiency and impact on users' ability to recall locations of items in the mapping. The interaction method was found to be significantly faster than using a touch screen without the mobile device. Subjectively users valued the bimanual method in ease of use, efficiency, and pleasantness.
Why Taking Medicine Is a Chore --- An Analysis of Routine and Contextual Factors in the Home
Authors: Wei Kiat Koh, Jamie Ng, Odelia Tan, Zelia Tay, Alvin Wong, Martin G. Helander
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Medication adherence is an important concern for many people. This is especially so in the older adults population where non-adherence can have serious consequences and may lead to higher healthcare cost. Non-adherence is a problem that afflicts the younger and older adults and there are many factors affecting one's medication adherence (Social/economic factors, provider-patient/health care system factors, condition-related factors, therapy-related factors, patient-related factors [1]). In this paper, we focus on patient-related factors and investigate how these factors (mainly routines in patients' daily life, their surrounding environment and their self-made systems) affect their medicine taking behaviour and their abilities to adhere to their treatment regimens. Results presented in this paper are gathered from in-depth interviews with patients during house visits and from observing how they go about handling their medication in their living space. This knowledge of how patients are currently coping with their medication will be useful for the design of an effective medication support system.
TESLA: a tool for annotating geospatial language corpora
Authors: Nate Blaylock, Bradley Swain, James Allen
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

In this paper, we present The gEoSpatial Language Annotator (TESLA)--a tool which supports human annotation of geospatial language corpora. TESLA interfaces with a GIS database for annotating grounded geospatial entities and uses Google Earth for visualization of both entity search results and evolving object and speaker position from GPS tracks. We also discuss a current annotation effort using TESLA to annotate location descriptions in a geospatial language corpus.
Multivariable stream data classification using motifs and their temporal relations
Authors: Sungbo Seo, Jaewoo Kang, Keun Ho Ryu
Venue: Information Sciences: an International Journal (2009)

Multivariable stream data is becoming increasingly common as diverse types of sensor devices and networks are deployed. Building accurate classification models for such data has attracted a lot of attention from the research community. Most of the previous works, however, relied on features extracted from individual streams, and did not take into account the dependency relations among the features within and across the streams. In this work, we propose new classification models that exploit temporal relations among features. We showed that consideration of such dependencies does significantly improve the classification accuracy. Another benefit of employing temporal relations is the improved interpretability of the resulting classification models, as the set of temporal relations can be easily translated to a rule using a sequence of inter-dependent events characterizing the class. We evaluated the proposed scheme using different classification models including the Naive Bayesian, TFIDF, and vector distance models. We showed that the proposed model can be a useful addition to the set of existing stream classification algorithms.
An Index of Vegetation Water Content Invasion by Landsat 5, in Semi-arid Area: The Tarim River Basin
Authors: Chang Cun, Chen Xi, Bao Anming, Ma Zhongguo, Wang Jinlin
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

Estimation of vegetation water content is central to the understanding of water cycle processes. The information of vegetation water content presents the healthy condition of the plant. Various methods were used to extract vegetation water content in semiarid area, however, Spectral indices were still widely used. In this paper, a global sensitivity analysis (GSA) using PROSPECT model was used to understand and quantify vegetation water content effects on the signal measured at leaf level. The NIR region was therefore required in combination with SWIR to retrieve equivalent water thickness (EWT). An index EWTsparsecanopy was created to provide an operational method for quantitatively retrieving vegetation water content at satellite scale in a rapid and reliable fashion for sparsely vegetated arid area based in tarim river basin. Compared with EWTcanopy,the former one had a better relationship to normalized difference infrared index(NDII), With the R2 =0.553. Finally, the regression equation(Y=0.05552 +0.53512*NDII) was used to estimate EWT sparsecanopy from the Landsat TM imagery.
Research on the Identification of Stator Resistance Based on the Theory of the Wavelet Fuzzy Neural Network
Authors: Shen Xianqing, Wang Chengyuan
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Based on temperature of stator winding and its rate of variety have characteristics of nonlinear and time frequency, which is hard to build precise mathematical model. A novel approach to identifying the induction motor stator resistance on line is presented. This method is based on the theory of the wavelet transform fuzzy neural network identification algorithm. Using the time frequency location characteristic and multi-scale ability of wavelet transform, and the recursive orthogonal least squares algorithm, this paper proposes the modified "Givens"rotations which avoids orthogonal decomposition of complex matrices. The result of simulation experimentshow that using this method can indicate the result ofstator resistance and its time frequency, and this effectively improve the low-speed performance of the direct torque control system.
Competitive acting: issues on action, interaction and acting in converged media
Authors: Thomas Schmieder, Robert J. Wierzbicki
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

One of the challenging problems of tomorrow's iTV is how to generate a digital drama that looks like a real movie but which emerges out of the interaction of many (thousands) users. The problem of actors' credibility has been widely discussed in the relevant literature, however only in the context of the traditional theatre play. This article describes some basic aspects of future acting in digital environments. It also introduces the concept of "competitive acting", a new paradigm for digital stage plays of the future combining drama with interaction-driven dialogue and action elements in converged media.
High-throughput Block Turbo Decoding: From Full-parallel Architecture to FPGA Prototyping
Authors: Camille Leroux, Christophe Jégo, Patrick Adde, Michel Jézéquel
Venue: Journal of Signal Processing Systems (2009)

Ultra high-speed block turbo decoder architectures meet the demand for even higher data rates and open up new opportunities for the next generations of communication systems such as fiber optic transmissions. This paper presents the implementation, onto an FPGA device of an ultra high throughput block turbo code decoder. An innovative architecture of a block turbo decoder which enables the memory blocks between all half-iterations to be removed is presented. A complexity analysis of the elementary decoder leads to a low complexity decoder architecture for a negligible performance degradation. The resulting turbo decoder is implemented on a Xilinx Virtex II-Pro FPGA in a communication experimental setup which also includes an innovative parallel product encoder. The implemented block turbo decoder processes input data at 600 Mb/s. The component code is an extended Bose, Ray-Chaudhuri, Hocquenghem (eBCH(16,11)) code. Some solutions to reach even higher data rates are finally presented.
Supplier Selection Problems with Considering E-business via Particle Swarm Optimization: Supplier Selection Problems with Considering E-business
Authors: Yung-Ning Wang, Her-Shing Wang, Zheng-Hua Che
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

In this paper, an optimal mathematical model was constructed to solve the supplier selection problems. The cost factors along with quantity discount policies are considered in the proposed problem. In addition, E-business is taken as an important factor in the supplier appraisal. A Particle Swarm Optimization (PSO) approach is proposed for solving the mathematical model to figure out the suitable suppliers and appropriate quantity allocation of selected suppliers efficiently. Finally, a realistic case is proposed and analysis result shows that the quality solution can be obtained by applying the PSO approach.