ppxscal/embedding_network huggingface dataset:
Design and Development of Small-Size Stiffness Surveying Instrument for Sheet Metal
Authors: Rong Lu, Xiangning Lu, Gang Chen
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

This paper explored the approach to solve the problems, such as instability of loading force and difficulty in measurement of deformation. A portable and high precision stiffness surveying instrument was developed for measuring the stiffness of large sheet metal. Combined with the mechanism, high accurate force sensor and grating sensor were used to measure the loading-force and the displacement. A special software named Stiffness Test(ST) was developed to process data and calculate the value of stiffness. In the practical test, the results indicate that this instrument is feasible and effective.
Iterative multiview side information for enhanced reconstruction in distributed video coding
Authors: Mourad Ouaret, Frédéric Dufaux, Touradj Ebrahimi
Venue: Journal on Image and Video Processing (2009)

Distributed video coding (DVC) is a new paradigm for video compression based on the information theoretical results of Slepian and Wolf (SW) and Wyner and Ziv (WZ). DVC entails low-complexity encoders as well as separate encoding of correlated video sources. This is particularly attractive for multiview camera systems in video surveillance and camera sensor network applications, where low complexity is required at the encoder. In addition, the separate encoding of the sources implies no communication between the cameras in a practical scenario. This is an advantage since communication is time and power consuming and requires complex networking. In this work, different intercamera estimation techniques for side information (SI) generation are explored and compared in terms of estimating quality, complexity, and rate distortion (RD) performance. Further, a technique called iterative multiview side information (IMSI) is introduced, where the final SI is used in an iterative reconstruction process. The simulation results show that IMSI significantly improves the RD performance for video with significant motion and activity. Furthermore, DVC outperforms AVC/H.264 Intra for video with average and low motion but it is still inferior to the Inter No Motion and Inter Motion modes.
Colin Moock's Lost ActionScript 3.0 Weekend Course 2, 1st edition
Authors: Colin Moock
Venue:  (2009)

Kick off your shoes and get ready for the Lost ActionScript Weekend. In Course 2 of this unique DVD training series, you'll learn intermediate to advanced ActionScript 3.0 programming concepts. World-renowned ActionScript guru and educator Colin Moock presents this intimate learning experience, based on his bestselling O'Reilly book, Essential ActionScript 3.0 , and his successful ActionScript 3.0 From the Ground Up Tour. Course 2 is ideal for experienced ActionScript developers and those who have completed Course 1 of this DVD series. Course 2 is 7 hours and 35 minutes long. 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
A Novel Three Degree-of-Freedom Force Sensor
Authors: Le Chen, Aiguo Song
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In this paper, a novel strain-gauge-based three DOF force sensor, which can provide 3 axis force vector for controller by measuring the force real time with wide force measurement range , low coupled interference and relatively low cost, is developed. Firstly, the system structure of the force sensor which contains the sensing element and the sampling circuit with USB interface is introduced. The distribution of strains and the design of Hilton Bridge Circuit have been described in detail. Then, a finite element analysis for the elastic body of the sensor is made. The paper calculates a fixed quantity of static couple under three components with the reasonable finite element computation model, and appraises the rationality of the structural design. Finally, based on the experimental data of the static calibration, the comprehensive and interference errors of the three DOF force sensor are calculated.
Using Modelling and Simulation for Policy Decision Support in Identity Management
Authors: Adrian Baldwin, Marco Casassa Mont, Simon Shiu
Venue: Proceedings of the 2009 IEEE International Symposium on Policies for Distributed Systems and Networks (2009)

The process of making IT (security) policy decisions, within organizations, is complex: it involves reaching consensus between a set of stakeholders (key decision makers, e.g. CISOs/CIOs, domain experts, etc.) who might have different views, opinions and biased perceptions of how policies need to be shaped. This involves multiple negotiations and interactions between stakeholders. This suggests two roles for policy decision support tools and methods: firstly to help an individual stakeholder test and refine their understanding of the situation and, secondly, to support the formation of consensus by helping stakeholders to share their assumptions and conclusions. We argue that an approach based on modeling and simulation can help with both these aspects, moreover we show that it is possible to integrate the assumptions made so that they can be directly contrasted and discussed. We consider, as a significant example, an Identity and Access Management (IAM) scenario: we focus on the provisioning process of user accounts on enterprise applications and services, a key IAM feature that has an impact on security, compliance and business outcomes. Whilst security and compliance experts might worry that ineffective policies for provisioning could fuel security and legal threats, business experts might be against policies that dictate overly strong or bureaucratic processes as they could have a negative impact on productivity. We explore the associated policy decision making process from these different perspectives and show how our systems modeling approach can provide consistent or comparable data, explanations, "what-if" predictions and analysis at different levels of abstractions. We discuss the implications that this has on the actual IT (security) policy decision making process.
The Designing and Implementing of Reverse Logistics Management Information System Based on E-business
Authors: Jia LiWei, Li Kun, Liu Fuxing
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

With the development of e-business, people pay more attention to the requirements of environment protection, reverse logistics gradually attract the interest of people. So the effect of MIS toward reverse logistics becomes much obvious. This article describes the connotation and characteristics of reverse logistics, and the system function model design, and logic structure design and safety design is investigated. The design and realization method of reverse logistics management information system was also put forward.
A New Binary Floating-Point Division Algorithm and Its Software Implementation on the ST231 Processor
Authors: Claude-Pierre Jeannerod, Herve Knochel, Christophe Monat, Guillaume Revy, Gilles Villard
Venue: Proceedings of the 2009 19th IEEE Symposium on Computer Arithmetic (2009)

This paper deals with the design and implementation of low latency software for binary floating-point division with correct rounding to nearest.The approach we present here targets a VLIW integer processor of the ST200 family, and is based on fast and accurate programs for evaluating some particular bivariate polynomials. We start by giving approximation and evaluation error conditions that are sufficient to ensure correct rounding. Then we describe the heuristics used to generate such evaluation programs, as well as those used to automatically validate their accuracy.Finally, we propose, for the binary32 format, a complete C implementation of the resulting division algorithm. With the ST200 compiler and compared to previous implementations, the speed-up observed with our approach is by a factor of almost 1.8.
PSO-Based RBF Neural Network Model for Teaching Quality Evaluation
Authors: Changjun Zhu, Bin Wang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In view of the problems existing in previous system of teaching quality, According to our teaching characteristics a new model of PSO-based teaching quality evaluation is set up by means of PSO theory and neural network. And the application procedure of the model is illuminated in detail. By analyzing a lot of practical examples, the experiment result indicates that this mathematical model has better appraisal effect and can overcome the complexity of traditional evaluation model. Compared with other methods, this method is scientific, simple and operable. And its structure and method will have a bright future.
Time-Based Personalised Mobile Game Downloading
Authors: Worapat Paireekreng, Kowit Rapeepisarn, Kok Wai Wong
Venue: Transactions on Edutainment II (2009)

Mobile device is an important gadget for many people today, regardless whether it is used for communication, entertainment or keeping up to date. With the advancement of mobile Internet, mobile devices are also used for many conventional PC based Internet applications. One such example is downloading games. Downloading mobile games via mobile device seems to be one of the more favorite activities for many mobile devices today. However, users may have different preferences in what genres of games they will be more interested in at different time of the day. In this paper, a personalised mobile game recommendation system which takes into consideration the time-of-day and time-of-week is used to provide a more personalised experience. From the data collected, it can be seen that at different time periods users may download different games and from different game genres.
Modified Fast Fuzzy C-means Algorithm for Image Segmentation
Authors: Rong-chuan Guo, Shui-sheng Ye, Min Quan, Hai-xia Shi
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Because Fuzzy c-means (FCM) clustering algorithm has the problems of initializing the cluster centers and a huge number of computing in the iteration, this paper presents an improved method. It can optimize the data set to reduce the time for each of iteration, and then use cluster centers obtained by the sample density as the initial cluster centers to reduce the number of iterations required for convergence. Experiments show this method is able to solve the problem of initial centers, improve the speed of convergence and running and the clustering effects for image segmentation.
The Structure of First-Order Causality
Authors: Samuel Mimram
Venue: Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science (2009)

Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing dependencies induced by quantifications in first-order propositional logic. One of the main difficulties that has to be faced during the elaboration of this kind of semantics is to characterize definable strategies, that is strategies which actually behave like a proof. This is usually done by restricting the model to strategies satisfying subtle combinatorial conditions, whose preservation under composition is often difficult to show. Here, we present an original methodology to achieve this task, which requires to combine advanced tools from game semantics, rewriting theory and categorical algebra. We introduce a diagrammatic presentation of the monoidal category of definable strategies of our model, by the means of generators and relations: those strategies can be generated from a finite set of atomic strategies and the equality between strategies admits a finite axiomatization, this equational structure corresponding to a polarized variation of the notion of bialgebra. This work thus bridges algebra and denotational semantics in order to reveal the structure of dependencies induced by first-order quantifiers, and lays the foundations for a mechanized analysis of causality in programming languages.
Rough Sets Based Video Mining Preprocessing Algorithm in Compressed Domain
Authors: Li Xiang-wei, Zhang Ming-xin, Zhu Ya-ling, Li Xing-du, Ma Ting-bing
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

A critical and fundamental task in video mining is data preprocessing, in this paper, aimed to overcome limitations of redundant data for video mining, the paper propose a video mining preprocessing algorithm based on Rough Sets. Firstly, the representative data of video sequences is extracted in compressed domain. Secondly, the Information System Table is constructed by extracted representative data. Finally, the Core of Information System Table is achieved by making use of the attributes reduction theory of RS. As our experimental results indicate, the algorithm can get effective and scientific data to complete video mining such as key frame extraction and shot segmentation and other operations. Compared to existing techniques, our proposed algorithm enjoys following advantages.(1) only a subset of frames need to be considered during video mining.(2) The limitations of requirements for a huge amount of memory and CPU resource are overcome.
The Barrel Theory Based Decision-making Algorithm and Its Application
Authors: Liu Huabo, He Liyuan, Liu Tao
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

The study proposed the barrel algorithm based on barrel principle. The concept and operative steps were introduced and tested in auto-grading of tobacco leaves. The experiment demonstrated that the barrel algorithm could get a satisfied classification results in solving pattern recognition problems tallying with barrel theory. The method may provide the tobacco industry with a rapid and accurate method to determine the quality grades of tobacco leaves, and give a clear approach to settle similar problems.
Fast and Accurate 3D Edge Detection for Surface Reconstruction
Authors: Christian Bähnisch, Peer Stelldinger, Ullrich Köthe
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

Although edge detection is a well investigated topic, 3D edge detectors mostly lack either accuracy or speed. We will show, how to build a highly accurate subvoxel edge detector, which is fast enough for practical applications. In contrast to other approaches we use a spline interpolation in order to have an efficient approximation of the theoretically ideal sinc interpolator. We give theoretical bounds for the accuracy and show experimentally that our approach reaches these bounds while the often-used subpixel-accurate parabola fit leads to much higher edge displacements.
A Low-Power Multimedia SoC with Fully Programmable 3D Graphics for Mobile Devices
Authors: Jeong-Ho Woo, Ju-Ho Sohn, Hyejung Kim, Hoi-Jun Yoo
Venue: IEEE Computer Graphics and Applications (2009)

A low-power multimedia SoC integrates a fully programmable 3D graphics for mobile devices with an MPEG4/JPEG codec and H.264 decoder for mobile devices. A mobile unified shader achieves programmable vertex shading and pixel shading in a single die, reducing silicon area and power consumption by 35 percent and 28 percent, respectively. A logarithmic lighting engine and specialized lighting instruction improve the vertex fill rate, including transformations and lighting, to 9.1 million vertices per second. Implemented on a 6.4 mm × 6.4 mm chip with 0.13 μm CMOS logic, the SoC consumes less than 195 mW for 3D graphics applications at 1.2 V supply voltage and 100 MHz operating frequency and less than 152mW for video applications.
Artificial Life: Creating and Evolving New Modes of Realism
Authors: Mark Guglielmetti
Venue: Proceedings of the 2009 Second International Conference in Visualisation (2009)

This paper explores art, Artificial Life and the creation of new modes of realism. A brief survey charting significant Artificial Life artworks using aesthetic selection contextualizes the current status of realism in Artificial Life. Drawing on ‘media ecology’ the paper examines the relationship between realism, codes of representation and what we see as real and ‘true to life’. These ideas are explored in the artwork "Laboratories of thought and experimentations for future forms of subjectivation". This exploration provides a foundation and lens through which to consider evolving alternative modes of realism in Artificial Life 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
Tied-mixture language modeling in continuous space
Authors: Ruhi Sarikaya, Mohamed Afify, Brian Kingsbury
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

This paper presents a new perspective to the language modeling problem by moving the word representations and modeling into the continuous space. In a previous work we introduced Gaussian-Mixture Language Model (GMLM) and presented some initial experiments. Here, we propose Tied-Mixture Language Model (TMLM), which does not have the model parameter estimation problems that GMLM has. TMLM provides a great deal of parameter tying across words, hence achieves robust parameter estimation. As such, TMLM can estimate the probability of any word that has as few as two occurrences in the training data. The speech recognition experiments with the TMLM show improvement over the word trigram model.
Simulation on Automobile Handling and Stability Based on Combination Control
Authors: Lixia Zhang, Fuquan Pan, Fengyuan Wang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The use of combined Direct Yaw-moment Control (DYC) with Active Front Steering (AFS) control to improve vehicle handling and stability is proposed. To improve the response of yaw rate, the strategy of sliding mode theory is employed for AFS controller. Basing on the optimal control theory, the DYC controller is designed. The DYC controller makes the vehicle follow the desired dynamic model by sideslip angle regulating feed-forward and the state feedback of both yaw rate and sideslip angle. The effect of combination control system on the vehicle handling and stability is studied through a open loop computer simulation of the two degrees of freedom linear vehicle model. The simulation results show that the combination of both DYC controller and AFS controller can effectively control the sideslip angle and yaw rate synchronously, achieve good transient and steady response, lighten the burden of the driver and improve vehicle handling and stability. Especially a good response can still be achieved at a high speed, which is good for improving the security of driving.
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure
Authors: Ayman Z. Faza, Sahra Sedigh, Bruce M. Mcmillin
Venue: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (2009)

The advanced electric power grid is a cyber-physical system comprised of physical components, such as transmission lines and generators, and a network of embedded systems deployed for their cyber control. The objective of this paper is to qualitatively and quantitatively analyze the reliability of this cyber-physical system. The original contribution of the approach lies in the scope of failures analyzed, which crosses the cyber-physical boundary by investigating physical manifestations of failures in cyber control. As an example of power electronics deployed to enhance and control the operation of the grid, we study Flexible AC Transmission System (FACTS) devices, which are used to alter the flow of power on specific transmission lines. Through prudent fault injection, we enumerate the failure modes of FACTS devices, as triggered by their embedded software, and evaluate their effect on the reliability of the device and the reliability of the power grid on which they are deployed. The IEEE118 bus system is used as our case study, where the physical infrastructure is supplemented with seven FACTS devices to prevent the occurrence of four previously documented potential cascading failures.
Design and Implementation of Self-securing Disk
Authors: Mengqi Zeng, Dawu Gu, Fangyong Hou, Yuanyuan Zhang, Tao Cheng
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

Self-securing storage devices prevents intruders from undetectably tampering with or permanently deleting stored data. To accomplish this, We design an efficient self-securing disk architecture, which is based on traditional self-securing storage prototype S4: 1)On the confidentiality protection side, authenticated encryption mode GCM is adapted to process disk block in parallel ,and authentication latency is overlapped with disk access latency so that our scheme is more efficient and secure than Windows BitLocker. 2) On the integrity protection side, GHASH proposed in GCM is used to generate MAC which is more efficient than SHA-1, MD5. Moreover, “Minimum Integrity Verification Tree” is put forward to decrease performance loss at a maximum. 3) On the access control protection side, we propose a cryptographically featured capability based access control model, which is based on existing OSD access control model. We use hybrid hard drive as an instance to build a self-securing disk prototype which is implemented by simulation. The encryption/authentication overheads are significantly reduced due to buffer techniques and combined GCM/Flash scheme. According to the simulation results, the performance overhead is less than 18%, which is efficient and practical.
Level Set Image Segmentation with a Statistical Overlap Constraint
Authors: Ismail Ayed, Shuo Li, Ian Ross
Venue: Proceedings of the 21st International Conference on Information Processing in Medical Imaging (2009)

This study investigates active curve image segmentation with a statistical overlap constraint, which biases the overlap between the nonparametric (kernel-based) distributions of image data within the segmentation regions---a foreground and a background---to a statistical description learned a priori. We model the overlap, measured via the Bhattacharyya coefficient, with a Gaussian prior whose parameters are estimated from a set of relevant training images. This can be viewed as a generalization of current intensity-driven constraints for difficult situations where a significant overlap exists between the distributions of the segmentation regions. We propose to minimize a functional containing the overlap constraint and classic regularization terms, compute the corresponding Euler-Lagrange curve evolution equation, and give a simple interpretation of how the statistical overlap constraint influences such evolution. A representative number of statistical, quantitative, and comparative experiments with Magnetic Resonance (MR) cardiac images and Computed Tomography (CT) liver images demonstrate the desirable properties of the statistical overlap constraint. First, it outperforms significantly the likelihood prior commonly used in level set segmentation. Second, it is easy-to-learn; we demonstrate experimentally that the Gaussian assumption is sufficient for cardiac images. Third, it can relax the need of both complex geometric training and accurate learning of the background distribution, thereby allowing more flexibility in clinical use.