ppxscal/embedding_network huggingface dataset:
Mine Pump Comprehensive Performance Testing System Based on Labview
Authors: Guimei Wang, Shanlin Jiao, Hui Song
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

The pump is one of the key equipments for the safety production of coal mine. It bears the important task to discharge all the underground water. However, the performance efficiency of the water pump will be declined, in the long run. Therefore, in order to ensure the safety production, users should check and test the pump performance regularly ,to test if every target pump has live up to the “Coal Mine Safety Regulations”. The ultimate goal in finding the fault in time, eliminating hidden dangers, reducing accidents,and saving maintenance costs can be attained.Virtual instrument is the production of modern computer and instrument technology combined in-depth, and is an important technology of computer-assisted testing area. The core idea is "software replacing hardware". The paper introduces the virtual instrument technology into the field of pump performance testing, and designs the mine pump comprehensive performance testing system based on Labview. The system takes software development environment—LabVIEW as platform and based on personal computer, and realizes the function that pump’s import and export of water pressure, flow, speed, power, and other signals measured in real-time and dynamic displayed. It uses the polynomial fitting module of LabVIEW to fit the performance curve,and shows the performance curve by the waveform display. At the same time,it uses the Web Publishing Tool of LabVIEW to release the testing interface to the internet,and realizes its network communication function. Compared with traditional instruments,the pump performance testing system which based on Virtual instrument run stably, have strongly data analytical and processing functions, beautiful interface, easy operation, strongly visual function, highly testing precision.
Fast and compact: a simple class of congestion games
Authors: Samuel Ieong, Robert McGrew, Eugene Nudelman, Yoav Shoham, Qixiang Sun
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

We study a simple, yet rich subclass of congestion games that we call singleton games. These games are exponentially more compact than general congestion games. In contrast with some other compact subclasses. we show tractability of many natural game-theoretic questions. such as finding a sample or optimal Nash equilibrium. For best- and better-response dynamics, we establish polynomial upper and lower bounds on the rate of convergence and present experimental results. We also consider a natural generalization of singleton games and show that many tractability results carry over.
Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM
Authors: Ruonan Rao, Jiankun Wu, Dejun Wang, Linpeng Huang
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Service-oriented computing (SOC) is an emerging paradigm to design applications in the pervasive computing environment. Service composition mechanisms are being employed to deliver support to complex user tasks within service-oriented environments. The mechanism of combining two or more services together to form a complex service is known as service composition. Most of complex applications need the support of the transaction. This paper proposes a pervasive computing transaction service (Per_Comp_TS) for service composition in pervasive computing environment. The Per_Comp_TS can discover pervasive services dynamically to perform sub-transactions, execute coordination algorithms of the atomic or cohesion transaction for these services to achieve expected consistency, according to the type of a transaction. An ASM-based approach is proposed to model the coordination algorithms, and validates their correctness. The Per_Comp_TS can provide powerful ability to manage transaction and hide users from the complex process, and provide effective supports for pervasive applications.
From Tools to Teammates: Joint Activity in Human-Agent-Robot Teams
Authors: Jeffrey M. Bradshaw, Paul Feltovich, Matthew Johnson, Maggie Breedy, Larry Bunch, Tom Eskridge, Hyuckchul Jung, James Lott, Andrzej Uszok, Jurriaan Diggelen
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Coordination is an essential ingredient of joint activity in human-agent-robot teams. In this paper, we discuss some of the challenges and requirements for successful coordination, and briefly how we have used KAoS HART services framework to support coordination in a multi-team human-robot field exercise.
Approximating subdivision surfaces with Gregory patches for hardware tessellation
Authors: Charles Loop, Scott Schaefer, Tianyun Ni, Ignacio Castaño
Venue: ACM Transactions on Graphics (TOG) (2009)

We present a new method for approximating subdivision surfaces with hardware accelerated parametric patches. Our method improves the memory bandwidth requirements for patch control points, translating into superior performance compared to existing methods. Our input is general, allowing for meshes that contain both quadrilateral and triangular faces in the input control mesh, as well as control meshes with boundary. We present two implementations of our scheme designed to run on Direct3D 11 class hardware equipped with a tessellator unit.
Stabilization of Fly Ash from Municipal Incinerators
Authors: Rui Xu, Jihong Tian
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Municipal solid waste incinerator by-products include fly ash and air pollution control residues. In order to transform these wastes into reusable species, soluble alkali chlorides must be separated and toxic trace elements must be stabilized. In this paper, alkali chlorides can be extracted efficiently in an aqueous extraction step combining a calcium phosphate gel precipitation. In such a process, sodium and potassium chlorides are obtained free from calcium salts, and the trace metal ions are immobilized in the calcium phosphate matrix. Fly ash spiked with copper ions and treated by this process shows improved stability of metal ions. Leaching tests with water or EDTA reveal a significant drop in metal ion dissolution.
Research on Method of Sentence Similarity Based on Ontology
Authors: Hongsheng Wang, Lu Jing, Hong Shao
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Text similarity counting has been widely used in several fields. This paper proposes a sentence similarity based on ontology algorithm .With the study of sentence similarity, this paper improves a new sentence similarity computation method based on similarity word pair. Counting similarity between key words in the sentences through Ontology. The method makes the similarity of words level in the sentence more accuracy and more identical with acknowledge of people, which improves accuracy of sentences similarity. Comparing with traditional method ,experiments prove that this method is valid. The research can be applied in the field of search engine based on ontology and knowledge searching.
From Implicit to Touching Interaction by Identification Technologies: Towards Tagging Context
Authors: Jose Bravo, Ramon Hervas, Carmen Fuentes, Vladimir Villarreal, Gabriel Chavira, Salvador Nava, Jesus Fontecha, Gregorio Casero, Rocio Peña, Marcos Vergara
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

Intelligent environments need interactions capable of detecting users and providing them with good-quality contextual information. In this sense we adapt technologies, identifying and locating people for supporting their needs. However, it is necessary to analyze some important features in order to compare the implicit interaction, which is closer to the users and more natural, to a new interaction by contact. In this paper we present the adaptability of two technologies; Radiofrequency Identification (RFID) and Near Field Communication (NFC). In the first one, the interaction is more appropriate within intelligent environments but in the second one, the same RFID technology, placed in mobile phones, achieves some advantages that we consider to be an intermediate solution until the standardization of sensors arrives.
Classifying biological full-text articles for multi-database curation
Authors: Wen-Juan Hou, Chih Lee, Hsin-Hsi Chen
Venue: Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Posters & Demonstrations (2006)

In this paper, we propose an approach for identifying curatable articles from a large document set. This system considers three parts of an article (title and abstract, MeSH terms, and captions) as its three individual representations and utilizes two domain-specific resources (UMLS and a tumor name list) to reveal the deep knowledge contained in the article. An SVM classifier is trained and cross-validation is employed to find the best combination of representations. The experimental results show overall high performance.
An Interactive System Based on Semantic Graphs
Authors: Johann Vandromme, Samuel Degrande, Patricia Plénacoste, Christophe Chaillou
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

This paper introduces an original method towards post-WIMP desktops. Our main contribution involves a new way of organizing desktops with respect of the Instrumental Interaction model and relies on semantic graphs. A semantic graph expresses semantic dependencies of documents or components like a scene graph expresses geometrical dependency. This structure allows users to visualize the desktop given a chosen criterion. We also propose polymorphic tools that enable Direct Manipulation: tools directly modify the semantic visual factor leading to a semantic modification of object. A prototype is proposed to illustrate this concept.
Stacked generalization: when does it work?
Authors: Kai Ming Ting, Ian H. Witten
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

Stacked generalization is a general method of using a high-level model to combine lowerlevel models to achieve greater predictive accuracy. In this paper we address two crucial issues which have been considered to be a 'black art' in classification tasks ever since the introduction of stacked generalization in 1992 by Wolpert: the type of generalizer that is suitable to derive the higher-level model, and the kind of attributes that should be used as its input. We demonstrate the effectiveness of stacked generalization for combining three different types of learning algorithms.
Towards a Framework of Critical Multimodal Analysis: Emotion in a Film Trailer
Authors: Maria Bortoluzzi
Venue: Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions: COST Action 2102 International Conference Prague, Czech Republic, October 15-18, 2008 Revised Selected and Invited Papers (2009)

This paper presents a pilot study in the analysis of emotion integrating approaches from traditionally separate theoretical backgrounds: socio-semiotic studies and cognitive studies. The general aim is to identify a flexible and comprehensive framework for critical multimodal analysis of visual, verbal (oral, written and a blend of the two), kinetic, sound, music and graphic aspects. The case-study, exemplifying this kind of integrated approach in its initial stages, identifies the voices of emotion as expressed in the trailer of the film An Inconvenient Truth (2006) and discusses their intertextual and interdiscoursal characteristics. Aspects of the on-going research projects are discussed.
User Experience Evaluation Methods in Product Development (UXEM'09)
Authors: Virpi Roto, Kaisa Väänänen-Vainio-Mattila, Effie Law, Arnold Vermeeren
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

High quality user experience (UX) has become a central competitive factor of product development in mature consumer markets [1]. Although the term UX originated from industry and is a widely used term also in academia, the tools for managing UX in product development are still inadequate. A prerequisite for designing delightful UX in an industrial setting is to understand both the requirements tied to the pragmatic level of functionality and interaction and the requirements pertaining to the hedonic level of personal human needs, which motivate product use [2]. Understanding these requirements helps managers set UX targets for product development. The next phase in a good user-centered design process is to iteratively design and evaluate prototypes [3]. Evaluation is critical for systematically improving UX. In many approaches to UX, evaluation basically needs to be postponed until the product is fully or at least almost fully functional. However, in an industrial setting, it is very expensive to find the UX failures only at this phase of product development. Thus, product development managers and developers have a strong need to conduct UX evaluation as early as possible, well before all the parts affecting the holistic experience are available. Different types of products require evaluation on different granularity and maturity levels of a prototype. For example, due to its multi-user characteristic, a community service or an enterprise resource planning system requires a broader scope of UX evaluation than a microwave oven or a word processor that is meant for a single user at a time. Before systematic UX evaluation can be taken into practice, practical, lightweight UX evaluation methods suitable for different types of products and different phases of product readiness are needed. A considerable amount of UX research is still about the conceptual frameworks and models for user experience [4]. Besides, applying existing usability evaluation methods (UEMs) without adaptation to evaluate UX may lead to some scoping issues. Consequently, there is a strong need to put UX evaluation from research into practice.
Object-Oriented Refactoring of Existing Immune Models
Authors: Hugues Bersini
Venue: Proceedings of the 8th International Conference on Artificial Immune Systems (2009)

Extending a previous plea of the author for adopting the OO practices in the modelling of immunological systems, this paper explains the process of restructuring an existing, interesting and complex immune model of T cell responses by adopting OO good practices, essentially the drawing of UML state and class diagrams and the implementation of the "State Design Pattern". This pattern associates to each state in which a T cell can be found, a single class responsible for describing both the internal transition taking place while in this state and the switching to the next state. Its exploitation entails a natural decoupling of the code, facilitating its comprehension and its re-use. This exercise aims at showing that both UML and this design pattern adoption greatly improves the readability, communication, and thus the possible modification of existing codes. Generalizing this process to all exploitable and existing immune models will allow the constitution of an utilizable library of understandable and reproducible simulations, something that seems to miss these days and hampers the software side of theoretical immunology to take off.
A stepwise optimization algorithm of clustered streaming media servers
Authors: Yunpeng Chai, Zhihui Du, Yinong Chen
Venue: Journal of Systems and Software (2009)

The optimization of Clustered Streaming Media Servers (CSMS), which aims at using as few hardware resources and as cost-effective as possible, while providing satisfactory performance and QoS, has a great impact on the practicability and efficiency of CSMS. Based on the analysis and formulization of critical performance factors of CSMS and the relationship among the performance, QoS, and the costs in CSMS, a stepwise optimization algorithm is developed to solve the optimization problem efficiently. The algorithm is based on an approach that models the optimization problem into a directed acyclic graph and then addresses the complex optimization problem step by step. The algorithm applies a divide and conquer model that not only reduces the complexity of the optimization problem, but also accelerates the optimization process. Progressive information is collected in the process and used in solving the problem. Furthermore, a simulation system of CSMS is necessary for the optimization algorithm to generate the accurate information produced in the entire streaming service process. Thus, we designed and implemented such a simulation system based on the theoretical performance model of CSMS and the parameters measured in practical CSMS testbed. Finally, a case study of the optimization problem is given to demonstrate the process of the algorithm, and an appropriate plan for designing practical CSMS system is illustrated.
A Matrix Alignment Approach for Collective Classification
Authors: Jerry Scripps, Pang-Ning Tan, Feilong Chen, Abdol-Hossein Esfahanian
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

Within networks there is often a pattern to the way nodes link to one another.It has been shown that the accuracy of node classification can be improved by using the link data.One of the challenges to integrating the attribute and link data, though, is balancing the influence that each has on the classification decision.In this paper we present a matrix alignment approach to the problem of collective classification which weights the attributes and the links according to their predictive influence.The experiments show that while our approach provides comparable accuracy in prediction to other methods, it is also very fast and descriptive.
NeMo: A Platform for Neural Modelling of Spiking Neurons Using GPUs
Authors: Andreas K. Fidjeland, Etienne B. Roesch, Murray P. Shanahan, Wayne Luk
Venue: Proceedings of the 2009 20th IEEE International Conference on Application-specific Systems, Architectures and Processors (2009)

Simulating spiking neural networks is of great interest to scientists wanting to model the functioning of the brain. However, large-scale models are expensive to simulate due to the number and interconnectedness of neurons in the brain. Furthermore, where such simulations are used in an embodied setting, the simulation must be real-time in order to be useful. In this paper we present NeMo, a platform for such simulations which achieves high performance through the use of highly parallel commodity hardware in the form of graphics processing units (GPUs). NeMo makes use of the Izhikevich neuron model which provides a range of realistic spiking dynamics while being computationally efficient. Our GPU kernel can deliver up to 400 million spikes per second. This corresponds to a real-time simulation of around 40 000 neurons under biologically plausible conditions with 1000 synapses per neuron and a mean firing rate of 10 Hz.
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility
Authors: Friedrich Steimann, Andreas Thies
Venue: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009)

Contemporary refactoring tools for Java aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide hints that referenced elements may become inaccessible due to the intended restructuring, none we have tested prevent changes that alter the meaning of a program, and none take steps that counteract such alterations. To address these problems, we formalize accessibility in Java as a set of constraint rules, and show how the constraints obtained from applying these rules to a program and an intended refactoring allow us to check the preconditions of the refactoring, as well as to compute the changes of access modifiers necessary to preserve the behaviour of the refactored program. We have implemented our framework as a proof of concept in Eclipse, and demonstrated how it improves applicability and success of an important refactoring in a number of sample programs. That our approach is not limited to Java is shown by comparison with the constraint rules for C# and Eiffel.
Emerging images
Authors: Niloy J. Mitra, Hung-Kuo Chu, Tong-Yee Lee, Lior Wolf, Hezy Yeshurun, Daniel Cohen-Or
Venue: ACM Transactions on Graphics (TOG) (2009)

Emergence refers to the unique human ability to aggregate information from seemingly meaningless pieces, and to perceive a whole that is meaningful. This special skill of humans can constitute an effective scheme to tell humans and machines apart. This paper presents a synthesis technique to generate images of 3D objects that are detectable by humans, but difficult for an automatic algorithm to recognize. The technique allows generating an infinite number of images with emerging figures. Our algorithm is designed so that locally the synthesized images divulge little useful information or cues to assist any segmentation or recognition procedure. Therefore, as we demonstrate, computer vision algorithms are incapable of effectively processing such images. However, when a human observer is presented with an emergence image, synthesized using an object she is familiar with, the figure emerges when observed as a whole. We can control the difficulty level of perceiving the emergence effect through a limited set of parameters. A procedure that synthesizes emergence images can be an effective tool for exploring and understanding the factors affecting computer vision techniques.
Magic Lantern Guides: Canon EOS 50D, 1st edition
Authors: Rob Sheppard
Venue:  (2009)

- This is a highly-anticipated addition to Canon's advanced amateur lineup, with outstanding features that are the highest in the DSLR class- This guide is indispensable for photographers who want to take full advantage of all this impressive new model has to offer 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
Ontology-Driven KDD Process Composition
Authors: Claudia Diamantini, Domenico Potena, Emanuele Storti
Venue: Proceedings of the 8th International Symposium on Intelligent Data Analysis: Advances in Intelligent Data Analysis VIII (2009)

One of the most interesting challenges in Knowledge Discovery in Databases (KDD) field is giving support to users in the composition of tools for forming a valid and useful KDD process. Such an activity implies that users have both to choose tools suitable to their knowledge discovery problem, and to compose them for designing the KDD process. To this end, they need expertise and knowledge about functionalities and properties of all KDD algorithms implemented in available tools. In order to support users in this heavy activity, in this paper we introduce a goal-driven procedure for automatically compose algorithms. The proposed procedure is based on the exploitation of KDDONTO, an ontology formalizing the domain of KDD algorithms, allowing us to generate valid and non-trivial processes.