ppxscal/embedding_network huggingface dataset:
Extended Fuzzy Logic Programs with Fuzzy Answer Set Semantics
Authors: Emad Saad
Venue: Proceedings of the 3rd International Conference on Scalable Uncertainty Management (2009)

This paper extends fuzzy logic programs [12, 24] to allow the explicit representation of classical negation as well as non-monotonic negation, by introducing the notion of extended fuzzy logic programs. We present the fuzzy answer set semantics for the extended fuzzy logic programs, which is based on the classical answer set semantics of classical extended logic programs [7]. We show that the proposed semantics is a natural extension to the classical answer set semantics of classical extended logic programs [7]. Furthermore, we define fixpoint semantics for extended fuzzy logic programs with and without non-monotonic negation, and study their relationship to the fuzzy answer set semantics. In addition, we show that the fuzzy answer set semantics is reduced to the stable fuzzy model semantics for normal fuzzy logic programs introduced in [42]. The importance of that is computational methods developed for normal fuzzy logic programs can be applied to the extended fuzzy logic programs. Moreover, we show that extended fuzzy logic programs can be intuitively used for representing and reasoning about actions in fuzzy environment.
Amortized supersampling
Authors: Lei Yang, Diego Nehab, Pedro V. Sander, Pitchaya Sitthi-amorn, Jason Lawrence, Hugues Hoppe
Venue: ACM SIGGRAPH Asia 2009 papers (2009)

We present a real-time rendering scheme that reuses shading samples from earlier time frames to achieve practical antialiasing of procedural shaders. Using a reprojection strategy, we maintain several sets of shading estimates at subpixel precision, and incrementally update these such that for most pixels only one new shaded sample is evaluated per frame. The key difficulty is to prevent accumulated blurring during successive reprojections. We present a theoretical analysis of the blur introduced by reprojection methods. Based on this analysis, we introduce a nonuniform spatial filter, an adaptive recursive temporal filter, and a principled scheme for locally estimating the spatial blur. Our scheme is appropriate for antialiasing shading attributes that vary slowly over time. It works in a single rendering pass on commodity graphics hardware, and offers results that surpass 4x4 stratified supersampling in quality, at a fraction of the cost.
A Digital Method for Detecting Hydraulic Press Column Stress Based on Profibus-dp Fieldbus
Authors: Hui Chen, Jianping Tan, Jinli Gong
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Abstract—In view of the bad work environment and serious external interference of hydraulic press, the limitations of traditional column stress detecting method which is based on resistance strain gauges is analyzed. According to the essential requirements of the system, a new digital method for detecting column stress of hydraulic press based on eddy-current displacement sensor and profibus-dp fieldbus is proposed. The basic principle and system composition are introduced. In order to test the accuracy, linearity and anti-interference ability of the system, experimental study was made. The results of the experimental study shows that the sensor’s precision is 1um, the linearity is less than 1%, and the system has a strong anti-interference ability. It can substitute the traditional stress detecting methods and be applied in column stress detecting of hydraulic press in specific work environment.
Building conversational agents with Basilica
Authors: Rohit Kumar, Carolyn P. Rosé
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Demonstration Session (2009)

Basilica is an event-driven software architecture for creating conversational agents as a collection of reusable components. Software engineers and computer scientists can use this general architecture to create increasingly sophisticated conversational agents. We have developed agents based on Basilica that have been used in various application scenarios and foresee that agents build on Basilica can cater to a wider variety of interactive situations as we continue to add functionality to our architecture.
Observational Equivalence Technique in Trusted Model
Authors: Jie Yang, De-yu Qi, Yu-ren Zhou, Jin-bin Zheng
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

We apply a process algebra oriented architectural modeling language in trusted software model. The model-checking technique can manage incompatibility between two components caused by a single interaction or the combination of several interactions except for the interoperability and interoperability problems among components. It is a kind of standard observational equivalences technique.
IBM System Storage N Series A-sis Deduplication
Venue:  (2009)

This IBM Redbooks publication introduces Data ONTAP deduplication technology. It describes Advanced Single Instance Storage (A-SIS) deduplication on IBM System StorageTM N series. It also describes: - Details of how to implement and use deduplication - Best practices - Operational considerations - Troubleshooting information This book should prove useful for both sales and services field personnel who require assistance in understanding details and successfully deploying solutions that include deduplication. 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 Real-Time Algorithm for Skype Traffic Detection and Classification
Authors: D. Adami, C. Callegari, S. Giordano, M. Pagano, T. Pepe
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

In the last years Skype has gained more and more attention from both the users and the scientific community. Namely, the users are interested in its ability to provide a free and reliable way to make phone calls over the Internet, while the scientific community is interested in the reverse-engineering process, because of the proprietary design of the application. In more detail, both Skype protocols and algorithms are unknown and use strong encryption mechanisms, making it very difficult to even reveal Skype presence inside a traffic aggregate. This issue is of primary interest for the scientific community and, above all, of big economical relevance for the operators.In this paper we propose a novel algorithm for detecting Skype traffic, based on both signature-based and statistical approaches. The proposed algorithm is able to reveal in real time the presence of Skype clients in the monitored network, and to distinguish among the several types of Skype "activities": direct calls, calls with relay node, SkypeOut calls, and file tranfers. To assess the effectiveness of our method we have tested the system over several traffic data sets, collected in different networks. Moreover we have compared the performance offered by our system with those provided by "classical" classification techniques, as well as by the state-of-the-art Skype classifier.
Triangular Decomposition for Algebraic and Geometric Computing
Authors: Dongming Wang
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

In this talk, we present several algorithms for decomposing systems of multivariate polynomials into triangular systems of various kinds. The algorithms have been efficiently implemented and successfully applied to numerous problems of scientific computing, ranging over computational polynomial algebra, automated geometric reasoning, solving systems of nonlinear equations, qualitative analysis of biological systems, and computer aided geometric design. We discuss some of the applications with a number of illustrative examples. 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
Spectral Counting of Triangles in Power-Law Networks via Element-Wise Sparsification
Authors: Charalampos Tsourakakis, Petros Drineas, Eirinaios Michelakis, Ioannis Koutis, Christos Faloutsos
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

Triangle counting is an important problem in graph mining. The clustering coefficient and the transitivity ratio,two commonly used measures effectively quantify the triangle density in order to quantify the fact that friends of friends tend to be friends themselves. Furthermore, several successful graph mining applications rely on the number of triangles. In this paper, we study the problem of counting triangles in large, power-law networks. Our algorithm, SparcifyingEigenTriangle, relies on the spectral properties of power-law networks and the Achlioptas-McSherry sparsification process. SparcifyingEigenTriangle is easy to parallelize, fast and accurate.We verify the validity of our approach with several experiments in real-world graphs, where we achieve at the same time high accuracy and important speedup versus a straight-forward exact counting competitor.
Energy-aware network selection using traffic estimation
Authors: Henrik Petander
Venue: Proceedings of the 1st ACM workshop on Mobile internet through cellular networks (2009)

This paper proposes an energy-aware handoff algorithm based on energy consumption measurements of UMTS and 802.11 WLAN networks on an Android mobile phone. The handoff algorithm uses estimation of application traffic size to find the minimum energy cost alternative by comparing the cost of using UMTS with the cost of performing an opportunistic downward vertical handoff to a WLAN and using WLAN for the transfer and the eventual upward vertical handoff back to UMTS. Our experiments show that the energy cost of UMTS is nearly equal to WLAN as a function of transfer time, but for bulk transfers, transferring a byte of data over UMTS can be over a hundred times more expensive than over WLAN. Further, we discovered that the energy cost of the vertical handoff is quite high, comparable to downloading 0.12-0.67 MB of data over UMTS. To calculate the energy cost of data transfers before they take place, we propose and evaluate a distributed traffic estimation mechanism. The mechanism can predict how much data will be transferred due to a user action (i.e. clicking of an URL link). We provide initial results on the accuracy of the mechanism. Finally, we perform a numerical analysis on the the performance of the handoff algorithm and show that it can reduce the energy consumption significantly when compared with simple policies.
Experience and Knowledge Management in Software Engineering, 1st edition
Authors: Kurt Schneider
Venue:  (2009)

Nowadays, there is software everywhere in our life. It controls cars, airplanes, factories, medical implants. Without software, banking, logistics and transportation, media, and even scientific research would not function in the accustomed way. Building and maintaining software is a knowledge-intensive endeavour and requires that specific experiences are handled successfully. However, neither knowledge nor experience can be collected, stored, and shipped like physical goods, instead these delicate resources require dedicated techniques. Knowledge and experience are often called company assets, yet this is only part of the truth: it is only software engineers and other creative employees who will effectively exploit an organisation's knowledge and experience. Kurt Schneiders textbook is written for those who want to make better use of their own knowledge and experience either personally or within their group or company. Everyone related to software development will benefit from his detailed explanations and case studies: project managers, software engineers, quality assurance responsibles, and knowledge managers. His presentation is based on years of both practical experience, with companies such as Boeing, Daimler, and Nokia, and research in renowned environments, such as the Fraunhofer Institute. Each chapter is self-contained, it clearly states its learning objectives, gives in-depth presentations, shows the techniques practical relevance in application scenarios, lists detailed references for further reading, and is finally completed by exercises that review the material presented and also challenge further, critical examinations. The overall result is a textbook that is equally suitable as a personal resource for self-directed learning and as the basis for a one-semester course on software engineering and knowledge management.
Bringing Digital Storytelling to the Mobile
Authors: Thomas Reitmaier, Gary Marsden
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

Technology has changed the way in which people tell their stories. This paper introduces digital storytelling and looks at why the mobile is an ideal platform for creating digital stories. The iterative design approach chosen for our Mobile Digital Storytelling system is discussed. Results of a final experiment, comparing our system to an existing mobile system that supports digital storytelling, are presented, which suggest that our system has met its design goals of providing an effective and efficient user interface. Qualitative insights from user evaluations show that mobile digital storytelling has a future.
Proposal of a Direction Guidance System for Evacuation
Authors: Chikamune Wada, Yu Yoneda, Yukinobu Sugimura
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

In this paper, we propose a device that indicates the direction to evacuate. Our proposed system, which would present the direction through the tactile sensation of the head, could be used in no visibility environment such as filled smoke. This paper describes a feasibility of our proposed system and indicates problems to be solved.
A parallel Proposition Bank II for Chinese and English
Authors: Martha Palmer, Nianwen Xue, Olga Babko-Malaya, Jinying Chen, Benjamin Snyder
Venue: Proceedings of the Workshop on Frontiers in Corpus Annotations II: Pie in the Sky (2005)

The Proposition Bank (PropBank) project is aimed at creating a corpus of text annotated with information about semantic propositions. The second phase of the project, PropBank II adds additional levels of semantic annotation which include eventuality variables, co-reference, coarse-grained sense tags, and discourse connectives. This paper presents the results of the parallel PropBank II project, which adds these richer layers of semantic annotation to the first 100K of the Chinese Treebank and its English translation. Our preliminary analysis supports the hypothesis that this additional annotation reconciles many of the surface differences between the two languages.
An Improved Bilinear Interpolation Algorithm of Converting Standard-Definition Television Images to High-Definition Television Images
Authors: Lu Jing, Si Xiong, Wu Shihong
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

It's very hard to guarantee high image quality whenconverting standard-definition television (SDTV) images tohigh-definition television (HDTV) images because of the greatdifference of image resolution between them. Moreover, thechange in pixel shape from rectangular to square makes thetraditional image zooming methods impossible to do theconversion. Based on this reason, we propose an ImprovedBilinear Interpolation Algorithm: using the CenterCoordinates of Pixels to do bilinear interpolation (IBIACCP).This method can correct the color values of HDTV images bycorrecting the pixels’ x and y coordinates since a pixel’s colorvalue is a function of its x and y coordinates in interpolationalgorithms. Considering the huge enlarging multiples, we dosharpening treatment to the HDTV images after theinterpolation. Experiments show that IBIACCP can greatlyimprove the quality of HDTV images comparing withtraditional bilinear interpolation algorithm.
Collins Need to Know? Digital SLR Photography: Expert Advice on Getting the Best from Your Camera
Authors: John Freeman
Venue:  (2009)

Digital SLR cameras constitute the fastest growing area in the digital camera market, and this practical and accessible guide will give amateur photographers all the information they need to get the best shots every time. A vast number of topics are addressed, including picking out equipment and lenses; using and adjusting menus, modes, exposures, filters, and flashes; and setting up the shot. Individual chapters give hints on how to properly shoot a variety of subjects, among them people, architecture, still life, and landscapes. Superbly illustrated with hundreds of images and packed with professional tips, this is the ultimate photographer's companion. 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
Practical Cryptanalysis of iso/iec 9796-2 and emv Signatures
Authors: Jean-Sébastien Coron, David Naccache, Mehdi Tibouchi, Ralf-Philipp Weinmann
Venue: Proceedings of the 29th Annual International Cryptology Conference on Advances in Cryptology (2009)

In 1999, Coron, Naccache and Stern discovered an existential signature forgery for two popular rsa signature standards, iso/iec 9796-1 and 2. Following this attack iso/iec 9796-1 was withdrawn. iso/iec 9796-2 was amended by increasing the message digest to at least 160 bits. Attacking this amended version required at least 261 operations.In this paper, we exhibit algorithmic refinements allowing to attack the amended (currently valid) version of iso/iec 9796-2 for all modulus sizes. A practical forgery was computed in only two days using 19 servers on the Amazon ec2 grid for a total cost of $\simeq\mbox{{\sc us\$800}}$. The forgery was implemented for e = 2 but attacking odd exponents will not take longer. The forgery was computed for the rsa-2048 challenge modulus, whose factorization is still unknown.The new attack blends several theoretical tools. These do not change the asymptotic complexity of Coron et al.'s technique but significantly accelerate it for parameter values previously considered beyond reach.While less efficient (us$45,000), the acceleration also extends to emv signatures. emv is an iso/iec 9796-2-compliant format with extra redundancy. Luckily, this attack does not threaten any of the 730 million emv payment cards in circulation for operational reasons.Costs are per modulus: after a first forgery for a given modulus, obtaining more forgeries is virtually immediate.
Bio-inspired Approach for the Recognition of Goal-Directed Hand Actions
Authors: Falk Fleischer, Antonino Casile, Martin A. Giese
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

The recognition of transitive, goal-directed actions requires a sensible balance between the representation of specific shape details of effector and goal object and robustness with respect to image transformations. We present a biologically-inspired architecture for the recognition of transitive actions from video sequences that integrates an appearance-based recognition approach with a simple neural mechanism for the representation of the effector-object relationship. A large degree of position invariance is obtained by nonlinear pooling in combination with an explicit representation of the relative positions of object and effector using neural population codes. The approach was tested on real videos, demonstrating successful invariant recognition of grip types on unsegmented video sequences. In addition, the algorithm reproduces and predicts the behavior of action-selective neurons in parietal and prefrontal cortex. 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
Integration of verification methods for program systems
Authors: V. V. Kuliamin
Venue: Programming and Computing Software (2009)

In the paper, an approach to constructing an extensible framework for the verification of program systems is suggested. In the author's opinion, it will facilitate application of modern rigorous verification methods to practically significant programs, the complexity of which permanently grows. This framework can also become a test harness for testing and adjustment of new techniques of formal verification and static analysis on various industrial software packages.
Products Development Process Based on DSM and Its Optimization
Authors: Tao Feng, Bing Chen, Dinghua Zhang, Shan Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

To solve the complex process problem caused by information coupling, concurrent product development process model based on design structure matrix (DSM) is developed. The multi-target genetic algorithm (GA) optimization toward numerical DSM was proposed to optimize the information stream orientation and obtain the optimal activities execution sequence. Based on above, rework time caused by time overlapping and iteration was calculated for coupled and uncoupled activities. Under the cost constraint, the optimization method of time model was pointed out. Finally, the optimal task execution sequence and exact time model of process were obtained. The validity and the optimization of the model with an instance were proved.
A Two-Phase Model for Learning Rules from Incomplete Data
Authors: Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang
Venue: Fundamenta Informaticae (2009)

A two-phase learning strategy for rule induction from incomplete data is proposed, and a new form of rules is introduced so that a user can easily identify attributes with or without missing values in a rule. Two levels of measurement are assigned to a rule. An algorithm for two-phase rule induction is presented. Instead of filling in missing attribute values before or during the process of rule induction, we divide rule induction into two phases. In the first phase, rules and partial rules are induced based on non-missing values. In the second phase, partial rules are modified and refined by the imputation of some missing values. Such rules truthfully reflect the knowledge embedded in the incomplete data. The study not only presents a new view of rule induction from incomplete data, but also provides a practical solution. Experiments validate the effectiveness of the proposed method.
Variable Structure Sliding Mode Direct Torque Control for PM+ALA Rotor Synchronous Motor
Authors: Xuezhen Chen
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A variable structure controller is proposed for the axially laminated anisotropic (ALA) and PM combined rotor synchronous motor, the reference torque and stator flux linkage are tracked by variable structure sliding mode controller (VSSMC). The principle of sliding mode controller is presented, the system is simulated with MATLAB/SIMULINK, results show torque pulsation are reduced due to the variable structure sliding mode control ,the torque has fast response and robustness.