ppxscal/embedding_network huggingface dataset:
Capturing Physiology of Emotion along Facial Muscles: A Method of Distinguishing Feigned from Involuntary Expressions
Authors: Masood Mehmood Khan, Robert D. Ward, Michael Ingleby
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

The ability to distinguish feigned from involuntary expressions of emotions could help in the investigation and treatment of neuropsychiatric and affective disorders and in the detection of malingering. This work investigates differences in emotion-specific patterns of thermal variations along the major facial muscles. Using experimental data extracted from 156 images, we attempted to classify patterns of emotion-specific thermal variations into neutral, and voluntary and involuntary expressions of positive and negative emotive states. Initial results suggest (i) each facial muscle exhibits a unique thermal response to various emotive states; (ii) the pattern of thermal variances along the facial muscles may assist in classifying voluntary and involuntary facial expressions; and (iii) facial skin temperature measurements along the major facial muscles may be used in automated emotion assessment. 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
A Methodology for Rapid Assembly Modeling of Components with Typical Assembly Feature
Authors: Gui-dong Li, Lai-shui Zhou, Lu-ling An, Zhi-guo Wang, Jun-feng Ji, Chang-bai Tan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In assembly modeling process, standard parts and some existing components with typical assembly feature are often inserted into the assembly model of a product directly and the design time could be reduced if these components are to be effectively managed. In this paper, the typical assembly feature is functionally driven. The types of constraints are summarized through assembly process research and a components-level parametrization method is introduced. After that, a convenient and powerful assembly mechanism for these components is proposed on the basis of features and the constraints among them. In this research, a component database and a system for rapid assembly design are developed based on a coding system and a method to retrieve the components is given.
Laser Based Localization Techniques for Indoor Mobile Robots
Authors: Levente Tamas, Gheorghe Lazea, Mircea Popa, Istvan Szoke, Andras Majdik
Venue: Proceedings of the 2009 Advanced Technologies for Enhanced Quality of Life (2009)

The localization problem in indoor environment based on LIDAR measurements is analyzed in this paper. Practical aspects of the localization are discussed including the implementations of the state estimation and registration algorithms. The localization framework developed is sufficient generic to be used in a variety of other autonomous vehicles. The results of the proposed navigation algorithms demonstrate a reliable and accurate position estimation for autonomous vehicles operating in a variety of environments.
Existence and global exponential stability of periodic solution of a cellular neural networks difference equation with delays and impulses
Authors: Xinsong Yang, Xiangzhao Cui, Yao Long
Venue: Neural Networks (2009)

A class of cellular neural networks difference equation with delays and impulses are considered. Sufficient conditions for the existence and global exponential stability of periodic solution are obtained by using contraction mapping theorem and inequality techniques. The results of this paper are completely new. A numerical example and its simulations are offered to show the effectiveness of our new results.
Automatic tagging of Arabic text: from raw text to base phrase chunks
Authors: Mona Diab, Kadri Hacioglu, Daniel Jurafsky
Venue: Proceedings of HLT-NAACL 2004: Short Papers on XX (2004)

To date, there are no fully automated systems addressing the community's need for fundamental language processing tools for Arabic text. In this paper, we present a Support Vector Machine (SVM) based approach to automatically tokenize (segmenting off clitics), part-of-speech (POS) tag and annotate base phrases (BPs) in Arabic text. We adapt highly accurate tools that have been developed for English text and apply them to Arabic text. Using standard evaluation metrics, we report that the SVM-TOK tokenizer achieves an F&beta;=1 score of 99.12, the SVM-POS tagger achieves an accuracy of 95.49%, and the SVM-BP chunker yields an F&beta;=1 score of 92.08.
Enhancing the Scalability of Blue Whale Cluster File System in Video-editing Environment
Authors: Chengxiang Si, Xiaoxuan Meng, Junwei Zhang, Lu Xu
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

Scalability, which indicates the capacity of system to support the maximal number of clients, is very important to cluster file system. But in practical applications, the bandwidth that storage devices provide doesn’t linearly grow with the increasing number of clients which leads to bad QoS and restricts the scalability of cluster file system. This paper analyses the bottleneck of scalability of Blue Whale Cluster File System (BWFS) in video-editing application, and present a solution that clients employ the spare disk resource to cache data from remote server. By careful chosen of cache strategy and replacement algorithm, clients can access remote data from local disk, which significantly reduce random access to server and efficiently reduce the workload of storage servers. Therefore, the scalability of the whole system is significantly enhanced. We also implement a prototype to validate the solution and the result shows that it can enhance the scalability of the Blue Whale System by 80% at most.
Spoken Arabic dialect identification using phonotactic modeling
Authors: Fadi Biadsy, Julia Hirschberg, Nizar Habash
Venue: Proceedings of the EACL 2009 Workshop on Computational Approaches to Semitic Languages (2009)

The Arabic language is a collection of multiple variants, among which Modern Standard Arabic (MSA) has a special status as the formal written standard language of the media, culture and education across the Arab world. The other variants are informal spoken dialects that are the media of communication for daily life. Arabic dialects differ substantially from MSA and each other in terms of phonology, morphology, lexical choice and syntax. In this paper, we describe a system that automatically identifies the Arabic dialect (Gulf, Iraqi, Levantine, Egyptian and MSA) of a speaker given a sample of his/her speech. The phonotactic approach we use proves to be effective in identifying these dialects with considerable overall accuracy --- 81.60% using 30s test utterances.
Windows Vista Cleanup and Maintenance for Seniors
Authors: Studio Visual Steps
Venue: Computer Books For Seniors Series (2009)

Precise directions, screenshots, and step-by-step instructions form the essential core of this computer cleanup and maintenance guide, written specifically for seniors. Exploring the built-in cleanup and optimization utilities available in Windows Vista, each subject of this guide is presented in a practical straightforward manner.Periodic tune-ups, preventative maintenance, and protection from viruses are the key elements covered in order to help any computer user make their PC run smoother, faster, and more secure. 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
Study of Intelligent Control System for Ship Autopilot Design
Authors: Wang Minghui, Yu Yongquan, Zeng Bi
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

The paper studies the approaches of intelligent control for ship autopilot. We apply the fuzzy control and artificial neural networks to autopilot design. For the design study, the autopilot controllers designed have been carried out in the MATILAB/Simulink environment. This paper also analyzes the performance of ship steering control system at various operating condition. Simulation results are given to demonstrate the intelligent control approaches for ship autopilot design are valuable.
A Joint Design Approach of Partitioning and Allocation in Parallel Data Warehouses
Authors: Ladjel Bellatreche, Soumia Benkrid
Venue: Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery (2009)

Traditionally, designing a parallel data warehouse consists first in fragmenting its schema and then allocating the generated fragments over the nodes of the parallel machine. The main drawback of this approach is that interdependency between fragmentation and allocation processes is not taken into account during the design phase. This interdependency is characterized by the fact that generated of fragments are one of the inputs of the allocation problem and both processes optimize the same set of queries. In this paper, we present a new approach for designing parallel relational data warehouses on a shared nothing machine, where the fragmentation and the allocation are done simultaneously. To allocate efficiently query workload over nodes, a load balancing method is given. Finally, a validation of our proposals is presented.
Input-Output Model Programs
Authors: Margus Veanes, Nikolaj Bjørner
Venue: Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing (2009)

Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player. The players share the action vocabulary and make moves that are labeled by actions according to their respective model programs. Conformance between the two model programs means that the output (input) player only makes output (input) moves that are allowed by the input (output) players model program. In a bounded game, the total number of moves is fixed. Here model programs use a background theory $\mathcal{T}$ containing linear arithmetic, sets, and tuples. We formulate the bounded game conformance checking problem, or BGC, as a theorem proving problem modulo $\mathcal{T}$ and analyze its complexity.
Quasi-Classical Model Semantics for Logic Programs --- A Paraconsistent Approach
Authors: Zhihu Zhang, Zuoquan Lin, Shuang Ren
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

We present a new paraconsistent approach to logic programming, called Quasi-classical (QC for short) model semantics. The basic idea is the following. We define the QC base as a set of all atoms and their complements, which decouples the link between an atom and its complement at the level of interpretation. Then we define QC models for positive logic programs. The QC model semantics actually effecting on disjunctive programs imposes the link between each disjunction occurring in the head of a rule and its complement disjunct. This enhances the ability of paraconsistent reasoning. We also define weak satisfaction to perform reasoning under our approach. The fixpoint semantics with respect to the QC model semantics is also presented in the paper.
Adaptation of Modelling Paradigms to the CIs Interdependencies Problem
Authors: Jose M. Sarriegi, Finn Olav Sveen, Jose M. Torres, Jose J. Gonzalez
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

Research into critical infrastructure (CI) interdependencies is still immature. Such interdependencies have important consequences for crisis management. Owing to the complexity of this problem, computer modelling and simulation is perhaps the most efficient research approach. We present five facts that should be taken into account when modelling these interdependencies: 1) CIs are interdependent elements of a complex system. 2) Ever increasing interdependencies create new complexity. 3) Crises in CI are dynamically complex. 4) There is a need for a long term perspective. 5) Knowledge about CI is fragmented. These facts significantly condition the tools and methodologies to be used for modelling interdependencies, as well as the training and communication tools to transfer insights to crisis managers and policymakers. We analyze several modelling methodologies for applicability to CIs interdependencies problem.
Humans perform semi-supervised classification too
Authors: Xiaojin Zhu, Timothy Rogers, Ruichen Qian, Chuck Kalish
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

We explore the connections between machine learning and human learning in one form of semi-supervised classification. 22 human subjects completed a novel 2-class categorization task in which they were first taught to categorize a single labeled example from each category, and subsequently were asked to categorize, without feedback, a large set of additional items. Stimuli were visually complex and unrecognizable shapes. The unlabeled examples were sampled from a bimodal distribution with modes appearing either to the left (left-shift condition) or right (right-shift condition) of the two labeled examples. Results showed that, although initial decision boundaries were near the middle of the two labeled examples, after exposure to the unlabeled examples, they shifted in different directions in the two groups. In this respect, the human behavior conformed well to the predictions of a Gaussian mixture model for semi-supervised learning. The human behavior differed from model predictions in other interesting respects, suggesting some fruitful avenues for future inquiry.
An Investigation of Fault Tolerance Behavior of 32-Bit DLX Processor
Authors: Pooria M. Yaghini, Hamid R. Zarandi, Ashkan Eghbal, Akbar Jafarzadeh, Saeedeh Eskandari
Venue: Proceedings of the 2009 Second International Conference on Dependability (2009)

This paper presents a study of fault tolerance behavior of a 32-bit DLX processor. Simulation-based method has been applied to analyze the fault tolerance characteristic of this processor. This experiment is based on injection of 14000 faults among 70 points of components which are more frequently used in VHDL model. The experimental results have been considered in different aspects. Up to 55% of the injected faults cause system failure and also approximately 42% of them are masked before changing into errors. Less than 3% of injected faults remain as latent errors. The Average of fault latency has also been reported between 47 to 59 clock cycles regarding to different workloads. The comparison of observed component distinguishes ALU as the most sensitive one among others with the approximate failure rate of 50%.
Confucius and "Its" Intelligent Disciples
Authors: Edward Y. Chang
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Confucius is a great teacher in ancient China. His theories and principles were effectively spread throughout China by his disciples. Confucius is the product code name of Google Knowledge Search product, which is built at Google Beijing lab by my team. In this talk, I present Knowledge Search key disciples, which are machine learning subroutines that generates labels for questions, that matches existing answers to a question, that evaluates quality of answers, that ranks users based on their contributions, that distills high-quality answers for search engines to index, etc. I will also present the scalable machine learning services that we built to make these disciples effective and efficient. 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
EDISKCO: energy efficient distributed in-sensor-network k-center clustering with outliers
Authors: Marwan Hassani, Emmanuel Müller, Thomas Seidl
Venue: Proceedings of the Third International Workshop on Knowledge Discovery from Sensor Data (2009)

Clustering is an established data mining technique for grouping objects based on similarity. For sensor networks one aims at grouping sensor measurements in groups of similar measurements. As sensor networks have limited resources in terms of available memory and energy, a major task sensor clustering is efficient computation on sensor nodes. As a dominating energy consuming task, communication has to be reduced for a better energy efficiency. Considering memory, one has to reduce the amount of stored information on each sensor node. For in-network clustering, k-center based approaches provide k representatives out of the collected sensor measurements. We propose EDISKCO, an outlier aware incremental method for efficient detection of k-center clusters. Our novel approach is energy aware and reduces amount of required transmissions while producing high quality clustering results. In thorough experiments on synthetic and real world data sets, we show that our approach outperforms a competing technique in both clustering quality and energy efficiency. Thus, we achieve overall significantly better life times of our sensor networks.
Leveraging or Exploiting Cultural Difference?
Authors: Valentine Casey
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Due to the expanding trend to globalise software development organisations need to understand and address issues which previously did not arise.Cultural distance has been identified as one of these key issues.This paper presents the results from a three year study which identified the implications of misunderstanding and not addressing cultural differences.This work was undertaken within a multinational organisation which offshored part of their software development process from Ireland to Malaysia. Of particular relevance was where cultural difference was initially perceived as something which could be leveraged. The opposite proved to be the case and resulted in key Malaysian personnel being forced to leave the organisation.This was due to their cultural aversion to decline requests to undertake additional work.This resulted in serious implications for the success of the projects concerned.Ultimately the requirement for cultural training was recognized by the management and staff at both locations.
Compositional Control Synthesis for Partially Observable Systems
Authors: Wouter Kuijper, Jaco Pol
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

We present a compositional method for deriving control constraints on a network of interconnected, partially observable and partially controllable plant components. The constraint derivation method works in conjunction with an antichain---based, symbolic algorithm for computing weakest strategies in safety games of imperfect information. We demonstrate how the technique allows a reactive controller to be synthesized in an incremental manner, exploiting locality and independence in the problem specification.
Sapphire: Material, Manufacturing, Applications, 1st edition
Authors: Elena R. Dobrovinskaya, Leonid A. Lytvynov, Valerian Pishchik
Venue: Micro- And Opto-Electronic Materials, Structures, And Systems (2009)

This book provides encyclopedic coverage of sapphire: growth and fabrication, high quality material, and numerous practical applications. Some of the fields of application include, but are not limited to, quantum electronics, radio electronics, radio engineering, radiolocation, ultrahigh resolution optics, high temperature optics, aircraft, atomic power engineering, space, space and microwave engineering. Unusual, versatile and attractive physical and chemical properties of sapphire will be addressed, as well as the main trends in the evolution of the growth methods. Important features of the book include the following: Addresses for the first time in a convenient and readily accessible format information on physical, chemical, mechanical and other properties of sapphire Provides users with the up-to-date information of the potential that sapphire provides in the different fields of engineering and applied science, including the areas of micro- and opto-electronics Summarizes the most important modern growth methods, mechanical and thermal treatment, and fabrication of sapphire products Provides recommendations for the best method of growing sapphire with the desired (specified) physical-chemical characteristics
The Study on Rate of Nonlinear Direct Cost Based on Neural Network
Authors: Zhengyuan Jia, Lihua Gong
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

The relationship between direct cost and activity duration is the base of Network planning. Under normal circumstances in order to calculate it simply they assumed that the relationship is linear, in fact the direct cost of the project in function is non-linear. Based on the comprehensive analysis of a large number of projects this paper developed a universal non-linear function of the direct cost and use neural network to solve the coefficients. The non-linear function of direct cost can describe the relationship between direct cost and duration more precise. After simulation of project, it is verified that the method is validity practicality.
Hello World! --- Experiencing Usability Methods without Usability Expertise
Authors: Elina Eriksson, Åsa Cajander, Jan Gulliksen
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

How do you do usability work when no usability expertise is available? What happens in an organization when system developers, with no previous HCI knowledge, after a 3-day course, start applying usability methods, and particularly field studies? In order to answer these questions qualitative data were gathered through participatory observations, a feed back survey, field study documentation and interviews from 47 system developers from a public authority. Our results suggest that field studies enhance the developer's understanding of the user perspective, and provide a more holistic overview of the use situation, but that some developers were unable to interpret their observations and see solutions to the users' problems. The field study method was very much appreciated and has now become standard operating procedure within the organization. However, although field studies may be useful, it does not replace the need for usability pro fes sion als, as their knowledge is essential for more complex observations, analysis and for keeping the focus on usability.
Cedit: semantic networks manual annotation tool
Authors: Václav Novák
Venue: Proceedings of Human Language Technologies: The Annual Conference of the North American Chapter of the Association for Computational Linguistics: Demonstrations on XX (2007)

We present a demonstration of an annotation tool designed to annotate texts into a semantic network formalism called Multi-Net. The tool is based on a Java Swing GUI and allows the annotators to edit nodes and relations in the network, as well as links between the nodes in the network and the nodes from the previous layer of annotation. The data processed by the tool in this presentation are from the English version of the Wall Street Journal.