ppxscal/embedding_network huggingface dataset:
Verifying Correctness of Web Services Choreography
Authors: Melliti Tarek, Celine Boutrous-Saab, Sylvain Rampacek
Venue: Proceedings of the European Conference on Web Services (2006)

This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional convention between all the involved Web services (called partners) in order to reach the purpose of the choreography. In such a scenario, two main problems can occur: i) Can we determine whether the resulted composition of partner is conforming or not to the expected behavior, with respect to the initial cooperation schema? ii) Can we determine whether the cooperation is possible by considering the individual partners' behaviors? i.e. are the different partners' behaviors compatible between them? In this paper, we address the second problem. We propose a method to model partners' behaviors and to check the correctness of the choreography (deadlock-free) based on the properties of one partner's behavior.
Autocorrelations of Maximum Period FCSR Sequences
Authors: Hong Xu, Wen-Feng Qi
Venue: SIAM Journal on Discrete Mathematics (2006)

Let a be a maximum period feedback with carry shift register sequence (l-sequence) with connection integer q = pe and period T = pe - 1 (p - 1). It is shown that the expected value of its autocorrelations is 0, and its variance is O(q ln4 q). Thus when q is sufficiently large, with high probability, the autocorrelations are low. Furthermore, it is shown that when e \geq 2, for any integer i, 1 \leq i \leq e / 2, when the shift is a multiple of T / 2pi, the absolute value of the autocorrelations of a is T / p2i - 1, and the sign relies on the parity of the multiple.
Thin films induced by nanometric powders flotation
Authors: I. Sandu, I. Morjan, I. Voicu, R. Alexandrescu, F. Dumitrache, I. Soare, I. Ploscaru, M. Fleaca, E. Popovici
Venue: Proceedings of the 2003 International Conference on Physics and Control - Volume 3 (2003)

Different kind of nanometric powders: carbon/sub ,/ iron, titanium oxide or composites like: Fe/Ti, C/Fe, were obtained by laser pyrolysis of some specific precursors. All of these powders have the ability to float on water. In a good analogy with Langmuir-Blodgett deposition technique, thin film of pyrolytic nanoparticles were realized. Special properties and future applications of them were exhibit.
Statistical modelling for process control in the sawmill industry: Research Articles
Authors: Rudolf Beran
Venue: Applied Stochastic Models in Business and Industry (2006)

Softwood logs are processed into green boards through a series of horizontal or vertical sawing operations that reduce lumber thickness. This paper uses physical understanding to model how systematic and random errors in board thickness accumulate during sequential resawing. The error model is validated on board thickness measurements gathered at a northern California sawmill. The analysisexplains previously puzzling patterns in the spatially averaged sample variances of board thickness measurements;enables estimating, from measured board thicknesses, the means and variances of the thickness errors introduced by each sawing operation in the observed sequence;generates stronger methods for sawmill quality control.Through submodelling of the mean vector and the covariance matrix of measured thicknesses, the paper finds slight &lsquo;wedging&rsquo; in the mean thickness of certain boards and distance-based correlations among the random sawing errors on these boards. The one-way random effects model, used uncritically in earlier analyses of lumber thickness measurements, does not fit the study data. Copyright &copy; 2006 John Wiley & Sons, Ltd.
Structure and Dynamics of Emergent Semantics Systems
Authors: Karl Aberer
Venue: Proceedings of the Second International Conference on Semantics, Knowledge, and Grid (2006)

Until recently, most data interoperability techniques involved central components, e.g., global schemas or ontologies, to overcome semantic heterogeneity for enabling transparent access to heterogeneous data sources. Today, however, with the democratization of tools facilitating knowledge elicitation in machine-processable formats, one cannot rely on global, centralized schemas anymore as knowledge creation and consumption are getting more and more dynamic and decentralized. Peer Data Management Systems (PDMS) implementing semantic overlay networks are a good example of this new breed of systems eliminating the central semantic component and replacing it through decentralized processes of local schema alignment and query processing. As a result semantic interoperability becomes an emergent property of a self-organizing system.
Distance-Based Sparse Associative Memory Neural Network Algorithm for Pattern Recognition
Authors: Lei Chen, Songcan Chen
Venue: Neural Processing Letters (2006)

A sparse two-Dimension distance weighted approach for improving the performance of exponential correlation associative memory (ECAM) and modified exponential correlation associative memory (MECAM) is presented in this paper. The approach is inspired by biological visual perception mechanism and extensively existing sparse small-world network phenomenon. By means of the approach, the two new associative memory neural networks, i.e., distance-based sparse ECAM (DBS-ECAM) and distance-based sparse MECAM (DBS-MECAM), are induced by introducing both the decaying two-Dimension distance factor and small-world architecture into ECAM and MECAM's evolution rule for image processing application. Such a new configuration can reduce the connection complexity of conventional fully connected associative memories so that makes AM' VLSI implementation easier. More importantly, the experiments performed on the binary visual images show DBS-ECAM and DBS-MECAM can learn and recognize patterns more effectively than ECAM and MECAM, respectively.
Process simulation as a key to uncovering true organizational value
Authors: Kris Arvind
Venue: Proceedings of the 37th conference on Winter simulation (2005)

As organizations struggle to remain competitive in a global sourcing environment, business leaders are challenged to increase overall yield and increase product/process quality, while lowering total costs and cycle time. CGN will describe how we helped a division of a large equipment manufacturer model and simulate their organizational processes that identified key levers critical to maintaining competitive advantage. Traditional process analyses determine inefficiencies and non-value add by conducting a linear pass-through the process. Simulation affords business leaders the capability to build a complex model of their business that simulates reality. In this case study, we will illustrate how CGN's approach: Identified key business parameters and formulated a model that provided a hypothesis-based approach to solution building; Visualized multiple organizational processes simultaneously, resulting in a quantifiable solution set matrixed against KPI value drivers; and Provided guidance regarding initiatives to achieve an optimal organizational / process structure.
Robustness and security of a wavelet-based CBIR hashing algorithm
Authors: Albert Meixner, Andreas Uhl
Venue: Proceedings of the 8th workshop on Multimedia and security (2006)

A wavelet-based robust database hashing scheme is analyzed with respect to its resilience against image modifications and hostile attacks. A method to construct a forgery is presented and possible countermeasures are discussed.
Fostering scientific argumentation by creating a need for students to attend to each other's claims and evidence
Authors: Leema Kuhn, Lisa O. Kenyon, Brian J. Reiser
Venue: Proceedings of the 7th international conference on Learning sciences (2006)

Scientific argumentation can provide students and teachers with opportunities to use evidence to make sense of the phenomena being studied and to engage in central practices of the scientific community. We posit that fostering the practice of argumentation requires transforming classroom interactions in order to create a need for students to attend to each other's claims and evidence. This paper examines the enactment of a 7th grade ecology unit created to generate this need and support these discussions. Our analyses of the student discussions show students moving beyond typical classroom interactions in order to understand the ways in which their claims differ and to evaluate one another's claims, in light of the evidence. Thus, we conclude that this approach of creating a need and supporting students as they attend to and critically evaluate one another's claims and evidence appears to be a promising strategy for fostering scientific argumentation.
Privacy-Aware Autonomous Agents for Pervasive Healthcare
Authors: Monica Tentori, Jesus Favela, Marcela D. Rodriguez
Venue: IEEE Intelligent Systems (2006)

This article is part of a special issue on Intelligent Agents in Healthcare. Hospitals are natural candidates for pervasive computing technology, but they have significant privacy requirements. Autonomous agents can help developers design privacy-aware systems for pervasive healthcare environments. An extension of the SALSA agent framework incorporates customizable privacy mechanisms to adapt applications to a certain quality-of-privacy level, thereby harnessing the properties of autonomous agents. An implementation of a context-aware pervasive hospital application shows how this framework can help developers manage user privacy.
Convergence analysis of sign-sign LMS algorithm for adaptive filters with correlated Gaussian data
Authors: Byung-Eul Jun, Dong-Jo Park, Yong-Woon Kim
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1995. on International Conference - Volume 02 (1995)

This paper presents a statistical behavior analysis of a sign-sign least mean square algorithm, which is obtained by clipping both the reference input signal and the estimation error, for adaptive filters with correlated Gaussian data. The study focuses on the derivation of expressions for the first and second moment behavior of the filter coefficient vector and analysis of the filter mean square error. The previous analysis of this type for the sign-sign algorithm is based on the assumption that the input sequence to the adaptive filter is independent, identically distributed Gaussian, but this restriction is removed in our analysis. Theoretical expressions derived are verified numerically through computer simulations for an example of system identification.
A Self-Managing High-Availability Database: Industrial Case Study
Authors: Antoni Wolski, Bela Hofhauser
Venue: Proceedings of the 21st International Conference on Data Engineering Workshops (2005)

While it is obvious that a highly available database requires some degree of self-management, it is not clear to what extend and how the responsibilities should be divided among the DBMS, the surrounding HA framework or even applications. We start with analyzing expectations of an HA database in a telecom setup. We check how the expectations are met in a commercial implementation of a telecom platform. We analyze the way of allocating various HA responsibilities to different parts of the system. We end up with a reference division of selfmanaging responsibilities in an HA DBMS and the surrounding HA framework.
Towards Integrating Collaborative Business Process Based on a Process Ontology and EbXML Collaboration Scenario
Authors: Razika Driouche, Zizette Boufaida, Fabrice Kordon
Venue: Proceedings of the 17th International Conference on Database and Expert Systems Applications (2006)

Business-to-Business e-commerce is emerging as trading parties are attempting to integrate their heterogeneous business processes and automate exchange of their services. To be able to collaborate, heterogeneity cross-organisational business processes needs adaptation of existing concepts for business process management. A shared ontology can encapsulate heterogeneity in business process model and offer common concepts to different partners. A problem is that, even agreeing on information to be exchanged, the partners usually expose different scenarios for collaboration. In this paper, we propose architecture for flexible modeling of company processes, to support a larger scale of B2B integration. The proposal is based on an extended ebXML scenario for companies to collaborate in a B2B context.
Electromagnetic communications within swarms of autonomous underwater vehicles
Authors: Michael R. Frater, Michael J. Ryan, Robin M. Dunbar
Venue: Proceedings of the 1st ACM international workshop on Underwater networks (2006)

Autonomous underwater vehicles (AUVs) have great value as platforms for sensors. While traditional AUVs have been large platforms that tend to operate alone or in very small groups, there has been recent interest in using very large numbers of small AUVs in swarms. Such swarms offer the potential to increase sensor density within the same, or lower, system cost. In this paper, we compare via simulation the network throughput obtained in such a swarm using electromagnetic and acoustic signals. The results of these simulations suggest that, for the same raw channel bit rate, much higher throughputs (by up to more than one order of magnitude) can be obtained using electromagnetic signals than can be obtained using acoustic signals, and that careful choice of parameters such as carrier frequency can help optimize performance.
A Digital Document Flexible Sanitizing Scheme
Authors: Takanobu Masubuchi, Mitsuyuki Takatsuka, Ryoichi Sasaki
Venue: Proceedings of the 2006 International Conference on Intelligent Information Hiding and Multimedia (2006)

A digital signature disallows alteration of the document. Appropriate alterations, however, should be allowed for some signed documents in practical use because of security requirements other than the integrity of the document. For example, when administrative documents are disclosed, based on the information disclosure law, in such documents, sensitive information, such as privacy information or national secrets is masked in advance. If this procedure is applied using existing digital signature technologies, the original digital signature becomes invalid when part of the document is sanitized. This problem is called the digital document sanitization problem and digital document sanitization schemes have been proposed as a solution to this problem. However, these schemes have disadvantages, such as a lack of flexibility in selecting sanitization blocks or inability to detect illegal sanitization by the sanitizer. In the present paper, we propose a digitally signed document flexible sanitizing scheme (DDFS) that can answer requests for flexible changes in the sanitized sections of a document without compromising security.
Perspectives of online trust and similar constructs: a conceptual clarification
Authors: Sonja Grabner-Kräuter, Ewald A. Kaluscha, Marliese Fladnitzer
Venue: Proceedings of the 8th international conference on Electronic commerce: The new e-commerce: innovations for conquering current barriers, obstacles and limitations to conducting successful business on the internet (2006)

In order to make progress in a scientific field, scholars need to find a consistent terminology to be able to adequately test their hypotheses, to communicate their results among each other and to build on each others findings. In this paper we address current conceptual problems in online trust research. We provide a conceptual investigation of online trust as an important contribution to the development of research on trust in electronic commerce. A framework is proposed for conceptualizing online trust that facilitates an integration of different trust definitions. Furthermore the relationships between trust and similar but distinct concepts such as confidence, hope, faith, reliance, familiarity or distrust, are analyzed. Finally several implications for the design of empirical studies on online trust are presented and some promising avenues for future research are made out.
Feature Comparison among Various Wavelets in Speaker Recognition Using Support Vector Machine
Authors: Chien-Chang Lin, Shi-Huang Chen, Tsung-Ching Lin, T. K. Truong
Venue: Proceedings of the Eighth IEEE International Symposium on Multimedia (2006)

In this paper, there are 17 types of wavelet coefficients obtained from the Matlab software and an Aurora-2 database used to evaluate which wavelet type has a better accuracy in speaker recognition. We first determine the frequency cepstral coefficient (FCC) level to form a 114-dimentional feature vector by the use of Daubechies-4 wavelet and support vector machines (SVMs) with pre-selected exponential radial basis kernel function (ERBF) and under some additional conditions. Then, average, for each wavelet, the accuracy of 42 possible combinations about the gender of speakers considered in seven kinds of experiments corresponding to two to eight speakers. The experimental results show that the best accuracy in average will be achieved by using the reverse biorthogonal-3.5 or reverse biorthogonal-3.7 wavelet. The reverse biorthogonal-3.5 wavelet is then chosen to be the proposed wavelet function for speaker recognition in terms of shorter filter length.
Generalized fiat-algorithm for solving two points control problem
Authors: A. M. Kovalev
Venue: Proceedings of the 2003 International Conference on Physics and Control - Volume 4 (2003)

For nonlinear system with one-dimensional control the solution of two points control problem by the inverse system method with using the set of trajectories is obtained. It is supposed that the system is controllable and one-dimensional measurement function exists under which the system is observable and identifiable on the set of trajectories. The class of systems considered includes so-called flat systems characterized by the property of identification on one trajectory. 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
A model for optimization and control of spatial compliant manipulators
Authors: S. L. Canfield, J. W. Beard
Venue: International Journal of Robotics and Automation (2006)

This paper will present a kinetoelastic model appropriate for spatial compliant manipulators that will be used for size optimization and motion control of these devices. This model will be applicable to a class of compliant manipulators based on a parallel architecture that combines the characteristics of parallel manipulators with the low-cost, small-scale capabilities resulting from a compliant structure design. The model will address both the forward and inverse kinematic analysis of such devices, as well as form a design tool for dimensional synthesis in an optimal sense based on sensitivity to joint strain limits and manufacture, parameters that are critical in the performance of compliant manipulators. The model will then be applied to a specific compliant 3-degree-of-freedom manipulator topology to demonstrate its use in size optimization of the dimensional parameters of the selected compliant manipulator. The ability of the model to accurately solve the forward and inverse kinematics will also be evaluated through testing with the prototype. The authors provide a general discussion geared to the future implementation of this model in control of positioning compliant manipulators.
Optimum Path Planning for Mobile Robots Based on a Hybrid Genetic Algorithm
Authors: Qing Li, Xinhai Tong, Sijiang Xie, Yingchun Zhang
Venue: Proceedings of the Sixth International Conference on Hybrid Intelligent Systems (2006)

A hybrid genetic algorithm based optimum path planning approach for mobile robots is proposed in this paper. A new proposed self-adaptive algorithm for controlling the crossover and mutation probabilities is adopted to replace the adjustment algorithm in an improved genetic algorithm, which is specifically designed for optimum path planning of mobile robots. The simulation studies in varying environments are carried out to demonstrate the effectiveness of the proposed algorithm and the simulation results show that the hybrid genetic algorithm has provided faster search speed compared with the recently reported method.
Eigenvalues of large sample covariance matrices of spiked population models
Authors: Jinho Baik, Jack W. Silverstein
Venue: Journal of Multivariate Analysis (2006)

We consider a spiked population model, proposed by Johnstone, in which all the population eigenvalues are one except for a few fixed eigenvalues. The question is to determine how the sample eigenvalues depend on the non-unit population ones when both sample size and population size become large. This paper completely determines the almost sure limits of the sample eigenvalues in a spiked model for a general class of samples.
Godel and Computations
Authors: Pavel Pudlak
Venue: Proceedings of the 21st Annual IEEE Conference on Computational Complexity (2006)

Godel was born 100 years ago in this country. It is a good opportunity to commemorate this anniversary by a lecture about his influence on computational complexity.
Interference-aware fair rate control in wireless sensor networks
Authors: Sumit Rangwala, Ramakrishna Gummadi, Ramesh Govindan, Konstantinos Psounis
Venue: ACM SIGCOMM Computer Communication Review (2006)

In a wireless sensor network of N nodes transmitting data to a single base station, possibly over multiple hops, what distributed mechanisms should be implemented in order to dynamically allocate fair and efficient transmission rates to each node? Our interferenceaware fair rate control (IFRC) detects incipient congestion at a node by monitoring the average queue length, communicates congestion state to exactly the set of potential interferers using a novel low-overhead congestion sharing mechanism, and converges to a fair and efficient rate using an AIMD control law. We evaluate IFRC extensively on a 40-node wireless sensor network testbed. IFRC achieves a fair and efficient rate allocation that is within 20-40% of the optimal fair rate allocation on some network topologies. Its rate adaptation mechanism is highly effective: we did not observe a single instance of queue overflow in our many experiments. Finally, IFRC can be extended easily to support situations where only a subset of the nodes transmit, where the network has multiple base stations, or where nodes are assigned different transmission weights.
The Captured Imagination
Authors: David Alan Grier
Venue: Computer (2006)

Incorporating computer simulation technology in a competitive, interactive story can command a game player's attention indefinitely.
Combined Depth and Outlier Estimation in Multi-View Stereo
Authors: Christoph Strecha, Rik Fransens, Luc Van Gool
Venue: Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 2 (2006)

In this paper, we present a generative model based approach to solve the multi-view stereo problem. The input images are considered to be generated by either one of two processes: (i) an inlier process, which generates the pixels which are visible from the reference camera and which obey the constant brightness assumption, and (ii) an outlier process which generates all other pixels. Depth and visibility are jointly modelled as a hiddenMarkov Random Field, and the spatial correlations of both are explicitly accounted for. Inference is made tractable by an EM-algorithm, which alternates between estimation of visibility and depth, and optimisation of model parameters. We describe and compare two implementations of the E-step of the algorithm, which correspond to the Mean Field and Bethe approximations of the free energy. The approach is validated by experiments on challenging real-world scenes, of which two are contaminated by independently moving objects.