ppxscal/embedding_network huggingface dataset:
A Hybrid Internet Gateway Discovery Scheme in Mobile Ad Hoc Networks
Authors: Lin Zhuang, Yuanan Liu, Kaiming Liu, Linbo Zhai, Ming Yang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

Although an autonomous mobile ad hoc network (MANET) is useful in many scenarios, work on the integration of MANET with Internet is more desirable. In order to realize such integration, Internet gateway is required. The main issue involved in this case is when and how a mobile node obtains information about available Internet gateways while making a minimal consumption of the scarce network resources. So an efficient gateway discovery for MANET becomes a key element to enable the use of hybrid ad hoc networks in future mobile and wireless networks. Note that performance of the Internet connectivity will be degraded greatly if obvious unidirectional links are ignored and gateway discovery packets are rebroadcast blindly during MANET nodes discovery available Internet gateway, in this paper, an effective hybrid gateway discovery algorithm for MANET is proposed to remove unidirectional links and enhance Internet connectivity simultaneously. The routing protocol called ad hoc on-demand distance vector (AODV) has been modified to set up multihop paths to the Internet gateways in the MANET. Simulation results with NS2 show that this approach can provide better performance to avoid unidirectional links and can achieve good connectivity while keeping overhead costs low.
On the Operational Security Assurance Evaluation of Networked IT Systems
Authors: Artur Hecker, Michel Riguidel
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

In this paper, we introduce and discuss the system security assurance assessment problematic. We first define and position security assurance in the context of modern networked IT systems. We then motivate and discuss its use. Next, we define the problem of the operational security assurance evaluation. We present and compare two orthogonal approaches to such an evaluation: a spec-based approach, which is an extension of the Common Criteria to systems in operation, and a direct approach, which relies on network management. Finally, we show examples and the pros and the cons of both approaches.
Strongly Unforgeable Signature Scheme without One-Time Key
Authors: Watcharee Tantikittipisut, Nol Premasathian
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

This paper introduces a strongly unforgeable signature scheme that combines two secure primitives. In regard to the strong computational problem, the strong unforgeability of the scheme does not rely on any one-time key. The construction makes use of collision-resistant hash function to improve the security against adaptive chosen-message attack by means of the correlation of hashed message.
The New Construction of ZCZ Sequences Based on Interleaved Perfect Sequences
Authors: Wang Longye, Zeng Xiaoli, Li Yongfeng
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

In this paper, we introduce a new construction of optimal or almost optimal ZCZ sequence sets of size N and length LN based on interleaving N length-L perfect sequences. As our key contributions, a new construction of such optimal or almost optimal shift sequences, for 1
Analysis of multivariate skew normal models with incomplete data
Authors: Tsung I. Lin, Hsiu J. Ho, Chiang L. Chen
Venue: Journal of Multivariate Analysis (2009)

We establish computationally flexible methods and algorithms for the analysis of multivariate skew normal models when missing values occur in the data. To facilitate the computation and simplify the theoretic derivation, two auxiliary permutation matrices are incorporated into the model for the determination of observed and missing components of each observation. Under missing at random mechanisms, we formulate an analytically simple ECM algorithm for calculating parameter estimation and retrieving each missing value with a single-valued imputation. Gibbs sampling is used to perform a Bayesian inference on model parameters and to create multiple imputations for missing values. The proposed methodologies are illustrated through a real data set and comparisons are made with those obtained from fitting the normal counterparts.
Collaborative Web Service Interface Design on the Web 2.0
Authors: Markus Held, Max Gunther
Venue: Proceedings of the 2009 International Workshop on Social Informatics (2009)

In the Service Oriented Architecture, Web Services are the standard means of providing functionality to a remote partner. The interfaces of these Web Services are defined in the Web Services Description Language (WSDL). If two or more partners are involved in the development of a Web Service, a need to collaboratively edit service interface definitions can arise in order to increase productivity and to prevent ambiguities. In this paper, we investigate the process of collaborative interface design and present a web-based, collaborative WSDL development system, which can be integrated with a collaborative workflow development system.
Workflows and SharePoint: Going with the Flow
Authors: Gustavo Velez
Venue:  (2009)

'Workflows and SharePoint: Going with the Flow' was written by a developer for developers; a comprehensive reference to guide users - step-by-step - through the process of creating a workflow. A case study allows the reader to follow the development of a flow, incorporating the myriad of possibilities and tools available to the developer. The book's approach is 'no-nonsense'; based on clearly-defined examples it describes and demonstrates the possibilities and applications of workflows in SharePoint. The programming examples graduate from basics, generating configurations with Sequential and State Machine Workflows, to more complex themes using ASPX and InfoPath Forms. An attempt has been made to identify potential errors and problems and to provide solutions or workarounds, and in situations where that is not possible, to point the reader in the best direction for answers. 'Workflows and SharePoint: Going with the Flow' is divided into five areas for easy reference. The first two parts focus on information for the general reader; introducing the architecture and use of workflows followed by a description of the use of SharePoint Designer to create flows without programming. Part 3 provides information for the creation of Sequential and State Machine Workflows using Visual Studio and flows over into the next section covering the creation and development of Forms (Part 4). Finally, Part 5 reviews Activities, their use in Visual Studio and SharePoint Designer, and goes on to discuss other 'bits and pieces' related to programming workflows for SharePoint. 'Workflows and SharePoint 2007: Going with the Flow' is the kind of reference book that belongs on every developers bookshelf. 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
An Enhanced Opposition-Based Particle Swarm Optimization
Authors: Jun Tang, Xiaojuan Zhao
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

Particle Swarm Optimization (PSO) has shown its fast search speed in many optimization and search problems. However, PSO easily fall into local optima on some multimodal and complicated problems. In this paper, an enhanced opposition-based PSO, called EOPSO, is proposed by combing an enhanced opposition-based learning and the standard PSO. The enhanced opposition provides solutions more closely to the global optimum than the traditional opposite solutions. Experimental studies on 4 unimodal functions and 4 multimodal functions show that the EOPSO does not only surpass the standard PSO and opposition-based PSO on all test functions, but also shows faster convergence rate.
The Quality of Training Effectiveness Assessment (QTEA) Tool Applied to the Naval Aviation Training Context
Authors: Tom Schnell, Rich Cornwall, Melissa Walwanis, Jeff Grubb
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

Today, flight trainers use objective measures of task performance and additional estimated, subjective data to assess the cognitive workload and situation awareness of trainees. This data is very useful in training assessment but trainees can succeed at performing a task purely by accident (referred to as "miserable success"). Additionally the trainee can be in a less than optimal for learning cognitive state when the instructor operator applies brute force training tasks and methods with little regard to the learning curve which can result in the training being too easy or, more often, too difficult, thereby inducing negative learning. In order to provide the instructor with additional quantitative data on student performance, we have designed the Quality of Training Effectiveness Assessment (QTEA) concept. QTEA is conceived as a system that allows the trainer to assess a student in real-time using sensors that can quantify the cognitive and physiological workload.
Agent-Assisted Navigation for Virtual Worlds
Authors: Fahad Shah, Philip Bell, Gita Sukthankar
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

This paper describes the design and training of an agent that helps users navigate in Second Life (SL), a massively multi-player online game environment.SL allows users to create a virtual avatar and explore areas constructed by other users.With the increasing number of places to visit it is difficult for a user to explore all the places.The built-in keyword search mechanism is fairly limited and users typically find new places through personal exploration or tips from their friends.This motivates the need for a recommendation system that can suggest places to visit, personalized with the user's destination preferences.
Procedural Study On The Application Of Tailored Customization On Userfit Designs Of Assistive Devices
Authors: Fong-Gong Wu, Rain Chen, Eva Chang
Venue: Journal of Integrated Design Process Science (2008)

There are a large number of studies about the designs of assistive Devices, but there is a serious lack of studies on the design procedures for assistive Devices. Most existing assistive Devices conduct pure customization for specific cases, but assistive Devices with pure customization creates even heavier economic burdens upon the disabled, who are already at an economic disadvantage. This study introduces the concept of tailored customization to USERfit design procedures for assistive Devices. By using expert evaluations from different fields, this study allows the same types of assistive Devices to be designed using tailored customization rather than pure customization. Results of the study show that the introduction of tailored customization to USERfit design procedures for assistive Devices would allow other disabled cases to have a lessened economic burden without compromising the usage needs. This study will make USERfit design procedures for assistive Devices more comprehensive, allowing more disabled people to acquire suitable assistive Devices.
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Authors: Vashti Galpin, Luca Bortolussi, Jane Hillston
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.
Structural Change and Long Memory in the Dynamic of U.S. Inflation Process
Authors: Mustapha Belkhouja, Mohamed Boutahar
Venue: Computational Economics (2009)

Long range dependence and regime switching are very intimately related effects. In this paper we consider the problem of spuriously detecting breaks point in hypothesis of long memory data generating processes. For this purpose, we address the issue of estimating the number of breaks using several techniques, namely, the information criteria, Bai and Perron's sequential selection procedure (Econometrica 66:47---78, 1998), and the automatic procedure of Lavielle (J Financ Econ 2:290---318, 2004). By means of Monte Carlo experiments, we investigate the effect of increasing the long memory parameter on selecting the number of breaks and their locations, and show that the Lavielle's method is the best technique since its frequency of choosing the true number of changes is the highest particularly when the order of integration is close to 0.5. As it seems that inflation rates contains long memory and structural breaks, an application to the U.S. inflation process is presented to illustrate the usefulness of these procedures. The results show that the Lavielle's method (J Financ Econ 2:290---318, 2004) selects only 2 breaks, however, the number of breaks detected by the information criteria and the sequential procedure of Bai and Perron (Econometrica 66:47---78, 1998) are superior or equal to three.
A Business Performance Measurement Model for Mobile User Interface
Authors: Min-Jeong Kim, Jonghun Park
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

In this paper, we present a new framework for measuring business performance of mobile user interfaces (UIs). Until now, the performance measurement of mobile UI was mainly to assess usability performance. Yet, as mobile phones are increasingly replacing wired devices, stakeholders in mobile phones began to invest a lot of time and money to mobile UI development. As a result, it is desirable that the business performance of mobile UI has to be measured qualitatively as well as quantitatively. This paper develops a measurement model for business performance of mobile UI based on BSC (Balanced Score Card). The proposed model contains "Financial", "Customer", "Internal Business Processes", and "Learning Growth" perspectives. We applied the presented measurement model in a real world mobile UI design project. Finally, we demonstrate the benefit of applying the proposed model to quantitatively measure the business performance.
The Effect of Tossing Coins in Omega-Automata
Authors: Christel Baier, Nathalie Bertrand, Marcus Größer
Venue: Proceedings of the 20th International Conference on Concurrency Theory (2009)

In this paper we provide a summary of the fundamental properties of probabilistic automata over infinite words. Such probabilistic automata are a variant of standard automata with Büchi or other ¿-regular acceptance conditions, such as Rabin, Streett, parity or Müller, where the nondeterministic choices are resolved probabilistically. Acceptance of an infinite input word can be defined in different ways: by requiring that (i) almost all runs are accepting, or (ii) the probability for the accepting runs is positive, or (iii) the probability measure of the accepting runs is beyond a certain threshold. Surprisingly, even the qualitative criteria (i) and (ii) yield a different picture concerning expressiveness, efficiency, and decision problems compared to the nondeterministic case.
Computing handle and tunnel loops with knot linking
Authors: Tamal K. Dey, Kuiyu Li, Jian Sun
Venue: Computer-Aided Design (2009)

Many applications seek to identify features like 'handles' and 'tunnels' in a shape bordered by a surface, embedded in three dimensions. To this end, we define handle and tunnel loops on surfaces which can help identify these features. We show that a closed surface of genus g always has g handle and g tunnel loops induced by the embedding. For a class of shapes that retract to graphs, we characterize these loops by a linking condition with these graphs. These characterizations lead to algorithms for detection and generation of these loops. We provide an implementation with applications to feature detection and topology simplification to show the effectiveness of the method.
Digital Visual Culture: Theory and Practice
Authors: Anna Bentkowska-Kafel, Trish Cashen, Hazel Gardiner
Venue:  (2009)

Digital Visual Culture presents the latest research into the relationship between theory and practice across digital media and technology in the visual arts and investigates the challenges of contemporary research and art curation, particularly in regard to new media artworks. The contributors to this volume discuss the impact of technological advances on visual art and the new art practices that are developing as a result. Many aspects of new interdisciplinary and collaborative practices are considered, such as net art and global locative environments, , and installations that are themselves performance, or games that often take place simultaneously online and in reality. Digital Visual Culture is an important addition to the ongoing discussion surrounding postmodern art practice in art and digital media.
Mixed Reality Neurosurgical Microscope for Training and Intra-operative Purposes
Authors: Alessandro Mauro, Joerg Raczkowsky, Marc Eric Halatsch, Heinz Wörn
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

In recent years, neurosurgery has been deeply influenced by new technologies. It requires fine techniques targeted to obtain treatments minimally invasive though often traumatic. The precision of the surgical gesture is related both to experience of the surgeon and accuracy of the available technological instruments. Computer Aided Surgery (CAS) can offer several benefits for the patient's safety. From a technological point of view we observe the use of the Virtual Reality (VR) for the surgeons training and Augmented Reality (AR) for the intra-operative aid for treatments. This paper presents a prototype for a mixed reality system for neurosurgical interventions embedded on a real surgical microscope for pre- and intra- operative purposes. Its main purposes are: the realistic simulation (visual and haptic) of the spatula palpation of low-grade glioma and also the stereoscopic visualization in AR of relevant 3D data for safe surgical movements in the image guided interventions.
A Method for Dynamic Software Updating in Real-Time Systems
Authors: Habib Seifzadeh, Ali Asghar Pourhaji Kazem, Mehdi Kargahi, Ali Movaghar
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

To cope with demands for new and extended functionality, software systems must be updated regularly. This usually requires providing some new codes, merging these codes into the archaic program, and restarting the updated application. This process results in disrupting programs that may be unacceptable, especially in real-time environments which have strict timing constraints. Even, an update which doesn’t require the system to stop but causes a deadline to be missed is not a good one in real-time systems. In this paper, we propose a new approach to dynamically update a real-time application without having to disrupt the program. Our method can be applied to update real-time applications in which the rate-monotonic scheduling algorithm is used, while preserving the original deadline guarantees.
Navigating in the Dark: Modeling Uncertainty in Ad Hoc Retrieval Using Multiple Relevance Models
Authors: Natali Soskin, Oren Kurland, Carmel Domshlak
Venue: Proceedings of the 2nd International Conference on Theory of Information Retrieval: Advances in Information Retrieval Theory (2009)

We develop a novel probabilistic approach to ad hoc retrieval that explicitly addresses the uncertainty about the information need underlying a given query. In doing so, we account for the special role of the corpus in the retrieval process. The derived retrieval method integrates multiple relevance models by using estimates of their faithfulness to the presumed information need. Empirical evaluation demonstrates the performance merits of the proposed approach.
Establishing a Measurement System for Human Motions Using a Textile-Based Motion Sensor
Authors: Moonsoo Sung, Keesam Jeong, Gilsoo Cho
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

We developed a human motion measurement system using textile-based motion sensors whose electrical resistance changes with textile length. Eight body locations were marked and used for measurement, based on previous studies investigating the relationship between human muscles and activities. Five male subjects participated to the experiment, walking and running while the electrical resistance of each sensor was measured. Measuring and analyzing the variations in the electrical resistances of our sensors allowed us to successfully evaluate body postures and motions.
Automatic classification of citation function
Authors: Simone Teufel, Advaith Siddharthan, Dan Tidhar
Venue: Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing (2006)

Citation function is defined as the author's reason for citing a given paper (e.g. acknowledgement of the use of the cited method). The automatic recognition of the rhetorical function of citations in scientific text has many applications, from improvement of impact factor calculations to text summarisation and more informative citation indexers. We show that our annotation scheme for citation function is reliable, and present a supervised machine learning framework to automatically classify citation function, using both shallow and linguistically-inspired features. We find, amongst other things, a strong relationship between citation function and sentiment classification.
Networks Consolidation through Soft Computing
Authors: Sami Habib, Paulvanna Nayaki Marimuthu, Mohammad Taha
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

This paper reports the application of soft computing in redesign operations on the customers' clusters (sub-networks), since many customers maybe initially located in a cluster with less intra-cluster traffic. Here we assume an existing network with reconfigurable architecture and we propose a number of redesign techniques to reduce the extra-traffic and maximize the intra-traffic within the clusters by considering customers' movement and clusters consolidation. Furthermore, the proposed search approach is based on Genetic Algorithm (GA) with an object-oriented chromosome representation. Our experimental results for a network size of 50 customers show an average of 22% reduction in the extra-traffic through the proposed redesign operations.