ppxscal/embedding_network huggingface dataset:
Learning geometrically-constrained hidden Markov models for robot navigation: bridging the topological-geometrical gap
Authors: Hagit Shatkay, Leslie Pack Kaelbling
Venue: Journal of Artificial Intelligence Research (2002)

Hidden Markov models (HMMs) and partially observable Markov decision processes (POMDPs) provide useful tools for modeling dynamical systems. They are particularly useful for representing the topology of environments such as road networks and office buildings, which are typical for robot navigation and planning. The work presented here describes a formal framework for incorporating readily available odometric information and geometrical constraints into both the models and the algorithm that learns them. By taking advantage of such information, learning HMMs/POMDPs can be made to generate better solutions and require fewer iterations, while being robust in the face of data reduction. Experimental results, obtained from both simulated and real robot data, demonstrate the effectiveness of the approach.
A Hybrid Method for Visual Near-Infrared Spectral Calibration for Discrimination of Panax Species
Authors: Xiaojing Chen, Meng Xu, Xiangou Zhu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A novel method which was combination of uninformative variable elimination by partial least squares (UVE-PLS) and simulated annealing (SA) was proposed to extra relevant information among different varieties of panax. A total of 78 (26 for each variety) samples were characterized on the basis of Visual and infrared spectroscopy (VIS-NIR), 63 (21 for each variety) samples were selected randomly for the calibration set, whereas, the remained 15 samples (5 for each variety) for validation set. UVE-PLS was executed to obtain the stability of each input variables. The best cutoff values of stability was determined as 34 using SA. Finally, 289 variables were mined, and inputted into partial least squares regression (PLSR) to build recognition model. The optimal model with the correlation coefficient of 0.9878, root mean square error of prediction (RMSEP) of 0.1297 was obtained. The performance was better than common PLS model which was established using the whole spectral wavelengths. The overall results indicated that the proposed method of UVE-PLS-SA was a powerful way to select diagnostic information for discrimination of different varieties of panax
Experience report: issues in comparing gene function annotation in text
Authors: Youngik Yang, Sun Kim
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

Annotating function of genes accurately is one of the most important tasks in molecular biology and medical sciences. The new sequencing technology, called the next generation sequencing technology, made sequencing the whole genomes possible with a fraction of cost of sequencing by using the traditional sequencing technology. As a result, the amount of sequence data has been growing very rapidly, but the computational method for gene function annotation is yet to be fully developed. Thus annotation of gene function is a serious bottleneck to achieving the high-throughput genome projects. The most commonly used gene annotation technique is to transfer annotation of genes based on the sequence similarity; annotation of top-ranked genes in terms of sequence similarity is simply transferred to the function of a target gene. However, this sequence-similarity based gene function annotation is often incorrect. As a result, genome projects still rely on expensive, error-prone, labor-intensive, manual process. Combining annotation and sequence similarity can improve the accuracy of gene function annotation significantly. We have been developing a computational method for comparing gene annotation in text. In this paper, we will discuss issues in comparing genome annotation in a text format. To compute textual similarity, we used cosine similarity. Since cosine similarity is effective only after preprocessing with textual variations, we used commonly used text preprocessing techniques such as removing stop words and stemming as well as gene annotation specific preprocessing such as handling synonyms and gene symbols using databases of biology terminologies such as BioThesaurus and MeSH. In experiments with annotations of a number of bacterial genomes, our method was able to handle many difficult cases (syntactically different but semantically equivalent gene function annotations) correctly.
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Authors: Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam
Venue: Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures (2009)

This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modeling language Creol is used both for generating test inputs and as a test oracle. For test case generation, we extend Dynamic Symbolic Execution (also called Concolic Execution) to work with multi-threaded models and use this to generate test inputs that maximize model coverage. For test case execution, we establish a conformance relation based on trace inclusion by recording traces of events in the system under test and replaying them in the model. User input is handled by generating a test driver that supplies the needed stimuli to the model. An industrial case study of the Credo project serves to demonstrate the approach.
A Dynamic Programming Model about Optimized Port Transport Expense Paper
Authors: Lifeng Zhang, Yilei Wang, Tao Li
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

The economic growth of our country should be changed from the coarse type to the centralized type especially after our country entering WTO. How to optimize the port transport expense becomes an urgent problem that needed to be solved in time. This paper considers that the transport quantity of the port will affect the optimization design based on the model given by [1]. The author adopts the idea of the dynamic programming, and puts forward a new optimization model of the transport expense.
Designing Interactive Blimps as Puppets
Authors: Hideki Yoshimoto, Kazuhiro Jo, Koichi Hori
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

In this paper we propose four models of unmanned blimps: Robots, Pets, Agents, and Puppets, according to whether they are autonomous or not and whether they are shown to people or not. Robots and Pets are autonomous and Agents and Puppets are not autonomous. Robots and Agents are shown to people and Pets and Puppets are not shown to people. Based on these models, we approach toward interactive blimps as puppets, which visualize performances from people to people with real time effects and motions. We implemented prototype applications where people could make performances through controls of the blimp's light effects and flight motions with voice via mobile phones and a physical controller. We organized observations of these prototypes at a laboratory experiment and demo exhibitions. We also discuss our models based on spectators' experience.
Boosting Twin Support Vector Machine Approach for MCs Detection
Authors: Xinsheng Zhang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

Clustered microcalcifications (MCs) are one of the early signs of breast cancer, and they are of great importance for an early diagnosis. Moreover, the spatial distribution and the shape of the microcalcifications have a significant impact in medical practice to evaluate the probability of malignancy of the tumor. In this paper we investigate an approach based on boosted twin support vector (Boosting-TWSVM) for detection of microcalcifications clusters (MCs) in digital mammograms.In the algorithm, we formulate MCs detection as a supervised-learning problem and apply the trained Boosted-TWSVM classifier to develop the detection algorithm. We tested the proposed method using DDSM database of 80cases mammograms containing about 980 MCs. Detection performance of the proposed method is evaluated by using receiver operating characteristic (ROC) curves. We compared the proposed algorithm with other existing methods. In our experiments, the proposed detection method outperformed the other methods tested. In particular, a sensitivity as high as 92.35% was achieved by our detection algorithm at an error rate of 8.3%. The experiment results suggest that Boosted-TWSVM is a promising technique for MCs detection.
ASIC design of a novel high performance neuroprocessor architecture for multi layered perceptron networks
Authors: Igor Dantas dos Santos Miranda, Ana Isabela Araújo Cunha
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

This paper presents a new processor architecture for high performance computing of fixed-point feedforward multi layered perceptron neural networks. The number of layers, the number of neurons in each layer, the weight values and the activation function look-up table are configurable parameters so that this system can be used for several neural network models. Low latency and high throughput are achieved by means of a massive parallel hardware that separates required arithmetical operations among many multiply-accumulate units (MAC) and adopts a dual core structure to alternate on data sets processing. In order to access weight values from MACs, dual port RAM modules and a special memory organization have been used, allowing simultaneous reading from both cores and decreasing the connection wiring. This neuroprocessor has been designed for ASIC implementation using CMOS 90 nm technology and standard cell methodology. A performance comparison between the proposed architecture and some commercial neuroprocessors has been made.
Solvent-Floatation-Photometric Determination of SO_3^2- in Foodstuff
Authors: Songtian Li, Xingwu Li, Changhao Li, Mei Gao
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

In a phosphate buffer medium of pH 7.0, free iodine liberated through the oxidation of I- by IO3-, reacts with excess I- to form a binary complex of I3-, which reacts further with CTMAB to form a ternary ion association complex of CTMA+•I3-. This ternary complex is easily soluble and kept stable in organic solvents, in which it has absorption maximum at 365 nm. In the presence trace amounts of SO32- ion, the I3- in the complex is reduced, leading to a decrease in absorbance of the ternary complex (reductive color-fading) in organic solvent. It was found that the magnitude of decrease in absorbance (ΔA) keeps a linear relationship with the concentration of SO32- in the range of 0~30 μg per 50 mL of solution. Based on this phenomenon and applying the solvent floatation of technique with 5.0 mL of benzene, the sensitivity of this method is remarkably enhanced, ε365=3.0×105 L•mol-1•cm-1. In the application of this method to the determination of SO32- in vegetables and wine samples, RSD
Ring Vortex Scenario in Engraved Champagne Glasses
Authors: G. Polidori, F. Beaumont, P. Jeandet, G. Liger-Belair
Venue: Journal of Visualization (2009)

The simple idea this study rests on is that one cannot be concerned by the bubbling and aromatic exhalation events in champagne tasting without being interested in the study of the flow mixing mechanisms inside the glass. Indeed, a key assumption is that a strong link of causality may exist between inherent liquid-phase flow structures due to bubble motion and the flavors exhalation process. This is the reason why, to underscore the impact of glass-shape and glass-engravement conditions on mixing flow phenomena, classical flow visualization techniques were used to capture fluid motion in traditional flutes and coupes poured with champagne. Laser tomography combined with fluorescent dyes and solid tracers have been used to give the quasi-instantaneous velocity field from which streamline patterns are deduced as well as the vorticity convection.
Object-Oriented Framework for Development of Telephony Applications
Authors: Ilija Basicevic
Venue: Proceedings of the 2009 Fourth International Conference on Digital Telecommunications (2009)

This paper presents a prototype of a new application development framework for development of telephony services. Besides the first party call control, the framework provides support for third party call control, monitoring and presence service, which is based on publish/subscribe mechanism. The programming interface that framework provides maps successfully to mechanisms of SIP protocol and its extensions (those based on SIP event notification mechanism), but for the first party call control peer-to-peer telephony maps successfully to H.323, as well. We have developed the prototype of the framework in Java programming language. Paper presents solutions that have been applied in the design and implementation of the prototype.
A Web-Based System for Visualizing and Analyzing Interaction Structure in Online Collaborative Learning
Authors: Yonggu Wang, Feiyue Qiu
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Social network analysis is one of effective methods and techniques to analyze the interactions in online collaborative learning. This paper introduces our researches in which a web-based system visualizing and analyzing interactions in online collaborative learning was developed. Firstly, the function model, user interface and ar0063hitecture of the system are presented. Then, Three key steps and technologies in the implementation of the system are described. Lastly, we presented the case study in which the system is used to analyze and visualize the structures of interaction network in the collaborative learning. The case study proved that the system can visualize the socio-gram of the interaction network in different view, and can calculate the structures' indexes of the interaction interwork.
A New Construction of Signature Waveforms for Multi-rate Multi-cell QS-CDMA Systems
Authors: Lifang Feng, Pingzhi Fan, Li Hao, Kok-Keong Loo, Vahid Tarokh
Venue: Wireless Personal Communications: An International Journal (2009)

In this paper, we propose a new construction of signature waveform sets based on Generalized Loosely Synchronization (GLS) sets and different chip waveforms. The new signature sets are applied into the multi-rate multi-cell quasi-synchronous CDMA (QS-CDMA) system where each cell is assigned with a GLS set; different users in the same cell are assigned with different GLS sequences in the same GLS set; user's different streams are assigned with the same GLS sequence but different chip waveforms. According to the properties of GLS sets, the inter-cell interference (ICI) and the multi-user interference (MUI) in the same cell can be reduced significantly. The interferences among different streams of the same user are handled by an optimal (or suboptimal) multi-stream detector(s), notice that the multi-stream detector mentioned here is also named as multi-user detector in other references. We compare the performance of the multi-rate multi-cell QS-CDMA system employing the proposed sets with that of multi-rate system employing well-known concatenated orthogonal/PN sets and that of single-rate system employing GLS sets. The results show that the multi-rate system employing the proposed sets can achieve significant interference reduction. Meanwhile the performance of multi-rate system is similar to that of single-rate system due to the inclusion of multi-user detection.
Auction Aggregation Protocols for Wireless Robot-Robot Coordination
Authors: Ivan Mezei, Veljko Malbasa, Ivan Stojmenovic
Venue: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (2009)

Robots coordinate among themselves to select one of them to respond to an event reported to one of robots. The goal is to minimize the communication cost of selecting best robot, response time, and cost of performing the task. Existing solutions are either centralized, neglecting communication cost, assuming complete graph, or based on flooding with individual responses to robot decision maker (simple auction protocol), ignoring communication cost and response time bound. This article proposes auction aggregation protocols for task assignment in multi-hop wireless robot networks. Robot collector leads an auction and initiates response tree construction by transmitting search message. Each robot, after receiving the message, makes decision on whether to retransmit search message, based on the estimated response cost of its robots up to k-hops away. Robots wait to receive the bids from its children in the search tree, aggregates responses by selecting the best bid, and forward it back toward the robot collector (auctioning robot). When distance is used as sole cost metrics, traversal aggregation algorithm (RFT --- routing toward the event with traversal of face containing the event) can be applied and is an optimal solution. Advantage of our auction aggregation over simple auction protocol is shown by simulation results.
Enhanced Visualization by Combing SOM and Mixture Models
Authors: Ryotaro Kamimura
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 this paper, we propose a simple but powerful method to visualize connection weights by SOM. The conventional SOM has been well established and extensively used to visualize complex data. There have been a number of methods to visualize final connection weights. However, even sophisticated visualization techniques may be ineffective in dealing with ambiguous connection weights due to the complexity of the data set. To cope with this problem, we retrain a network with connection weights obtained by SOM. At this time, we do not optimize networks in terms of errors but we train networks to enhance the characteristics of connection weights at the price of optimality. This enhancement can be realized by smaller Gaussian width. Though these smaller Gaussian widths are not optimal ones in terms of errors, it may give some insights into the characteristics of connection weights. We applied the method to the famous Iris problem and a classification problem for OECD countries. In both problems, we can obtain U-matrices with more explicit boundaries for easy interpretation.
A Hybrid Speech Emotion Perception Method of VQ-based Feature Processing and ANN Recognition
Authors: Han Wenjing, Li Haifeng, Guo Chunyu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

This paper constructs a VQ/ANN (vector quantization/artificial neural network) based speech emotion recognition system. The system first extracts the basic prosodic parameters and Mel-frequency cepstral coefficients (MFCC) frame by frame. Recent researches reveal that MFCC convey detailed emotional relevant information of syllable. However, the statistic measures of MFCC confuse the information at sentence level. Therefore, this paper proposes a VQ-based method different to statistic method to generate measures of MFCC. Then the combination of VQ-based MFCC measures and the statistic measures of prosodic parameters is used as input feature vector. The ANN is performed to process the combination features and the statistic measures of all extracted parameters respectively. The experiment results reveal that the combination features outperform the statistic measures. More detailed analysis indicates that the combination features could characterize the emotion space better than the statistic features. Besides, the rationality of VQ/ANN based framework is also demonstrated.
A Module-Based Framework for Multi-language Constraint Modeling
Authors: Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, Ilkka Niemelä
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. In the framework a constraint model consists of modules with clear input/output interfaces. When combining modules, apart from the interface, a module is a black box whose internals are invisible to the outside world. Inside a module a chosen constraint language (approaches such as CP, ASP, SAT, and MIP) can be used. This leads to a clear modular semantics where the overall semantics of the whole constraint model is obtained from the semantics of individual modules. The framework supports multi-language modeling without the need to develop a complicated joint semantics and enables the use of alternative semantical underpinnings such as default negation and classical negation in the same model. Furthermore, computational aspects of the framework are considered and, in particular, possibilities of benefiting from the known module structure in solving constraint models are studied.
A Value-Oriented Framework of Business Models Innovation
Authors: Qiuying Chen
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Business models innovation is vital to sustain competitive advantage during the dramatical change environment. After reviewing the literatures of business models, a value-oriented framework of business models innovation consists of value proposition, value sustain, value supporting and value transforming has been used to analyze the success of Apple iPod and iPhone.
Multi-display Composition: Supporting Display Sharing for Collocated Mobile Devices
Authors: Kent Lyons, Trevor Pering, Barbara Rosario, Shivani Sud, Roy Want
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

Multi-display composition is a technique that enables several mobile devices to join together over a wireless network to form a larger logical display. This logical display can be created in an ad hoc manner for use when and where it is needed out of a group of users' existing mobile computers. In this work we present a multi-display composition system and discuss our implementation that supports dynamically extending the display across several devices. Furthermore, we present findings from a study of collocated groups of individuals using multi-display composition on two different types of mobile computers. We found mixed results with respect to the effect of the resulting display area. The use of two devices by a pair of participants tended to be rated more favorably than a corresponding group of four devices and participants. Furthermore, while providing additional screen real estate for smaller UMPCs, tablets were rated more favorably when using our system. Finally, we discuss usage themes that emerged from participants' use of the multi-display composition system.