ppxscal/embedding_network huggingface dataset:
On Periodic Properties of Interpolation and Their Application To Image Authentication
Authors: Babak Mahdian, Stanislav Saic
Venue: Proceedings of the Third International Symposium on Information Assurance and Security (2007)

In our society digital images are a powerful and widely used communication medium. They have an important impact on our life. In recent years, due to the advent of high-performance consumer hardware and improved human computer interfaces, it has become relatively easy to create fake images. Typically, to create high quality and consistent forgeries, several types of tampering techniques are employed simultaneously. One of the most often used techniques is resampling (especially when two or more images are spliced together). Generally, resampling is based on an interpolation procedure. Typically, this procedure brings into the signal specific statistical changes. In this work we analyze and analytically describe specific periodic properties presence in interpolated signals and their derivatives. Furthermore, we propose an efficient and blind method to automatically detect the traces of geometric transformations in images and their portions. The results of the proposed method are demonstrated on several examples.
A new alignment method for OWL-Lite ontologies using propagation of similarity over the graph
Authors: Sami Zghal, Engelbert Mephu Nguifo, Karim Kamoun, Sadok Ben Yahia, Yahya Slimani
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

In this paper, we introduce a new approach for aligning OWL-Lite ontologies. The main originality of the alignment method stands in the fact that it palliates the main drawbacks appearing in the literature approaches, i.e., problem of user-parameter settings. Carried out experimental results pointed out a sharp improvement in the precision and recall evaluation metrics.
Using Ant Colony Optimization Algorithm to Solve Airline Crew Scheduling Problems
Authors: Chih-Chung Lo, Guang-Feng Deng
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 04 (2007)

In this paper, an Ant Colony Optimization (ACO) based Ant Crew Scheduling Model (ACSM) is proposed to solve airline crew scheduling problems. In the proposed ACSM, airline crew scheduling problems are first formulated as traveling salesman problems with flight graph representation. Then, the ACO algorithm is applied to search near-optimal solutions for airline crew schedules. The validity of the proposed ACSM is verified by implementing it in real study cases. The results from the implementation and evaluation confirm that the proposed ACSM is suitable for the airline crew scheduling problems with good performance.
Combining PAC-Bayesian and Generic Chaining Bounds
Authors: Jean-Yves Audibert, Olivier Bousquet
Venue: The Journal of Machine Learning Research (2007)

There exist many different generalization error bounds in statistical learning theory. Each of these bounds contains an improvement over the others for certain situations or algorithms. Our goal is, first, to underline the links between these bounds, and second, to combine the different improvements into a single bound. In particular we combine the PAC-Bayes approach introduced by McAllester (1998), which is interesting for randomized predictions, with the optimal union bound provided by the generic chaining technique developed by Fernique and Talagrand (see Talagrand, 1996), in a way that also takes into account the variance of the combined functions. We also show how this connects to Rademacher based bounds.
A multivariable generalized predictive control approach based on T-S fuzzy model
Authors: Zhang Huaguang, Lilong Cai, Zeungnam Bien
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2000)

In this paper, the Takagi-Sugeno (T-S) fuzzy model is used to express dynamic systems, and an on-line identification algorithm for its parameters and structures is presented. A new multivariable fuzzy generalized predictive control approach is put forward based on the identified fuzzy model by means of Clark's principle of single-variable generalized predictive control, some of whose performances are analysed in detail. A simulation study of the multivariable load system of electric generating unit shows that the approach is superior to conventional load control systems.
Isolated items discarding strategy for discovering high utility itemsets
Authors: Yu-Chiang Li, Jieh-Shan Yeh, Chin-Chen Chang
Venue: Data Knowledge Engineering (2008)

Traditional methods of association rule mining consider the appearance of an item in a transaction, whether or not it is purchased, as a binary variable. However, customers may purchase more than one of the same item, and the unit cost may vary among items. Utility mining, a generalized form of the share mining model, attempts to overcome this problem. Since the Apriori pruning strategy cannot identify high utility itemsets, developing an efficient algorithm is crucial for utility mining. This study proposes the Isolated Items Discarding Strategy (IIDS), which can be applied to any existing level-wise utility mining method to reduce candidates and to improve performance. The most efficient known models for share mining are ShFSM and DCG, which also work adequately for utility mining as well. By applying IIDS to ShFSM and DCG, the two methods FUM and DCG+ were implemented, respectively. For both synthetic and real datasets, experimental results reveal that the performance of FUM and DCG+ is more efficient than that of ShFSM and DCG, respectively. Therefore, IIDS is an effective strategy for utility mining.
Lazy Evaluation of Geometric Objects
Authors: F. Burton, Matthew Huntbach
Venue: IEEE Computer Graphics and Applications (1984)

This technique, widely applicable to computational geometry, is useful whenever objects are represented by quadtrees and only a portion of the data structure is required.
The applicability analysis of ISO/IEC 9126 series of standards in telecom sector: the example of softswitch category of software
Authors: Witold Suryn, Francis Laverdière
Venue: Software Quality Control (2007)

A software application called a softswitch is considered within the telecom industry as critical for the proper operation of most telecommunication systems. This paper presents the results of the research for a solution for methodically evaluating the internal quality of a softswitch dedicated to developers and acquirers alike. The resulting solution is designed in form of a prioritized two-part evaluation grid containing measurements of internal quality attributes of software as defined by the technical report ISO/IEC 9126-3. The elaboration of such a grid had the basic objective of giving developers and acquirers of a softswitch the tool to evaluate its internal quality when being purchased or developed in order to assess its design and code prior to its installation. This document also presents the applied research methodology, the proposed solution and recommendations for its use.
Some properties on f-edge covered critical graphs
Authors: Jihui Wang, Jianfeng Hou, Guizhen Liu
Venue: Journal of Applied Mathematics and Computing (2007)

Let G(V, E) be a simple graph, and let f be an integer function on V with 1 ≤ f(v) ≤ d(v) to each vertex v ε V. An f-edge cover-coloring of a graph G is a coloring of edge set E such that each color appears at each vertex v ε V at least f(v) times. The f-edge cover chromatic index of G, denoted by χ′fc(G), is the maximum number of colors such that an f-edge cover-coloring of G exists. Any simple graph G has an f-edge cover chromatic index equal to δf or δf - 1, where δf= minv ε V{⌊ d(v)/f(v)⌋} Let G be a connected and not complete graph with χ′fc(G) =δf-1, if for each u, v ε V and e = uv ∉ E, we have χ′fc(G + e) > χ′fc(G) then G is called an f-edge covered critical graph. In this paper, some properties on f-edge covered critical graph are discussed. It is proved that if G is an f-edge covered critical graph, then for each u, v ε V and e = uv ∉ E there exists w ε {u,v} with d(w) ≤ δf(f(w)+1) -2 such that w is adjacent to at least d(w) - δf + 1 vertices which are all δf-vertex in G.
Protecting Transportation Infrastructure
Authors: Daniel Zeng, Sudarshan S. Chawathe, Hua Huang, Fei-Yue Wang
Venue: IEEE Intelligent Systems (2007)

Transportation infrastructures are a key component of a nation's critical infrastructures, covering physical assets such as airports, ports, and railway and mass transit networks as well as software systems such as traffic control systems. Because physical transportation networks attract large numbers of people, they're also high-value targets for terrorists intending to inflict heavy casualties. Protecting transportation infrastructure provides a potentially fruitful application domain for many subdisciplines of AI and closely related fields. The authors review research challenges in this domain.
Effect of irradiation, asbestos and chemical cocarcinogens on incidence of sarcoma on implants
Authors: S. M. Lavelle, P. W. Walton, Maura Mhic Iomhair
Venue: Technology and Health Care (2004)

An implant can act as a physical carcinogen. Chemicals applied to its surface can augment that. To explore if cocarcinogenesis would affect the incidence of tumour on implants, we tested several physical (asbestos, beta irradiation) and chemical (acridine orange, phorbol methyl ester, cigarette smoke tar, extract of Agaricus bisporus mushroom) carcinogens on 25 mm diameter nitrocellulose filters implanted in groups of BALB/c mice in 9 experiments. Saline was applied in 287 concurrent controls. Irradiation by 540 kBq I-125 fibrinogen on foreign bodies of surface area 20sq cm induced tumour in 6/6 pilot animals (expected 2/6) and in 25/36 animals (controls 13/29; p<0.04). The mean dose (beta and gamma) to cells within 20 &mu;m of the filter surface was estimated to be 782 mGy. Exposures to 270kBq or less were not significantly cocarcinogenic with single implants. Radiation from the paired implants was detectible up to 80 weeks. Asbestos, however, 2.3 or 4.6 mgm on implants did not in 3 trials increase sarcoma yield significantly, but did induce mesothelial-type growths in the peritoneum. Asbestos (2.3 mg) injected without an implant provoked no tumour at the site. The chemical carcinogen acridine orange gave ambiguous results, and the others reduced tumour incidence insignificantly. The irradiation history may be germane in the human cases that arise.
Communication in Distributed Agile Development: A Case Study
Authors: Mikko Korkala, Pekka Abrahamsson
Venue: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (2007)

Distributed software development is an increasingly important development approach for software companies as it brings tempting opportunities. Distributed development is already burdened with several problems and agile methods bring further challenges in the form of their reliance on verbal communication and volatile requirements. There is little empirical knowledge on distributed agile software development. We conducted two distributed agile software development case studies and compared our findings against existing recommendations about communication in distributed agile development. Our findings along with existing literature conclude that presented recommendations are worthwhile considering in distributed agile development, but with some caution. Our empirically based findings indicate that the role of a welldefined customer is the key recommendation. The lack of a welldefined customer able to meet responsibilities, as well as volatile requirements and inefficient communication, can cause severe problems even in smallscale distributed agile software development projects. Discussed recommendations are complemented with an additional recommendation.
Logical argument mapping: a cognitive-change-based method for building common ground
Authors: Michael H. G. Hoffmann
Venue: Proceedings of the 2nd international conference on Pragmatic web (2007)

In this paper, I situate Logical Argument Mapping (LAM) within the broader context of IBIS-based Computer Supported Argument Visualization (CSAV) and Dialogue Mapping, and argument mapping as realized in Rationale. While the primary goal of these methods is to clarify issues and to augment cognitive processes, LAM's purpose is to motivate cognitive change by establishing a normative standard of argumentation.
A Cellular-Array Multiplier for GF(2m)
Authors: B. A. Laws, C. K. Rushforth
Venue: IEEE Transactions on Computers (1971)

This note describes a cellular array that computes the product of two arbitrary elements of the Galois field GF(2m). The regularity of this array should make it attractive for LSI fabrication.
Testing And Applications of Inverter-Free PLAs
Authors: Janusz Rajski, Vinod Agarwal
Venue: IEEE Design Test (1987)

The testing properties of inverter-free PLAs make them ideal for application to totally self-checking and easily testablecircuits. After a class of test patterns and masking relations for these new patterns are determined, a complete test setfor single and multiple crosspoint faults can be easily generated. Moreover, the procedure does not require any fault simulation.The code space inputs detect all single and multiple faults in PLAs for totally self-checking circuits, even if the faultsare not unidirectional. The test results can be used to analyze easily testable PLAs. With minor hardware changes in one-inputdecoder PLAs, the personality matrix will serve as a complete test set.
A fuzzy neural architecture for customer satisfaction assessment
Authors: Cecilia Temponi, Ying-Feng Kuo, Herbert W. Corley
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (1999)

We present a fuzzy neural network for assessing customer satisfaction. It is a feedforward multilayer network with a fuzzy controller and utilizes back-propagation learning. The controller will measure customer satisfaction levels, thereby assessing current strategies and providing a means for evaluating possible changes. Preliminary results are promising and have provided new paths for future research.
Bilinear Discriminant Component Analysis
Authors: Mads Dyrholm, Christoforos Christoforou, Lucas C. Parra
Venue: The Journal of Machine Learning Research (2007)

Factor analysis and discriminant analysis are often used as complementary approaches to identify linear components in two dimensional data arrays. For three dimensional arrays, which may organize data in dimensions such as space, time, and trials, the opportunity arises to combine these two approaches. A new method, Bilinear Discriminant Component Analysis (BDCA), is derived and demonstrated in the context of functional brain imaging data for which it seems ideally suited. The work suggests to identify a subspace projection which optimally separates classes while ensuring that each dimension in this space captures an independent contribution to the discrimination.
Effective full-duplex Mesochronous Link Architecture for Network-on-Chip Data-Link layer
Authors: D. Mangano, G. Falconeri, C. Pistritto, A. Scandurra
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

The increasing complexity of System on Chip (SoC) architectures and the physical issues due to the CMOS technology scaling, led to explore new solutions to build effective on-chip interconnection and communication infrastructures. Network on Chip (NoC) paradigm has been proposed as architectural solution mainly for overcoming scalability and flexibility limitations. However, advanced techniques to mitigate wire-delay effects have to be employed to reduce the impact of physical issues. Globally Asynchronous Locally Synchronous (GALS) paradigm has been selected to this purpose as solution to implement the NoC physical layer, and many different approaches to design GALS-based NoC can be used. In this paper a full-duplex mesochronous link architecture, for which a patent has been submitted, is proposed to effectively implement the GALS paradigm in the STNoCTM system. Such a link, exploiting the service provided by the newest mesochronous physical layer known as SKIL, effectively implements the mesochronous communication at data-link layer and enables to overcome some important issues of the previous mesochronous solutions.
A Fuzzy Inference System for Meta-Evaluation
Authors: Ana Carolina Letichevsky, Marley Vellasco, Ricardo Tanscheit
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

This paper presents a new methodology for meta- evaluation that makes use of fuzzy sets and fuzzy logic concepts. It comprehends a data collection instrument and a hierarchical fuzzy inference system. The advantages of the proposed system are: (i) the instrument, which allows intermediate answers; (ii) the inference process ability to adapt to specific needs; (iii) transparency, through the use of linguistic rules that helps both the understanding and the discussion of the whole process. The rules are based on guidelines established by the Joint Committee on Standards for Educational Evaluation and also represent the view of experts. The system can provide support to evaluators that may lack experience in meta-evaluation, which is the case in some developing countries. A case study is presented as a validation of the proposed methodology.
Regular Partitions of Hypergraphs: Counting Lemmas
Authors: Vojtech Rodl, Mathias Schacht
Venue: Combinatorics, Probability and Computing (2007)

We continue the study of regular partitions of hypergraphs. In particular, we obtain corresponding counting lemmas for the regularity lemmas for hypergraphs from our paper ‘Regular Partitions of Hypergraphs: Regularity Lemmas’ (in this issue).
On the accuracy of decentralized virtual coordinate systems in adversarial networks
Authors: David John Zage, Cristina Nita-Rotaru
Venue: Proceedings of the 14th ACM conference on Computer and communications security (2007)

Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine the latency to arbitrary hosts without actively monitoring all nodes in the network. Many of the proposed virtual coordinate systems were designed with the assumption that all of the nodes in the system are altruistic. However, this assumption may be violated by compromised nodes acting maliciously to degrade the accuracy of the coordinate system. As numerous peer-to-peer applications rely on virtual coordinate systems to achieve good performance, it is critical to address the security of such systems. In this work, we demonstrate the vulnerability of decentralized virtual coordinate systems to insider (or Byzantine) attacks. We propose techniques to make the coordinate assignment robust to malicious attackers without increasing the communication cost. We demonstrate the attacks and mitigation techniques in the context of a well-known distributed virtual coordinate system using simulations based on three representative, real-life Internet topologies of hosts and corresponding round trip times (RTT).
A Scheme of Certificate Authority for Ad Hoc Networks
Authors: Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S.G., Harish Reddy
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

The attractiveness of the wireless ad hoc networks lies in the fact that these networks are self-organized: the hosts constituting the networks can communicate with each other without reliance on any centralized or specified entities such as base stations or access points. With these networks finding more applications, the need for adequate security mechanism is increasingly becoming important. Key management is an essential cryptographic primitive upon which other security protocols are built. However, most of the existing key management schemes are not feasible in ad hoc networks because public key infrastructures with a centralized certification authority are hard to deploy there. In this paper, we propose and evaluate a security mechanism based on distributed certification authority based on threshold cryptography that is suited to wireless ad hoc networks. A collection of nodes acts as the certificate authority and provides the certification service. The feasibility of the proposed scheme is verified by some simulation studies. The results show the effectiveness of the scheme.
Multicast Tree Construction for Supporting QoS
Authors: Choonsung Rhee, Jungwook Song, Heemin Kim, Sunyoung Han
Venue: Proceedings of the The 2007 International Conference Computational Science and its Applications (2007)

In this paper, we designed a new multicast tree construction mechanism in order to support overlay multicast with scalability and QoS. The architecture we introduce efficiently transmits streaming data to the users from multicast source in an environment in which non-multicast network and multicast network. We have introduced loosely-coupled TCP connection in order to support efficient and reliable overlay multicast. Besides, by defining a new service type to flow label of IPv6 header, a selective adoption of FEC and a distinctive transmission became possible. In order to verify the effect of the solution we suggested, we embodied an environment which is similar to the actual service environment by a simulator and tested it. The result of the test shows that the proposed method is more efficient than the traditional unicast approach method and the existing overlay multicast.
A Secure Position-Based Protocol Framework for Multi-hop Ad-Hoc Networks
Authors: Venkata C. Giruka, Yongwei Wang, Mukesh Singhal
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

We present a secure position-based protocol framework, S-CORE, for ad-hoc networks. S-CORE consist of a se- cure hello protocol and a secure greedy forwarding protocol ( SecFwd). The secure hello protocol helps nodes establish a neighbor table free of malicious nodes, defends against ID-spoofing, position-spoofing, and black lists malicious nodes. To detect position-spoofing, nodes use a new dis- tributed position verification algorithm that uses a position- bounding technique. SecFwd mitigates forwarding mis- behaviors and insures proper execution of greedy forward- ing. We present a security analysis of S-CORE and results from an extensive simulation study using GloMoSim. Our simulation results show that S-CORE detects misbehaving nodes to a high degree with a fewer number of false accu- sations.
The Annotated Assistant: A Step Towards Human Engineering
Authors: A. Singer
Venue: IEEE Transactions on Software Engineering (1981)

The Hatter's watch nicely illustrates the effect of idiosynracy in system design. Really, a watch could provide any number of features, but most watches designed for people put a high priority on telling the correct time of day. Thus, the Hatter's watch is an excellent example of bad human engineering. By human engineering we mean "the selection among design alternatives so as to relate to people." Carroll's stopped watch is the ultimate in poor human engineering because the user must do all the work.