ppxscal/embedding_network huggingface dataset:
Conceptual Research on Application of Single Pixel Infrared Imaging to Missile Guidance
Authors: Fu Wenxing, Zhu Supeng, Zhang Kai
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

In the full paper, we apply the single pixel imaging to thegeneration of infrared images to obtain some pertinent information on missile guidance. We point out that the high-resolution of single pixel imaging can accomplish multi-spectral imaging and has remarkable effect on improving the imaging effects of the seeker and resisting its infrared decoy and background interference because of its obvious advantages over the focal plane array imaging in terms of costs of imaging. We also use the pseudo-random code optimization algorithm to drastically reduce the times of DMD deflection and to achieve the imaging of100 frames per second by reducing the size of tracking window.We conclude that it is feasible to apply the single pixel imaging to missile guidance.
Improving Personal Tagging Consistency through Visualization of Tag Relevancy
Authors: Qin Gao, Yusen Dai, Kai Fu
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

Tagging has emerged as a new means of organizing information, but the inconsistency in tagging behaviors of users is a major drawback which degrades both information organization and retrieval performance. The current study aims to study how the intra-personal consistency of tagging can be improved by proper tag visualization. The effects of visualization of tag frequency and visualization of the relevancy among tags on personal tagging consistency are empirically tested and compared through an experiment with 39 participants. The results show that visualization of tag relevancy improves tagging consistency significantly and reduces mental workload simultaneously; visualization of tag frequency may alleviate perceived physical demand when tag relevancy is visualized. The findings provide clear and meaningful implications for system designers.
A DNA Algorithm of Graph Vertex Coloring Problem Based on Multi-Separation
Authors: Li Wang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

In order to deduce operating steps and improve efficient to solve the problems, multi-separation techniques was proposed;a multi-separation model was designed, too. Based on the vast parallelism of sticker model, the problem was solved by using the idea of transforming the problem into satisfiability problem. The multi-separation techniques were implied to solve the graph vertex-coloring problem. The operation steps were given through an instance. And the final coloring schemes were gotten. Consequently, the feasibility of the algorithm and the validity of multi-separation techniques were proved.
Two Community Network Generation Algorithms
Authors: Xiao-Dong Duan, Cun-Rui Wang, Zhi-Jie Li, Sheng-Jie Shi
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

Abstract—Community network discovery algorithm requires many different community network data to evaluate the algorithm performance. The data sets currently we use are from the reality. During the experiment, these data sets require a large number of pre-work, but the range of their parameters is relatively limited. This paper presents two random community network generation algorithms. They can respectively generate uniform community network and non-uniform community network. At the same time, this paper builds a visible platform. Our experiment results show that the algorithms for generating random community network are feasible and can be used as test data sets generation to test community discovery algorithm.
Research on One New Optimized Algorithm of Headlight Distribution Characteristics
Authors: Weiwei Liu, Ping'an Mu, Gang Wang, Lin Wang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

This paper, aiming at demands on automobile headlight distribution characteristics, proposed one new optimized algorithm of headlight distribution characteristics. This kind of algorithm has not only fast speed, strong stability, but also has an ability of accurately tracking, realizing the function of detecting headlight distribution characteristics.
Synthetic Aperture Ultrasonic Imaging in Pipeline Inspection
Authors: Yinghua Du, Shijiu Jin
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

An ultrasonic scanning system is built for pipeline inspection, using SAFT (Synthetic Aperture Focusing Technology) imaging method. The SAFT imaging technology is investigated. The simulation is done by MATLAB to decide the key parameters. Most system design is accomplished by FPGA, and the parallel processing method is employed to accelerate the image reconstruction time.
Relay race of practice: integrating technological tools into teaching and learning scenarios
Authors: Tammy Eisenmann, Baruch B. Schwarz, Reuma De Groot
Venue: Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1 (2009)

Even though integrating technological tools into teaching and learning scenarios is an agreed upon goal it is still far from being fully implemented. This study examines a process of integration of a technological tool, to which a group of teachers participated. The technological tool was developed to enhance dialogism and argumentation, in one Grade 9 class. The question we focused on concerns whether the technological tool used by each teacher for a specific subject matter became integrated in teaching and learning practice across disciplines. Data included 22 discussion maps in five activities by different teachers. The analysis focuses on two dimensions of use of the technological tool: its form and its function. The findings show a process of appropriation of the technological tool could be detected along the five activities. This appropriation could be seen through the increase of arguments and challenges, the growing reference to each other's ideas, and capitalization of previous arguments in follow-up arguments. The results of this study stress the importance of the participation of teachers in the same teacher training and shows that appropriation of norms afforded by a tool are instigated by their participation in two activity systems stimulated by the same technological tool.
On a New Measure of Classifier Competence Applied to the Design of Multiclassifier Systems
Authors: Tomasz Woloszynski, Marek Kurzynski
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

This paper presents a new method for calculating competence of a classifier in the feature space. The idea is based on relating the response of the classifier with the response obtained by a random guessing. The measure of competence reflects this relation and rates the classifier with respect to the random guessing in a continuous manner. Two multiclassifier systems representing fusion and selection strategies were developed using proposed measure of competence. The performance of multiclassifiers was evaluated using five benchmark databases from the UCI Machine Learning Repository and Ludmila Kuncheva Collection. Classification results obtained for three simple fusion methods and one multiclassifier system with selection strategy were used for a comparison. The experimental results showed that, regardless of the strategy used by the multiclassifier system, the classification accuracy has increased when the measure of competence was employed. The improvement was most significant for simple fusion methods (sum, product and majority vote). For all databases, two developed multiclassifier systems produced the best classification scores.
Different-Strategy Management of Malicious Nodes in the Peer-to-Peer Network
Authors: Muyong Cai, Xiangming Wen, Wei Zheng, Yinbo Cheng, Yong Sun
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

The Peer-to-Peer network has been widely used to share large files anonymously. Because of its open nature, nodes can join and leave Peer-to-Peer networks freely. But there are few limited methods to ensure their trust. Malicious nodes can expose great security threats to Peer-to-Peer networks such as spreading inauthentic data and viruses. But handling all the malicious nodes in the same way causes wastes of the network. In this paper, we first introduce the existing ways of handling malicious nodes in the Peer-to-Peer network and then present a better approach dealing with malicious nodes which has a better performance than before.
Design and Application of Support Vector Regression Algorithm Based on Ant Colony Optimization
Authors: Han Zhen-yu, Lian Ming, Fu Hong-ya
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

A new data fitting algorithm based on ant colony optimization (ACO) and support vector regression (SVR) is proposed. Ant colony algorithm optimizes three parameters of SVR, including penalty parameter C, insensitive loss function ε and kernel function σ. SVR constructs hyperplane in high dimension space and fits the data in non-linear form. Mean square error of fitting result is used as target of ant colony optimization. ACO finds the best parameters which correspond to the least mean square error. Then, build error compensation scale according to the prediction result, store the scale in motion control card and compensate error in real time. At last, compared ACO-SVR fitting algorithm with polynomial fitting and cubic spline fitting, the results showed that peak-peak value after ACO-SVR compensation was improved from 12.1″ to 2.3″, which was superior to polynomial fitting (4.95″) and cubic spline fitting (2.85″). The ACO-SVR compensation algorithm was proved availability and it was used to compensate shafting system of simulator table successfully.
Performance optimization of object comparison
Authors: Axel Hallez, Guy De Tré, Antoon Bronselaer
Venue: International Journal of Intelligent Systems (2009)

Comparing objects can be considered as a hierarchical process. Separate aspects of objects are compared to each other, and the results of these comparisons are combined into a single result in one or more steps by aggregation operators. The set of operators used to compare the objects and the way these operators are related with each other is called the comparison scheme. If a threshold is applied to the final result of the object comparison, the mathematical properties of the operators in the comparison scheme can be used to derive thresholds on the intermediate results. These derived threshold can be used to break of a comparison early, thus offering a reduction of the comparison cost. Using this information, we show that the order in which the operators are evaluated has an influence on the average cost of comparing two objects. Next, we proceed with a study of the properties that allow us to find an optimal order, such that this average cost is minimized. Finally, we provide an algorithm that calculates an optimal order efficiently. Although specifically developed for object comparison, the algorithm can be applied to all kinds of selection processes that involve the combination of several test results. &copy; 2009 Wiley Periodicals, Inc.
Some multistability properties of bidirectional associative memory recurrent neural networks with unsaturating piecewise linear transfer functions
Authors: Lei Zhang, Zhang Yi, Jiali Yu, Pheng Ann Heng
Venue: Neurocomputing (2009)

Multistability is an important dynamical property in neural networks in order to enable certain applications where monostable networks could be computationally restrictive. This paper studies some multistability properties for a class of bidirectional associative memory recurrent neural networks with unsaturating piecewise linear transfer functions. Based on local inhibition, conditions for globally exponential attractivity are established. These conditions allow coexistence of stable and unstable equilibrium points. By constructing some energy-like functions, complete convergence is studied.
Dynamic Score Combination: A Supervised and Unsupervised Score Combination Method
Authors: Roberto Tronci, Giorgio Giacinto, Fabio Roli
Venue: Proceedings of the 6th International Conference on Machine Learning and Data Mining in Pattern Recognition (2009)

In two-class score-based problems the combination of scores from an ensemble of experts is generally used to obtain distributions for positive and negative patterns that exhibit a larger degree of separation than those of the scores to be combined. Typically, combination is carried out by a "static" linear combination of scores, where the weights are computed by maximising a performance function. These weights are equal for all the patterns, as they are assigned to each of the expert to be combined. In this paper we propose a "dynamic" formulation where the weights are computed individually for each pattern. Reported results on a biometric dataset show the effectiveness of the proposed combination methodology with respect to "static" linear combinations and trained combination rules.
Reverse revision and linear tree combination for dependency parsing
Authors: Giuseppe Attardi, Felice Dell'Orletta
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

Deterministic transition-based Shift/Reduce dependency parsers make often mistakes in the analysis of long span dependencies (McDonald & Nivre, 2007).
Systems with priorities: Conformance, testing, and composition
Authors: I. B. Bourdonov, A. S. Kossatchev
Venue: Programming and Computing Software (2009)

An approach to modeling the components of distributed systems whose interaction is based on handling events with regard for their priorities is considered. Although the priority-based servicing of requests or messages is widely used in practice, the mathematical models of the interaction of such programs often neglect the priorities thus introducing extra nondeterminism in the description of their behavior. The proposed approach attempts to avoid this drawback by defining the parallel composition that provides a model for the interaction of this kind. The subject matter of this paper is the development of a formal theory of testing the components that use priorities. Within this theory, the concept of a safe execution of the model and the conformance relation between the models are introduced, and the generation of test suites that check conformity is considered.
xUDDI: A Framework for UDDI Registry Based on pureXML
Authors: Ruiming Li, Nianlong Luo
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

In this paper, we propose a framework for UDDI registry based on pureXML technology. It uses XML database in place of relational database as the infrastructure and provides the same interfaces that compliant with UDDI v2 specification. With the help of pureXML, we can directly store XML data in database, preserve the original data structure, cut the heavy work in converting xml data, shredding data to relational tables and indexing. Moreover, we provide extended authentication and classification mechanism that most suitable for organizations with tree structure. It can be used by businesses and organizations as a private UDDI for web service organizing. And the development methodology has prevalent meaning of guidance in information system development.
Measuring Support for Health in Offshore Environments
Authors: Kathryn Mearns, Tom Reader
Venue: Proceedings of the International Conference on Ergonomics and Health Aspects of Work with Computers: Held as Part of HCI International 2009 (2009)

Health and safety are often discussed in the same breath but the relationships between them are not clearly articulated. The current study was conducted in the UK offshore oil and gas industry --- a physically and mentally challenging work environment - where the well-being of personnel is important for their performance. This paper will describe the development of scales for measuring support for health offshore and report the results obtained from a sample of 703 workers from 18 installations regarding the relationship between perceived support for health and health and organizational outcome measures.
Measurements and Concepts of Usability and User Experience: Differences between Industry and Academia
Authors: Anja B. Naumann, Ina Wechsung, Robert Schleicher
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Usability and User experience are two central terms in the discipline of Human-Computer Interaction (HCI). The relevant literature provides a wide range of definitions and measuring methods for both concepts. This paper presents results of a survey asking usability researchers and practitioners about their views and practice on Usability and User Experience aiming to investigate the current state of the art regarding both concepts.
Parsing three German treebanks: lexicalized and unlexicalized baselines
Authors: Anna N. Rafferty, Christopher D. Manning
Venue: Proceedings of the Workshop on Parsing German (2008)

Previous work on German parsing has provided confusing and conflicting results concerning the difficulty of the task and whether techniques that are useful for English, such as lexicalization, are effective for German. This paper aims to provide some understanding and solid baseline numbers for the task. We examine the performance of three techniques on three treebanks (Negra, Tiger, and T&uuml;Ba-D/Z): (i) Markovization, (ii) lexicalization, and (iii) state splitting. We additionally explore parsing with the inclusion of grammatical function information. Explicit grammatical functions are important to German language understanding, but they are numerous, and na&iuml;vely incorporating them into a parser which assumes a small phrasal category inventory causes large performance reductions due to increasing sparsity.
Mechanism design for single-value domains
Authors: Moshe Babaioff, Ron Lavi, Elan Pavlov
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

In "Single-Value domains", each agent has the same private value for all desired outcomes. We formalize this notion and give new examples for such domains. including a "SAT domain" and a "single-value combinatorial auctions" domain. We study two informational models: where the set of desired outcomes is public information (the "known" case). and where it is private information (the "unknown" case). Under the "known" assumption, we present several truthful approximation mechanisms. Additionally, we suggest a general technique to convert any bitonic approximation algorithm for an unweighted domain (where agent values are either zero or one) to a truthful mechanism, with only a small approximation loss. In contrast, we show that even positive results from the "unknown single minded combinatorial auctions" literature fail to extend to the "unknown" single-value case. We give a characterization of truthfulness in this case, demonstrating that the difference is subtle and surprising.
Learning bilingual linguistic reordering model for statistical machine translation
Authors: Han-Bin Chen, Jian-Cheng Wu, Jason S. Chang
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

In this paper, we propose a method for learning reordering model for BTG-based statistical machine translation (SMT). The model focuses on linguistic features from bilingual phrases. Our method involves extracting reordering examples as well as features such as part-of-speech and word class from aligned parallel sentences. The features are classified with special considerations of phrase lengths. We then use these features to train the maximum entropy (ME) reordering model. With the model, we performed Chinese-to-English translation tasks. Experimental results show that our bilingual linguistic model outperforms the state-of-the-art phrase-based and BTG-based SMT systems by improvements of 2.41 and 1.31 BLEU points respectively.
Range-Free Localization Using Expected Hop Progress in Wireless Sensor Networks
Authors: Yun Wang, Xiaodong Wang, Demin Wang, Dharma P. Agrawal
Venue: IEEE Transactions on Parallel and Distributed Systems (2009)

Localization algorithm continues to be an important and challenging topic in today's wireless sensor networks (WSNs). In this paper, a novel range-free localization algorithm using expected hop progress (LAEP) to predict the location of any sensor in a WSN is proposed. This algorithm is based on an accurate analysis of hop progress in a WSN with randomly deployed sensors and arbitrary node density. By deriving the expected hop progress from a network model for WSNs in terms of network parameters, the distance between any pair of sensors can be accurately computed. Since the distance estimation is a key issue in localization systems for WSNs, the proposed range-free LAEP achieves better performance and less communication overhead as compared to some existent schemes like DV-Hop and RAW. In addition, we study the effect of anchor placement on the algorithm performance by deriving the corresponding mean position error range. Extensive simulations are performed and the results are observed to be in good agreement with the theoretical analysis.
HITIQA: a data driven approach to interactive analytical question answering
Authors: Sharon Small, Tomek Strzalkowski
Venue: Proceedings of HLT-NAACL 2004: Short Papers on XX (2004)

In this paper we describe the analytic question answering system HITIQA (High-Quality Interactive Question Answering) which has been developed over the last 2 years as an advanced research tool for information analysts. HITIQA is an interactive open-domain question answering technology designed to allow analysts to pose complex exploratory questions in natural language and obtain relevant information units to prepare their briefing reports. The system uses novel data-driven semantics to conduct a clarification dialogue with the user that explores the scope and the context of the desired answer space. The system has undergone extensive hands-on evaluations by a group of intelligence analysts representing various foreign intelligence services. This evaluation validated the overall approach in HITIQA but also exposed limitations of the current prototype.
System Consequence
Authors: Robert E. Kent
Venue: Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies (2009)

This paper discusses system consequence, a central idea in the project to lift the theory of information flow to the abstract level of universal logic and the theory of institutions. The theory of information flow is a theory of distributed logic. The theory of institutions is abstract model theory. A system is a collection of interconnected parts, where the whole may have properties that cannot be known from an analysis of the constituent parts in isolation. In an information system, the parts represent information resources and the interconnections represent constraints between the parts. System consequence, which is the extension of the consequence operator from theories to systems, models the available regularities represented by an information system as a whole. System consequence (without part-to-part constraints) is defined for a specific logical system (institution) in the theory of information flow. This paper generalizes the idea of system consequence to arbitrary logical systems.