ppxscal/embedding_network huggingface dataset:
Agent-Oriented Boolean Token and Colored Transition Petri Net for Workflow Management
Authors: Jie Sui, Longtao He, Hua Yu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Petri nets are a kind of effective graphic modeling tool. The agent technology is combined with Petri nets in order to enhance flexibility and extendibility. The agent-oriented Boolean token and colored transition Petri nets is proposed. Some characteristics such as liveness, fairness and safety are analyzed. Finally, an example in workflow management system of mould agile manufacturing is given to illustrate the use of it.
Fault-Tolerant Online Backup Service: Formal Modeling and Reasoning
Authors: Hua Wang, Ke Zhou, Ling Yuan
Venue: Proceedings of the 2009 IEEE International Conference on Networking, Architecture, and Storage (2009)

Online backup service software provides automated, offsite, secure online data backup and recovery for remote computers. How to satisfy functional requirements and guarantee the fault tolerance of online backup service software is a difficult but crucial problem faced by software designers. In this paper, we investigate to incorporate the fault tolerant techniques in the system design, and propose a fault-tolerant online backup service model (FOBSM) to guide the development of online backup service system. The FOBSM comprises four components: backup client (BC), backup server (BS), storage server (SS), and online backup exception handler (OBEH). The first three components constitute three-party functional units, whereas OBEH serves as the centralized exception handling mechanism, which is devised to receive the external exceptions raised by the other entities, transform them into a global exception, and propagate it to the related entities to handle, so as to improve the fault tolerance of the software greatly. In order to provide precise and explicit idioms to system designers, we use Object-Z language to specify the FOBSM. Following the Object-Z reasoning rules, we reason about the fault tolerant properties of FOBSM and demonstrate that it can improve fault tolerance of the online backup service software effectively.
Linking social networks on the web with FOAF: a semantic web case study
Authors: Jennifer Golbeck, Matthew Rothstein
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

One of the core goals of the Semantic Web is to store data in distributed locations, and use ontologies and reasoning to aggregate it. Social networking is a large movement on the web, and social networking data using the Friend of a Friend (FOAF) vocabulary makes up a significant portion of all data on the Semantic Web. Many traditional web-based social networks share their members' information in FOAF format. While this is by far the largest source of FOAF online, there is no information about whether the social network models from each network overlap to create a larger unified social network, or whether they are simply isolated components. If there are intersections, it is evidence that Semantic Web representations and technologies are being used to create interesting, useful data models. In this paper, we present a study of the intersection of FOAF data found in many online social networks. Using the semantics of the FOAF ontology and applying Semantic Web reasoning techniques, we show that a significant percentage of profiles can be merged from multiple networks. We present results on how this affects network structure and what it says about the success of the Semantic Web.
Equilibrium of vector potentials and uniformization of the algebraic curves of genus 0
Authors: A. I. Aptekarev, V. A. Kalyagin, V. G. Lysov, D. N. Toulyakov
Venue: Journal of Computational and Applied Mathematics (2009)

We consider equilibrium problems for the logarithmic vector potential related to the asymptotics of the Hermite-Pade approximants. Solutions of such problems can be expressed by means of algebraic functions. The goal of this paper is to describe a procedure for determining the algebraic equation for this function in the case when the genus of this algebraic function is equal zero. Using the coefficients of the equation we compute the extremal cuts of the Riemann surfaces. These cuts are attractive sets for the poles of the Hermite-Pade approximants. We demonstrate the method by an example of the equilibrium problem related to a special system that is called the Angelesco system.
Constrained Connectivity and Transition Regions
Authors: Pierre Soille, Jacopo Grazzini
Venue: Proceedings of the 9th International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing (2009)

Constrained connectivity relations partition the image definition domain into maximal connected components complying to a series of input constraints such as local and global intensity variation thresholds. However, they lead to a stream of small transition regions in situations where the edge between two large homogeneous regions spans over several pixels (ramp discontinuity). In this paper, we analyse this behaviour and propose new definitions for the notions of transition pixels and regions. We then show that they provide a suitable basis for suppressing connected components originating from non ideal step edges.
A P2P Network Authentication Method Based on CPK
Authors: Zhuoming Jiang, Rongsheng Xu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

P2P network is short of authentication, so the CPK (Combined Public Key) authentication mechanism and DHT (Distributed Hash Table) algorithm in P2P network are researched, and CPK authentication is used in structure P2P network for its security. At point, the series-Hash method combines both DHT algorithm of structure P2P network and peers’ authentication. Then base on cluster partition P2P network, a multi-field key manage method is brought forward, which combined public key and cluster extend public key. At last, security problems of this authentication system are discussed.
Stochastic Differential Equations Numerical Simulation Algorithm for Financial Problems Based on Euler Method
Authors: Zhou Qihai, Han Zaixing, Huang Tao, Sun Xiezhi, Li Yan, Duan Yan-ge, Pubu Zuoma
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

The financial problems often relate to many stochastic differential equations which is difficult to solve. Based on the traditional numerical methods for solving determinate ordinary differential equations (ODEs), the paper presents the numerical methods of stochastic ordinary differential equations (SODEs). The numerical methods mainly considered in the paper include Euler method and Euler method discusses three numerical schemes, i.e. explicit scheme, semi-implicit scheme and implicit scheme. Finally, the paper uses Euler methods to simulate linear stochastic ordinary differential equation. Numerical results indicate that Euler methods are the simple but have a certain practicality. In addition, all these Euler method including explicit, semi-implicit and implicit scheme in this paper can be applied to high-order stochastic ordinary differential equations, stochastic partial differential coefficient equations, and so on.
Online methods for multi-domain learning and adaptation
Authors: Mark Dredze, Koby Crammer
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

NLP tasks are often domain specific, yet systems can learn behaviors across multiple domains. We develop a new multi-domain online learning framework based on parameter combination from multiple classifiers. Our algorithms draw from multi-task learning and domain adaptation to adapt multiple source domain classifiers to a new target domain, learn across multiple similar domains, and learn across a large number of disparate domains. We evaluate our algorithms on two popular NLP domain adaptation tasks: sentiment classification and spam filtering.
Temporal Development of Heartbeat Intervals in Transition of Sound Stimuli Inducing Different Relaxation Feelings
Authors: Makoto Fukumoto, Hiroki Hasegawa, Takashi Hazama, Tomomasa Nagashima
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

This paper aims to investigate the temporal development of heartbeat intervals in a transition of different sound stimuli. In the listening experiment, two minutes relaxing musical piece and white noise were employed as the different sound stimuli, and the sound stimuli were played twice alternately after five minutes rest. After the exposure of the sound stimuli, a questionnaire asked the subjects relaxation feeling for rest, noise and music sections, respectively. Psychological result showed that music section induced the highest relaxation feeling and noise section induced the lowest relaxation feelings. Average of heartbeat intervals in music section was larger than that in noise section significantly (P
Mobile Authentication Scheme Using SMS
Authors: Minglei Shu, Chengxiang Tan, Haihang Wang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Identity authentication is the first line of defense in the security application system to access the mobile network resources. However, as the means of attacking become variety, new requirements have been brought forward for the technology of identity authentication. To improve performance of mobile authentication, this paper presents a novel mobile authentication scheme, which transmits message encrypted with digital certificate to implement authentication between the mobile phone and the server. Theoretical analysis and experiments indicate the scheme satisfies security, non-repudiation and mutual authentication.
Gray level difference-based transition region extraction and thresholding
Authors: Zuoyong Li, Chuancai Liu
Venue: Computers and Electrical Engineering (2009)

Thresholding method based on transition region is a newly developed approach for image segmentation in recent years. In this paper, a novel transition region extraction and thresholding method based on gray level difference is proposed by analyzing properties of transition region. The gray level difference can effectively represent the essence of transition region. Hence, the proposed algorithm can accurately extract transition region of an image and get ideal segmentation result. The proposed algorithm was compared with two classic transition region-based methods on a variety of synthetic and real world images, and the experimental results show the effectiveness and efficiency of the algorithm.
Revenue Driven Resource Allocation: Funding Authority, Incentives, and New Product Development Portfolio Management
Authors: Raul O. Chao, Stylianos Kavadias, Cheryl Gaimon
Venue: Management Science (2009)

The first step in transforming strategy from a hopeful statement about the future into an operational reality is to allocate resources to innovation and new product development (NPD) programs in a portfolio. Resource allocation and NPD portfolio decisions often span multiple levels of the organization's hierarchy, leading to questions about how much authority to bestow on managers and how to structure incentives for NPD. In this study, we explore how funding authority and incentives affect a manager's allocation of resources between existing product improvement (relatively incremental projects) and new product development (more radical projects). Funding may be either fixed or variable depending on the extent to which the manager has the authority to use revenue derived from existing product sales to fund NPD efforts. We find that the use of variable funding drives higher effort toward improving existing products and developing new products. However, variable funding has a subtle side effect: it induces the manager to focus on existing product improvement to a greater degree than new product development, and the relative balance in the NPD portfolio shifts toward incremental innovation. In addition, we highlight a substitution effect between explicit incentives (compensation parameters) and implicit incentives (career concerns). Explicit incentives are reduced as career concerns become more salient.
Evaluating Adaptive Feedback in an Educational Computer Game
Authors: Cristina Conati, Micheline Manske
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

In this paper, we present a study to evaluate the impact of adaptive feedback on the effectiveness of a pedagogical agent for an educational computer game. We compare a version of the game with no agent, and two versions with agents that differ only in the accuracy of the student model used to guide the agent's interventions. We found no difference in student learning across the three conditions, and we report an analysis to understand the reasons of these results.
A single front genetic algorithm for parallel multi-objective optimization in dynamic environments
Authors: Mario Cámara, Julio Ortega, Francisco de Toro
Venue: Neurocomputing (2009)

This paper proposes a new parallel evolutionary procedure to solve multi-objective dynamic optimization problems along with some measures to evaluate multi-objective optimization in dynamic environments. These dynamic optimization problems appear in quite different real-world applications with actual socio-economic relevance. In these applications, the objective functions, the constraints, and hence, also the solutions, can change over time and usually demand to be solved online whilst the size of the changes is unknown. Although parallel processing could be very useful in these problems to meet the solution quality requirements and constraints, to date, not many parallel approaches have been reported in the literature. Taking this into account, we introduce a multi-objective optimization procedure for dynamic problems that are based on PSFGA, a parallel evolutionary algorithm previously proposed by us for multi-objective optimization. It uses an island model where a process divides the population among the remaining processes and allows the communication and coordination among the subpopulations in the different islands. The proposed algorithm makes an exclusive use of non-dominating individuals for the selection and variation operator and applies a crowding mechanism to maintain the diversity and the distribution of the solutions in the Pareto front. We also propose a model to understand the benefits of parallel processing in multi-objective problems and the speedup figures obtained in our experiments.
Empirical evaluations of animacy annotation
Authors: Lilja Øvrelid
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

This article presents empirical evaluations of aspects of annotation for the linguistic property of animacy in Swedish, ranging from manual human annotation, automatic classification and, finally, an external evaluation in the task of syntactic parsing. We show that a treatment of animacy as a lexical semantic property of noun types enables generalization over distributional properties of these nouns which proves beneficial in automatic classification and furthermore gives significant improvements in terms of parsing accuracy for Swedish, compared to a state-of-the-art baseline parser with gold standard animacy information.
SmartDraw: A Hands-On Tutorial and Guide, 1st edition
Authors: Thomas F. Goldman
Venue:  (2009)

SmartDraw allows you to quickly and easily createpresentation-qualty graphics for a variety of workplace applications. Hundreds of pre-drawn templates are includedto make getting started easy.Thismanual isdesigned to be both a reference guide and a hands-on step-by-step tutorial. As a reference guide it provides quick answers to common questions, and as a hands on step-by-step tutorial it helps you learn how to use specific features to create truly great graphics that can be exportedseamlessly into popular presentation formats like Microsoft PowerPoint, Corel WordPerfect, LexisNexis Casemap, and Adobe PDF. Smartdraw has hundreds of uses in many fields! It can be used to create everything from Lesson Plans in the Education field to Accident Scene and Crime Scene Reconstruction within the Law Enforcement Field to Facility Plans, Floor Plans, Menus, Event Plans in the Hospitality field. 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
Validating Requirements Model of a B2B System
Authors: Yin Ling, Liu Jing, Li Xiaoshan
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

It is very costly if a software project development has to recover from an error that is due to a mistake made in the construction of the requirements model. Validation of requirements model is thus always an effective means for detecting defects in the requirements model. In this paper, we present an approach to modeling requirements by UML with OCL, and the design of a tool EOC (Executable OCL Checker), that supports well-formed static checking for the OCL specification as well as the dynamic validation. We illustrate the approach and the tool by an example of B2B system. The requirements model of this system is validated by the prototyping executions of the system functions on the system states against the OCL constraints. The validation checks whether the execution of a use case violates the system invariants, and whether the requirements model is feasible according to its business workflow.
On Cellular Network Channels Data Mining and Decision Making through Ant Colony Optimization and Multi Agent Systems Strategies
Authors: P. M. Papazoglou, D. A. Karras, R. C. Papademetriou
Venue: Proceedings of the 9th Industrial Conference on Advances in Data Mining. Applications and Theoretical Aspects (2009)

Finding suitable channels to allocate in order to serve increasing user demands in a cellular network, which is a dynamical system, constitute the most important issue in terms of network performance since they define the bandwidth management methodology. In modern cellular networks these strategies become challenging issues especially when advanced services are applied. The effectiveness of decision making for channel allocation in a cellular network is strongly connected to current traffic and wireless environment conditions. Moreover, in large scale environments, network states change dynamically and the network performance prediction is a hard task. In the recent literature, the network adaptation to current real user needs seems it could be achieved through computational intelligence based channel allocation schemes mainly involving genetic algorithms. In this paper, a quite new approach for communication channels decision making, based on ant colony optimization, which is a special form of swarm intelligence, modelled through multi agent methodology is presented. The main novelty of this research lies on modelling this optimization scheme through multi agent systems. The simulation model architecture which includes network and ant agents are also presented as well as the performance results based on the above techniques. Finally, the current study, also, shows that there is a great field of research concerning intelligent techniques modelled through multi-agent methodologies focused on channels decision making and bandwidth management in wireless communication systems.
Combining multiple information layers for the automatic generation of indicative meeting abstracts
Authors: Thomas Kleinbauer, Stephanie Becker, Tilman Becker
Venue: Proceedings of the Eleventh European Workshop on Natural Language Generation (2007)

We describe a new application for NLG technology: the generation of indicative, abstractive summaries of multi-party meetings. Based on the freely available AMI corpus of 100 hours of recorded meetings, we are developing a summarizer that uses the rich annotations in the AMI corpus.
A compact fast-response charge-pump gate driver
Authors: André Mansano, Jader A. De Lima, Jacobus Swart
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

This paper presents a compact charge-pump gate driver (CPGD) that dynamically adjusts the driving gate-source voltage VGS_SW of on-chip power switches, following stringent load transients in amplitude and duration. Owing to its simple topology, the CPGD responsively sustains regulation of the charge-pump (CP) output voltage VOUT within the range [2.4V, 3.0V], without impairing power consumption. Contrary to driving techniques that depend on the settling of VOUT before adjusting VGS_SW, the CPGD instantaneously compares VOUT to a reference VREF and optimally sets the rail voltage for the switches. The circuit shows low sensitivity with switching frequency fsw across a broad range [50KHz &le; fsw &le; 1MHz]. Simulations with PSPICE and Bsim3v3 models attest the circuit performance. The entire CP regulator was prototyped on a standard 0.35&mu;m CMOS fabrication process, with the CPGD occupying an area of only 0.014mm2. At extremes scenarios of a light and heavy load current ILOAD, good transient response is observed. From simulation, for a 20&mu;s-step in ILOAD from 0 to20mA, the CPGD takes only 20&mu;m to elevate VGS_SW from 1.0V to 4.75V. Experimental results match closely this expectation. The CPGD features consumption below 475&mu;W and complies with a low-voltage supply, such as 1.5V-batteries.
Answer Set Programming for Single-Player Games in General Game Playing
Authors: Michael Thielscher
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human intervention. In this paper, we show how Answer Set Programming can assist a general game player with the special class of single-player games. To this end, we present a translation from the general Game Description Language (GDL) into answer set programs (ASP). Correctness of this mapping is established by proving that the stable models of the resulting ASP coincide with the possible developments of the original GDL game. We report on experiments with single-player games from past AAAI General Game Playing Competitions which substantiate the claim that Answer Set Programming can provide valuable support to general game playing systems for this type of games.