ppxscal/embedding_network huggingface dataset:
Construction of Ribavirin Engineering Bacteria
Authors: Chen-guang Xing, Ning Chen, Xi-Xian Xie, Xi-Jing Zhao, Qing-yang Xu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

In this study, the gene encoding purine nucleoside phosphorylase (PNPase) from Bacillus subtilis W168 was identified, cloned and expressed in Bacillus subtilis AG208. The gene encodes a polypeptide of 233 amino acids with a calculated molecular weight of 25,018 Da. The enzyme activity of the recombinant protein (AGPNP) was analyzed by temperature and pH perturbation difference spectra. Results showed that the optimum of temperature was 65°C and the optimum pH was 7.5 and the PNPase activity of the recombinant bacteria was increased by 193.9%.
Spoken Language Interface for Mobile Devices
Authors: João Freitas, António Calado, Maria João Barros, Miguel Sales Dias
Venue: Human Language Technology. Challenges of the Information Society: Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers (2009)

In this paper, we present a set of optimizations for a spoken language interface for mobile devices that can improve the recognition accuracy and user interaction experience. A comparison between a speech and a graphical interface, when used to accomplish the same task, is provided. The implications of developing a spoken language interface and integrating speech recognition and text-to-speech modules for European Portuguese in a mobile device, are also discussed. The paper focuses in the speech recognition module and in an algorithm for name matching optimization that provides the user with a more comfortable interaction with the device. Usability evaluation trials have shown that spoken language interfaces can provide an easier and more efficient use of the device, especially within a community of users less experienced in handling mobile devices.
A Kind of Endogenous Growth Model Considering the Restraints of Nonrenewable Resources and Environment Pollution
Authors: Jun He, Ting Liu, Huaping Chen, Xiao Ding
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Aghion and Howitt have respectively discussed the models of introducing the restraints of environment pollution and nonrenewable resources under the framework of Vertical Product Innovation. In this article, the authors try to introduce both the restraints of environment pollution and nonrenewable resources into Vertical Product Innovation model simultaneously.The basic conclusions of the model in this article are as follows. Firstly, technical innovation serves as the sources of economic growth and sustainable development; secondly, comparing with the restraints of nonrenewable resources, environment pollution affects economic growth and sustainable development to a greater extent; Lastly, the model proposed in this paper is of wide use, which can contain the basic ideas and conclusions of environmental problems models under the framework of Horizontal Product Innovation and Human Capital.
FREEDIUS: an open source Lisp-based image understanding environment
Authors: Christopher Connolly, Lynn Quam
Venue: Proceedings of the 2007 International Lisp Conference (2007)

This paper describes FREEDIUS, an open-source image understanding system. FREEDIUS is a Lisp-C hybrid system that exploits CLOS for rapid prototyping, flexibility of presentation in the user interface, and flexibility in persistent object storage. Applications of FREEDIUS include site modeling, video track analysis and event recognition.
Enhanced Landmine Detection from Low Resolution IR Image Sequences
Authors: Tiesheng Wang, Irene Yu-Hua Gu, Tardi Tjahjadi
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

We deal with the problem of landmine field detection using low-resolution infrared (IR) image sequences measured from airborne or vehicle-borne passive IR cameras. The proposed scheme contains two parts: a) employ a multi-scale detector, i.e., a special type of isotropic bandpass filters, to detect landmine candidates in each frame; b) enhance landmine detection through seeking maximum consensus of corresponding landmine candidates over image frames. Experiments were conducted on several IR image sequences measured from airborne and vehicle-borne cameras, where some results are included. As shown in our experiments, the landmine signatures have been significantly enhanced using the proposed scheme, and automatic detection results are reasonably good. These methods can therefore be applied to assisting humanitarian demining work for landmine field detection.
Estimation of epipolar geometry by linear mixed-effect modelling
Authors: Huiyu Zhou, Patrick R. Green, Andrew M. Wallace
Venue: Neurocomputing (2009)

Epipolar geometry relies on the determination of the fundamental matrix. Classical approaches for estimating the fundamental matrix assume that a Gaussian distribution exists in the errors in view of mathematical tractability. However, this assumption will not be justified when the distribution computed is not normally distributed. We propose a new approach that does not make the Gaussian assumption, and so can attain robustness and accuracy in different conditions. The proposed framework, weighted least squares (WLS), is the application of linear mixed-effect models considering the correlation between different data subsamples. It provides an unbiased estimation of the fundamental matrix after mitigating the effects of outliers. We test the new model by using synthetic and real images, and comparing it to standard methods.
A Logic of Secure Systems and its Application to Trusted Computing
Authors: Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kaynar
Venue: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy (2009)

We present a logic for reasoning about properties of securesystems.The logic is built around a concurrent programminglanguage with constructs for modeling machines with sharedmemory, a simple form of access control on memory, machineresets, cryptographic operations, network communication, anddynamically loading and executing unknown(and potentially untrusted) code.The adversary's capabilities are constrained by the system interface as defined in the programming model (leading to the name csi).We develop a sound proof system for reasoning about programs without explicitly reasoning about adversary actions. We use the logic to characterize trusted computing primitives and prove code integrity and execution integrity properties of two remote attestation protocols. The proofs make precise assumptions needed for the security of these protocols and reveal an insecure interaction between the two protocols.
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates
Authors: Abbas Heydarnoori, Krzysztof Czarnecki, Thiago Tonelli Bartolomei
Venue: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009)

Application frameworks provide reusable concepts that are instantiated in application code through potentially complex implementation steps such as subclassing, implementing callbacks, and making calls. Existing applications contain valuable examples of such steps, except that locating them in the application code is often challenging. We propose the notion of concept implementation templates, which summarize the necessary implementation steps, and an approach to automatic extraction of such templates from traces of sample applications. We demonstrate the feasibility of the template extraction with high precision and recall through an empirical study with twelve realistic concepts from four widely-used frameworks. Finally, we report on a user experiment with twelve subjects in which the choice of templates vs. documentation had much less impact on development time than the concept complexity.
Using non-lexical features to identify effective indexing terms for biomedical illustrations
Authors: Matthew Simpson, Dina Demner-Fushman, Charles Sneiderman, Sameer K. Antani, George R. Thoma
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

Automatic image annotation is an attractive approach for enabling convenient access to images found in a variety of documents. Since image captions and relevant discussions found in the text can be useful for summarizing the content of images, it is also possible that this text can be used to generate salient indexing terms. Unfortunately, this problem is generally domain-specific because indexing terms that are useful in one domain can be ineffective in others. Thus, we present a supervised machine learning approach to image annotation utilizing non-lexical features extracted from image-related text to select useful terms. We apply this approach to several subdomains of the biomedical sciences and show that we are able to reduce the number of ineffective indexing terms.
Dense Stereo-Based ROI Generation for Pedestrian Detection
Authors: Christoph Gustav Keller, David Fernández Llorca, Dariu M. Gavrila
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

This paper investigates the benefit of dense stereo for the ROI generation stage of a pedestrian detection system. Dense disparity maps allow an accurate estimation of the camera height, pitch angle and vertical road profile, which in turn enables a more precise specification of the areas on the ground where pedestrians are to be expected. An experimental comparison between sparse and dense stereo approaches is carried out on image data captured in complex urban environments (i.e. undulating roads, speed bumps). The ROI generation stage, based on dense stereo and specific camera and road parameter estimation, results in a detection performance improvement of factor five over the state-of-the-art based on ROI generation by sparse stereo. Interestingly, the added processing cost of computing dense disparity maps is at least partially amortized by the fewer ROIs that need to be processed at the system level.
Traffic Video Based Cross Road Violation Detection
Authors: Jun Zhang, Tao Gao, Zheng-guang Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

For the requirement of monitoring cross road violation in intelligent traffic system, a method to recognize and track the peccant vehicle is presented. The static background is modeled by mixture Gaussian model, and the location of lane line is detected by Hough transformation, thus, the coordinated series can be obtained from the monitor image. The information of vehicles can be obtained by background-frame difference method, and according to the distance between the vehicle and line, the peccant vehicle can be detected. A mean-shift method is used to track the peccant vehicle, and the close range camera is used to snapshoot the license plate according to the center of tracking window. Actual road tests show that the work efficiency of the method is high, and the accuracy is up to 80%; so it has a certain practical value.
A Highway Express Passenger Transportation Company Evaluation System Based on the Evidential Reasoning Approach
Authors: Mi Zhou, Xin-Bao Liu, Hao Qu, Feng Pei
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

The existing researches on highway express passenger transportation (HEPT) have been studied, and an improved evaluation attribute system of the assessment to HEPT company is constructed. Considering the disagreement in group of experts and the majority of uncertainties in the process of assessment to HEPT company, an evidential reasoning (ER) approach based HEPT company assessment model is proposed. In this assessment model, the weight of each attribute is calculated through group analytic hierarchy process (GAHP), and the values of all quantitative and qualitative attributes are aggregated by the ER approach. At last, Intelligence Decision System (IDS) software is applied for the simulation of assessment to HEPT company, the result of which makes great contribution to the decision making by management department of passenger transportation.
A Design Methodology for a DPA-Resistant Cryptographic LSI with RSL Techniques
Authors: Minoru Saeki, Daisuke Suzuki, Koichi Shimizu, Akashi Satoh
Venue: Proceedings of the 11th International Workshop on Cryptographic Hardware and Embedded Systems (2009)

A design methodology of Random Switching Logic (RSL) using CMOS standard cell libraries is proposed to counter power analysis attacks against cryptographic hardware modules. The original RSL proposed in 2004 requires a unique RSL-gate for random data masking and glitch suppression to prevent secret information leakage through power traces. However, our new methodology enables to use general logic gates supported by standard cell libraries. In order to evaluate its practical performance in hardware size and speed as well as resistance against power analysis attacks, an AES circuit with the RSL technique was implemented as a cryptographic LSI using a 130-nm CMOS standard cell library. From the results of attack experiments that used a million traces, we confirmed that the RSL-AES circuit has very high DPA and CPA resistance thanks to the contributions of both the masking function and the glitch suppressing function. This is the first result demonstrating reduction of the side-channel leakage by glitch suppression quantitatively on real ASIC.
Computer-Aided Design of User Interfaces VI, 1st edition
Authors: Victor Lopez Jaquero, Francisco Montero Simarro, Jose Pascual Molina Masso, Jean Vanderdonckt
Venue:  (2009)

Computer-Aided Design of User Interfaces VI gathers the latest experience of experts, research teams and leading organisations involved in computer-aided design of user interactive applications. This area investigates how it is desirable and possible to support, to facilitate and to speed up the development life cycle of any interactive system: requirements engineering, early-stage design, detailed design, deelopment, deployment, evaluation, and maintenance. In particular, it stresses how the design activity could be better understood for different types of advanced interactive ubiquitous computing, and multi-device environments.
Analysis of a new simulation approach to dialog system evaluation
Authors: Klaus-Peter Engelbrecht, Michael Quade, Sebastian Möller
Venue: Speech Communication (2009)

The evaluation of spoken dialog systems still relies on subjective interaction experiments for quantifying interaction behavior and user-perceived quality. In this paper, we present a simulation approach replacing subjective tests in early system design and evaluation phases. The simulation is based on a model of the system, and a probabilistic model of user behavior. Probabilities for the next user action vary in dependence of system features and user characteristics, as defined by rules. This way, simulations can be conducted before data have been acquired. In order to evaluate the simulation approach, characteristics of simulated interactions are compared to interaction corpora obtained in subjective experiments. As was previously proposed in the literature, we compare interaction parameters for both corpora and calculate recall and precision of user utterances. The results are compared to those from a comparison of real user corpora. While the real corpora are not equal, they are more similar than the simulation is to the real data. However, the simulations can predict differences between system versions and user groups quite well on a relative level. In order to derive further requirements for the model, we conclude with a detailed analysis of utterances missing in the simulated corpus and consider the believability of entire dialogs.
Google Chrome: the making of a cross-platform browser
Authors: James Gray
Venue: Linux Journal (2009)

What does it take to make a cross-platform browser work well on three platforms? 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
Visual adaptation to goal-directed hand actions
Authors: Nick E. Barraclough, Rebecca H. Keith, Dengke Xiao, Mike W. Oram, David I. Perrett
Venue: Journal of Cognitive Neuroscience (2009)

Prolonged exposure to visual stimuli, or adaptation, often results in an adaptation "aftereffect" which can profoundly distort our perception of subsequent visual stimuli. This technique has been commonly used to investigate mechanisms underlying our perception of simple visual stimuli, and more recently, of static faces. We tested whether humans would adapt to movies of hands grasping and placing different weight objects. After adapting to hands grasping light or heavy objects, subsequently perceived objects appeared relatively heavier, or lighter, respectively. The aftereffects increased logarithmically with adaptation action repetition and decayed logarithmically with time. Adaptation aftereffects also indicated that perception of actions relies predominantly on view-dependent mechanisms. Adapting to one action significantly influenced the perception of the opposite action. These aftereffects can only be explained by adaptation of mechanisms that take into account the presence/absence of the object in the hand. We tested if evidence on action processing mechanisms obtained using visual adaptation techniques confirms underlying neural processing. We recorded monkey superior temporal sulcus (STS) single-cell responses to hand actions. Cells sensitive to grasping or placing typically responded well to the opposite action; cells also responded during different phases of the actions. Cell responses were sensitive to the view of the action and were dependent upon the presence of the object in the scene. We show here that action processing mechanisms established using visual adaptation parallel the neural mechanisms revealed during recording from monkey STS. Visual adaptation techniques can thus be usefully employed to investigate brain mechanisms underlying action perception.
Strongly decomposable voting rules on multiattribute domains
Authors: Lirong Xia, Jérôme Lang, Mingsheng Ying
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Sequential composition of voting rules, by making use of structural properties of the voters' preferences, provide computationally economical ways for making a common decision over a Cartesian product of finite local domains. A sequential composition is usually defined on a set of legal profiles following a fixed order. In this paper, we generalize this by order-independent sequential composition and strong decomposability, which are independent of the chosen order. We study to which extent some usual properties of voting rules transfer from the local rules to their order-independent sequential composition. Then, to capture the idea that a voting rule is neutral or decomposable on a slightly smaller domain, we define nearly neutral, nearly decomposable rules for both sequential composition and order-independent sequential composition, which leads us to defining and studying decomposable permutations. We prove that any sequential composition of neutral local rules and any order-independent sequential composition of neutral local rules satisfying a necessary condition are nearly neutral.
A Mobile Application for Survey Reports: An Evaluation
Authors: Daniel Kohlsdorf, Michael Lawo, Michael Boronowsky
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

In manufacturing processes damages occur caused by humans or machines. These damages have to be reported and documented, e.g. to enable a manufacturer to react in quality circles. The first part of this paper describes the process of creating survey reports. Furthermore a customized solution designed for mobile survey reports is introduced. In the second part this paper describes and discusses the advantages and disadvantages of this mobile solution in an automotive industry setting.
Quadrature formulas on the unit circle with prescribed nodes and maximal domain of validity
Authors: Adhemar Bultheel, Leyla Daruis, Pablo González-Vera
Venue: Journal of Computational and Applied Mathematics (2009)

In this paper we investigate the Szego-Radau and Szego-Lobatto quadrature formulas on the unit circle. These are (n+m)-point formulas for which m nodes are fixed in advance, with m=1 and m=2 respectively, and which have a maximal domain of validity in the space of Laurent polynomials. This means that the free parameters (free nodes and positive weights) are chosen such that the quadrature formula is exact for all powers z^j, -p@?j@?p, with p=p(n,m) as large as possible.
Proceedings of the Workshop on Semantic Evaluations: Recent Achievements and Future Directions
Venue: ACL Workshops (2009)

This volume contains papers accepted for presentation at the SEW-2009 Workshop on "Semantic Evaluations: Recent Achievements and Future Directions". This event takes place on June 4, 2009 in Boulder, Colorado, USA, and immediately follows the North American Chapter of the Association for Computational Linguistics - Human Language Technologies (NAACL HLT) 2009 conference. The main purpose of the workshop is to review, analyze and discuss the latest developments in semantic analysis of text. The fact that the workshop occurs between the last Semantic Evaluation exercise (SemEval-2007) and the preparation for the next SemEval in 2010, presents an exciting opportunity to discuss practical and foundational aspects of semantic processing of text. The workshop targets papers describing both semantic processing systems and evaluation exercises, with special attention to foundational issues in both lexical and propositional semantics, including semantic representation and semantic corpus construction problems. We issued calls for both regular and short papers, where the latter included papers on semantic evaluation tasks (especially those planned for SemEval-2010) and papers describing ongoing work, possibly with preliminary results. The workshop received thirty-one submissions. Of these, based on the careful reviews of our program committee, the workshop accepted eight regular papers, four short papers for ongoing work, and ten SemEval-2010 task description papers.
An Ontology-Based Approach for Mobile Personalized Recommendation
Authors: Xu Yingchen, Gu Junzhong, Yang Jing, Zhang Zhengyong
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Mobile devices are in a widespread use today. Restricted by the features of mobile devices, such as mobility, low communication bandwidth, small capacity of memory, limited power and inconvenient interaction, mobile services are required to recommend items adapting to the user need and location. Much existing research on recommendations ignores semantic information of user dynamic historical preferences which is vital to the quality of recommendation. In this paper, an ontology-based approach for mobile personalized recommendation is proposed. This paper gives weight values to historical preferences using a decay factor and a time window. Then, historical preferences are mapped into the domain ontology and generate the User Dynamic Preference Ontology (UDPO), which is stored in mobile devices to reduce the load of bandwidth. After building UDPO, the user profile, the domain ontology and UDPO are combined to calculate the set of recommended items. Here, the user profile involves the user location and the user interests. The experimental results show that our approach can provide Points of Interest which the user likes better.