ppxscal/embedding_network huggingface dataset:
Research on PLM System Architecture Model and Process
Authors: Lin Gao, Jun Gao, Yangxi Fan, Jianqiang Zheng
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Product lifecycle management aims at providing a collaboration platform for integrated product team and partners in supply chain through integrating different stages in product lifecycle. In this paper, function and architecture of product lifecycle management system are analyzed first. Then system model is established from point of view of application and development. Product view and process view is the core of system model. Process analysis in product lifecycle management is described in detail. Finally extended design structure matrix example is proposed to support process analysis of workflow.
A stabilized semi-implicit Galerkin scheme for Navier-Stokes equations
Authors: Yanren Hou, Qingfang Liu
Venue: Journal of Computational and Applied Mathematics (2009)

By introducing a time relaxation term for the time derivative of higher frequency components, we proposed a stabilized semi-implicit Galerkin scheme for evolutionary Navier-Stokes equations in this paper. Analysis shows that such a scheme has weaker stability conditions than that of a classical semi-implicit Galerkin scheme and, when a suitable relaxation parameter @s is chosen, it generates an approximate solution with the same accuracy as the classical one. That means the proposed scheme might use a larger time step to generate a bounded approximate solution. Thus it is more suitable for long time simulations.
How to Cheat in Adobe Flash CS4: The art of design and animation
Authors: Chris Georgenes
Venue:  (2009)

Need to solve problems quickly to develop creative projects to time and to budget? Want to hone your Flash skills so you can concentrate on your animation? Then How to Cheat in Flash is for you! Chris Georgenes shows how to work from the problem to the solution - from the viewpoint of an animator who has been commissioned to create a job and is working to a deadline. With his in-depth knowledge of the little-known secrets used by the pros to produce creative, professional animations, Chris is THE go-to guru for designers and animators who want to create great animation, applications or motion design with Flash. This accessible, practical book and CD package is such a goldmine of artistic inspiration, timesaving practical tips, tricks and step-by-step walkthroughs that you'll wonder how you survived without it. * Bestselling How to Cheat coverage of Flash CS4 - a proven format for successful learning.* Learn a myriad of tips and tricks based on real-life working methods to help you work faster and more efficiently.* Work from the problem to the solution, to gain the best possible results from Flash. 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
Detecting execution failures using learned action models
Authors: Maria Fox, Jonathan Gough, Derek Long
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Planners reason with abstracted models of the behaviours they use to construct plans. When plans are turned into the instructions that drive an executive, the real behaviours interacting with the unpredictable uncertainties of the environment can lead to failure. One of the challenges for intelligent autonomy is to recognise when the actual execution of a behaviour has diverged so far from the expected behaviour that it can be considered to be a failure. In this paper we present an approach by which a trace of the execution of a behaviour is monitored by tracking its most likely explanation through a learned model of how the behaviour is normally executed. In this way, possible failures are identified as deviations from common patterns of the execution of the behaviour. We perform an experiment in which we inject errors into the behaviour of a robot performing a particular task, and explore how well a learned model of the task can detect where these errors occur.
Pure 2D picture grammars and languages
Authors: K. G. Subramanian, Rosihan M. Ali, M. Geethalakshmi, Atulya K. Nagar
Venue: Discrete Applied Mathematics (2009)

A new syntactic model, called pure two-dimensional (2D) context-free grammar (P2DCFG), is introduced based on the notion of pure context-free string grammar. The rectangular picture generative power of this 2D grammar model is investigated. Certain closure properties are obtained. An analogue of this 2D grammar model called pure 2D hexagonal context-free grammar (P2DHCFG) is also considered to generate hexagonal picture arrays on triangular grids.
From Architectural to Behavioural Specification of Services
Authors: Laura Bocchi, José Luiz Fiadeiro, Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Many efforts are currently devoted to provide software developers with methods and techniques that can endow service-oriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and calculi have been proposed within the Sensoria project that address different levels of abstraction of the software engineering process. Here, we report on two such languages and the way they can be formally related within an integrated approach that can lead to verifiable development of service components from more abstract architectural models of business activities.
Magic Lantern Guides: Nikon D40 Multimedia Workshop
Authors: Lark Books
Venue:  (2009)

Magic Lantern Guides Multimedia WorkshopsThe worlds best photographic package! Magic Lantern Guides and DVDs have always provided the very best, most in-depth coverage of a cameras ins-and-outs. Now, theres even more magic on the market for photographers: the MAGIC LANTERN MULTIMEDIA WORKSHOP. Its a complete class in digital photography with a D-SLR cameraone that enables you to learn the essentials at your own pace, in the comfort in your own home. The attractive package includes:- Specific 80-minute DVD: An authoritative DVD guide made just for your model. Created by photographers for photographers, it covers specific camera features and functions. The format allows you to navigate easily between different topics and review chapters any time.- Taking Great Digital Photos: This full-color, 64-page book gets newcomers to the digital world started right. Packed with picture-taking tips and information on digital file formats, it explains how f/stops and shutter speeds work together to create an exposure, which focal lengths are best for various subjects, and how to get accurate color with white balance.- Great Photos with Your Digital SLR 60-minute DVD: This live-action tutorial demystifies digital shooting, and shows how to compose photos; choose the best picture-quality settings; improve results with the built-in flash; and interpret your histogram. Plus, see when to trust your cameras automatic settingsor change them yourself. - Quick Reference Wallet Card: This laminated take-along is an ideal in-the-field key to camera and menu operations.Theres nothing else like this on the market! 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
Motion and Emotional Behavior Design for Pet Robot Dog
Authors: Chi-Tai Cheng, Yu-Ting Yang, Shih-Heng Miao, Ching-Chang Wong
Venue: Proceedings of the FIRA RoboWorld Congress 2009 on Advances in Robotics (2009)

A pet robot dog with two ears, one mouth, one facial expression plane, and one vision system is designed and implemented so that it can do some emotional behaviors. Three processors (Inter® Pentium® M 1.0 GHz, an 8-bit processer 8051, and embedded soft-core processer NIOS) are used to control the robot. One camera, one power detector, four touch sensors, and one temperature detector are used to obtain the information of the environment. The designed robot with 20 DOF (degrees of freedom) is able to accomplish the walking motion. A behavior system is built on the implemented pet robot so that it is able to choose a suitable behavior for different environmental situation. From the practical test, we can see that the implemented pet robot dog can do some emotional interaction with the human.
Using Learning Objects to Affect Educational Outcomes
Authors: Sorel Reisman
Venue: Computer (2009)

Used in a stand-alone mode or embedded in larger applications such as online e-learning courses, learning objects offer an innovative technology that can have a significant effect on student learning outcomes.
Combinatorial Software Testing
Authors: Rick Kuhn, Raghu Kacker, Yu Lei, Justin Hunter
Venue: Computer (2009)

Combinatorial testing can detect hard-to-find software faults more efficiently than manual test case selection methods.
Tags4Tags: Using Tagging to Consolidate Tags
Authors: Leyla Jael Garcia-Castro, Martin Hepp, Alexander Garcia
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

Tagging has become increasingly popular and useful across various social networks and applications. It allows users to classify and organize resources for improving the retrieval performance over those tagged resources. Within social networks, tags can also facilitate the interaction between members of the community, e.g. because similar tags may represent similar interests. Although obviously useful for straightforward retrieval tasks, the current meta-data model underlying typical tagging systems does not fully exploit the potential of the social process of finding, establishing, challenging, and promoting symbols, i.e. tags. For instance, the social process is not used for establishing an explicit hierarchy of tags or for the collective detection of equivalencies, synonyms, morphological variants, and other useful relationships across tags. This limitation is due to the constraints of the typical meta-model of tagging, in which the subject must be a Web resource, the relationship type is always hasTag, and the object must be a tag as a literal. In this paper, we propose a simple yet effective extension for the current meta-model of tagging systems in order to exploit the potential of collective tagging for the emergence of richer semantic structures, in particular for capturing semantic relationships between tags. Our approach expands the range of the object of tagging from Web resources only to the union of (1) Web resources and (2) pairs of tags, i.e., users can now use arbitrary tags for expressing typed relationships between a pair of tags. This allows the user community to establish similarity relations and other types of relationships between tags. We present a first prototype and the results from an evaluation in a small controlled setting.
Robust and Efficient Routing in Wireless Mesh Networks with Unreliable Nodes
Authors: Apostolia Papapostolou, Vasilis Friderikos, Tara A. Yahiya, Hakima Chaouchi
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

Wireless Mesh Networks (WMNs) are presently one of the most promising global telecommunication systems. It is expected that they will profoundly change the landscape of wireless broadband. This is because providing last mile connectivity to a backbone network (such as the Internet) continues to be a challenge of fundamental importance for the evolution of next generation wireless networks. In this paper, we address the main challenging issues related to the routing methods in the WMNs. We propose several routing algorithms which provide robustness and energy efficiency guarantees in an unideal environment which is characterized by frequent or rare node failures/misbehaviour. Numerical investigations illustrate that the proposed algorithms guarantee successful communication with power efficiency and low overhead even when faulty nodes subsist in the environment.
Enhancing Haptic Rendering through Predictive Collision Detection
Authors: Athanasios Vogiannou, Konstantinos Moustakas, Dimitrios Tzovaras, Michael G. Strintzis
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

This paper presents an efficient collision detection method for interactive haptic simulations of virtual environments that consist of both static and moving objects. The proposed method is based on a novel algorithm for predicting the time of proximity between a pair objects and the appropriate employment of the calculated prediction in a complex virtual scene with multiple objects. The user is able to interact with the virtual objects and receive real-time haptic feedback using the PHANToM Desktop haptic device, while the visual results are shown in the screen display. Experimental results demonstrate the efficiency and the reliability of the presented approach compared to state-of-the-art spatial subdivisions methods, especially for haptic rendering, where collision detection and response is a procedure of critical importance.
Convergence analysis of the high-order mimetic finite difference method
Authors: L. Beir&#x00e3;o da Veiga, K. Lipnikov, G. Manzini
Venue: Numerische Mathematik (2009)

We prove second-order convergence of the conservative variable and its flux in the high-order MFD method. The convergence results are proved for unstructured polyhedral meshes and full tensor diffusion coefficients. For the case of non-constant coefficients, we also develop a new family of high-order MFD methods. Theoretical result are confirmed through numerical experiments.
ASPIER: An Automated Framework for Verifying Security Protocol Implementations
Authors: Sagar Chaki, Anupam Datta
Venue: Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium (2009)

We present ASPIER -- the first framework that combines software model checking with a standard protocol security model to automatically analyze authentication and secrecy properties of protocol implementations in C. The technical approach extends the iterative abstraction-refinement methodology for software model checking with a domain-specific protocol and symbolic attacker model. We have implemented the ASPIER tool and used it to verify authentication and secrecy properties of a part of an industrial strength protocol implementation -- the handshake in OpenSSL -- for configurations consisting of up to 3 servers and 3 clients. We have also implemented two distinct methods for reasoning about attacker message derivations, and evaluated them in the context of OpenSSL verification. ASPIER detected the "version-rollback" vulnerability in OpenSSL 0.9.6c source code and successfully verified the implementation when clients and servers are only willing to run SSL 3.0.
Local procrustes for manifold embedding: a measure of embedding quality and embedding algorithms
Authors: Yair Goldberg, Ya'Acov Ritov
Venue: Machine Learning (2009)

We present the Procrustes measure, a novel measure based on Procrustes rotation that enables quantitative comparison of the output of manifold-based embedding algorithms such as LLE (Roweis and Saul, Science 290(5500), 2323---2326, 2000) and Isomap (Tenenbaum et al., Science 290(5500), 2319---2323, 2000). The measure also serves as a natural tool when choosing dimension-reduction parameters. We also present two novel dimension-reduction techniques that attempt to minimize the suggested measure, and compare the results of these techniques to the results of existing algorithms. Finally, we suggest a simple iterative method that can be used to improve the output of existing algorithms.
Reengineering the Wikipedia for Reputation
Authors: Thomas Rune Korsgaard, Christian D. Jensen
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

The Wikipedia is a free online encyclopedia collaboratively edited by Internet users with a minimum of administration. Anybody can write an article for the Wikipedia and there is no verification of the author's expertise on the particular subject. This may lead to problems relating to the quality of articles, especially completeness and correctness of information, and inaccuracies in the Wikipedia have been rumoured to cause students to fail courses; innocent people have been associated with the killing of John F. Kennedy, etc. Providing a means to assess the correctness, completeness and impartiality of information in the Wikipedia is therefore vitally important for the users to build trust in the Wikipedia and ensure the continued success and growth of the system. Integrating a reputation system into the Wikipedia would help users assess the quality of articles and provide a powerful incentive for authors to improve the quality of their articles. There are currently more than 7.5 million articles in the Wikipedia, and more than a thousand new articles are added daily, so the investment in the existing system is significant. The introduction of a recommendation system should therefore not require any modifications to the existing Wikipedia software. In this paper we examine the problem of reengineering a large and popular system, in this case the Wikipedia, in order to include a reputation system. We propose a recommendation system, which allows Wikipedia users to calculate a personalised rating for any article based on feedback (recommendations) provided by other Wikipedia users. The recommendation system developed for the Wikipedia is based on a general architecture, which we believe applies to many existing applications for online collaboration. The proposed recommendation system is implemented in a proxy placed between the user's web-browser and the Wikipedia server, e.g., on the user's own machine, so there is no need to modify Wikipedia servers or software. A simple prototype of the proposed recommendation system is presented in this paper along with a preliminary evaluation of the prototype.
Using Graph-Based Indexing to Identify Subject-Shift in Topic Tracking
Authors: Fumiyo Fukumoto, Yoshimi Suzuki
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)

This paper focuses on subject shift in chronologically ordered news story streams, and presents a method for topic tracking which makes use of the subject-shift. For finding the discussion of a topic (we call it subject term), we applied keygraph method to each story. Similar to tf*idf method, keygraph is a term weighting method which is based on co-occurrence graphs consisting high frequency terms and their co-occurrence terms. Subject-shifts are identified based on the difference between two types of subject terms: one is extracted from a test story itself, and another is extracted from the test story by using topic terms (terms related to a topic) of initial positive training stories. The method was tested on the TDT English corpus, and the results showed that the system is competitive to other sites, even for a small number of initial positive training stories.
Representation and Process of Map Data for Mobile Devices
Authors: Dong Li, Yu-hui Peng, Mei Hu
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

SVGT which is based on XML is one of suitable map formats used in Mobile GIS. However, the tags used in SVGT are still the large amount of data. Moreover, there is no existing SVGT map for applications often. To bridge the MapInfo map and SVGT, this paper presents a compact mobile map format called SSVGT, which simplifies the representation and process of map data for mobile devices. SSVGT exploits the concept of the layer and block and the corresponding conversion strategy to transform MapInfo data to SVGT data; and a special data transmission format between the mobile terminal and server is defined. Experiments show that, comparing to the SVGT, using SSVGT can reduce the amount of network transmission data and speed the displaying in the mobile terminal.
A New Validity Function for Fuzzy Clustering
Authors: Yang Li, Fusheng Yu
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

This paper first gives a new validity function for fuzzy clustering, then presents a method of the optimal selecting of the cluster number in the standard fuzzy c-means clustering algorithm, and finally outlines the fuzzy c-means clustering algorithm with parameters self-adapted. Experimental results carried on synthetic data set and data set based on actual background illustrate the performance of the new validity function and the corresponding fuzzy clustering algorithm.
Maximum Fuzzy Entropy and Immune Clone Selection Algorithm for Image Segmentation
Authors: WenJie Tian, Yu Geng, JiCheng Liu, Lan Ai
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

This paper is concerned with fuzzy entropy definition used for image segmentation. The key problem associated with this method is to find the optimal parameter combination of membership function so that an image can be transformed into fuzzy domain with maximum fuzzy entropy. An improved immune clone selection algorithm (ICSA) is proposed to search the optimal parameter combination. Then, we compare the proposed ICSA with other artificial intelligence models. The experiment indicates that the proposed method is quite effective and ubiquitous.
Introduction to Financial Models for Management and Planning, 1st edition
Authors: James R. Morris, John P. Daley
Venue: Chapman & Hall/Crc Financial Series (2009)

A properly structured financial model can provide decision makers with a powerful planning tool that helps them identify the consequences of their decisions before they are put into practice. Introduction to Financial Models for Management and Planning enables professionals and students to learn how to develop and use computer-based models for financial planning. Providing critical tools for the financial toolbox, this volume shows how to use these tools to build successful models.Placing a strong emphasis on the structure of models, the book focuses on developing models that are consistent with the theory of finance and, at the same time, are practical and usable. The authors introduce powerful tools that are imperative to the financial management of the operating business. These include interactive cash budgets and pro forma financial statements that balance even under the most extreme assumptions, valuation techniques, forecasting techniques that range from simple averages to time series methods, Monte Carlo simulation, linear programming, and optimization. The tools of financial modeling can be used to solve the problems of planning the firms investment and financing decisions. These include evaluating capital projects, planning the financing mix for new investments, capital budgeting under capital constraints, optimal capital structure, cash budgeting, working capital management, mergers and acquisitions, and constructing efficient security portfolios.While the primary emphasis is on models related to corporate financial management, the book also introduces readers to a variety of models related to security markets, stock and bond investments, portfolio management, and options. This authoritative book supplies broad-based coverage and free access to @Risk software for Monte Carlo simulation, making it an indispensible text for professionals and students in financial management.