ppxscal/embedding_network huggingface dataset:
Study on Signal Processing of FMCW Ground Penetrating Radar
Authors: Huaqing Liang, Zhiqiang He
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In this paper, a frequency-modulated-continuous-wave (FMCW) ground penetrating radar (GPR) is developed and used to measure the thickness of concrete/asphalt layers of highways/airports. If the thickness of the layer is thin, measurement may be impossible using traditional DFT method since the frequencies of reflected waves are very close and the week waves reflected from underground layers will be “submerged” by the strong one reflected from the pavement surface. An adaptive filtering method is presented to eliminate the strong wave reflected from the pavement surface and thus the week waves reflected from the underground layer surfaces can be detected. Then the modified frequency estimation method is proposed to enhance the frequency estimation precision of FMCW GPR signal. Simulation experiment results have demonstrated the effectiveness of the proposed method.
Automated Inference of Finite Unsatisfiability
Authors: Koen Claessen, Ann Lillieström
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

We present Infinox, an automated tool for analyzing first-order logic problems, aimed at showing finite unsatisfiability, i.e. the absence of models with finite domains. Finite satisfiability is a semi-decidable problem, which means that such a tool can never be complete. Nevertheless, our hope is that Infinox be a complement to finite model finders in practice. The implementation consists of several different proof techniques for showing infinity of a set, each of which requires the identification of a function or a relation with particular properties. Infinox enumerates candidates to such functions and relations, and subsequently uses an automated theorem prover as a sub-procedure to try to prove the resulting proof obligations. We have evaluated Infinox on the relevant problems from the TPTP benchmark suite, with very promising results.
Non-discriminating Arguments and Their Uses
Authors: Henning Christiansen, John P. Gallagher
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

We present a technique for identifying predicate arguments that play no role in determining the control flow of a logic program with respect to goals satisfying given mode and sharing restrictions. We call such arguments non-discriminating arguments. We show that such arguments can be detected by an automatic analysis. Following this, we define a transformation procedure, called discriminator slicing, that removes the non-discriminating arguments, resulting in a program whose computation trees are isomorphic to those of the original program. Finally, we show how the results of the original program can be reconstructed from trace of the transformed program with the original arguments. Thus the overall result is a two-stage execution of a program, which can be applied usefully in several contexts; we describe a case study in optimising computations in the probabilistic logic program language PRISM, and discuss applications in tabling and partial evaluation. We also discuss briefly other possible ways of exploiting the non-discriminating arguments.
An Automated Visual Inspection System for Foreign Fiber Detection in Lint
Authors: Wenzhu Yang, Daoliang Li, Xinhua Wei, Yuguo Kang, Futang Li
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

This paper presents an automated visual inspection system for the detection of foreign fibers in lint. The system mainly includes six parts, namely Input Conveyer, Lint Layer Generator, Output Roller, Image Acquisition System, Host Computer and Lint Layer Collector. The lint for inspection is fed into the Lint layer Generator through the Input Conveyer, and then made into uniform thin layer. The generated lint layer are dragged out of the Generator and transferred to the inspection box where two cameras are served for imaging. Live images of lint with foreign fibers are captured by the Image Acquisition System and then processed in the Host Computer using inspection algorithm designed for detection of foreign fibers. The inspection algorithm contains four main steps, namely, image enhancement, segmentation, post-processing and decision-making. Dozens of carefully selected foreign fiber samples were used to test the performance of the automated visual inspection system. The results indicate that the proposed system can detect out most of the foreign fibers mixed in lint correctly.
Hagenberg Research, 1st edition
Authors: Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Wei, Wolfgang Windsteiger
Venue:  (2009)

This book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepark Hagenberg in Austria. Started in 1987, following a decision of the government of Upper Austria to create a scientific, technological, and economic impulse for the region and for the international community, Softwarepark Hagenberg has grown in size to over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs at the bachelors, masters and PhD levels. The overall goal of Softwarepark Hagenberg is economic stimulation through innovative software technologies. The contributions in this book provide an overview of current research in the field of software science and related areas pursued at the six research institutions of Softwarepark Hagenberg. The subjects addressed range from computational logic and mathematics to software science and applied technologies. The message of this book is that economic and scientific innovation can only be achieved by emphasizing basic and applied research.
Comparative Information Technology: Languages, Societies and the Internet, 1st edition
Authors: Joseph Zajda, Donna Gibbs
Venue: Globalisation, Comparative Education And Policy Research (2009)

This volume offers a critique of the nexus between ICT and its impact on society, individuals and educational institutions. One of the most significant dimensions of globalisation has been the rapid development of information and communications technologies (ICTs). Our lives have been changed by ICTs in numerous ways and the implications for education are enormous. The ICTs have transformed the linguistic, cognitive and visual dimensions of human communication, as well as our perceptions of the self, and social identity in the global culture. They have facilitated the development of new dimensions of digital literacy, such as blogging and sms messaging. In this sense, cyberlanguage continues to evolve by borrowing and adapting familiar words, coining new expressions, and embracing particular styles. The book provides directions in education and policy research, relevant to transformational educational reforms in the 21st century.
Approach to Human Centered Design Innovation by Utilized Paper Prototyping
Authors: Kazuhiko Yamazaki
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

The purpose of this study is to discover a design methodology for User Centered Design (UCD) Innovation. This paper focuses on paper prototype method for user evaluation and design. After proposing an approach to utilize paper prototype method, author proposed detail approach based on UCD process. In case study, author utilized this method for design education of design course on university. As a result, author received several innovative ideas from UCD view point.
Lower Bounds for the Determinantal Complexity of Explicit Low Degree Polynomials
Authors: Maurice Jansen
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

Asymptotically tight lower bounds are proven for the determinantal complexity of the elementary symmetric polynomial $S^{d}_n$ of degree d in n variables, 2d-fold iterated matrix multiplication of the form , and the symmetric power sum polynomial $\sum_{i=1}^n x_i^d$, for any constant d > 1.A restriction of determinantal computation is considered in which the underlying affine linear map must satisfy a rank lowerability property. In this model strongly nonlinear and exponential lower bounds are proven for several polynomial families. For example, for $S^{2d}_n$ it is proved that the determinantal complexity using so-called r-lowerable maps is ¿(n d/(2d ¿ r)), for constants d and r with 2 ≤ d + 1 ≤ r < 2d. In the most restrictive setting an $n^{\Omega(\epsilon n^{1/5-\epsilon})}$ lower bound is observed, for any ¿ ¿ (0, 1/5) and $d = \lfloor n^{1/5-\epsilon}\rfloor$.
CMOS-based near zero-offset multiple inputs max---min circuits and its applications
Authors: Pipat Prommee, Krit Angkeaw, Montri Somdunyakanok, Kobchai Dejhan
Venue: Analog Integrated Circuits and Signal Processing (2009)

CMOS-based near zero-offset multiple inputs maximum circuit and minimum circuits are proposed. The analog signal building blocks including shunt-feedback buffer, voltage-subtraction circuits and current mirrors are deployed for obtained the good performances. This achieved circuit is a simply scheme and able to work with low-power supplies. The input range is obtained around ±600 mV within ±1.5 V power supplies. Near zero-offset and low-output impedance are provided by proposed circuit. The delay of output is less than 5 ns for THD less than 1% and frequency response up to 500 MHz. Half-wave, full-wave rectifiers and 4 bits linear combination Digital-to-Analog Converter (DAC) are raised up to confirm the realistic applications. All performances including the DC-characteristic, frequency response, high-frequency wave output are simulated by PSpice.
Sprinkled Latent Semantic Indexing for Text Classification with Background Knowledge
Authors: Haiqin Yang, Irwin King
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

In text classification, one key problem is its inherent dichotomy of polysemy and synonym; the other problem is the insufficient usage of abundant useful, but unlabeled text documents. Targeting on solving these problems, we incorporate a sprinkling Latent Semantic Indexing (LSI) with background knowledge for text classification. The motivation comes from: 1) LSI is a popular technique for information retrieval and it also succeeds in text classification solving the problem of polysemy and synonym; 2) By fusing the sprinkling terms and unlabeled terms, our method not only considers the class relationship, but also explores the unlabeled information. Finally, experimental results on text documents demonstrate our proposed method benefits for improving the classification performance.
Peer activities on Web-learning platforms--Impact on collaborative writing and usability issues
Authors: Paolo Davoli, Matteo Monari, Kerstin Severinson Eklundh
Venue: Education and Information Technologies (2009)

The importance of groupware tools in e-learning practice is increasing, because of their educational relevance and of the importance of group abilities in today's job activities. The paper addresses some critical issues of asynchronous collaborative tools hosted in Web-learning platforms. A model to capture user quality perceptions for these tools is presented, and an investigation conducted in three case studies where e-learning platforms were used to share and comment on written works is reported in detail. Quantitative and qualitative data are used in a complementary way to capture the complexity of educational collaborative activities. The impact of technologies on work organization, writing and peer-feedback activities is discussed. Users dedicated more time to feedback activities than they would have in real-life contexts, and paid more attention to the style and content of their writing. Communication was more focused and honest than in real life (even though more distant and at the risk of misunderstanding), and its indirectness encouraged shy and impaired people. Usability problems emerged from platform design, educators' choices and server-side settings; Web-based systems seem to pose specific usability issues when users are required a strong active role; compatibility issues highlight the need for a closer Web standard compliance.
Proceedings of the Workshop on Integer Linear Programming for Natural Langauge Processing
Venue: ACL Workshops (2009)

We are pleased to present the proceedings of the Workshop on Integer Linear Programming for Natural Language Processing, held at NAACL HLT 2009 in Boulder, Colorado. Integer Linear Programming (ILP) has recently attracted much attention within the NLP community. Formulating problems using ILP has several advantages. It allows us to focus on the modelling of problems, rather than engineering new search algorithms; provides the opportunity to incorporate generic global constraints; and guarantees exact inference. This and the availability of off-the-shelf solvers has led to a large variety of natural language processing tasks being formulated in the ILP framework, including semantic role labelling, syntactic parsing, summarisation and joint information extraction. The use of ILP brings many benefits and opportunities but there are still challenges for the community; these include: formulations of new applications, dealing with large-scale problems and understanding the interaction between learning and inference at training and decision time. The purpose of this workshop was to bring together researchers interested in exploiting ILP for NLP applications and tackling the issues involved. We solicited full length papers, short papers and two-page abstracts with the purpose of providing a discussion on many topics.
The Application of Human Error Template (HET) for Redesigning Standard Operational Procedures in Aviation Operations
Authors: Wen-Chin Li, Don Harris, Yueh-Ling Hsu, Lon-Wen Li
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

Human Error Template (HET) is a checklist style approach to predict human errors in the cockpit for developing accident prevention strategies. It is applied to each bottom level task step in a hierarchical task analysis (HTA) of the task in question. This research applies the latest technique for human error prediction- Human Error Template to predict the potential design-induced human errors in the IDF during the landing phase of flight and provide a basis for improving software design and hardware equipment to enhance flight safety. In military operations emphasis is on the fulfillment of SOPs in an attempt to prevent incidents/accidents resulting from human factors. By the use of the scientific approach of HTA to evaluate current SOPs together with formal error analysis of the pilot's, interface design and procedures, the air force's combat effectiveness will be improved and a user-friendly cockpit interface can be developed.
Optical Axis Stabilization of a Two-axis Platform
Authors: Xia Mao, Yan Liu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

One method for stabilizing the pointing vector(optical axis) of a two-axis platform is analyzed.Installing the angular rate and acceleration sensors directly on the axes is often used in the precision pointing applications. This configuration impacts platform size, and the sensors must be capable of withstanding high angular slew rates. Sensors are installed on the platform base in the other configuration which alleviates some issues with the first approach. And it may be much efficient since disturbances are measured. This paper investigates the disturbances and sensor noise on the performance of stabilization control loop configuration. It provides a detailed analysis of the mechanisms by which disturbances are coupled to the pointing vector, as well as describes its advantages and disadvantages. It concludes with a performance based upon simulated sensor noise and three sets of platform base disturbance inputs ranging from mild to harsh disturbance environments.
ASKNet: automatically generating semantic knowledge networks
Authors: Brian Harrington
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated from input sentences using a parser and semantic analyser, then these fragments are combined using spreading activation based algorithms. The ultimate goal of the project is to create a semantic resource on a scale that has never before been possible. We have already managed to create networks more than twice as large as any comparable resource(1.5 million nodes, 3.5 million edges) in less than 3 days. This report provides a summary of the project and its current state of development.
A multi-agent approach to distributed rendering optimization
Authors: Carlos Gonzalez-Morcillo, Gerhard Weiss, Luis Jimenez, David Vallejo
Venue: Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2 (2007)

Physically based rendering is the process of generating a 2D image from the abstract description of a 3D Scene. Despite the development of various new techniques and algorithms, the computational requirements of generating photorealistic images still do not allow to render in real time. Moreover, the configuration of good render quality parameters is very difficult and often too complex to be done by nonexpert users. This paper describes a novel approach called MAgarRO (standing for "Multi-Agent AppRoach to Rendering Optimization") which utilizes principles and techniques known from the field of multi-agent systems to optimize the rendering process. Experimental results are presented which show the benefits of MAgarRO -based rendering optimization.
Deep Semantic Integration for Information System
Authors: Zhenxin Qu, Shengqun Tang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

When applied semantic integration technology to databases, common method is to rewrite semantic query into SQL statements, while only RDFs vocabularies are supported at most. Semantics having been realized is weak. A more perfect algorithm inherited from the idea of rewriting semantic query is proposed, a sub set of OWL is supported, and semantics having been supported is more deep than ever. Ontology and query all are transformed into graphs, semantic match is done. Applying breadth-first search on match result, SQL statements will be generated. A case is designed to exemplify it, which shows that some OWL constructors have been supported.
Networked Control Systems with Novel Smith Predictor and CMAC-PID Control
Authors: Feng Du, Wencai Du
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In order to availably restrain the impact of network delays for networked control systems (NCS), we propose a new approach that novel Smith predictor combined with the CMAC and PID control for the NCS. This method realized the feedback control by using traditional PID controller to enhance the stability and reject the disturbance, and realized the feedforward control by using CMAC neural network to increase the response speed and control precision. Because new Smith predictor does not include network delay, therefore, it is no need for measuring on line, identifying or estimating network delays. Based on CSMA/CD (Ethernet), the results of simulation experiment show validity of the control scheme and improvement in dynamic performance and robustness of NCS.
Jumping Emerging Substrings in Image Classification
Authors: Łukasz Kobyliński, Krzysztof Walczak
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

We propose a new image classification scheme based on the idea of mining jumping emerging substrings between classes of images represented by visual features. Jumping emerging substrings (JES) are string patterns, which occur frequently in one set of string data and are absent in another. By representing images in symbolic manner, according to their color and texture characteristics, we enable mining of JESs in sets of visual data and use mined patterns to create efficient and accurate classifiers. In this paper we describe our approach to image representation and provide experimental results of JES-based classification of well-known image datasets. 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
Phoslock, a Soluble Phosphorus Binding Technology, Application in Lake Dianchi Eutrophic Water Purification
Authors: Yungen Liu, Kun Tian, Andrew Winks
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Phoslock is a specially modified clay product, designed for permanently removing soluble phosphorus (SP) from water body, as the SP is a main driver for algae bloom. On-site pilot-scale trial on Phoslock application for Lake Dianchi water has demonstrated Pholsock is a very effective agent in SP removal from Lake Dianchi water. From the on-site pilot-scale trial, Phoslock can either quickly remove the SP from its eutrophic water body effectively or maintain the SP in water body with a very low level in long-term. The Lake Dianchi eutrophic water, treated by Phoslock can keep in high transparency, but low levels of both SP and total phosphorus. Additionally, reasonable amount receiving of domestic and agriculture mixed wastewater from the around area can’t decrease the water quality with the treatment Phoslock. And Phoslock is environmental friendship to aquatic organisms.
A Fast Training Algorithm for SVM and Its Application in HRRP Classification
Authors: Chongming Wu, Xiaodan Wang, Dongying Bai, Hongda Zhang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

By choosing the most informative patterns that have the most possibility to become the support vectors in the training data by using the convex hulls algorithm, a fast training algorithm for SVM (QhullSVM) is given in this paper. Experimental results reveal that the given QhullSVM has better training performance comparing with the traditional training algorithm for SVM, and has distinct performance improvement when deal with the low dimension and large size dataset.By applying the QhullSVM to the training of SVM in the IDDAGSVM, an improved algorithm DDAGQSVM obtained. After analyzing the characteristics of the high range resolution profile, and using the principal component analysis to decrease the dimensionality of the sample set, a scheme for HRRP classification by DDAGQSVM was given. The effectiveness of the given scheme for HRRP classification by DDAGQSVM was testified by the measured data for 5 targets. Experimental results reveal the effectiveness of the algorithms in this paper.