ppxscal/embedding_network huggingface dataset:
A Large Scope Transformational Approach for Distributed Architecture Design
Authors: Fabian Gilson, Vincent Englebert, Raimundas Matulevičius
Venue: Proceedings of the 2nd European conference on Software Architecture (2008)

Many Architecture Description Languages (ADLs) appeared in order to model complex software solutions. Unfortunately, current modeling approaches do not take into account infrastructure related constraints and do not add non-functional requirements to architecture constructs. This paper describes a transformation-oriented method to design distributed software architectures. Our method is based on an ADL named IODASS. It uses semantically extensible building blocks with qualitative attributes that specify non-functional or infrastructure related requirements.
Separating mixed multi-component signal with an application in mechanical watch movement
Authors: Qingbo He, Shuang Su, Ruxu Du
Venue: Digital Signal Processing (2008)

This paper presents a method to combine signal decomposition with blind signal separation for separating one-dimensional mixed multi-component signal of mechanical watch movement. The method consists of three steps. First, a multi-component signal is decomposed into a set of redundant signals, called pseudo multi-channel mixtures, using the continuous wavelet transform (CWT). Then, independent component analysis (ICA) is used to acquire the independent components. Finally, a correlation criterion is applied to automatically select the source components. The new method can effectively separate a multi-component signal into a series of independent components corresponding to different sources. The effectiveness of this method is demonstrated by means of a computer simulation example. And the proposed method is applied for analyzing and diagnosing mechanical watch movements. It is found that the separated source components effectively reveal the insight of the mechanical watch movement, and can be used for fault diagnosis.
Eventually consistent
Authors: Werner Vogels
Venue: Communications of the ACM (2009)

Building reliable distributed systems at a worldwide scale demands trade-offs between consistency and availability.
A String-Based Model for Simple Gene Assembly
Authors: Robert Brijder, Miika Langille, Ion Petre
Venue: Proceedings of the 16th international symposium on Fundamentals of Computation Theory (2007)

The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, although it is not universal. The simple model also has a confluence property that is not shared by the general model. A previous formalization of the simple model through sorting of signed permutations is unsatisfactory because it effectively ignores one operation of the model and thus, it cannot be used to answer questions about parallelism in the model, or about measures of complexity. We propose in this paper a string-based model in which a gene is represented through its sequence of pointers and markers and its assembly is represented as a string rewriting process. We prove that this string-based model is equivalent to the permutation-based model as far as gene assembly is concerned, while it tracks all operations of the model.
Stochastic Counting in Sensor Networks, or: Noise Is Good
Authors: Y. M. Baryshnikov, E. G. Coffman, K. J. Kwak, Bill Moran
Venue: Proceedings of the 4th IEEE international conference on Distributed Computing in Sensor Systems (2008)

We propose a novel algorithm of counting indistinguishable objects by a collection of sensors. The information on multiple counting is recovered from the stochastic correlation patterns.
Transparent Mobile Middleware Integration for Java and .NET Development Environments
Authors: Edgar Marques, Luís Veiga, Paulo Ferreira
Venue: Proceedings of the 14th international Euro-Par conference on Parallel Processing (2008)

Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., fault-tolerance, ...).Several mobile middleware solutions addressing these issues have been proposed. However, they rely on either significant changes in application structure, extensions to the programming language syntax and semantics, domain specific languages, cumbersome development tools, or a combination of the above. The main disadvantages of these approaches are lack of transparency and reduced portability.In this paper we describe our work on enabling transparent integration between applications and middleware without changing application structure, extending the programming language or otherwise reducing portability. We used the OBIWAN middleware but our solutions are general. To achieve this goal we employ program analysis and transformation techniques for extending application code with hooks for calling middleware services. Application code extension is performed automatically at compile-time by a code extension tool integrated with the development environment tool set. We describe the implementation of our .NET and Java prototypes and discuss evaluation results.
Contextualized B2B Registries
Authors: U. Radetzki, M. J. Boniface, M. Surridge
Venue: Proceedings of the 5th international conference on Service-Oriented Computing (2007)

Service discovery is a fundamental concept underpinning the move towards dynamic service-oriented business partnerships. The business process for integrating service discovery and underlying registry technologies into busi ness relationships, procurement and project management functions has not been examined and hence existing Web Service registries lack capabilities required by business today. In this paper we present a novel contextualized B2B registry that supports dynamic registration and discovery of resources within manage ment contexts to ensure that the search space is constrained to the scope of au thorized and legitimate resources only. We describe how the registry has been deployed in three case studies from important economic sectors (aerospace, automotive, pharmaceutical) showing how contextualized discovery can sup port distributed product development processes.
FPGA Design of Self-certified Signature Verification on Koblitz Curves
Authors: Kimmo Järvinen, Juha Forsten, Jorma Skyttä
Venue: Proceedings of the 9th international workshop on Cryptographic Hardware and Embedded Systems (2007)

Elliptic curve signature schemes offer shorter signatures compared to other methods and a family of curves called Koblitz curves can be used for reducing the cost of signing and verification. This paper presents an FPGA implementation designed specifically for rapid verification of self-certified identity based signatures using Koblitz curves. Verification requires computation of three elliptic curve point multiplications which are computed efficiently with 3-term multiple point multiplication and joint sparse form. Certain improvements to precomputations associated with multiple point multiplications are introduced. It is shown that, when using parallel processors, it is possible to gain considerable increases in the number of operations per second by allowing slightly longer computation times for single operations. It is demonstrated that up to 166,000 verifications per second can be computed using a single Altera Stratix II FPGA.
System Description: An Orienteering Strategy to Browse Semantically-Enhanced Educational Wiki Pages
Authors: Luciano T. Pansanato, Renata P. Fortes
Venue: Proceedings of the 4th European conference on The Semantic Web: Research and Applications (2007)

Wikis have been adopted along the years, aiming to provide an easy and simple support to people keep the information systems on the Internet up-to-date, and making possible efficient collaborative authoring. As the number of pages and corresponding contents increases, wiki users face difficulties when browsing for wiki pages. This paper presents a system prototype based on orienteering to browse semantically-enhanced educational wiki pages. The results of a user-based evaluation of the system prototype are also presented.
Higher Precision in Volume Haptics through Subdivision of Proxy Movements
Authors: Karljohan Lundin Palmerius, George Baravdish
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

Volume haptics has become an increasingly popular way of adding guidance and improving information bandwidth in scientific visualization. State-of-the-art methods, however, use linear equations, which allows for a precision that can be insufficient in some circumstances. This paper describes how step-length subdivision can be used to improve precision even though these methods do not use integration steps in its usual meaning.
Backward vs. Forward-Oriented Decision Making in the Iterated Prisoner's Dilemma: A Comparison Between Two Connectionist Models
Authors: Emilian Lalev, Maurice Grinberg
Venue: Anticipatory Behavior in Adaptive Learning Systems: From Brains to Individual and Social Behavior (2007)

We compare the performance of two connectionist models developed to account for some specific aspects of the decision making process in the Iterated Prisoner's Dilemma Game. Both models are based on common recurrent network architecture. The first of them uses a backward-oriented reinforcement learning algorithm for learning to play the game while the second one makes its move decisions based on generated predictions about future games, moves and payoffs. Both models involve prediction of the opponent move and of the expected payoff and have an in-built autoassociator in their architecture aimed at more efficient payoff matrix representation. The results of the simulations show that the model with explicit anticipation about game outcomes could reproduce the experimentally observed dependency of the cooperation rate on the so-called cooperation index thus showing the importance of anticipation in modeling the actual decision making process in human participants. The role of the models' building blocks and mechanisms is investigated and discussed. Comparisons with experiments with human participants are presented.
Broken Rotor Bars Fault Detection in Induction Motors Using Park's Vector Modulus and FWNN Approach
Authors: Qianjin Guo, Xiaoli Li, Haibin Yu, Wei Hu, Jingtao Hu
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II (2008)

In this paper a new integrated diagnostic method based on the current Park's Vector modulus analysis and fuzzy wavelet neural network classifier is proposed for the diagnosis of rotor cage faults in operating three-phase induction motors. Detection of broken rotor bars has long been an important but difficult job in the detection area of induction motor faults. The characteristic frequency components of a faulted rotor in the stator current spectrum are very close to the power frequency component but by far less in amplitude, which brings about great difficulty for accurate detection. In order to overcome the shortage of broken rotor bars characteristic components being submerged by the fundamental one in the spectrum of the stator line current, Park's Vector modulus(PVM) analysis is used to detect the occurrence of broken rotor bar faults in our work. Simulation and experimental results are presented to show the merits of this novel approach for the detection of cage induction motor broken rotor bars.
Understanding the content lifecycle in vehicular applications: first steps towards a generic software platform?
Authors: Antony I.T. Rowstron
Venue: Proceedings of the fifth ACM international workshop on VehiculAr Inter-NETworking (2008)

We are creating a generic software platform that supports a wide range of applications running on vehicle mounted Personal Navigation Devices (PNDs). A major aspect is selecting the key abstractions that should make writing applications easy. We derive a simple content lifetime model, by examining five example applications, consisting of three overlapping phases: the generation phase, the dissemination phase and the usage phase. This model abstracts away the underlying topology, e.g. vehicle-to-vehicle or vehicle-to-infrastructure. We outline a generic log-based software platform that allows us to support applications that are captured by the simple content model generated.
Efficient Well-Definedness Checking
Authors: Ádám Darvas, Farhad Mehta, Arsenii Rudich
Venue: Proceedings of the 4th international joint conference on Automated Reasoning (2008)

Formal specifications often contain partial functions that may lead to ill-defined terms. A common technique to eliminate ill-defined terms is to require well-definedness conditions to be proven. The main advantage of this technique is that it allows us to reason in a two-valued logic even if the underlying specification language has a three-valued semantics. Current approaches generate well-definedness conditions that grow exponentially with respect to the input formula. As a result, many tools prove shorter, but stronger approximations of these well-definedness conditions instead.We present a procedure which generates well-definedness conditions that grow linearly with respect to the input formula. The procedure has been implemented in the Spec# verification tool. We also present empirical results that demonstrate the improvements made.
Understanding User Centred Design (UCD) for People with Special Needs
Authors: Harold Thimbleby
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

"User centred design" (UCD) has become a central, largely unquestioned, tenet of good practice for the design of interactive systems. With the increasing recognition of the importance of special needs in influencing design, UCD needs to be re-examined, in particular to be clear about the difference between using its methods, which may not suit special needs, and achieving its objectives. This paper introduces a simple two-category classification of special needs, to which UCD applies very differently and which are heavily affected by developments in technology; in other words, the role of UCD, particularly with respect to special needs, will continue to change and demand close scrutiny.
A game-theoretic model of referential coherence and its empirical verification using large Japanese and English corpora
Authors: Shun Shiramatsu, Kazunori Komatani, Kôiti Hasida, Tetsuya Ogata, Hiroshi G. Okuno
Venue: ACM Transactions on Speech and Language Processing (TSLP) (2008)

Referential coherence represents the smoothness of discourse resulting from topic continuity and pronominalization. Rational individuals prefer a referentially coherent structure of discourse when they select a language expression and its interpretation. This is a preference for cooperation in communication. By what principle do they share coherent expressions and interpretations&quest; Centering theory is the standard theory of referential coherence [Grosz et al. 1995]. Although it is well designed on the bases of first-order inference rules [Joshi and Kuhn 1979], it does not embody a behavioral principle for the cooperation evident in communication. Hasida [1996] proposed a game-theoretic hypothesis in relation to this issue. We aim to empirically verify Hasida's hypothesis by using corpora of multiple languages. We statistically design language-dependent parameters by using a corpus of the target language. This statistical design enables us to objectively absorb language-specific differences and to verify the universality of Hasida's hypothesis by using corpora. We empirically verified our model by using large Japanese and English corpora. The result proves the language universality of the hypothesis.
Simulation of Multiphysics Multiscale Systems, 5th International Workshop
Authors: Valeria V. Krzhizhanovskaya, Alfons G. Hoekstra
Venue: Proceedings of the 8th international conference on Computational Science, Part II (2008)

Modeling and Simulation of Multiphysics Multiscale Systems (SMMS) poses a grand challenge to computational science. To adequately simulate numerous intertwined processes characterized by different spatial and temporal scales spanning many orders of magnitude, sophisticated models and advanced computational techniques are required. The aim of the SMMS workshop is to encourage and review the progress in this multidisciplinary research field. This short paper describes the scope of the workshop and gives pointers to the papers reflecting the latest developments in the field.
Hybrid Intelligent Detection for Underwater Acoustic Target Using EMD, Feature Distance Evaluation Technique and FSVDD
Authors: Qiao Hu, Baoan Hao, Linxia Lv, Yalin Chen, Qi Sun, Jianping Qian
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

In order to solve the problem of accurately detecting the weak acoustic signal for remote underwater target, a novel hybrid intelligent target-detection method for underwater acoustic signals based on empirical mode decomposition (EMD), feature distance evaluation technique (FDET) and fuzzy support vector data description (FSVDD) is proposed. The method consists of three stages. Firstly, some signal processing methods, like filtration, Hilbert envelope-demodulation and EMD are carried out to extract the time- and frequency-domain statistical features from original underwater acoustic signals, and these features make up an integrated feature set. Secondly, with the FDET, the salient feature set is obtained from the integrated feature set. Finally, the salient features are input into the detector based on FSVDD to detect the underwater targets intelligently. This method is applied to target detection of underwater vehicle. Testing results show that the proposed method has better detection performance than the traditional detector based on SVDD, with a high detection success rate.
A Graph Based Method for Building Multilingual Weakly Supervised Dependency Parsers
Authors: Jagadeesh Gorla, Anil Kumar Singh, Rajeev Sangal, Karthik Gali, Samar Husain, Sriram Venkatapathy
Venue: Proceedings of the 6th international conference on Advances in Natural Language Processing (2008)

The structure of a sentence can be seen as a spanning tree in a linguistically augmented graph of syntactic nodes. This paper presents an approach for unlabeled dependency parsing based on this view. The first step involves marking the chunks and the chunk heads of a given sentence and then identifying the intra-chunk dependency relations. The second step involves learning to identify the inter-chunk dependency relations. For this, we use an initialization technique based on a measure we call Normalized Conditional Mutual Information (NCMI), in addition to a few linguistic constraints. We present the results for Hindi. We have achieved a precision of 80.83% for sentences of size less than 10 words and 66.71% overall. This is significantly better than the baseline in which random initialization is used.
Visualization of coherent structures in a separated boundary layer transition with and without free stream turbulence
Authors: Zhiyin Yang, Ibrahim E. Abdalla
Venue: Proceedings of the WSEAS International Conference on Applied Computing Conference (2008)

Large Eddy Simulation (LES) has been employed to simulate a separated boundary layer transition with 2% free stream turbulence level and without free stream turbulence on a flat plate with a blunt leading edge. The entire transition process leading to breakdown to turbulence has been shown by flow visualization and large-scale coherent structures have been identified at different stages of the transition process. However, the Kelvin-Helmholtz rolls, which are clearly visible under no free stream turbulence (NFST), are not as apparent under 2% free steam turbulence (FST). The Lambda-shaped vortical structures which can be clearly seen in the NFST case can hardly be identified in the FST case. Generally speaking, the effects of free-stream turbulence have led to an early breakdown of the boundary layer and hence increased the randomisation in the vortical structures, degraded the spanwise coherence of those large-scale structures.
RFID Application Model and Performance for Postal Logistics
Authors: Jeong-Hyun Park, Boo-Hyung Lee
Venue: Proceedings of the APWeb/WAIM 2007 DBMAN, WebETrends, PAIS and ASWAN international workshops on Advances in Web and Network Technologies, and Information Management (2007)

In this paper, we suggest a postal RFID application model that can be used for real time trace and tracking system implementation of parcel processing and pallet management. This paper also shows the tag recognition performance of parcels by speed and mounting tag material such as thin cans, water bottles, and paper using an implemented postal RFID system to find the best solution for RFID adaptation in postal logistics.
Cognitive Styles and Computer-Based Creativity Support Systems: Two Linked Studies of Electro-acoustic Music Composers
Authors: Barry Eaglestone, Nigel Ford, Peter Holdridge, Jenny Carter, Catherine Upton
Venue: Computer Music Modeling and Retrieval. Sense of Sounds: 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. Revised Papers (2008)

This paper explores cognitive style as one of the factors that may explain tensions that can exist between individual electroacoustic composers and the software they use. The discussion centres on two linked studies: (a) a small scale intensive qualitative case study of 2 established composers, in which they unexpectedly revealed differences that mapped remarkably well onto one of the key dimensions of cognitive style identified in the psychological and cognitive literature, namely global and analytic; and (b) a survey, conducted using a web-based questionnaire, of composers' cognitive styles and approaches to composition. This survey was motivated by study (a). The results of the 2 studies combined suggest that there are characteristic cognitive styles traits within the electroacoustic composer community which correlate with particular approaches to composition and also to levels of satisfaction with composition software. Thus we propose a new area of research, namely, usability studies of computer music software that is sensitive to cognitive styles.
Mobile and Accessible ICTs for Museography
Authors: Belén Ruiz, Jaime Solano, Lourdes Moreno, José Luis Pajares
Venue: Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society (2008)

Technology can be an integrative tool with which to facilitate universal access to museums via multimedia and portable guides, making it more inclusive. In this way, this article describes the main findings in the design and use of our MGA (Multimedia Guides for All) approach. This approach involves a series of recommendations for the selection, application, preparation of content, maintenance, etc., of this type of computerized device, in order to achieve the "design for all" principles, giving everyone, with or without disabilities, equal access to the cultural heritage. Following MGA approach, a real study case is presented, in this study several prototypes were developed with the continues support and testing of different disability users associations. The MGA approach can be applied to other domains. Many of the conclusions in this article have been drawn from an R D Project financed by the Spanish Ministry of Industry, Science and Technology within the National Innovation and Development Plan 2005-2008.