ppxscal/embedding_network huggingface dataset:
Visual passwords: cure-all or snake-oil?
Authors: Karen Renaud, Antonella De Angeli
Venue: Communications of the ACM (2009)

Introduction Users of computer systems are accustomed to being asked for passwords -- it is as universal as it is frustrating. In the past there was little tolerance for the problems experienced remembering passwords, and many users still remember, with embarrassment, having to go hat-in-hand to request a password change and being treated with disdain by a lofty administrator. Latterly there is more understanding of the problems experienced by users, especially since the "password conundrum" has reached epidemic proportions for Web users, who are asked for passwords with unrelenting predictability. The problems with passwords are clear -- users cannot remember numbers of meaningless alphanumeric strings with ease. Hence, they react by choosing simple and predictable words or numbers related to their everyday life, and engaging in insecure practices, such as writing passwords down or sharing them. These practices cause a breach affecting even the most secure and protected network system. Hence the user is often called the weakest link of the security chain, with system administrators despairing of trying to maintain security with the weak link so often reaching breaking point. Users forgetting passwords has serious economical consequences for organizations. Both academia and industry have been investigating alternatives to passwords, with varying degrees of success. One of the most well-known solutions is the biometric -- measurement of either behavioral or physiological characteristics of the end-user. This is obviously superior to the password because it removes the burden on the user's memory. So why don't we just switch to biometrics and give the poor user a break? There are some valid and hard-to-overcome reasons for the slow uptake of biometrics, but before we can discuss them we need to consider the mechanics of authentication.
Application of the Wavelet-SOFM Network in Roll Bearing Defect Diagnosis
Authors: Wei He, Xiang Zhou
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

The roll bearing is a main driving device in the modern rotational machine equipments at the present time. In many cases, the accuracy of the instruments and devices used to monitor and control the system is highly dependent on the dynamic performance of the roll bearings. In this paper, A novel method of pattern recognition and fault diagnosis in roll bearing based on the wavelet-neural network is proposed according to the frequency spectrum characteristics of vibration signal. This paper presents an approach for roll bearing fault diagnosis using neural networks and time/frequency-domain bearing vibration analysis. Vibration simulation is used to assist in the design of various roll bearing fault diagnosis. The simulation testing results obtained indicate that neural networks can be effective agents in the diagnosis of various bearing faults through the measurement and interpretation of bearing vibration signal.
A Formalisation of Smallfoot in HOL
Authors: Thomas Tuerk
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abstract Separation Logic. It contains a model of an abstract, imperative programming language as well as an abstract specification logic for this language. While the formalisation mainly follows the original definition of Abstract Separation Logic, it contains some additional features. Most noticeably is added support for procedures.As a case study, the framework is instantiated to build a tool that is able to parse Smallfoot specifications and verify most of them completely automatically. In contrast to Smallfoot this instantiation can handle the content of data-structures as well as their shape. This enables it to verify fully functional specifications. Some noteworthy examples that have been verified are parallel mergesort and an interactive filter-function for single linked lists. 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
Research of Service Oriented Spatial Information Grid Technology
Authors: Luo XianGang, Peng Jing, Xie Zhong, Wang XiaoPing
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

With the spatial information’s continuous expansion and increased popularity, the amount of the spatial information grow explosively, and the current services have not meet the needs of accessing to and processing spatial information. This thesis starts with the grid technology, doing researches to services oriented spatial information grid technology, focusing on the basic model and security of grid, and researching on the spatial information grid which has the capacity of on-demand services, as well as can integrated organize and coordination process massive of distributed spatial information resources. At last, this thesis proposes a spatial information service architecture design model based on the environment of grid, and has carried on the preliminary discussion to the grid spatial information service, as well as has implemented a simple grid services model.
Ontology-Based Exchange and Immediate Application of Business Calculation Definitions for Online Analytical Processing
Authors: Matthias Kehlenbeck, Michael H. Breitner
Venue: Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery (2009)

Business users define calculated facts based on the dimensions and facts contained in a data warehouse. These business calculation definitions contain necessary knowledge regarding quantitative relations for deep analyses and for the production of meaningful reports. The business calculation definitions are implementation and widely organization independent. But no automated procedures facilitating their exchange across organization and implementation boundaries exist. Separately each organization currently has to map its own business calculations to analysis and reporting tools. This paper presents an innovative approach based on standard Semantic Web technologies. This approach facilitates the exchange of business calculation definitions and allows for their automatic linking to specific data warehouses through semantic reasoning. A novel standard proxy server which enables the immediate application of exchanged definitions is introduced. Benefits of the approach are shown in a comprehensive case study.
A Scalable Content-based Image Retrieval Scheme Using Locality-sensitive Hashing
Authors: Wang Weihong, Wang Song
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

To develop a fast solution for indexing high-dimensional image contents, which is crucial to building large-scale CBIR systems, is one key challenge in content-based image retrieval (CBIR). In this paper, we propose a scalable content-based image retrieval scheme using locality-sensitive hashing (LSH), and conduct extensive evaluations on a large image test-bed of a half million images. To the best of our knowledge, there is less comprehensive study on large-scale CBIR evaluation with a half million images. Our empirical results show that our proposed solution is able to scale for hundreds of thousands of images, which is promising for building web-scale CBIR systems.
Simultaneous identification of biomedical named-entity and functional relations using statistical parsing techniques
Authors: Zhongmin Shi, Anoop Sarkar, Fred Popowich
Venue: Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers on XX (2007)

In this paper we propose a statistical parsing technique that simultaneously identifies biomedical named-entities (NEs) and extracts subcellular localization relations for bacterial proteins from the text in MEDLINE articles. We build a parser that derives both syntactic and domain-dependent semantic information and achieves an F-score of 48.4% for the relation extraction task. We then propose a semi-supervised approach that incorporates noisy automatically labeled data to improve the F-score of our parser to 83.2%. Our key contributions are: learning from noisy data, and building an annotated corpus that can benefit relation extraction research.
Refactoring Feature Modules
Authors: Martin Kuhlemann, Don Batory, Sven Apel
Venue: Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering (2009)

In feature-oriented programming, a feature is an increment in program functionality and is implemented by a feature module. Programs are generated by composing feature modules. A generated program may be used by other client programs but occasionally must be transformed to match a particular legacy interface before it can be used. We call the mismatch of the interface of a generated program and a client-desired interface an incompatibility. We introduce the notion of refactoring feature modules (RFMs) that extend feature modules with refactorings. We explain how RFMs reduce incompatibilities and facilitate reuse, and report our experiences on five case studies.
Algorithms for user interfaces
Authors: Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob Smith
Venue: Proceedings of the eighth international conference on Generative programming and component engineering (2009)

User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by user interface elements, conditionally enabled controls, and script record-ability and playback against different documents. A significant fraction of the application programming effort is devoted to implementing such functionality, and the resulting code is typically not reusable. This paper extends our "property models" approach to programming user interfaces. Property models allow a large part of the functionality of a user interface to be implemented in reusable libraries, reducing application specific code to a set of declarative rules. We describe how, as a by-product of computations that maintain the values of user interface elements, property models obtain accurate information of the currently active dependencies among those elements. This information enables further expanding the class of user interface functionality that we can encode as generic algorithms. In particular, we describe automating the decisions for the enablement of user interface widgets and activation of command widgets. Failing to disable or deactivate widgets correctly is a common source of user-interface defects, which our approach largely removes. We report on the increased reuse, reduced defect rates, and improved user interface design turnarounds in a commercial software development effort as a result of adopting our approach.
BBUFs: A New Lookup Mechanism Based on IPV6
Authors: Dan Cojocar
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

BBUFs (Babes Bolyai University File System) is a peer to peer distributed file system with a new lookup mechanism. The file system is designed for ordinary Unix machines that are IPv6 capable. In this paper we propose a new lookup mechanism based on IPv6, and its newly defined addressing scheme called "anycast address". The advantages and disadvantages of this approach are also discussed. 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
Reseach of Driving Control System of a Felling and Bunching Robot
Authors: Huaimin Lu, Xiuli Guo, Xiurong Guo, Zhiqiang Zhao
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In order to improve the efficiency of felling trees and ensure the safety of felling worker, a robot which can fell and bunch is developed. This robot adopts SDWY-60 caterpillar excavator as a walking mechanism and equips a manipulator with 6 degrees of freedom and a RBF neural network controller, which can be operated by hand or automation. The main technical parameters of the robot are as follows: the operating range is 4~10.5m，the breast diameter of the standing tree is 16~30cm. The practical test shows that the RBF neural network controller based on Kalman filtering researched in this paper can control the manipulator to fell and bunch accurately. It not only can work safely and reliably, but also can greatly improve the work efficiency, which is about 8~10 times than that of manual felling and bunching.
Combining Contour Based Orientation and Curvature Features for Writer Recognition
Authors: Imran Siddiqi, Nicole Vincent
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

This paper presents an effective method for writer recognition in handwritten documents. We have introduced a set of features that are extracted from two different representations of the contours of handwritten images. These features mainly capture the orientation and curvature information at different levels of observation, first from the chain code sequence of the contours and then from a set of polygons approximating these contours. Two writings are then compared by computing the distances between their respective features. The system trained and tested on a data set of 650 writers exhibited promising results on writer identification and verification.
The anterior n1 component as an index of modality shifting
Authors: Thomas Töllner, Klaus Gramann, Hermann J. Müller, Martin Eimer
Venue: Journal of Cognitive Neuroscience (2009)

Processing of a given target is facilitated when it is defined within the same (e.g., visual-visual), compared to a different (e.g., tactile-visual), perceptual modality as on the previous trial [Spence, C., Nicholls, M., & Driver, J. The cost of expecting events in the wrong sensory modality. Perception & Psychophysics,63, 330-336, 2001]. The present study was designed to identify electrocortical (EEG) correlates underlying this "modality shift effect." Participants had to discriminate (via foot pedal responses) the modality of the target stimulus, visual versus tactile (Experiment 1), or respond based on the target-defining features (Experiment 2). Thus, modality changes were associated with response changes in Experiment 1, but dissociated in Experiment 2. Both experiments confirmed previous behavioral findings with slower discrimination times for modality change, relative to repetition, trials. Independently of the target-defining modality, spatial stimulus characteristics, and the motor response, this effect was mirrored by enhanced amplitudes of the anterior N1 component. These findings are explained in terms of a generalized "modality-weighting" account, which extends the "dimension-weighting" account proposed by Found and Müller [Searching for unknown feature targets on more than one dimension: Investigating a "dimension-weighting" account. Perception & Psychophysics,58, 88-101, 1996] for the visual modality. On this account, the anterior N1 enhancement is assumed to reflect the detection of a modality change and initiation of the readjustment of attentional weight-setting from the old to the new target-defining modality in order to optimize target detection.
On Color Texture Generating Based on Simplified KIII Model
Authors: Chen Jian-zhou, Zhang Jin, Fang Chen, Zhao Li-juan, Hans Liljenstrom
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

KIII model is an olfactory neural networks bionic model proposed by Walter J. Freeman. Its architecture simulates that of olfactory neural system, which is different from other artificial neural networks. Through simplifying KIII model, a color texture generating algorithm is proposed combining with RGB. In RGB space, the tricolor of each pixel (red, green and blue) is used as the model input and the model output is composed as the tricolor of corresponding pixel in generated texture image. Experimental results show that simplified KIII model can generate beautiful color texture images.
A Simple Method of Radial Distortion Correction with Centre of Distortion Estimation
Authors: Aiqi Wang, Tianshuang Qiu, Longtan Shao
Venue: Journal of Mathematical Imaging and Vision (2009)

This paper presents a new simple method to determine the distortion function of camera systems suffering from radial lens distortion. Neither information about the intrinsic camera parameters nor 3D-point correspondences are required. It is based on single image and uses the constraint, that straight lines in the 3D world project to circular arcs in the image plane, under the single parameter Division Model. Most of former approaches to correct the radial distortion are based on the collinearity of undistorted points. The proposed method in this paper, however, is based on the conclusion that distorted points are concyclic and uses directly the distorted points not undistorted points, therefore it should be more robust. It also computes the centre of radial distortion, which is important in obtaining optimal results. The results of experimental measurements on synthetic and real data are presented and discussed.
Python/C API Manual - PYTHON 2.6: Python documentation MANUAL Part 4
Authors: Guido van Rossum, Fred L. Drake
Venue:  (2009)

Python/C API Manual - PYTHON 2.6 (Python documentation MANUAL Part 4). This is a printed edition of the official Python documentation from the PYTHON 2.6.1 distribution. For each copy sold $1 will be donated to the PYTHON SOFTWARE FOUNDATION by the publisher. This book is part of a six-part series of PYTHON 2.6 documentation. Searching for "Python Documentation Manual" will show all six available books as well as the series of Python 3.0 documentation books. THE AUTHOR Guido van Rossum, is the inventor of Python. Fred L. Drake, Jr. is the official editor of the Python documentation.
Research on Multi-objective Parameter Optimization Based on the Experimental Design and ANN-GA in the Digital Environment
Authors: Tianzhong Sui, Lei Wang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Aiming at the multi-objective parameter optimization problem of black box system in the digital design/simulation environment, a multi-objective parameter optimization model based on the orthogonal design/uniform design and Artificial Neural Network- Genetic Algorithms ANN-GA is established. In this method, the principle of experimental design is used to arrange a test or virtual test project. The data modifying and data collecting in the virtual test are accomplished applying the characteristic of parameterization in the environment of digital simulation. At last, the neural network and Pareto genetic algorithm are adopted to optimize multi-objective parameters. A Pareto-optimal set of digital model can be found in specified region.
Using the web to disambiguate acronyms
Authors: Eiichiro Sumita, Fumiaki Sugaya
Venue: Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Short Papers on XX (2006)

This paper proposes an automatic method for disambiguating an acronym with multiple definitions, considering the context surrounding the acronym. First, the method obtains the Web pages that include both the acronym and its definitions. Second, the method feeds them to the machine learner. Cross-validation tests results indicate that the current accuracy of obtaining the appropriate definition for an acronym is around 92% for two ambiguous definitions and around 86% for five ambiguous definitions.
Accessing e-Learning Systems via Screen Reader: An Example
Authors: Maria Claudia Buzzi, Marina Buzzi, Barbara Leporini
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

The evolution of the Information and Communication Technology (ICT) and the rapid growth of the Internet have impelled the pervasive diffusion of e-Learning systems. This is a great opportunity for visually-disabled people provided that both the interactive environment, created by the Learning Management Systems, and the Learning Objects, created by teachers, are properly designed and delivered. In this paper we investigate interaction of the blind user with an open source Virtual Learning Environment (Moodle) and discuss how the use of the W3C Accessible Rich Internet Applications (ARIA) suite may improve the experience of navigation via screen reader.
Collabio: a game for annotating people within social networks
Authors: Michael Bernstein, Desney Tan, Greg Smith, Mary Czerwinski, Eric Horvitz
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

We present Collabio, a social tagging game within an online social network that encourages friends to tag one another. Collabio's approach of incentivizing members of the social network to generate information about each other produces personalizing information about its users. We report usage log analysis, survey data, and a rating exercise demonstrating that Collabio tags are accurate and augment information that could have been scraped online.
Research on According Calculation of Hydraulic Resistance Coefficients for Recoil Brake of Gun Based on Improved Genetic Algorithm
Authors: Xiaodong Zhang, Peilin Zhang, Jianping Fu, Cheng Wang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Analyzing the reason why the working chamber pressure and interior chamber pressure have a large error between the traditional calculating result and the firing test result. Propose an indirect calculating method for the chamber pressure of recoil brake. According recoiling displacement of firing test, correct the hydraulic resistance coefficient that influence the inner pressure of recoil brake greatly through improved genetic algorithm based on self- adaptive operators. By the modified resistance coefficient, match the calculating result to the test. The calculating result of an example proves that the method can efficiently reduce the error and be more accurate. Furthermore, provide the important references to the structure improvement and the research on turbulence flow field of recoil brake.
Generating approximate geographic descriptions
Authors: Ross Turner, Yaji Sripada, Ehud Reiter
Venue: Proceedings of the 12th European Workshop on Natural Language Generation (2009)

Georeferenced data sets are often large and complex. Natural Language Generation (NLG) systems are beginning to emerge that generate texts from such data. One of the challenges these systems face is the generation of geographic descriptions referring to the location of events or patterns in the data. Based on our studies in the domain of meteorology we present a two staged approach to generating geographic descriptions. The first stage involves using domain knowledge based on the task context to select a frame of reference, and the second involves using constraints imposed by the end user to select values within a frame of reference. Because geographic concepts are inherently vague our approach does not guarantee a distinguishing description. Our evaluation studies show that NLG systems, because they can analyse input data exhaustively, can produce more fine-grained geographic descriptions that are more useful to end users than those generated by human experts.