ppxscal/embedding_network huggingface dataset:
Universal Steganalysis Using Multiwavelet Higher-Order Statistics and Support Vector Machines
Authors: San-Ping Li, Yu-Sen Zhang, Chun-Hua Li, Feng Zhao
Venue: Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks, Part III (2007)

In this paper, a new universal steganalysis algorithm based on multiwavelet higher-order statistics and Support Vector Machines(SVM) is proposed. We follow the philosophy introduced in Ref[7] in which the features are calculated from the stego image's noise component in the wavelet domain. Instead of working in wavelet domain, we calculate the features in multiwavelet domain. We call this Multiwavelet Higher-Order Statistics (MHOS) feature. A nonlinear SVM classifier is then trained on a database of images to construct a universal steganalyzer. The comparison to the current state-of-the-art universal steganalyzers, which was performed on the same image databases under the same testing conditions, indicates that the proposed universal steganalysis offers improved performance.
Event Correlation with Boxed Pomsets
Authors: Thomas Gazagnaire, Loïc Hélouët
Venue: Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems (2007)

This paper proposes a diagnosis framework for distributed systems based on pomset languages. Diagnosis is performed by projecting these models on a collection of observable labels and then synchronization with an observation. This paper first proposes a new model called boxed pomset languages, which extends classical pomset-based languages as so called High-level Message Sequence Charts. It can describe infinite scenarios, and has good properties with respect to projections. We then give a solution for the event correlation problem (knowing whether two observed alarms are causally related) for pomset languages.
Tutorial III: weight, geometry and transformation dependence of high dimensional model representation (HDMR)
Authors: N. AbdÜlbaki Baykara
Venue: Proceedings of the 7th WSEAS International Conference on Microelectronics, Nanoelectronics, Optoelectronics (2008)

High Dimensional Model Representation (HDMR) is one of the very important tools in the approximation of multivariate functions. It has proposed by Sobol, extended by Rabitz via weight and arbitrary orthogonal geometry introduction. Beside many HDMR applications in Rabitz's group, Demiralp's group brought the Hilbert space tools like orthogonality quality measuring functional and transformations to the topic. HDMR is a finite number term including representation. However this number grows awkwardly as the number of independent variables increases. Hence, the tendency of the scientists is to use at most bivariate level truncations as approximants. If the desired quality of approximation is not achieved then not to attempt to use higher variate truncations but to change the structure of the HDMR is preferred. This can be accomplished by using appropriately chosen transformations. Then, not the function itself but its image under the chosen transformation is expanded to HDMR. The dependence of HDMR on weight, geometry and transformation is quite important. Under appropriate choices of these entities the additive nature may become dominant. This dominancy means high quality of univariate or bivariate truncations. As long as there is no limitation on the choices of weight and gemometry, they can be constructed to increase the additivity. Otherwise particular transformations may be needed to get dominancy in additivity. This talk aims at the presentation of certain experimentation results together with the conceptual discussions.
Automating Co-evolution in Model-Driven Engineering
Authors: Antonio Cicchetti, Davide Di Ruscio, Romina Eramo, Alfonso Pierantonio
Venue: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference (2008)

Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be considered one of the basic concepts of Model-Driven Engineering and are expected to evolve during their life-cycle. As a consequence, models conforming to changed metamodels have to be updated for preserving their well-formedness. This paper deals with the co-adaptation problems by proposing higher-order model transformations which take a difference model recording the metamodel evolution and produce a model transformation able to co-evolve the involved models.
Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution
Authors: Sébastien Mosser, Mireille Blay-Fornarino, Michel Riveill
Venue: Proceedings of the 2nd European conference on Software Architecture (2008)

Services Oriented Architectures preach loosely-coupled services and high---level composition mechanisms, using for example Web Services to define services and Orchestrations to compose them. But orchestration evolutions imply modification at source code level. This article shows how the orchestration paradigm itself can be used to support evolution of Web Services Orchestrations through a behavioral merge process. Using the same model to express orchestrations and evolutions, we expose formally and illustrate in this contribution a merging process helping Wsoa administrators to deal with behavioral evolutions.
Evidence for the network perspective on organizational learning
Authors: Marko Pahor, Miha Škerlavaj, Vlado Dimovski
Venue: Journal of the American Society for Information Science and Technology (2008)

This article provides evidence for the network perspective on organizational learning in the cases of two companies of different size, industry, and culture. It builds on an earlier article that introduced the network perspective on organizational learning, and proposes some common traits of learning networks and tests them with the help of the tools of social-network analysis. We find support for the network perspective on organizational learning. There are some traits of the learning network that are common to very different companies, such as the fact that learning occurs mainly in clusters. Some other traits depend much on the organizational culture. &copy; 2008 Wiley Periodicals, Inc.
Threats Identification and their Solution in Inter-Basestation Dynamic Resource Sharing IEEE-802.22
Authors: Rakhshanda Shaukat, Shoab Ahmed Khan, Attiq Ahmed
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

Cognitive Radio based IEEE 802.22 deploys the concept of maximum resource utilization through dynamic resource sharing. Inter base station resource sharing is dynamic process in IEEE 802.22 and is accomplished by exchange of control messages between the neighboring base stations. Insecure transmission of control channels open vulnerable holes for the Denial of Service attacks on base station. First the paper identifies the rogue base station and replay attacks during the resource sharing between the base stations that can snatch the resources from the renter base station. Then paper presents a hybrid approach of timestamp, nonce and Digital Signature to authenticate the sender and avoid the attacks.
Persuasion for Stronger Passwords: Motivation and Pilot Study
Authors: Alain Forget, Sonia Chiasson, P. C. Oorschot, Robert Biddle
Venue: Proceedings of the 3rd international conference on Persuasive Technology (2008)

Text passwords are the ubiquitous method of authentication, used by most people for most online services. Many people choose weak passwords that are vulnerable to attackers who simply guess all the passwords within the most probable password spaces. This paper describes a lightweight password creation mechanism that uses Persuasive Technology to influence users to create stronger passwords. Results from a pilot study show that our Persuasive Text Passwords (PTP) prototype system successfully influenced users to create and remember more secure passwords.
Ubiquitous Phone System
Authors: Shan-Yi Tsai, Chiung-Ying Wang, Ren-Hung Hwang
Venue: Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing (2008)

Portable smart devices, such as Pocket PC Phones and Smartphones, have become common devices in our daily life. However, they still provide technology-oriented human interface. In future ubiquitous environment, context-awareness is the key to make the human interface of smart devices become human-centric. In this paper, we design and develop a ubiquitous phone system, referred to as UbiPhone, which provides context-aware, human-centric phone service based on rich context acquired from various sensing sources. The most unique feature of UbiPhone is that a user only needs one click, UbiPhone will automatically choose the right communication channel and device to connect to the callee. UbiPhone also provides intelligent feedback service when the callee is not available, such as when to call back according to callee's calendar, whether to automatically dial back when the callee becomes available, who to contact with if this is an emergency call and the callee is not reachable. In particular, social network is adopted to reason who would be the most appropriate person to help the caller find the callee immediately. Prototype of UbiPhone has been developed to show its feasibility.
Power Quality Control of Hybrid Wind Power Generation System Using Fuzzy-Robust Controller
Authors: Hee-Sang Ko, Min-Jae Kang, Chang-Jin Boo, Chong-Keun Jwa, Sang-Soo Kang, Ho-Chan Kim
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II (2008)

This paper proposes a modeling and controller design approach for a wind-diesel hybrid generation system that includes a wind-turbine and dump load. The proposed control scheme is based on the Takagi-Sugeno (TS) fuzzy model and the sliding mode nonlinear control. The TS fuzzy model expresses the local dynamics of a nonlinear system through sub-systems partitioned by linguistic rules. Thus, the TS fuzzy model provides a mechanism to take an advantage of the advances in modern control theory in designing a nonlinear controller. In the simulation study, the proposed controller is compared with a proportional-integral (PI) controller. Simulation results show that the proposed controller is more effective against disturbances caused by wind speed and load variation than the PI controller, and thus it contributes to a better quality wind-hybrid power generation system.
Construction of Ontology-Based Software Repositories by Text Mining
Authors: Yan Wu, Harvey Siy, Mansour Zand, Victor Winter
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

Software document repositories store artifacts produced in the course of developing software products. But most repositories are simply archives of documents. It is not unusual to find projects where different software artifacts are scattered in unrelated repositories with varying levels of granularity and without a centralized management system. This makes the information available in existing repositories difficult to reuse. In this paper, a methodology for constructing an ontology-based repository of reusable knowledge is presented. The information in the repository is extracted from specification documents using text mining. Ontologies are used to guide the extraction process and organize the extracted information. The methodology is being used to develop a repository of recurring and crosscutting aspects in software specification documents.
Discriminative Model Checking
Authors: Peter Niebert, Doron Peled, Amir Pnueli
Venue: Proceedings of the 20th international conference on Computer Aided Verification (2008)

Model checking typically compares a system description with a formal specification, and returns either a counterexample or an affirmation of compatibility between the two descriptions. Counterexamples provide evidence to the existence of an error, but it can still be very difficult to understand what is the cause for that error. We propose a model checking methodology which uses two levels of specification. Under this methodology, we group executions as good and bad with respect to satisfying a base LTL specification. We use an analysis specification, in CTL ¿ style, quantifying over the good and bad executions. This specification allows checking not only whether the base specification holds or fails to hold in a system, but also how it does so. We propose a model checking algorithm in the style of the standard CTL ¿ decision procedure. This framework can be used for comparing between good and bad executions in a system and outside it, providing assistance in locating the design or programming errors.
A dynamic, distributive and heterogeneous authorization policy management framework
Authors: Ng Kam Wing
Venue:  (2007)

Grid computing enables computers on different networks to share their resources in an organized way. Authorized users can deploy the resources as if they were in the same organization. This resource sharing environment is called a Virtual Organization (VOs). To enable an open Grid to support resource sharing between multiple heterogeneous VOs, an authorization policy management framework is required to support authorization for VOs using heterogeneous authorization systems. The challenges include dynamic Grid memberships, VO trust relationships, and heterogeneous authorization systems. Traditional authorization policy management frameworks work well in authorization for a single VO where the participating hosts agree to follow a global authorization system. However, they are not capable of authorization policy management for multiple VOs which deploys heterogeneous authorization systems. To solve these problems in a loose-coupling way, we propose a dynamic, distributive and heterogeneous authorization policy management framework. The framework is called Dynamic Policy Management Framework (DPMF). DPMF groups VOs of the same authorization systems to form a virtual cluster. Authorization policy management is divided into inter-cluster heterogeneous policy management, and intra-cluster homogeneous policy management. Inside a virtual cluster, the workloads of policy management can be distributed among the VOs according to their trust relationships. The Conflict Analysis with Partial Information (CAPI) mechanism is developed to make authorization decisions in open environments without complete policy information. A Heterogeneous Policy Management mechanism is developed for DPMF to support inter-cluster heterogeneous policy management.
Improving Anomaly Detection Error Rate by Collective Trust Modeling
Authors: Martin Rehák, Michal Pĕchouček, Karel Bartoš, Martin Grill, Pavel Čeleda, Vojtĕch Krmíček
Venue: Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection (2008)

Current Network Behavior Analysis (NBA) techniques are based on anomaly detection principles and therefore subject to high error rates. We propose a mechanism that deploys trust modeling, a technique for cooperator modeling from the multi-agent research, to improve the quality of NBA results. Our system is designed as a set of agents, each of them based on an existing anomaly detection algorithm coupled with a trust model based on the same traffic representation. These agents minimize the error rate by unsupervised, multi-layer integration of traffic classification. The system has been evaluated on real traffic in Czech academic networks.
Density functional study of the structural and electronic properties of aluminium-lithium clusters
Authors: J. I. Martínez, A. Castro, J. A. Alonso
Venue: Journal of Computational Methods in Sciences and Engineering (2007)

The reactivity between lithium and the Al$_{13}$ cluster is studied using the density functional theory and the local density approximation (LDA) for exchange and correlation. The effects caused by the addition of two Li atoms on the structural and electronic properties of the Al cluster are analyzed by calculating equilibrium geometries, binding energies and ionization potentials. The corresponding positively and negatively charged species are also studied. The influence of the alkali atoms on the geometrical structure of the cluster is small, but the influence on the electronic structure is much larger. The cluster Al$_{13}$Li, with 40 valence electrons, has closed electronic shells and Al$_{13}$Li$_{2}$ has a single electron in the next shell. A striking result is the large drop of the ionization potential of the cluster induced by the addition of the second Li atom. These properties have been related to the changes of the electronic density by the analysis of density difference maps and atomic Hirshfeld charges. The photoabsorption spectrum has been calculated using the time-dependent version of the density functional theory.
Type-Based Termination with Sized Products
Authors: Gilles Barthe, Benjamin Grégoire, Colin Riba
Venue: Proceedings of the 22nd international workshop on Computer Science Logic (2008)

Type-based termination is a semantically intuitive method that ensures termination of recursive definitions by tracking the size of datatype elements, and by checking that recursive calls operate on smaller arguments. However, many systems using type-based termination rely on a semantical anomaly to guarantee strong normalization; namely, they impose that non-recursive elements of a datatype, e.g. the empty list, have size 1 instead of 0. This semantical anomaly also prevents functions such as quicksort to be given a precise typing.The main contribution of this paper is a type system that remedies this anomaly, and still ensures termination. In addition, our type system features prenex stage polymorphism, a weakening of existential quantification over stages, and is precise enough to type quicksort as a non-size increasing function. Moreover, our system accomodate stage addition with all positive inductive types.
TV Genre Classification Using Multimodal Information and Multilayer Perceptrons
Authors: Maurizio Montagnuolo, Alberto Messina
Venue: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (2007)

Multimedia content annotation is a key issue in the current convergence of audiovisual entertainment and information media. In this context, automatic genre classification (AGC) provides a simple and effective solution to describe video contents in a structured and well understandable way. In this paper a method for classifying the genre of TV broadcasted programmes is presented. In our approach, we consider four groups of features, which include both low-level visual descriptors and higher level semantic information. For each type of these features we derive a characteristic vector and use it as input data of a multilayer perceptron (MLP). Then, we use a linear combination of the outputs of the four MLPs to perform genre classification of TV programmes. The experimental results on more than 100 hours of broadcasted material showed the effectiveness of our approach, achieving a classification accuracy of ~92%.
A Clustering Framework to Build Focused Web Crawlers for Automatic Extraction of Cultural Information
Authors: George E. Tsekouras, Damianos Gavalas, Stefanos Filios, Antonios D. Niros, George Bafaloukas
Venue: Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications (2008)

We present a novel focused crawling method for extracting and processing cultural data from the web in a fully automated fashion. After downloading the pages, we extract from each document a number of words for each thematic cultural area. We then create multidimensional document vectors comprising the most frequent word occurrences. The dissimilarity between these vectors is measured by the Hamming distance. In the last stage, we employ cluster analysis to partition the document vectors into a number of clusters. Finally, our approach is illustrated via a proof-of-concept application which scrutinizes hundreds of web pages spanning different cultural thematic areas.
Fast Hash-Based Signatures on Constrained Devices
Authors: Sebastian Rohde, Thomas Eisenbarth, Erik Dahmen, Johannes Buchmann, Christof Paar
Venue: Proceedings of the 8th IFIP WG 8.8/11.2 international conference on Smart Card Research and Advanced Applications (2008)

Digital signatures are one of the most important applications of microprocessor smart cards. The most widely used algorithms for digital signatures, RSA and ECDSA, depend on finite field engines. On 8-bit microprocessors these engines either require costly coprocessors, or the implementations become very large and very slow. Hence the need for better methods is highly visible. One alternative to RSA and ECDSA is the Merkle signature scheme which provides digital signatures using hash functions only, without relying on any number theoretic assumptions. In this paper, we present an implementation of the Merkle signature scheme on an 8-bit smart card microprocessor. Our results show that the Merkle signature scheme provides comparable timings compared to state of the art implementations of RSA and ECDSA, while maintaining a smaller code size.
Quality of Experience
Venue: IEEE MultiMedia (2004)

In a technical product's early stages, the typical IEEE MultiMedia reader would judge it by the strength and novelty of its technology. Early adopters in our community will accept a product more based on the technology it uses and the function it performs than its ease of use and their experience in using it. The situation changes when a product ships to mainstream users. Normal users don't care nearly as much about what technology goes into a product. They care more about the problem the product solves and their experience while using it. Given products with the same functionality, what will make the experience better? This critical consideration helps determine a product's success in the marketplace.