ppxscal/embedding_network huggingface dataset:
A Flexible Design for Accessible Spoken Math
Authors: Neil Soiffer
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

MathPlayer is a plug-in to Microsoft Internet Explorer (IE) and Adobe Acrobat/Reader that renders MathML visually and converts it to textual speech strings. The version under development has a unique architecture that allows multiple styles of speech, easy internationalization/localization, and the generation of a user interface that allows user customization of the words spoken based upon external rule files. It includes many other accessibility features such as individual magnification of expressions, synchronized highlighting of text and speech, and conversion to Braille math codes.
Distributed Asynchronous Automata
Authors: Nicolas Baudru
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

Asynchronous automata are a model of communication processes with a distributed control structure, global initializations and global accepting conditions. The well-known theorem of Zielonka states that they recognize exactly the class of regular Mazurkiewicz trace languages. In this paper we study the particular case of distributed asynchronous automata, which require that the initializations and the accepting conditions are distributed as well: every process chooses an initial local state and stops in a final local state independently from each other. We characterize effectively the regular trace languages recognized by these automata. Also, we present an original algorithm to build, if it is possible, a non-deterministic distributed asynchronous automaton that recognizes a given regular trace language. Surprisingly, this algorithm yields a new construction for the more general problem of the synthesis of asynchronous automata from regular trace languages that subsumes all existing ones in terms of space complexity. 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
The Differences of Aviation Human Factors between Individualism and Collectivism Culture
Authors: Wen-Chin Li, Don Harris, Lon-Wen Li, Thomas Wang
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

Culture is at the root of action; it underlies the manner by which people communicate and develop attitudes towards life. This research examined statistical differences in the 18 categories of Human factors Analysis and Classification System (HFACS, Shappell Wiegmann, 2003) across 523 aviation accidents in the Republic of China (a collective culture) and 119 aviation accidents in the USA (an individual culture) . The result suggests that the culture of individualism seems to be superior for promoting aviation safety compared to collectivist cultures, however, factors such as the design of the aircraft, the management procedures and the nature of safety regulation all have a strong Western influence from the individualist culture. All of these factors are culturally congruent with the USA. It is essential to identify the potential causal roots for these differences from the underlying factors in these aviation mishaps, and identify what kind of factors drive people to act or react to dynamic situations that either lead to an accident help to develop an effective accident prevention strategy.
A Depth-Dependent Fusion Algorithm for Enhanced Reality Based on Binocular Vision
Authors: Chensheng Wang, Xiaoping Liu, Fei Wang, Liang Chen
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

As one of the pivot techniques in enhanced reality the fusion of virtual and real scene image often happens intwo ways, either to incorporate a real object into a virtual environment, or to incorporate a virtual object into a real scene. Most of the conventional methods for the fusion are conducted at the image level, which fails to handle three-dimensional objects. In this paper, a novel depth-dependent algorithm for the fusion of virtual and real scene image in enhanced reality based on binocular vision will be proposed. The algorithm simulates the human observation process, and computes the spatial position of an image pixel by means of binocular parallax. With the assistance of object recognition techniques, the depth computation results will then be utilized to determine the spatial position of the object in the observation coordinate frame. The fusion is consequently implemented by positioning the object of interest at the right position and establishing the depth relationship withother objects in the scene. Experiment results demonstrate that the proposed algorithm is both valid and effective to achieve a high quality fusion for an enhanced reality application.
Analysis on Dynamic Characteristics of Internal Combustion Engine Crankshaft System
Authors: Xiaomei You, Xingguo Ma, Bangchun Wen
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Bases on the virtual prototyping technology, a CAX integrated analysis environment in the PC platform is built. By the CAX, a simulation model of crankshaft system of internal combustion engine is built .The model is then used to analyze the kinematics and dynamics characteristics of some type crankshaft system. Through comparing the data of simulation result with that of classic literature, the virtual prototyping technology model is testified to reasonable and accurate. Then the real-time boundary load is achieved when the crankshaft is considered as flexible to simulate. Further more a transient dynamic response analysis is done on the crankshaft, its stress and deformation in the work cycle is gotten, then its dangerous part is also achieved. The simulation result provides a theory reference and basis for the crankshaft optimum design.
Towards language acquisition by an attention-sharing robot
Authors: Hideki Kozima, Akira Ito
Venue: Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning (1998)

This paper describes our preliminary research on "attention-sharing" in infants' language acquisition. Attention-sharing is the activity of paying one's attention to someone else's attentional target. This enables one to observe others' sensory-input (what they are perceiving from the target) and motor-output (what they are doing in response to the target). Being inspired by lack of attention-sharing in autistic children, we assumed that observation of others' behavior by attention-sharing plays an indispensable role in symbol acquisition. As a test-bed for attention-sharing, we are developing a robot that can follow people's attentional targets by means of monitoring their gaze-direction.
Stochastic finite-state models for spoken language machine translation
Authors: Srinivas Bangalore, Giuseppe Riccardi
Venue: ANLP-NAACL 2000 Workshop: Embedded Machine Translation Systems (2000)

Stochastic finite-state models are efficiently learnable from data, effective for decoding and are associated with a calculus for composing models which allows for tight integration of constraints from various levels of language processing. In this paper, we present a method for stochastic finite-state machine translation that is trained automatically from pairs of source and target utterances. We use this method to develop models for English-Japanese and Japanese-English translation. We have embedded the Japanese-English translation system in a call routing task of unconstrained speech utterances. We evaluate the efficacy of the translation system in the context of this application.
A Real-Time Video Illustration Using CUDA
Authors: Jihyung Lee, Yoon-Seok Choi, Bon-Ki Koo, Chi Jung Hwang
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

According to advancements in video technology, there are lots of needs for various special effects of videos. The conventional image-transform effects could be applied to video streams, but non-photorealistic rendering effects are not easy to apply. For example, cartoon or illustration effects have expensive costs in video transformation which makes it difficult to execute in real-time. In this paper, we suggest a video transformation system with illustration effects. It is designed to apply the illustration effects to the video stream directly and is implemented to achieve real time performances using the GPU hardware with NVIDIA's CUDA.
Surrogate learning: from feature independence to semi-supervised classification
Authors: Sriharsha Veeramachaneni, Ravi Kumar Kondadadi
Venue: Proceedings of the NAACL HLT 2009 Workshop on Semi-Supervised Learning for Natural Language Processing (2009)

We consider the task of learning a classifier from the feature space X to the set of classes Y = {0, 1}, when the features can be partitioned into class-conditionally independent feature sets X1 and X2. We show that the class-conditional independence can be used to represent the original learning task in terms of 1) learning a classifier from X2 to X1 (in the sense of estimating the probability P(x1/x 2))and 2) learning the class-conditional distribution of the feature set X1. This fact can be exploited for semi-supervised learning because the former task can be accomplished purely from unlabeled samples. We present experimental evaluation of the idea in two real world applications.
Medical Decision Making through Fuzzy Computational Intelligent Approaches
Authors: Elpiniki I. Papageorgiou
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

A new approach for the construction of Fuzzy Cognitive Maps augmented by knowledge through fuzzy rule-extraction methods for medical decision making is investigated. This new approach develops an augmented Fuzzy Cognitive Mapping based Decision Support System combining knowledge from experts and knowledge from data in the form of fuzzy rules generated from rule-based knowledge discovery methods. Fuzzy Cognitive Mapping (FCM) is a fuzzy modeling methodology based on exploiting knowledge and experience from experts. The FCM accompanied with knowledge extraction and computational intelligent techniques, contribute to the development of a decision support system in medical informatics. The proposed approach is implemented in a well-known medical problem for assessment of treatment planning decision process in radiotherapy.
On Models of a Nondeterministic Computation
Authors: Mikhail N. Vyalyi
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

In this paper we consider a nondeterministic computation performed by deterministic multi-head 2-way automata with a read-only access to an auxiliary memory. The memory contains additional data (a guess) and the computation is successful iff it is successful for some memory content.Also we consider the case of restricted guesses in which a guess should satisfy some constraint.We show that the standard complexity classes such as L, NL, P, NP, PSPACE can be characterized in terms of these models of nondeterministic computation. These characterizations differ from the well-known ones by absence of alternation.
Urdu localization project: Lexicon, MT and TTS (ULP)
Authors: Sarmad Hussain
Venue: Proceedings of the Workshop on Computational Approaches to Arabic Script-based Languages (2004)

Pakistan has a population of 140 million speaking more than 56 different languages. Urdu is the lingua franca of these people, as many speak Urdu as a second language, also the national language of Pakistan. Being a developing population, Pakistani people need access to information. Most of the information over the ICT infrastructure is only available in English and only 5--10% of these people are familiar with English. Therefore, Government of Pakistan has embarked on a project which will generate software to automatically translate the information available in English to Urdu. The project will also be able to convert Urdu text to speech to extend this information to the illiterate population as well. This paper overviews the overall architecture of the project and provides briefs on the three components of this project, namely Urdu Lexicon, English to Urdu Machine Translation System and Urdu Text to Speech System.
Triangulation in practice
Authors: Phil Turner, Susan Turner
Venue: Virtual Reality (2009)

Triangulation is the means by which an alternate perspective is used to validate, challenge or extend existing findings. It is frequently used when the field of study is difficult, demanding or contentious and presence research meets all of these criteria. We distinguish between the use of hard and soft triangulation&#x2014;the former emphasising the challenging of findings, the latter being more confirmatory in character. Having reviewed a substantial number of presence papers, we conclude that strong triangulation is not widely used while soft triangulation is routinely employed. We demonstrate the usefulness of hard triangulation by contrasting an ontological analysis of in-ness with an empirical study of (computer) game playing. We conclude that presence research would be well served by the wider use of hard triangulation and for the reporting of anomalous and ill-fitting results.
Concept Learning from (Very) Ambiguous Examples
Authors: Dominique Bouthinon, Henry Soldano, Véronique Ventos
Venue: Proceedings of the 6th International Conference on Machine Learning and Data Mining in Pattern Recognition (2009)

We investigate here concept learning from incomplete examples, denoted here as ambiguous. We start from the learning from interpretations setting introduced by L. De Raedt and then follow the informal ideas presented by H. Hirsh to extend the Version space paradigm to incomplete data: a hypothesis has to be compatible with all pieces of information provided regarding the examples. We propose and experiment an algorithm that given a set of ambiguous examples, learn a concept as an existential monotone DNF. We show that 1) boolean concepts can be learned, even with very high incompleteness level as long as enough information is provided, and 2) monotone, non monotone DNF (i.e. including negative literals), and attribute-value hypotheses can be learned that way, using an appropriate background knowledge. We also show that a clever implementation, based on a multi-table representation is necessary to apply the method with high levels of incompleteness.
Fast Path Searching in Real Time 3D Game
Authors: Siyuan Chen, Guangshun Shi, Yuan Liu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

This paper presents an efficient path searching system implemented in real time 3D game scene. Our method focus on the base element in 3D models – polygons and mesh, treat the scene as a 3D surface. Through the connectivity analyzes of these polygons, we convert the scene data to an abstract contour model and do heuristic search on it. A path searching task management mechanism had been carried out to balance the processing time of each frame loop. Our system could work without any factitious mark and script information in the scene and high processing had been achieved.
Atune-IL: An Instrumentation Language for Auto-tuning Parallel Applications
Authors: Christoph A. Schaefer, Victor Pankratius, Walter F. Tichy
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

Auto-tuners automate the performance tuning of parallel applications. Three major drawbacks of current approaches are 1) they mainly focus on numerical software; 2) they typically do not attempt to reduce the large search space before search algorithms are applied; 3) the means to provide an auto-tuner with additional information to improve tuning are limited.Our paper tackles these problems in a novel way by focusing on the interaction between an auto-tuner and a parallel application. In particular, we introduce Atune-IL, an instrumentation language that uses new types of code annotations to mark tuning parameters, blocks, permutation regions, and measuring points. Atune-IL allows a more accurate extraction of meta-information to help an auto-tuner prune the search space before employing search algorithms. In addition, Atune-IL's concepts target parallel applications in general, not just numerical programs.Atune-IL has been successfully evaluated in several case studies with parallel applications differing in size, programming language, and application domain; one case study employed a large commercial application with nested parallelism. On average, Atune-IL reduced search spaces by 78%. In two corner cases, 99% of the search space could be pruned.
A Study on Migrant Farmers Being Integrated into Urban Life: Based on Social Statistic Method
Authors: Hongwei Hu, Jing Shi, Dasong Deng
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Recently, China has experienced a noteworthy phenomenon among migrant workers characterized by them being "moving but not settled down, settled down but excluded". In the light of the typical sample of migrant farmers, this paper make an in-depth analysis of this phenomenon, through a social statistic Multinomial Regression analysis method, and the outcome shows the important factors that impact their self-role such as education, salary and so on. Based on the conclusion of the analysis, this paper puts forward recommendations for speeding up the process for migrant farmers to acquire social security rights and accelerate their citizenship process
Distributed Leadership, Trust and Online Communities
Authors: Jill Jameson
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

This paper analyses the role of distributed leadership and trust in online communities. The team-based informal ethos of online collaboration requires a different kind of leadership from that in formal positional hierarchies. Such leadership may be more flexible and sophisticated, capable of encompassing ambiguity and rapid change. Online leaders need to be partially invisible, delegating power and distributing tasks. Yet, simultaneously, online communities are facilitated by the high visibility and subtle control of expert leaders. This paradox: that leaders need to be both highly visible and invisible as appropriate, was derived from prior research and tested in the analysis of online community discussions using a pattern-matching process. It is argued that both leader visibility and invisibility are important for the facilitation of trusting collaboration via distributed leadership. Advanced leadership responses to complex situations in online communities foster positive group interaction and decision-making, facilitated through active distribution of specific tasks.
Software Development Process Monitoring Based on Nominal Transformation
Authors: Fengyu Zhao, Xin Peng, Wenyun Zhao
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

For any software project, a development plan is needed to distribute project tasks to different teams and to manage team activities. For development process, the attribute value of the process to complete a task will vary around nominal value. In general, when the value exceeds a certain amount of specification limits, it is thought that the software process has some problems and intervention measures are needed. But in statistics, the process might be running well and any intervention will cause chaos. In order to monitor the team software process, it is needed to build up a rule to indicate if the process is running stable or not. In this paper, a nominal transformation method for measured task data based on task expectation is introduced to unify the measured data from different processes. The statistical characteristics for the measured data are analyzed. The control charts are given based on the statistical control theory and an example is presented to show the way that monitors software development process.
Supervised Vector Angle Embedding Learning for Face Recognition
Authors: Kong Wanzeng, Zhang Jianhai, Dai Guojun, Zhu Shan-an
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Based on constructing neighborhood graphs, a method called supervised vector angle embedding (SVAE)was presented for face recognition. A graph including both positive edges and negative edges was constructed. It put a positive edge on two samples in the same class and a negative edge on two different class samples within k nearest neighbor each other. The measure in SVAE was the angle between two vectors instead of modulus in traditional methods. It does not require the estimation of the parameter in heat weight function, and can reduce the influence of luminance on face recognition. When test sample was embedded into low-dimensional space with preserving neighborhood vector angle, a classification called angle nearest neighbor was used for face recognition. Experiments on Yale and UMIST databases demonstrated the proposed approach was superior to other methods in terms of recognition accuracy.
Visualization and Processing of Tensor Fields: Advances and Perspectives, 1st edition
Authors: David Laidlaw, Joachim Weickert
Venue: Mathematics And Visualization (2009)

"Visualisation and Processing of Tensor Fields" provides researchers an inspirational look at how to process and visualize complicated 2D and 3D images known as tensor fields. Tensor fields are the natural representation for many physical quantities; they can describe how water moves around in the brain, how gravity varies around the earth, or how materials are stressed and deformed. With its numerous color figures, this book helps the reader understand both the underlying mathematics and the applications of tensor fields. The reader also will learn about the most recent research topics and open research questions.
Toward an Integrated Competence-Based System Supporting Lifelong Learning and Employability: Concepts, Model, and Challenges
Authors: Yongwu Miao, Marcel Klink, Jo Boon, Peter Sloep, Rob Koper
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Efficient and effective lifelong learning requires that people can make informed decisions about their continuous personal development in the different stages of their life. In this paper we state that lifelong learners need to be characterized as decision-makers. In order to improve the quality of their decisions, we propose the development of an integrated lifelong learning and employment support system, which traces learners' competence development and provides a decision support environment. An abstract conceptual model has been developed and the main design ideas have been documented using Z notation. Moreover, we analyzed the main technical challenges for the realization of the target system: competence information fusion, decision analysis models, spatial indexing structures and browsing structures and visualization of competence-related information objects.