ppxscal/embedding_network huggingface dataset:
A particle filtering based approach to approximating interactive POMDPs
Authors: Prashant Doshi, Piotr J. Gmytrasiewicz
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

POMDPs provide a principled framework for sequential planning in single agent settings. An extension of POMDPs to multi agent settings, called interactive POMDPs (I-POMDPs), replaces POMDP belief spaces with interactive hierarchical belief systems which represent an agent's belief about the physical world, about beliefs of the other agent(s), about their beliefs about others' beliefs, and so on. This modification makes the difficulties of obtaining solutions due to complexity of the belief and policy spaces even more acute. We describe a method for obtaining approximate solutions to IPOMDPs based on particle filtering (PF). We utilize the interactive PF which descends the levels of interactive belief hierarchies and samples and propagates beliefs at each level. The interactive PF is able to deal with the belief space complexity, but it does not address the policy space complexity. We provide experimental results and chart future work.
Molecules as Automata
Authors: Luca Cardelli
Venue: Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (2009)

Molecular biology investigates the structure and function of biochemical systems starting from their basic building blocks: macromolecules. A macromolecule is a large, complex molecule (a protein or a nucleic acid) that usually has inner mutable state and external activity. Informal explanations of biochemical events trace individual macromolecules through their state changes and their interaction histories: a macromolecule is endowed with an identity that is retained through its transformations, even through changes in molecular energy and mass. A macromolecule, therefore, is qualitatively different from the small molecules of inorganic chemistry. Such molecules are stateless: in the standard notation for chemical reactions they are seemingly created and destroyed, and their atomic structure is used mainly for the bookkeeping required by the conservation of mass. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Study on Water Evaporation Retardants with Abilities of Anti-environmental Interference
Authors: Wu Yan, Wang Bingwen, Jia Qingzhu, Zheng Wei
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

In order to investigate abilities of anti-environmental interference of water evaporation retardants, a new kind of water evaporation retardants composed of 1-hexadecanol and nonionic surfactants was prepared in this paper, and effects of environmental factors on retardation of water evaporation of mixed monolayers were studied. The results showed that in comparison with monolayers of single component, mixed monolayers not only had a considerably better effect on retardation of water evaporation, but also had anti-environmental interference abilities, better automatic restoration capacities and fewer defects. During the temperature range of (25~40)°C, the percentage resistance(X) of mixed monolayers could still remain about 90% after 30 days using the tap water as subphase. Furthermore, mixed insoluble monolayers did not hinder the exchange of oxygen between the air and water interface.
Relaxed selection techniques for querying time-series graphs
Authors: Christian Holz, Steven Feiner
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patterns, either exact or approximate. However, tools that support time-series graphs typically separate query specification from the actual search process, allowing users to adapt the level of similarity only after specifying the pattern. We introduce relaxed selection techniques, in which users implicitly define a level of similarity that can vary across the search pattern, while creating a search query with a single-gesture interaction. Users sketch over part of the graph, establishing the level of similarity through either spatial deviations from the graph, or the speed at which they sketch (temporal deviations). In a user study, participants were significantly faster when using our temporally relaxed selection technique than when using traditional techniques. In addition, they achieved significantly higher precision and recall with our spatially relaxed selection technique compared to traditional techniques.
A Theory of Adaptable Contract-Based Service Composition
Authors: Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

Service Oriented Architectures draw heavily on techniques for reusingand assembling off-the-shelf software components. While powerful, this programming practice is not without a cost: the software architectmust ensure that the off-the-shelf components interact safelyand in ways that conform with the specification. We develop a new theory for adaptable service composition. The theoryprovides an effective framework for analyzing the conformance ofcontract-based service compositions, and for enforcing theircompliance, in a uniform, formally elegant setting.
Real-Time Emotional State Estimator for Adaptive Virtual Reality Stimulation
Authors: Davor Kukolja, Siniša Popović, Branimir Dropuljić, Marko Horvat, Krešimir Ćosić
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

The paper presents design and evaluation of emotional state estimator based on artificial neural networks for physiology-driven adaptive virtual reality (VR) stimulation. Real-time emotional state estimation from physiological signals enables adapting the stimulations to the emotional response of each individual. Estimation is first evaluated on artificial subjects, which are convenient during software development and testing of physiology-driven adaptive VR stimulation. Artificial subjects are implemented in the form of parameterized skin conductance and heart rate generators that respond to emotional inputs. Emotional inputs are a temporal sequence of valence/arousal annotations, which quantitatively express emotion along unpleasant-pleasant and calm-aroused axes. Preliminary evaluation of emotional state estimation is also performed with a limited set of humans. Human physiological signals are acquired during simultaneous presentation of static pictures and sounds from valence/arousal-annotated International Affective Picture System and International Affective Digitized Sounds databases.
A Grid Agent Model for Information Retrieval Based on Topic Map and Knowledge Elements Mining
Authors: Lu Quan, Chen Jing
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Knowledge-based and artificial-intelligence-based inductive learning techniques can provide great opportunities to enhance the information processing and retrieval capabilities of current information storage and retrieval systems. This paper introduces a new approach to knowledge-based information retrieval. It presents a grid agent model including three kinds of agents: Grid service agent, service request agent and grid space manager. Through actions of registry, discovery and access in grid information service discovery process, the grid space manager will find out the suitable services. Then aiming to implement the flexibility and intelligence of the grid agent, we think that every grid agent should remember the success and quality of the former cases by knowledge element mining and topic map building and reasoning, so that the agent can gain experience of user’s preference. The methods through which to mine knowledge elements from web page resources’ and to build extended topic maps containing a knowledge elements level is also emphasized.
Operationalizing Prostate Cancer Clinical Pathways: An Ontological Model to Computerize, Merge and Execute Institution-Specific Clinical Pathways
Authors: Samina Raza Abidi, Syed Sibte Abidi, Lorna Butler, Sajjad Hussain
Venue: Knowledge Management for Health Care Procedures: ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers (2009)

The computerization of paper-based Clinical Pathways (CP) can allow them to be operationalized as a decision-support and care planning tool at the point-of-care. We applied a knowledge management approach to computerize the prostate cancer CP for three different locations. We present a new prostate cancer CP ontology that features the novel merging of multiple CP based on the similarities of their diagnostic-treatment concepts, whilst maintaining the unique aspects of each specific CP, to realize a common unified CP model. In this paper we will highlight the main components of our prostate cancer CP ontology, and discuss the concept of CP branching and merging nodes. We conclude that our computerized CP can be executed through a logic-based engine to realize a point-of-care decision-support system for managing prostate cancer care.
Automatic Ontology Construction Approaches and Its Application on Military Intelligence
Authors: Mei-ying Jia, Bing-ru Yang, De-quan Zheng, Wei-cong Sun, Li Liu, Jing Yang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Ontology is a method of expressing knowledge. Now the research on the automatic ontology construction has become very popular. In this paper, we introduce the principles of ontology construction, as well as the several methods of automatic construction and particularly analyze their characteristics. Finally, the ontology in military intelligence is constructed automatically by using the existing resources, thesaurus and database. The thesaurus provides classes information for the ontology, while the database provides the instances. The test result shows the accuracy of the semantic relations in the ontology is 86.23%, and the ontology includes the complete information on the instances.
Quality Evaluation of Universities Undergraduate Practice Teaching Work Based on Artificial Neural Network
Authors: Changlong Wang, Yanming Qi
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

According to existing problems in universities undergraduate practice teaching work, a simulation model is established on neural network, according to experiment teaching, practice teaching, graduation project and graduation thesis, laboratory management and equipment use as input layer, quality of universities undergraduate practice teaching work as output layer, establish artificial neural network model, and actual data were used for training and practice of the network. The practice showed that the model has well recognizes the precision. Finally obtains digitized the appraisal result, can be accurate, irect-viewing reflection the quality undergraduate practice teaching work the fit and unfit, thus the wide prospect of artificial neural network in the evaluation of quality of universities undergraduate practice teaching work were presented.
The Changing Face of Cryptography
Authors: Fred Piper
Venue: Proceedings of the 8th International Workshop on Digital Watermarking (2009)

The last few decades have seen cryptography `transform' from a black art - practised mainly by governments, the military and a few financial organisations - to a popular science that is widely taught as an academic subject and features in a number of popular novels and films.At the same time, cryptographic services have become much more widely used and are now a central feature of many e-commerce and other business applications. In this talk we will look at how technological advances have led to improved algorithm design and how the concept of public key cryptography has dramatically increased the range of cryptographic services that are available.
Study and Realization for License Plate Recognition System
Authors: Yucheng Li, Yisong Liu, Mushu Wang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

License plate recognition (LPR) is the hot research topic in Intelligent Transportation Systems. This paper focuses on license plate location which is based on image energy and license plate character recognition based on pattern matching, and then gives experiment results of license plate recognition system. And experiment results verify the feasibility of the LPR system.
Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90
Authors: Daniel Rolls, Carl Joslin, Alexei Kudryavtsev, Sven-Bodo Scholz, Alex Shafarenko
Venue: Proceedings of the 10th International Conference on Parallel Computing Technologies (2009)

This paper briefly introduces SaC: a data-parallel language with an imperative feel but side-effect free and declarative. The experiences of porting a simulation of unsteady shock waves in the Euler system from Fortran to SaC are reported. Both the SaC and Fortran code was run on a 16-core AMD machine. We demonstrate scalability and performance of our approach by comparison to Fortran.
Sub-pixel Accuracy for Extracting Corner Point Based on Support Vector Regression
Authors: Xiuzhi Zhang, Longshan Wang, Xiao Sun, Qiuwei He
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Abstract—As an important image feature, a corner takes significant position in camera calibration, pattern recognition and image matching area. A large amount of image corner points are the intersecting points of the edges of polygons. A corner point extracting method based on support vector for regression(SVR) was proposed aimed at extracting intersecting points. First, a digital image of geometric figures was collected with JAI CV-M4+CL array CCD device under natural lighting, and was transmitted into computer by image grabbing card X64-CLiProTM. Second, the original grey level image with noise was changed into edge information with single-pixel width after it was processed by noise reduction with edge-keeping filter, and then was edge detected with Canny operator and the contour was extracted. Third, regression function of each detected straight segment was obtained by training the SVR with the training point set, which had sub-pixel accuracy. The intersecting points of corresponding straight segments, which are exactly the under-detected corner points, were obtained by simple math works. Experimental results show that the proposed method for corner point extracting has a high accuracy and stability, and a strong robustness. Furthermore, all of the intersecting points can be extracted.
Oil Pipeline Safety Monitoring Method based on Vibration Signal Analysis and Recognition
Authors: Hu Yan, Guangshun Shi, Shangqing Hao, Qingren Wang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

An analytically tractable model is presented to describe oil and gas pipeline safety monitoring system. The basic idea is that it uses fiber sensor to collect signals produced by soil vibration around pipelines, and then focuses on intelligent processing and smart recognition of soil vibration signals. Finally, we implement the developed model and it is practically used in Jiangsu, China. Experiment results show that the system can fully satisfy the real time requirement. Further more, the alarm rate is higher than 98% and the recognition rate is 95.3% for five different kinds of human activities (ramming, picking, drilling, steel pipe knocking, forklift working), much better than other results reported yet.
SEC: Stochastic Ensemble Consensus Approach to Unsupervised SAR Sea-Ice Segmentation
Authors: Alexander Wong, David A. Clausi, Paul Fieguth
Venue: Proceedings of the 2009 Canadian Conference on Computer and Robot Vision (2009)

The use of synthetic aperture radar (SAR) has become an integral part of sea-ice monitoring and analysis in the polar regions. An important task in sea-ice analysis is to segment SAR sea-ice imagery based on the underlying ice type, which is a challenging task to perform automatically due to various imaging and environmental conditions. A novel stochastic ensemble consensus approach to sea-ice segmentation (SEC) is presented to tackle this challenging task. In SEC, each pixel in the SAR sea-ice image is assigned an initial sub-class based on its tonal characteristics. Ensembles of random samples are generated from a random field representing the SAR sea-ice imagery. The generated ensembles are then used to re-estimate the sub-class of the pixels using a weighted median consensus strategy. Based on the probability distribution of the sub-classes, an expectation maximization (EM) approach is utilized to estimate the final class likelihoods using a Gaussian mixture model (GMM). Finally, maximum likelihood (ML) classification is performed to estimate the final class of each pixel within the SAR sea-ice imagery based on the estimated GMM and the assigned sub-classes. SEC was tested using a variety of operational RADARSAT-1 and RADARSAT-2 SAR sea-ice imagery provided by the Canadian Ice Service (CIS) and was shown to produce successfully segmentation results that were superior to approaches based on K-means clustering, Gamma mixture models, and Markov Random Field (MRF) models for sea-ice segmentation.
Parallel entity and treebank annotation
Authors: Ann Bies, Seth Kulick, Mark Mandel
Venue: Proceedings of the Workshop on Frontiers in Corpus Annotations II: Pie in the Sky (2005)

We describe a parallel annotation approach for PubMed abstracts. It includes both entity/relation annotation and a treebank containing syntactic structure, with a goal of mapping entities to constituents in the treebank. Crucial to this approach is a modification of the Penn Treebank guidelines and the characterization of entities as relation components, which allows the integration of the entity annotation with the syntactic structure while retaining the capacity to annotate and extract more complex events.
Kernel Neighborhood Preserving Embedding and its Essence Analysis
Authors: Xiaoyan Tao, Shufu Dong, Qiaoxia Zhao, Zhongxiang Han
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

A new dimensionality reduction method, neighborhood preserving embedding (NPE) is recently proposed which offers a linear yet powerful method to preserve the local neighborhood structure on the data manifold. However, it is confined to linear transforms in the data space. For this, kernel NPE (KNPE) is presented, which preserves the local neighborhood structure in the higher-dimension feature space. To avoid computing the inverse matrix of the positive semi-definite kernel matrix, a transformed optimization problem and QR decomposition are used. Then the analysis on KNPE reveals that KNPE is equivalent to kernel principal component analysis (KPCA) plus NPE. The experimental results on the real-world data sets illustrate the effectiveness of the new algorithm.
The Establishment and Application of Urban Environment Information System Based on MAPGIS: A Case Study on Jiaozuo City
Authors: Zheng Ji-dong, Luo Li-ping
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

In order to keep dynamic monitoring on the resources and environment on major environmental problems in Jiaozuo city and based on MAPGIS, an urban environment information system (UEIS) was established and applied in this paper. The UEIS is a type of spatial environment information system, based on regional urban ecosystem, it input such relative data as population, economy, resources and environment into computer by its spatial location or geographic coordinates, then save, refresh, inquiry and search, model analysis, display, printing and drawing output subsequently. This provided an effective method to the regional urban environmental management. In the UEIS, the design and development of model base and its management system hold the main part for the integration of the whole system and the decision analysis depend on the relative environmental models. These models displayed important role in the analysis, analogue, assessment, prediction and optimization of raw information. The design and development of model base mainly include environment assessment, prediction, planning management models and corresponding model base management system. This UEIS included following subsystems—the resources and environment basic information management system, the resources and environment dynamic monitoring information management system, the ambient air pollution control system and the water environmental pollution control system. In order to input and output mass storage of data related to society, economy, resources and environment hold in this system conveniently and rapidly, and doing decision and simulate work supported by multi-source of information, this UEIS makes full use of the tool software MAPGIS and the existing poly environmental software, thus it perfects the function of environment management and control, import and output, spatial analysis and decision support. This UEIS achieved the following targets, first, it can do the daily jobs such as the save, refresh, inquiry and search, statistic and analysis, mapping and tabling of data need by environmental planning, management, decision and scientific research. secondly, by using the data of routine environmental monitoring and investigation, it finish the work aimed to the total amount control of pollution discharge such as the assess and prediction of pollution sources and environmental quality, the simulating and planning, and thirdly, using the remote data, finish the work related to monitoring and assess of the change of urban ecosystem such as map drawing of urban ecosystem, land utilization structure, spatial quality and social environment assess.
Enhancing the yield competitiveness of a semiconductor fabrication factory with dynamic capacity re-allocation
Authors: Toly Chen
Venue: Computers and Industrial Engineering (2009)

To improve the yield competitiveness of a semiconductor fabrication factory, a dynamic capacity re-allocation mechanism is proposed in this study. At first, a systematic procedure is established for evaluating the yield competitiveness of a semiconductor fabrication factory by considering the yield learning models of all its products. Subsequently, an efficient mechanism is proposed to re-allocate capacity/resources among products, so as to enhance the competitiveness of the whole factory. To demonstrate the applicability of the proposed methodology, it was applied to the practical data of three products. Experimental results showed that after capacity re-allocation, all the three products became yield competitive. Besides, the capacity re-allocation plan established by the proposed methodology was both efficient and practical.