ppxscal/embedding_network huggingface dataset:
FPGA Based Design of Elliptic Curve Cryptography Coprocessor
Authors: You-Bo Wang, Xiang-Jun Dong, Zhi-Guang Tian
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

Elliptic curve cryptography plays a crucial role in networking and communication security. FPGA based architecture of elliptic curve cryptography coprocessor is proposed in this paper. The coprocessor is consisted of elements operation over binary finite fields, point adding and doubling on elliptic curve and scalar multiplication, and these modules are described in Verilog HDL. In this coprocessor a new type of FPGA-based modular multi- plier architecture is proposed for trade-off multiplication between bit serial and bit parallel. Experiment results show that coprocessor designed in this paper can achieve high performance. With the coprocessor embedded in PCI adaptor is realized for encryption and decryption.
Interactive Image Analysis for Astronomers
Authors: D. C. Wells
Venue: Computer (1977)

During the last five years, ground-based astronomers have seeh some remarkable changes in the image data available to us for scientific analysis. Our image intensifiers have been greatly improved, and new photographic emulsions (Kodak IIIa-J and IIIa-F) with higher detective quantum efficiency and greater storage capacity have been introduced. Precise microdensitometers with digital output and adequate speed have become commercially available, so that we are now able to convert essentially all of the information from a photographic emnulsion into digital form. Integrating digital television cameras and silicon diode arrays with excellent sensitivity and good cosmetic quality are now replacing photographic plates in many ground-based astronomical observations. Meanwhile, radio astronomers have devised their own scheme-aperture synthesis-for recording radio-wavelength digital pictures of the sky. But improvements in digital image-handling technology are needed if we are to fully exploit the scientific research possibilities created by these new detector systems. One step in this direction is the Interactive Picture Processing System (IPPS) developed at the Kitt Peak National Observatory. 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 Adaptive Fuzzy Regression Model for the Prediction of Dichotomous Response Variables
Authors: Sarun Phibanchon, Sameem Abdul Kareem, Rosnah Zain, Basir Abidin
Venue: Proceedings of the The 2007 International Conference Computational Science and its Applications (2007)

This paper proposes an adaptive technique in the prediction of dichotomous response variable by combining fuzzy concept with statistical logistic regression. The model was tested on an oral cancer dataset in predicting oral cancer susceptibility. In this paper we will present the development, evaluation and validation of the proposed model based on the experiment carried out. Explanatory power of the adaptive model was calculated and compared with fuzzy neural network and statistical logistic regression models using calibration and discrimination techniques. Area under ROC values calculated indicates that the proposed model has compatible predictive ability to both fuzzy neural network and statistical logistic regression models.
AGORA: a Layered Architecture for Cooperative Work Environments
Authors: Miguel A. Martinez-Prieto, Pablo de la Fuente, Carlos E. Cuesta
Venue: Proceedings of the Eighth Mexican International Conference on Current Trends in Computer Science (2007)

Groupware systems are closely related with factors which define organization and knowledge of the group. Considering these factors are very variable, development and management processes of groupware systems are complex and require adaptable infrastructure which guarantees their evolution. From this need, we propose AGORA as a layered architecture for building flexible cooperative applications in distributed environments. This approach is based on a shared workspace which defines basic resources for groupware systems. This way, a system is responsible to build their services from specific cooperative operations supplied by AGORA through a functional model based on components reutilization.
Parameterized Hierarchical Layer Topology Construction for Wireless Networks
Authors: Johannes Lessmann, Arvind Krishnamurthy
Venue: Proceedings of the Second International Conference on Systems and Networks Communications (2007)

Recently, a promising network topology for wireless networks, the Hierarchical Layer Graph, has been introduced. This topology consists of arbitrary many layers of nodes with low-interference short-distance links in the lower layers and long-distance links in the higher layers which allow for paths with a small number of hops. The construction algorithm which was given for this topology is based on node IDs. In this paper, we present a novel distributed construction algorithm that computes each node's rank in the hierarchy based on arbitrary metrics. A mathematical analysis shows the benefits which our algorithm entails.
Conformance checking of processes based on monitoring real behavior
Authors: A. Rozinat, W. M. P. van der Aalst
Venue: Information Systems (2008)

Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. On the other hand explicit process models describing how the business process should (or is expected to) be executed are frequently available. Together with the data recorded in the log, this situation raises the interesting question ''Do the model and the log conform to each other?''. Conformance checking, also referred to as conformance analysis, aims at the detection of inconsistencies between a process model and its corresponding execution log, and their quantification by the formation of metrics. This paper proposes an incremental approach to check the conformance of a process model and an event log. First of all, the fitness between the log and the model is measured (i.e., ''Does the observed process comply with the control flow specified by the process model?''). Second, the appropriateness of the model can be analyzed with respect to the log (i.e., ''Does the model describe the observed process in a suitable way?''). Appropriateness can be evaluated from both a structural and a behavioral perspective. To operationalize the ideas presented in this paper a Conformance Checker has been implemented within the ProM framework, and it has been evaluated using artificial and real-life event logs.
A soft computing approach for accurate interpretation of occluded shapes
Authors: Mohammed Zaki, Abdallah El-Ramsisi, Rostom Omran
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2000)

An efficient pattern recognition system based on soft computing concepts has been developed. A new reliable genetic stereo vision algorithm is used in order to estimate depth of objects without using any point-to-point correspondence. Instead, correspondence of the contours as a whole is required. Invariant breakpoints are located on a shape contour using the colinearity principle. Thus, a localized representation of a shape contour including 3-D moments as well as a chain code can be obtained. This representation is invariant to rotation, translation, scale, and starting point. The system is provided with a neural network classifier and a dynamic alignment procedure at its output. Combing the robustness of neural network classifier with the genetic algorithm capability results in a reliable pattern recognition system which can tolerate high degrees of noise and occlusion levels. The performance of the system has been demonstrated using five different types of aircraft and the experimental results are reported.
Measuring Overlap-Rate in Hierarchical Cluster Merging for Image Segmentation and Ship Detection
Authors: Zhiling Hong, Qingshan Jiang, Heshan Guan, Fangfei Weng
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

In this paper, we present a definition on the degree of overlap between two clusters and develop an algorithm for calculating the overlap rate. Using this theory, we also develop a new hierarchical cluster merging algorithm for image segmentation and apply it to the ship detection in high resolution image. In our experiment, we compare our method with several existing popular methods. Experimental results demonstrate the effectiveness of the overlap rate measuring method and the new ship detection method.
Convergence of behavior in social networks
Authors: Dinah Rosenberg, Eilon Solan, Nicolas Vieille
Venue: Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge (2007)

The dissemination of private information, or knowledge, in a population has attracted much interest, first among sociologists and geographers (see references in Chamley (2004)), and more recently among economists and computer scientists. A question that has attracted a lot of attention is whether as time passes, information spreads through the entire population, and beliefs become more precise, consensus of some sort eventually arises.
An Information-Theoretic Framework for Analyzing Leak of Privacy in Distributed Hash Tables
Authors: Souvik Ray, Zhao Zhang
Venue: Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (2007)

An important security issue in DHT-based structured overlay networks is to provide anonymity to the storage nodes. Compromised routing tables in those DHTs leak information about other nodes in the system and therefore compromise privacy. In this paper, we use information theory to build a model to quantify the information leak from compromised routing tables for a given DHT with certain routing geometry and route table size. Based on this model, we have analyzed and compared how existing DHTs perform in face of anonymity attacks. We found that ring-based routing geometry (Chord) performs the best among the studied DHTs with the same routing complexity when no routing optimizations are used. The analysis of the interaction between routing geometries and recipient anonymity will help improve the design of future DHTs which can achieve a balance between routing efficiency and robustness against information leak.
Natural multimodal dialogue systems: a configurable dialogue and presentation strategies component
Authors: Meriam Horchani, Benjamin Caron, Laurence Nigay, Franck Panaget
Venue: Proceedings of the 9th international conference on Multimodal interfaces (2007)

In the context of natural multimodal dialogue systems, we address the challenging issue of the definition of cooperative answers in an appropriate multimodal form. Highlighting the intertwined relation of multimodal outputs with the content, we focus on the Dialogic strategy component, a component that defines from the set of possible contents to answer a user's request, the content to be presented to the user and its multimodal presentation. The content selection and the presentation allocation managed by the Dialogic strategy component are based on various constraints such as the availability of a modality and the user's preferences. Considering three generic types of dialogue strategies and their corresponding handled types of information as well as three generic types of presentation tasks, we present a first implementation of the Dialogic strategy component based on rules. By providing a graphical interface to configure the component by editing the rules, we show how the component can be easily modified by ergonomists at design time for exploring different solutions. In further work we envision letting the user modify the component at runtime.
Monte Carlo Solution of Partial Differential Equations by Special Purpose Digital Computer
Authors: E. Sadeh
Venue: IEEE Transactions on Computers (1974)

The discrete Monte Carlo method for the solution of partial differential equations has been studied theoretically and experimentally. A special purpose digital computer, the PDE machine, was designed and constructed from macromodules, and Monte Carlo solutions for illustrative problems were obtained. Error analysis has been made and experimental outcomes were compared with theoretical results. Using Monte Carlo methods the PDE machine has been proved to be very efficient from the viewpoint of accuracy and speed in comparison to the general purpose digital computer. Speeds of one solution every 2 seconds were obtained for Poisson's equations with a typical accuracy of better than 2 percent of the range of solutions.
Tutorial on JML, the java modeling language
Authors: Gary T. Leavens
Venue: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering (2007)

The Java Modeling Language (JML) is widely used in academic research as a common language for formal methods tools that work with Java. JML is a design by contract language that can be used to specify detailed designs of Java programs, frameworks, and class libraries. Over twenty research groups worldwide have built several tools for checking code and finding bugs (see jmlspecs.org). This tutorial will give background for researchers and practitioners interested in doing formal methods research and in using JML for specifying the sequential behavior of Java classes and interfaces. Attendees will write JML specifications for a data type, including pre- and postconditions for methods and object invariants. They will also learn how to use the most important JML tools. In addition, they will learn how to use model fields to hide the actual field declarations in classes, and how JML supports modular reasoning about subtypes with behavioral subtyping
The Discipline of Embedded Systems Design
Authors: Thomas A. Henzinger, Joseph Sifakis
Venue: Computer (2007)

The wall between computer science and electrical engineering has kept the potential of embedded systems at bay. It is time to build a new scientific foundation with embedded systems design as the cornerstone, which will ensure a systematic and even-handed integration of the two fields.
Ad hoc routing for multilevel power save protocols
Authors: Matthew J. Miller, Nitin H. Vaidya
Venue: Ad Hoc Networks (2008)

Designing energy-efficient protocols for ad hoc networks is important since there has been little improvement in the amount of energy stored on these devices. Previous work considers leaving a subset of nodes in a state with high energy consumption and low latency while the rest of the network remains in a power save state (i.e., low energy consumption and high latency). Our work is the first to generalize this concept for ad hoc networks by proposing the use of k levels of power save, each of which presents a different energy-latency tradeoff (i.e., a lower latency state requires more energy consumption). Thus, previous work only considered the case where k=1 or k=2. In this paper, we propose a link layer protocol to provide k levels of power save and a routing protocol to use this link layer effectively. Via simulation, we show that our protocols are able to maintain a desired end-to-end latency with a relatively low energy consumption.
The Synthesis of Redundant Threshold- Logic Elements
Authors: R. E. Lyons
Venue: IEEE Transactions on Computers (1970)

This paper is devoted to the development of procedures for synthesizing threshold-logic elements which can be employed in redundant networks based on the von Neumann multiplexing principle. A major result is the statement of rules for synthesizing elements whose outputs are correct despite the presence of e or fewer errors on the input lines. Several theorems are proved and used as the basis for establishing synthesis rules for four canonical redundant threshold element specifications. Some of these canonical elements are optimum in the sense that they require the minimum sum of weights or minimum sum of input bundle sizes.
Usability of multiple degree-of-freedom input devices and virtual reality displays for interactive visual data analysis
Authors: Elke Moritz, Hans Hagen, Thomas Wischgoll, Joerg Meyer
Venue: Proceedings of the 2007 ACM symposium on Virtual reality software and technology (2007)

Interactive virtual reality applications commonly require two key technologies: multiple degree-of-freedom input devices, and 2D or 3D displays. The industry has developed a vast variety of devices for a growing consumer market. Consumer magazines regularly publish test reports for new devices. These reports are often focused on the gaming community, which is typically the driving force behind new product development. Although many lessons can be learned from the gaming industry, the scientific community is generally focused on other criteria, such as precision, degrees of freedom, and user tracking. It is expected that some of these criteria, which are currently in the state of research, will eventually be incorporated into products for a mass market, just like consumer graphics cards and certain input devices did in the past. This study is an attempt to provide an overview of existing 2D and 3D input device and display technologies for interactive scientific visualization applications. Different types of input devices and displays were tested in combination with each other. The article explains why certain combinations of input devices and displays work together better than others.
Relational codes of words
Authors: Vesa Halava, Tero Harju, Tomi Kärki
Venue: Theoretical Computer Science (2007)

We consider words, i.e. strings over a finite alphabet together with a similarity relation induced by a compatibility relation on letters. This notion generalizes that of partial words. The theory of codes on combinatorics on words is revisited by defining (R,S)-codes for arbitrary similarity relations R and S. We describe an algorithm to test whether or not a finite set of words is an (R,S)-code. Coding properties of finite sets of words are explored by finding maximal and minimal relations with respect to relational codes.
Weakly-supervised discovery of named entities using web search queries
Authors: Marius Paşca
Venue: Proceedings of the sixteenth ACM conference on Conference on information and knowledge management (2007)

A seed-based framework for textual information extraction allows for weakly supervised extraction of named entities from anonymized Web search queries. The extraction is guided by a small set of seed named entities, without any need for handcrafted extraction patterns or domain-specific knowledge, allowing for the acquisition of named entities pertaining to various classes of interest to Web search users. Inherently noisy search queries are shown to be a highly valuable, albeit little explored, resource for Web-based named entity discovery.
Multiple-Fault Detection and Location in Fan-Out Free Combinational Circuits
Authors: G. Fantauzzi
Venue: IEEE Transactions on Computers (1974)

Two algorithms are presented for the detection and location of single or multiple stuck faults in a fan-out free combinational circuit. The algorithms are based on a canonic representation of the indistinguishability classes of faults. The number of tests required in these algorithms are shown to be a linear function of the number of gates in the circuit.
Fractional Order Dynamics in a Particle Swarm Optimization Algorithm
Authors: E. J. S. Pires, J. A. T. Machado, P. B. M. Oliveira, Isabel S. Jesus
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

This article reports the study of fractional dynamics dur- ing the evolution of a Particle Swarm Optimization (PSO) algorithm. Some initial swarm particles are randomly changed, for stimulating the system response, and its effect is compared with a non-perturbed reference. The perturba- tion effect in the PSO evolution is observed in the perspec- tive of the fitness time behavior of the best particle. The dy- namics is represented through the median of a sample of ex- periments, while adopting the Fourier analysis for describ- ing the phenomena. The influence of the PSO parameters influence upon the global dynamics is also analyzed.
Fuzzy logic applications in technology assessment studies
Authors: Bjørn Ludwig
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1998)

Discussions about Technology Assessment (TA) have increased in the last years. The aim is to provide entire knowledge about the consequences of recent and future applications of technologies. In this paper the problems of entire studies are treated. To ensure sustainability of technical applications it is necessary to consider unintentioned impacts and interactions. Performing such sustainable feasibility studies is characterized by modelling of the interactions between a technical system and its system environment. This is complicated by highly aggregated entities which resist a description with classical mathematics, like a formulation by a few elementary and measurable quantities. So the application of classic-analytical tools is restricted. However, these entities can be modeled with the methods of soft computing. It is possible to identify and estimate consequences of technical applications by examining dynamic systems verbally. Even differential equations can be solved by computing with words using fuzzy logic, as shown in case of the recycling of waste paper and glas in Germany. 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
Can Quantum Information be Processed by Macroscopic Systems?
Authors: Andrei Khrennikov
Venue: Quantum Information Processing (2007)

We present a quantum-like (QL) model in that contexts (complexes of e.g. mental, social, biological, economic or even political conditions) are represented by complex probability amplitudes. This approach gives the possibility to apply the mathematical quantum formalism to probabilities induced in any domain of science. In our model quantum randomness appears not as irreducible randomness (as it is commonly accepted in conventional quantum mechanics, e.g., by von Neumann and Dirac), but as a consequence of obtaining incomplete information about a system. We pay main attention to the QL description of processing of incomplete information. Our QL model can be useful in cognitive, social and political sciences as well as economics and artificial intelligence. In this paper we consider in a more detail one special application---QL modeling of brain's functioning. The brain is modeled as a QL-computer.
A Survey of User-centric Identity Management Technologies
Authors: Tewfiq El Maliki, Jean-Marc Seigneur
Venue: Proceedings of the The International Conference on Emerging Security Information, Systems, and Technologies (2007)

Computing anytime anywhere is more and more the rule. In this ambient intelligent world, the choice of identity mechanisms will have a large impact on its social, cultural, business and political aspects. Privacy is a human need and the whole of society would suffer from its demise. Moreover, people have a hectic life and cannot spend their time administering their digital identities. In this paper, we survey how the requirements for identity management have evolved, and their associated technologies, with emphasis on the federated approaches and user-centricity.