ppxscal/embedding_network huggingface dataset:
Dependent Automata for the Modelling of Dependencies
Authors: Susanna Donatelli
Venue: Critical Information Infrastructure Security: Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers (2009)

As far as we know there is not a definition of dependency in a formal setting: to fill this gap we propose in this paper a state based formalism called (network of) Dependent Automata, that consider dependencies as central elements. When used for modelling interdependencies in critical infrastructures, each infrastructure is modelled as a Dependent Automaton, that accounts for local behaviour and for dependencies from and to other infrastructures, while the whole system is obtained by composition of the automata of the infrastructures considered.
Existentially quantified values for queries and updates of facts in transaction logic programs
Authors: Paul Fodor
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 3 (2008)

In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete facts and leave existential values in an incrementally generated data structure. The same action or other producer or consumer actions might read, modify or communicate through these facts, making this technique a powerful communication technique. In this poster, we present a definite semantics for these existentially quantified values that occur only in facts, queries and updates of facts. Although this simple semantics applies only to facts and not to clauses, it is relevant to many applications, including artificial intelligence planning, workflow modeling and verification, and updates of facts in the Semantic Web.
Research on a New Type of Sea Water Hydraulic Servovalve Driven by Diphase Oppositing Giant Magnetostrictive Self-Sensing Actuator
Authors: Xinhua Wang, Simin Wang, Juyin Liu, Wei Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A new concept of diphase oppositing giant magnetostrictive self-sensing actuator is put forward, combining with sea water servo control technology, a flapper-nozzle force feedback sea water servo control valve is designed. Bridge analysis model based on variable inductance is established, dynamic balance separation technology for giant magnetostrictive self-sensing actuators is come true by least means square self-adapting(LSM) algorithm. With the real-time separation circuit of dynamic balance signal based on digital signal processing, the simulations show that the self-adapting algorithm with LMS can be used to separate the giant magnetostrictive self-sensing actuator sensing from the excitation signal totally with less distortion. In addition, based on the Jiles-Atherton physics model, quadratic moment domain rotation model and structural dynamics principle as well as the dynamic model with hysteresis nonlinearity for servo valve is established to determine change relation between actuating coil current and spool displacement. The emulation result shows that the actuator has larger output force and displacement, which can meet the practical needs.
Study on Bus Passenger Capacity Forecast Based on Regression Analysis including Time Series
Authors: Wen-xia Sun, Ti Song, Hai Zhong
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The passenger capacity in public transit is important to urban road and transportation planning. Passenger volume is influenced by multiple factors and unable to be described with accurate mathematical models. Regression analyses predict and time-series data analysis for forecasting are two important prediction models. These two models have characteristics of each. In this paper, time-series data was blend into regression analyses predict. Integrated the two forecasting methods, this paper combined the merits between them. Bus passenger capacity forecast model based on regression analysis including time series is put forward in this paper. This model better reflects the practical condition of bus passenger. The model passes through all tests. By analyzing the historic data of passenger volume of Xi’an, we study on bus passenger capacity forecast based on regression analysis including time series. The new model is fitting practical data more preferable.
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
Authors: Phan Minh Dung, Do Duc Hanh, Phan Minh Thang
Venue: Proceedings of the 25th International Conference on Logic Programming (2009)

We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive from other agents, must cooperate to provide answers to users as they may not have the knowledge or the capabilities to sense relevant changes in their environment. As their surroundings may change unpredictably, agents may provide wrong answers to queries. Stabilization refers to a capability of the agents to eventually answer queries correctly despite unpredictable environment changes and the incapability of many agents to sense such changes.It could be viewed as the correctness criterium of communicating cooperative multiagent systems.For efficiency, a piece of information obtained from other agents may be used to answer many queries. Surprisingly, this natural form of "information sharing" may be a cause of non---stabilization of multiagent systems. We formulate postulates and present a formal framework for studying stabilization with information sharing and give sufficient conditions to ensure it.
Approximation Algorithms for a Network Design Problem
Authors: Binay Bhattacharya, Yuzhuang Hu, Qiaosheng Shi
Venue: Proceedings of the 15th Annual International Conference on Computing and Combinatorics (2009)

A class of network design problems, including the k-path/ tree/cycle covering problems and some location-routing problems, can be modeled by downwards monotone functions [5]. We consider a class of network design problems, called the p-constrained path/tree/cycle covering problems, obtained by introducing an additional constraint to these problems; i.e., we require that the number of connected components in the optimal solution be at most p for some integer p. The p-constrained path/tree/cycle covering problems cannot be modeled by downwards monotone functions. In this paper, we present a different analysis for the performance guarantee of the algorithm in [5]. As a result of the analysis, we are able to tackle p-constrained path/tree/cycle covering problems, and show the performance bounds of 2 and 4 for p-constrained tree/cycle problems and p-constrained path covering problems respectively.
Fostering information strategies through visualization of networks
Authors: Susan A. Yoon
Venue: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 3 (2008)

This study hypothesizes that when social network graphs are used in instruction, students are presented with otherwise hidden information that can be used to make more strategic decisions about who to interact with in discursive activities. Whereas, the majority of rules for previous interactions are based on social or random factors, after studying social network graphs, students cite more cognitive or informational reasons.
Integrated Structure and Control Parameters Optimization for an Automotive Active Suspension System via LMIs
Authors: Yi Zhang, Zifan Fang, Gang Wu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

An automotive active suspension system composes of a mechanical structure and a feedback controller. Conventionally, these two elements are designed sequentially, with the controller design subsequent to that of the mechanical structure design. The traditional design method cannot obtain the global optimum performances for the system. This paper presents an approach to integrate structural and control parameters optimization for an automotive active suspension system via LMIs, for the effectiveness of the proposed integrated optimization method to improve riding and safety performance was proved by simulation studies.
Brief paper: A formula for the optimal cost in the general discrete-time LEQG problem
Authors: A. J. Shaiju, I. R. Petersen
Venue: Automatica (Journal of IFAC) (2009)

This paper is aimed at deriving an explicit formula for the optimal cost for discrete-time linear exponential-of-quadratic Gaussian (LEQG) control problems. We make direct calculations for the general case with cross terms in the cost and noise covariance matrices using an information-state approach.
Examining the Effect of E-commerce Website Quality on User Satisfaction
Authors: Tao Zhou, Shuren Zhang
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Website quality is crucial for acquiring user satisfaction and e-commerce website success. Based on TAM and information system success model, we analyze the effect of website quality on user satisfaction. Website quality includes three dimensions: system quality, information quality and service quality. These dimensions affect user satisfaction through perceived ease of use, perceived usefulness and trust. We collected 193 valid papers and conducted data analysis with LISREL. The results show that system quality is the main factor affecting perceived ease of use, whereas information quality is the main factor affecting perceived usefulness. Service quality has a significant effect on trust, but has no obvious effect on both perceived ease of use and perceived usefulness.
An Optimisation-Based Approach to Mesh Smoothing: Reformulation and Extensions
Authors: Yskandar Hamam, Michel Couprie
Venue: Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition (2009)

The Laplacian approach, when applied to mesh smoothing leads in many cases to convergence problems. It also leads to shrinking of the mesh. In this work, the authors reformulate the mesh smoothing problem as an optimisation one. This approach gives the means of controlling the steps to assure monotonic convergence. Furthermore, a new optimisation function is proposed that reduces the shrinking effect of the method. Examples are given to illustrate the properties of the proposed approches.
Metamodels for variable importance decomposition with applications to probabilistic engineering design
Authors: Hemalatha Sathyanarayanamurthy, Ratna Babu Chinnam
Venue: Computers and Industrial Engineering (2009)

It is routine in probabilistic engineering design to conduct modeling studies to determine the influence of an input variable (or a combination) on the output variable(s). The output or the response can then be fine-tuned by changing the design parameters based on this information. However, simply fine-tuning the output to the desired or target value is not adequate. Robust design principles suggest that we not only study the mean response for a given input vector but also the variance in the output attributed to noise and other unaccounted factors. Given our desire to reduce variability in any process, it is also important to understand which of the input factors affect the variability in the output the most. Given the significant computational overhead associated with most Computer Aided Engineering models, it is becoming popular to conduct such analysis through surrogate models built using a variety of metamodeling techniques. In this regard, existing literature on metamodeling and sensitivity analysis techniques provides useful insights into the various scenarios that they suit the best. However, there has been a limitation of studies that simultaneously consider the combination of metamodeling and sensitivity analysis and the environments in which they operate the best. This paper aims at contributing to reduce this limitation by basing the study on multiple metrics and using two test problems. Two test functions have been used to build metamodels, using three popular metamodeling techniques: Kriging, Radial-Basis Function (RBF) networks, and Support Vector Machines (SVMs). The metamodels are then used for sensitivity analysis, using two popular sensitivity analysis methods, Fourier Amplitude Sensitivity Test (FAST) and Sobol, to determine the influence of variance in the input variables on the variance of the output variables. The advantages and disadvantages of the different metamodeling techniques, in combination with the sensitivity analysis methods, in determining the extent to which the variabilities in the input affect the variabilities in the output are analyzed.
Semi-supervised relation extraction with label propagation
Authors: Jinxiu Chen, Donghong Ji, Chew Lim Tan, Zhengyu Niu
Venue: Proceedings of the Human Language Technology Conference of the NAACL, Companion Volume: Short Papers on XX (2006)

To overcome the problem of not having enough manually labeled relation instances for supervised relation extraction methods, in this paper we propose a label propagation (LP) based semi-supervised learning algorithm for relation extraction task to learn from both labeled and unlabeled data. Evaluation on the ACE corpus showed when only a few labeled examples are available, our LP based relation extraction can achieve better performance than SVM and another bootstrapping method.
Are Tags from Mars and Descriptors from Venus? A Study on the Ecology of Educational Resource Metadata
Authors: Riina Vuorikari, Martin Sillaots, Silvia Panzavolta, Rob Koper
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

In this study, over a period of six months, we gathered empirical data from more than 200 users on a learning resource portal with a social bookmarking and tagging feature. Our aim was to study the interrelation of conventional metadata and social tags on the one hand, and their interaction with the environment, which can be understood as the repository, its resources and all stakeholders that included the managers, metadata indexers and the whole community of users. We found an interplay between tags and descriptors and showed how tags can enrich and add value to multilingual controlled vocabularies in various ways. We also showed that, even if many tags can be seen as redundant in terms of the existing LOM, some of them can become a useful source of metadata for repository owners, and help them better understand users' needs and demands.
Evaluation Criterion of Linear Model Order Selection Approaches Based Average Kullback-Leibler Divergence
Authors: Du YuMing
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

Average Kullback-Leibler divergence (AKD) between the selected model and the true model is proposed as an available measurement for evaluating different model order selection approaches in simulations. Kullback-Leibler divergence of linear model order is reduced to simple forms, so AKD of linear model can be easily computed. In terms of parameter estimation of linear model, simulation results show that the AKD is a more reasonable measurement than naive methods.
Towards Trustworthy Delegation in Role-Based Access Control Model
Authors: Manachai Toahchoodee, Xing Xie, Indrakshi Ray
Venue: Proceedings of the 12th International Conference on Information Security (2009)

The need to delegate, which allows the temporary grant or transfer of access rights, arise in many applications. Although a lot of research appears in extending Role-Based Access Control (RBAC) to support delegation, not much appears on providing a formal basis for choosing delegatees. We provide an approach that allows one to assess the trustworthiness of potential delegatees in the context of the task that is to be delegated. It is also important to ensure that the choice of the delegatee does not cause any security policy violation. Towards this end, we show how to formally analyze the application using existing SAT solvers to get assurance that our choice of delegatee does not cause a security breach. Once the process of choosing delegatee can be formalized, it will be possible to automate delegation and use it for real-time applications.
The Usability of Web Accessibility Guidelines: An Approach for Evaluation
Authors: Maria Kapsi, Evangelos Vlachogiannis, Jenny Darzentas, Thomas Spyrou
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

This paper aims at contributing to the evaluation of web accessibility and thus promoting design for all, considering the design process as an iterative process containing evaluation as a fundamental component. More specifically, the paper: 1) rethinks Web Accessibility Evaluation notion and its abstract requirements, 2) investigates the usability of W3C Web Content Accessibility Guidelines (WCAG 1.0 and WCAG 2.0), and 3) proposes an approach for an evaluation of the usability of accessibility guidelines.
A data mining based method for web site maintenance
Authors: K. E. Burn-Thornton, M. Carrington, T. Burman
Venue: Intelligent Data Analysis (2006)

In this paper we describe a method, based upon Data Mining techniques, which can be used to improve the maintainability of web pages and web sites. We show that by regarding HTML code as a set of CSS files and accompanying information, or as an XSL file with an accompanying XML file, it is possible to improve the maintainability of web sites/pages - irrespective of the complexity of the pages concerned. We also describe how, as a by-product of this work, it is possible to produce an 'in house' a set of style sheets (CSS or XSL) which can be used as a basis for web page/site design thoughout a company. The implications of the use of the style sheets for web page/site maintenance, or design, are discussed as well as the potential for the use of our tool in enabling SMEs and/or individuals to standardize their web site(s) irrespective of their knowledge of manipulation of web site code.
Monitoring Appliances Sensor Data in Home Environment: Issues and Challanges
Authors: Nazaraf Shah, Chen-Fang Tsai, Kuo-Ming Chao
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

In this paper our focus is on issues and challengesfaced in monitoring energy consumption in thedomestic sector and way forward to deal with thesechallenges. Implementing a sensor network to monitorenergy consumption of household appliances in ameaningful way requires sophisticated network design.Such network has to deal with large amount rawsensor data coming from multiple sources. Thechallenge is how to collect necessary data and store itfor producing intelligent advice on economical energyusage for household. One way of dealing with thischallenge is to have smart sensor devices embedded inhome appliances, however currently a vast majority ofdomestic appliances do not have even dumb sensordevices to enable access to their energy consumptiondata. In a typical home environment we can expectsensing devices with various capabilities ranging frompassive device to intelligent and proactive devices.Raw data streams received from these devices need tonormalised and represented in semanticallyequivalence manners.
W-LBP: Wavelet-Based Loopy Belief Propagation for Wireless Sensor Networks
Authors: Wei Zhao, Yao Liang
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

Due to its compact and distributed nature, Loopy Belief Propagation has been proved to be theoretically appropriate as a basis to systematically deal with uncertainties with incomplete or corrupted observations in the broad applications of wireless sensor networks. However, the transmissions of massive belief messages of Loopy Belief Propagation could become a serious concern from the energy consumption perspective since sensor nodes are energy limited, and in many real-world wireless sensor network applications, the replacement of sensor node batteries is very difficult if not impossible. In this paper, we present a novel wavelet-based Loopy Belief Propagation, which can effectively reduce 50% of belief messages communicated among sensor nodes with only minimal degradation of the inference performance. Our preliminary results using real-world soil moisture data from an environmental monitoring application demonstrate the great promise of the proposed approach.
Incorporating observer biases in keyhole plan recognition (efficiently!)
Authors: Dorit Avrahami-Zilberbrand, Gal A. Kaminka
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

Plan recognition is the process of inferring other agents' plans and goals based on their observable actions. Essentially all previous work in plan recognition has focused on the recognition process itself, with no regard to the use of the information in the recognizing agent. As a result, low-likelihood recognition hypotheses that may imply significant meaning to the observer, are ignored in existing work. In this paper, we present novel efficient algorithms that allows the observer to incorporate her own biases and preferences--in the form of a utility function--into the plan recognition process. This allows choosing recognition hypotheses based on their expected utility to the observer. We call this Utility-based Plan Recognition (UPR). While reasoning about such expected utilities is intractable in the general case, we present a hybrid symbolic/decision-theoretic plan recognizer, whose complexity is O(N DT), where N is the plan library size, D is the depth of the library and T is the number of observations. We demonstrate the efficacy of this approach with experimental results in several challenging recognition tasks.
Fast geometry acquisition for mixed reality applications using motion tracking
Authors: Andrei Sherstyuk, Anton Treskunov, Benjamin Berg
Venue: Proceedings of the 7th IEEE/ACM International Symposium on Mixed and Augmented Reality (2008)

Mixing real and virtual elements into one environment often involves creating geometry models of physical objects. Traditional approaches include manual modeling by 3D artists or use of dedicated devices. Both approaches require special skills or special hardware and may be costly. We propose a new method for fast semi-automatic 3D geometry acquisition, based upon unconventional use of motion tracking equipment. The proposed method is intended for quick surface prototyping for Virtual, Augmented and Mixed reality applications where quality of visualization of objects is not required or is of low priority.
A Method Using Nonparametric Hidden Markov Trees for Image Denoising
Authors: Wang Song, Wang Weihong
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

A hierarchical, nonparametric statistical model for wavelet representations of natural images is developed in this paper. Extending previous work on Gaussian scale mixtures, wavelet coefficients are marginally distributed according to infinite, Dirichlet process mixtures. A hidden Markov tree is then used to couple the mixture assignments at neighboring nodes. Via a Monte Carlo learning algorithm, the resulting hierarchical Dirichlet process hidden Markov tree (HDP-HMT) model automatically adapts to the complexity of different images and wavelet bases. Image denoising results demonstrate the effectiveness of this learning process.