ppxscal/embedding_network huggingface dataset:
Symbolic heuristic search value iteration for factored POMDPs
Authors: Hyeong Seop Sim, Kee-Eung Kim, Jin Hyung Kim, Du-Seong Chang, Myoung-Wan Koo
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

We propose Symbolic heuristic search value iteration (Symbolic HSVI) algorithm, which extends the heuristic search value iteration (HSVI) algorithm in order to handle factored partially observable Markov decision processes (factored POMDPs). The idea is to use algebraic decision diagrams (ADDs) for compactly representing the problem itself and all the relevant intermediate computation results in the algorithm. We leverage Symbolic Perseus for computing the lower bound of the optimal value function using ADD operators, and provide a novel ADD-based procedure for computing the upper bound. Experiments on a number of standard factored POMDP problems show that we can achieve an order of magnitude improvement in performance over previously proposed algorithms.
A Novel Trust Model Based on Bayesian Network for Service-Oriented Grid
Authors: Changsong Ding, Yi Fu, Zhigang Hu, Peng Xiao
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

With the converging of grid computing and web service, grid has extended its territory from traditional computing grid to service-oriented grid, which is aiming to realize coordinated resource sharing and problem solving through service selection and composition. Therefore, selecting credible services for applications becomes a key issue in grid environment. Current research on trust inherits the conception of trust from P2P network which is coarse-grained and subjective to satisfy the requirements in grid environment. In this paper, a novel trust model considering user’s QoS constraints is proposed. Two new concepts, namely Trustworthiness of Service and Satisfactoriness of Service, are introduced into the proposed trust model, which are used to describe the resources’ capabilities and users’ satisfaction respectively. The proposed trust model applies Bayesian Network to evaluate services’ trustworthiness that takes into account users’ multiple QoS metrics. Simulative results show that the establishment of trust is more efficient. Also, when using the proposed trust model for service selection, experimental results indicate that it outperforms other models in terms of query success rate and user’s satisfaction.
An Ontology to Integrate Transcriptomics and Interatomics Data Involved in Gene Pathways of Genome Stability
Authors: Giovani Rubert Librelotto, José Carlos Mombach, Marialva Sinigaglia, Éder Simão, Heleno Borges Cabral, Mauro A. Castro
Venue: Proceedings of the 4th Brazilian Symposium on Bioinformatics: Advances in Bioinformatics and Computational Biology (2009)

Disruption of the mechanisms that regulate cell-cycle checkpoints, DNA repair, and apoptosis results in genomic instability and the development of cancer. The description of the complex network of these pathways requires news tools to integrate large quantities of experimental data in the design of biological information systems. In this context we present Ontocancro an extensible ontology and an architecture designed to facilitate the integration of data originating from different public databases in a single- and well-documented relational database. Ontocancro is an Ontology stored in a knowledge database designed to be a source of information to integrate transcriptomics and interatomics data involved in gene pathways of Genome Maintenance Mechanisms (GMM).
Appropriate Dynamic Lighting as a Possible Basis for a Smart Ambient Lighting
Authors: Lajos Izsó
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

The objectives of this empirical study were to contribute to the development of an intelligent, adaptive home lighting system for the elderly. The basic idea was that a carefully chosen dynamic lighting with seemingly ever-increasing ("up") - or ever-decreasing ("down") - illuminance can be used to increase (or decrease) the users' activation level as they wish, a change that will be reflected in objective psychophysiological parameters, in objective performance, and also in subjective feelings. The paper examines the effects of two particular different forms of dynamic lighting --- having the same average illuminance over time --- on the performance of the number verification task (NVT) by older adults. As a group, the older adults showed no difference between the two forms of dynamic lighting. However, by involving the individual's sensation seeking needs it was shown that the kind of dynamism influences both the subjective preferences and the objective visual performance. These findings emphasize the importance and sensitivity of individual characteristics of the elderly and have to be taken into consideration for the design of adaptive lighting systems.
Geodesics in Shape Space via Variational Time Discretization
Authors: Benedikt Wirth, Leah Bar, Martin Rumpf, Guillermo Sapiro
Venue: Proceedings of the 7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (2009)

A variational approach to defining geodesics in the space of implicitly described shapes is introduced in this paper. The proposed framework is based on the time discretization of a geodesic path as a sequence of pairwise matching problems, which is strictly invariant with respect to rigid body motions and ensures a 1-1 property of the induced flow in shape space. For decreasing time step size, the proposed model leads to the minimization of the actual geodesic length, where the Hessian of the pairwise matching energy reflects the chosen Riemannian metric on the shape space. Considering shapes as boundary contours, the proposed shape metric is identical to a physical dissipation in a viscous fluid model of optimal transportation. If the pairwise shape correspondence is replaced by the volume of the shape mismatch as a penalty functional, for decreasing time step size one obtains an additional optical flow term controlling the transport of the shape by the underlying motion field. The implementation of the proposed approach is based on a level set representation of shapes, which allows topological transitions along the geodesic path. For the spatial discretization a finite element approximation is employed both for the pairwise deformations and for the level set representation. The numerical relaxation of the energy is performed via an efficient multi---scale procedure in space and time. Examples for 2D and 3D shapes underline the effectiveness and robustness of the proposed approach.
Fault Tolerant Flight Control Law Design with a Model-Following Sliding Mode Controller
Authors: Zhi-jun Yang, Xiao-hui Qi, Gan-lin Shan
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A sliding mode controller based on model following control is designed for the flight control system with uncertainties and perturbations. With this controller, the controlled plant can track the reference model precisely. It is shown that this scheme provides better performance for the flight control system and the fault tolerant control objective is achieved. The proposed scheme has the advantages of the model following and sliding-mode control. A Proportional-Integral type sliding surface is designed through pole placement method to make the sliding mode have good dynamic characteristics and to eliminate the steady state error. The simple saturation control is adopted to weaken the chattering phenomena. The simulation results show that the flight control system using this controller not only doesn’t require the procedure of fault detection and isolation, but also achieves the model following.
A Model for Steering with Haptic-Force Guidance
Authors: Xing-Dong Yang, Pourang Irani, Pierre Boulanger, Walter F. Bischof
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Trajectory-based tasks are common in many applications and have been widely studied. Recently, researchers have shown that even very simple tasks, such as selecting items from cascading menus, can benefit from haptic-force guidance. Haptic guidance is also of significant value in many applications such as medical training, handwriting learning, and in applications requiring precise manipulations. There are, however, only very few guiding principles for selecting parameters that are best suited for proper force guiding. In this paper, we present a model, derived from the steering law that relates movement time to the essential components of a tunneling task in the presence of haptic-force guidance. Results of an experiment show that our model is highly accurate for predicting performance times in force-enhanced tunneling tasks.
An approximation method with data selection process
Authors: M. Pasadas, M. L. Rodríguez
Venue: Mathematics and Computers in Simulation (2009)

In this paper we present a method curve approximation from a given Lagrangian data set. An approximating problem of curves is obtained by minimizing a quadratic functional in a suitable space. This method is justified by a convergence result and an analysis of a numerical and graphical example.
Diagnosing and Measuring Incompatibilities between Pairs of Services
Authors: Ali Aït-Bachir, Marie-Christine Fauvet
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

This paper presents a technique which detects all behavioural incompatibilities between two service interfaces (a client and a provider). This may happen because the provider has evolved and its interface has been modified. It may also happen because the client decided to change for another provider which addresses the same needs but offers a different interface. Unlike prior work, the proposed solution does not simply check whether two services are incompatible or not, it rather provides detailed diagnosis, including the incompatibilities and for each one the location in the service interfaces where these incompatibilities occur. A measure of similarity between interfaces which considers outputs from the detection algorithm is proposed too.
Embodying Meaning in Bio-cognitive Aid Design
Authors: Daniel Garrison, Victoria Garrison
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

Through analysis involving components of theory, concept, and semantics, we synthesize a set of insights and relations existing through embodiment that have applicability to the design of cognitive aids. Of note, we explore the areas of embodied interaction, embodied user interfaces, and embodied cognition. Additionally, we demonstrate how meaning is created and distributed in and through the areas. We then apply findings to the development of an embodied user interface developed to cognitively aid in renovation projects.
Analyzes and Solves the Top Enterprise Network Data Security Issues with the Web Data Mining Technology
Authors: Wenguang Chai
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

This article according to the enterprise top five security issues that are Information security management, Regulatory compliance, Disaster recovery/business continuity, Enterprise-based IT management and IT governance and Challenges of managing IT risks which the survey results, then proposed helps enterprise using the Web Data Mining tool to solve these issues. This article proposed a Web Data Mining network information security guard model and pointed out it solves these five issues technical method.
Optimization Design Algorithm Based on Artificial Immune System for Mechanical Systems
Authors: Tao Liu, FengWen Cao, Yan Zhou
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

In order to solve the nonlinear constraint problem, a new and feasible optimization algorithm, i.e. the distance concentration artificial immune algorithm (DCAIA), was presented and applied to structural optimization design. The distance concentration and the affinity, between antibody and antigen, and between antibody and antibody, were defined. The proposed algorithm was applied in the optimization design for the mechanical systems. The example shows it is better for an axis design than that of the gene algorithm (GA) and the classical artificial immune algorithm (CAIA).
HydroSense: infrastructure-mediated single-point sensing of whole-home water activity
Authors: Jon E. Froehlich, Eric Larson, Tim Campbell, Conor Haggerty, James Fogarty, Shwetak N. Patel
Venue: Proceedings of the 11th international conference on Ubiquitous computing (2009)

Recent work has examined infrastructure-mediated sensing as a practical, low-cost, and unobtrusive approach to sensing human activity in the physical world. This approach is based on the idea that human activities (e.g., running a dishwasher, turning on a reading light, or walking through a doorway) can be sensed by their manifestations in an environment's existing infrastructures (e.g., a home's water, electrical, and HVAC infrastructures). This paper presents HydroSense, a low-cost and easily-installed single-point sensor of pressure within a home's water infrastructure. HydroSense supports both identification of activity at individual water fixtures within a home (e.g., a particular toilet, a kitchen sink, a particular shower) as well as estimation of the amount of water being used at each fixture. We evaluate our approach using data collected in ten homes. Our algorithms successfully identify fixture events with 97.9% aggregate accuracy and can estimate water usage with error rates that are comparable to empirical studies of traditional utility-supplied water meters. Our results both validate our approach and provide a basis for future improvements.
SemEval-2007 task 07: coarse-grained English all-words task
Authors: Roberto Navigli, Kenneth C. Litkowski, Orin Hargraves
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

This paper presents the coarse-grained English all-words task at SemEval-2007. We describe our experience in producing a coarse version of the WordNet sense inventory and preparing the sense-tagged corpus for the task. We present the results of participating systems and discuss future directions.
A platform for difusion interactive multimedia content: an approach focused on IPTV system and broadcasting digital television system
Authors: João Benedito dos Santos, Iran Calixto Abrão, Eduardo Barrére, Paulo Muniz de Ávila, Gabriel Massote Prado, Mateus dos Santos
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

This work presents the JiTV (Java Interactive Television) as a proposal of a platform that can be used for building digital multimedia content, specially in terms of the prototyping Interactive Digital Television Programs (iDTvP). Among the main features of the JiTV, we can put light on content description based on XML schema and implementation of iDTvP components using Java. In this context, the JiTV platform supports the full lifecycle (production, distribution, formatting, presentation and interaction) of the iDTvP, being full compliant to ISDTV (International System for Digital Television) middleware requirements and applied to IPTV applications and services. The JiTV platform is being used in some projects, such as in the both cooperation with academic projects over IPTV (JiTV is the infrastructure for experiments with iDTvP at Federal University of Santa Catarina and University of Sao Paulo - USP/LARC) and in brodcaster case over Brazilian Digital Televison System (JiTV is the infrastructure for building the interactivity plataform of the TVPo&ccedil;os - network operator associated to RedeMinas de Televis&atilde;o).
On the Origin of Intermediary E-Government Services
Authors: Rex Arendsen, Marc J. Hedde
Venue: Proceedings of the 8th International Conference on Electronic Government (2009)

The majority of SME's tends to outsource administrative tasks, including their direct relationships with the (electronic) government. Commercial intermediary service providers therefore have to be part of governmental multi channel e-service delivery strategies. This research paper explores the origin, added value and future position of these intermediary organisations with respect to the delivery of e-government services to businesses. Results indicate that (re-)intermediation is more likely to occur within this context than disintermediation is. SME's do not want to be captured within a non-profitable electronic hierarchical relationship with a governmental organisation. The empirical study on the impact of the legal obligation of the use of e-tax services illustrates that SME's instead prefer the `save haven' of a commercial relationship with an intermediary service provider. Thus creating and fuelling a new market of intermediary e-government services.
SW-AG: local context matching for English lexical substitution
Authors: George Dahl, Anne-Marie Frassica, Richard Wicentowski
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

We present two systems that pick the ten most appropriate substitutes for a marked word in a test sentence. The first system scores candidates based on how frequently their local contexts match that of the marked word. The second system, an enhancement to the first, incorporates cosine similarity using unigram features. The core of both systems bypasses intermediate sense selection. Our results show that a knowledge-light, direct method for scoring potential replacements is viable.
A Topology Management Routing Protocol for Mobile IP Support of Mobile Ad Hoc Networks
Authors: Trung-Dinh Han, Hoon Oh
Venue: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (2009)

Management of wireless multi-hop node mobility is required for global Internet connectivity of ad hoc networks. A new tree-based network topology management approach allows for managing node mobility efficiently and finding the shortest path quickly. Every node maintains topology information that includes the members of a tree being a root itself and the neighbors of each member. Then, a node can find the shortest path for a pair of nodes that belong to its topology information. We present simulation results to show that our approach far outperforms the well-known AODV based approach and works well even with an extremely high mobility of nodes.
A permutation test for determining significance of clusters with applications to spatial and gene expression data
Authors: P. J. Park, J. Manjourides, M. Bonetti, M. Pagano
Venue: Computational Statistics Data Analysis (2009)

Hierarchical clustering is a common procedure for identifying structure in a dataset, and this is frequently used for organizing genomic data. Although more advanced clustering algorithms are available, the simplicity and visual appeal of hierarchical clustering have made it ubiquitous in gene expression data analysis. Hence, even minor improvements in this framework would have significant impact. There is currently no simple and systematic way of assessing and displaying the significance of various clusters in a resulting dendrogram without making certain distributional assumptions or ignoring gene-specific variances. In this work, we introduce a permutation test based on comparing the within-cluster structure of the observed data with those of sample datasets obtained by permuting the cluster membership. We carry out this test at each node of the dendrogram using a statistic derived from the singular value decomposition of variance matrices. The p-values thus obtained provide insight into the significance of each cluster division. Given these values, one can also modify the dendrogram by combining non-significant branches. By adjusting the cut-off level of significance for branches, one can produce dendrograms with a desired level of detail for ease of interpretation. We demonstrate the usefulness of this approach by applying it to illustrative datasets.
Smooth Projective Hashing for Conditionally Extractable Commitments
Authors: Michel Abdalla, Céline Chevalier, David Pointcheval
Venue: Proceedings of the 29th Annual International Cryptology Conference on Advances in Cryptology (2009)

The notion of smooth projective hash functions was proposed by Cramer and Shoup and can be seen as special type of zero-knowledge proof system for a language. Though originally used as a means to build efficient chosen-ciphertext secure public-key encryption schemes, some variations of the Cramer-Shoup smooth projective hash functions also found applications in several other contexts, such as password-based authenticated key exchange and oblivious transfer. In this paper, we first address the problem of building smooth projective hash functions for more complex languages. More precisely, we show how to build such functions for languages that can be described in terms of disjunctions and conjunctions of simpler languages for which smooth projective hash functions are known to exist. Next, we illustrate how the use of smooth projective hash functions with more complex languages can be efficiently associated to extractable commitment schemes and avoid the need for zero-knowledge proofs. Finally, we explain how to apply these results to provide more efficient solutions to two well-known cryptographic problems: a public-key certification which guarantees the knowledge of the private key by the user without random oracles or zero-knowledge proofs and adaptive security for password-based authenticated key exchange protocols in the universal composability framework with erasures.
A Model of Evaluating Transportation System Efficiency Based on Data Envelopment Analysis Approach
Authors: Changbing Jiang
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Transportation will be increasingly vital in China as the nation's economy continues to change from a planned, centralized system to one that is market-based and decentralized. In this paper, we propose a Data Envelopment Analysis (DEA) approach to evaluate Transportation System Efficiency (TSE) for 31 major regions (including 23 provinces, 4 municipalities and 4 autonomous regions) in China. This model is significant because it not only can provide useful information to measure TSE through an evaluation framework including 6 output variables and 9 input variables, but also can help government identify the inefficient operations. In this paper, transportation infrastructure in china is firstly introduced. Then the theory of DEA approach is overviewed. Thirdly, a new evaluation index system for TSE evaluation is set up which contains factors that reflect financial measures, capability measures, availability measures, traffic measures and turnover measures. Fourthly, an empirical study is carried out based on DEA approach to calculate TSE for 31 major regions in China. Finally, we draw some conclusions and make suggestions for future study.