ppxscal/embedding_network huggingface dataset:
NEURO-FUZZY CONTROLLER IMPLEMENTATION FOR AN ADAPTIVE CATHODIC PROTECTION ON IRAQ-TURKEY CRUDE OIL PIPELINE
Authors: M. A. Akcayol, S. Sagiroglu
Venue: Applied Artificial Intelligence (2007)

Impressed current cathodic protection is widely used to prevent corrosion of structural steels, especially, those used in a crude oil pipeline. The potential required for cathodic protection depends upon the steel being protected from the environment. Since corrosion rate depends on current flow to or from the steel and the adjacent medium, the corrosion activity of the steel in soil normally increases as soil resistivity decreases. The major constituents are resistivity, chlorides, sulfates, and the acidity (pH) of the soil. Output voltage, depending on desired reference voltage, needs to be controlled and tuned by transformer rectifier (TR) units. Proportional-integral (PI) and proportional-integral-derivative (PID) controllers have been used recently in tuning the output voltage, but overshoot and oscillation occurred in the outputs. In order to overcome these problems, a new approach based on a neuro-fuzzy controller for tuning the output voltage of TR units is presented in this study. The neuro-fuzzy classification based on a fuzzy logic controller was implemented in a microcontroller. The controller helps to compensate for the variations and the dynamic changes in the TR units on the Iraq-Turkey crude oil pipeline. The experimental results achieved from two stations have shown that the proposed neuro-fuzzy controller is simple, does not require any derivative function, and has no overshoot and oscillation.
Identifying unique devices through wireless fingerprinting
Authors: Loh Chin Choong Desmond, Cho Chia Yuan, Tan Chung Pheng, Ri Seng Lee
Venue: Proceedings of the first ACM conference on Wireless network security (2008)

We propose a new fingerprinting technique that differentiates between unique devices over a Wireless Local Area Network (WLAN) simply through the timing analysis of 802.11 probe request frames. Our technique can be applied to spoof detection, network reconnaissance, and implementation of access control against masquerading attacks. Experimental results indicate that our technique is consistent and accurate in differentiating between unique devices. In contrast with existing wireless fingerprinting techniques, our technique is passive, non-invasive and does not require the co-operation of fingerprintee hosts.
Dynamic Modeling and Control of Nonholonomic Mobile Robot with Lateral Slip
Authors: Naim Sidek, Nilanjan Sarkar
Venue: Proceedings of the Third International Conference on Systems (2008)

Nonholonomic mobile robots are characterized by no-slip constraints. However, in many practical situations, slips are inevitable. In this work, we develop a theoretical and systematic framework to include slip dynamics into the overall dynamics of the wheeled mobile robot (WMR). Such a dynamic model is useful to understand the slip characteristics during navigation of the WMR. We further design a planner and a controller that allow efficient navigation of the WMR by controlling the slip. Preliminary simulation results are presented to demonstrate the usefulness of the proposed modeling and control techniques.
Kernel-Based Speaker Clustering for Rapid Speaker Adaptation
Authors: Oldooz Hazrati Yadkoori, Seyed Mohammad Ahadi, Seyed Omid Sadjadi
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

Speaker clustering is a widely used technique in speaker adaptation, especially since it can be easily combined with adaptation methods such as MAP or MLLR. In this paper we present and evaluate a new speaker adaptation method using a kernel-based speaker clustering algorithm inspired by the classical K-means and based on one-class support vector machines. We find that this adaptation method outperforms other conventional clustering techniques such as K-means and gender clustering with only small amounts of adaptation data (i.e. less than 10 sec).
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation
Authors: Andrey Berlizev, Nicolas Guelfi
Venue: Proceedings of the 2008 international workshop on Software Engineering in east and south europe (2008)

Contemporary software systems are usually complex and prone to errors due to their complexity. If dependability attributes are defined, some strategies should be adopted. The CORRECT methodology is a semi-formal approach that allows engineering of systems with abnormal behavior fully specified. The paper consists of two parts: the first part presents the work context as an outcome of east-west cooperation, while the second presents the scientific results of CORRECT Analysis (CORA) phase for modeling an embedded system and shows how typical properties for these systems can be precisely specified. For this purpose, CORA models are informally introduced using analysis models applied to a running example of an alarm system.
Putting intel® threading building blocks to work
Authors: Thomas Willhalm, Nicolae Popovici
Venue: Proceedings of the 1st international workshop on Multicore software engineering (2008)

Intel® Threading Building Blocks (TBB) was designed to simplify programming for multi-core platforms. By introducing a new way of expressing parallelism, developers can focus on efficient scalable parallel program design and avoid dealing with low level details of threading. This talk will focus on the task-based approach to threading of the Intel® TBB. We will show step by step what needs to be done in order to take advantage of the TBB task based programming model in your code.
Alan Simpson's Windows Vista Bible, 1 edition
Authors: Alan Simpson, Todd Meister
Venue:  (2007)

What's new in Windows Vista? Everything! Be among the first to master the much-anticipated new Microsoft Windows Vista operating system. Bestselling author Alan Simpson has packed this ultimate resource with the comprehensive information you need to get the most out of this exciting new OS. From thorough coverage of the basics through advanced topics such as setting up security, building a home office network, and DVD authoring, this go-to reference is your perfect Vista resource.
LISS Algorithm with Modified Length Bias Term in Turbo Equalization
Authors: Adrian Florin Paun, Silviu Ciochina, Constantin Paleologu
Venue: Proceedings of the Seventh International Conference on Networking (2008)

For iterative detection/decoding turbo schemes List Sequential (LISS) detection is an effective technique which contrary to a posteriori probability (APP) equalization offers a much smaller complexity almost independent of the number of states. It uses a metric containing a priori and channel values, a metric length bias term for speeding up the tree-search, a soft extension of paths without increasing the stack size and soft weighting to obtain a soft-output. Using a length bias term calculated via an auxiliary stack has been shown to substantially narrow the tree search and thus reduce detection complexity. In this paper we propose a novel approach to determine an approximation of the bias term. It is based on the information available during the tree search in the main stack of the LISS detector. This approach further reduces the detection computational load without significant loss of performances.
Attention Model Based SIFT Keypoints Filtration for Image Retrieval
Authors: Ke Gao, Shouxun Lin, Yongdong Zhang, Sheng Tang, Huamin Ren
Venue: Proceedings of the Seventh IEEE/ACIS International Conference on Computer and Information Science (icis 2008) (2008)

Effective feature extraction is a fundamental component of content-based image retrieval. Scale Invariant Feature Transform (SIFT) has been proven to be the most robust local invariant feature descriptor. However, SIFT algorithm generates hundreds of thousands of keypoints per image, and most of them comes from background. This has seriously affected the application of SIFT in real-time image retrieval. This paper addresses this problem and proposes a novel method to filter the SIFT keypoints using attention model. Based on visual attention analysis, all of the keypoints in an image are ranked with their attention saliency, and only the most distinctive keypoints will be reserved. Then we use Bag of words to efficiently index these features. Experiments demonstrate that the attention model based SIFT keypoints filtration algorithm provides significant benefits both in retrieval accuracy and matching speed.
Application partitioning on programmable platforms using the ant colony optimization
Authors: Gang Wang, Wenrui Gong, Ryan Kastner
Venue: Journal of Embedded Computing (2006)

Modern digital systems consist of a complex mix of computational resources, e.g. microprocessors, memory elements and reconfigurable logic. System partitioning - the division of application tasks onto the system resources - plays an important role for the optimization of the latency, area, power and other performance metrics. This paper presents a novel approach for this problem based on the Ant Colony Optimization, in which a collection of agents cooperate using distributed and local heuristic information to effectively explore the search space. The proposed model can be flexibly extended to fit different design requirements. Experiments show that our algorithm provides robust results that are qualitatively close to the optimal with minor computational cost. Compared with the popularly used simulated annealing approach, the proposed algorithm gives better solutions with substantial reduction on execution time for large problem instances. Moreover, a hybrid approach that combines our algorithm and SA achieves even better results with great runtime reduction.
Speech and sketching: an empirical study of multimodal interaction
Authors: A. Adler, R. Davis
Venue: Proceedings of the 4th Eurographics workshop on Sketch-based interfaces and modeling (2007)

Sketch recognition can capture the sketching component of a multimodal conversation about design, but it does not capture information conveyed in the other modalities. The informal speech that accompanies a sketch often has a considerable amount of additional information. We want to develop a digital whiteboard capable of understanding both sketching and speech, and capable of participating in a conversation similar to one that the user would have with a human design partner. We conducted a user study to help us understand what kinds of conversations users would have with a whiteboard capable of recognizing a sketch. We report results that we believe will help guide the design of an effective multimodal interface, and discuss implications for system architectures.
Circulating Images: From Aotearoa to Shanghai
Authors: Janine Randerson
Venue: IEEE MultiMedia (2008)

Janine Randerson discusses three installations of new media art projects by artists from Aotearoa (the Maori designation for New Zealand) shown earlier this year at the Shanghai International Science and Art Exhibition. While they vary in their use and foregrounding of technology, all three strive to find artful ways to engage in ecological and political questions about our relations with nature.
A Basis for Formal Robustness Checking
Authors: Goerschwin Fey, Rolf Drechsler
Venue: Proceedings of the 9th international symposium on Quality Electronic Design (2008)

Correct input/output behavior of circuits in presence of internal malfunctions becomes more and more important. But reliable and efficient methods to measure this robustness are not available yet. In this paper a formal measure for the robustness of a circuit is introduced. Then, a first algorithm to determine the robustness is presented. This is done by reducing the problem either to sequential equivalence checking or to a sequence of property checking instances. The technique also identifies those parts of the circuit that are not robust from a functional point of view and therefore have to be hardened during layout.
Hierarchical watermarking technique of distortion control mechanism
Authors: Tzu-Chuen Lu, Li-Ling Hsu
Venue: Proceedings of the 2nd international conference on Ubiquitous information management and communication (2008)

This paper proposed an effective information hiding scheme. The proposed scheme calculates the confidential information from a medium and embeds the information into the medium to generate the stego medium for medium integrity protection. When necessary, the verifier can extract the embedded information from the stego medium to authenticate whether the medium has been tampered or not. Furthermore, the verifier can use non-tampered areas to recover the original medium or to share some secret message. In addition, the proposed scheme improves Celik et al.'s scheme by embedding data into more complex blocks for controlling the stego image distortion. The image quality of the proposed scheme is better than that of Celik et al.'s scheme.
Two-Way Beacon Scheduling in ZigBee Tree-Based Wireless Sensor Networks
Authors: Lun-Wu Yeh, Meng-Shiuan Pan, Yu-Chee Tseng
Venue: Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008) (2008)

Broadcast and convergecast are two fundamental operations in wireless sensor networks. Although previous works have addressed energy-efficient and low-latency scheduling, these works either consider only one-way (broadcast or convergecast) communication or are not compliant to ZigBee/IEEE 802.15.4 standards. Motivated by these observations, this work defines a two-way beacon scheduling problem for ZigBee tree-based networks. We propose a scheduling algorithm that can reduce indirect interference neighbors and achieve low-latency broadcast and convergecast. Simulation results are presented.
Tolerance graphs, and orders
Authors: Stefan Felsner
Venue: Journal of Graph Theory (1998)

We show that, if a tolerance graph is the complement of a comparability graph, it is a trapezoid graph, i.e., the complement of an order of interval dimension at most 2. As consequences we are able to give obstructions for the class of bounded tolerance graphs and to give an example of a graph that is alternatingly orientable but not a tolerance graph. We also characterize the tolerance graphs among complements of trees. &copy; 1998 John Wiley & Sons, Inc. J. Graph Theory 28: 129&ndash;140, 1998
Direction Finding Signage System using RFID for Healthcare Applications
Authors: Nitin Sharma, Jong-Hoon Youn, Neeraj Shrestha, Hesham H. Ali
Venue: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics - Volume 01 (2008)

In this paper, we develop a direction signage system that helps a patient to navigate within a health care center effectively without any wait time hassles. This wireless system identifies any patient with a RFID (Radio Frequency Identification) tag along the hallways and guides them towards their preferred destination. The patient scans a tag with a reader and expresses a destination of interest to the information desk. This information is communicated to the central station, which in turn computes the shortest path to the destination and sends the direction to the display device associated with the reader that scanned the tag. In addition to providing directions, it also performs tracking and monitoring of patients as they navigate. The system evaluation concludes that it is a cost-effective, robust, scalable and easy-to-integrate solution resulting in reduced wait-time for the patients.
Using radio frequency identification in agent-based control systems for industrial applications
Authors: Pavel Vrba, Filip Macrek, Vladimír Mařík
Venue: Engineering Applications of Artificial Intelligence (2008)

The radio frequency identification (RFID) is a technology for automatic identification of items, particularly in supply chain, but it is becoming increasingly important for industrial applications. Unlike barcode technology that detects the optical signals reflected from barcode labels, RFID uses radio waves to transmit the information from an RFID tag affixed to the physical object. In contrast to today most often use of this technology in warehouse inventory and supply chain, the focus of this paper is on the exploitation of RFID in industrial environments, particularly for the purposes of the real-time programmable logic controller (PLC)-based manufacturing control. The paper also presents a unique architecture integrating the RFID technology with the agent-based industrial control solutions by proposing special RFID agents as mediators between physical RFID readers and other agents. Integral part of this solution is the introduction of the work piece agents directly negotiating with the manufacturing resource agents about the details of production.
Combinable memory-block transactions
Authors: Guy E. Blelloch, Phillip B. Gibbons, S. Harsha Vardhan
Venue: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures (2008)

This paper formalizes and studies combinable memory-block transactions (MBTs). The idea is to encode short programs that operate on a single cache/memory block and then to specify such a program with a memory request. The code is then executed at the cache or memory controller, atomically with respect to other accesses to that block by this or other processors. The combinable form allows combining within the memory system or network. In addition to allowing for the standard set of read-modify-write operations (e.g., test-and-set, compare-and-swap, fetch-and-add), MBTs can be used to define other useful operations--such as a fetch-and-add that does not decrement below zero. We show how MBTs can be used to design simple and efficient implementations of a variety of protocols and algorithms, including a priority write, a semaphore with a non-blocking P operation, a bounded queue, and a timestamp-based transactional memory system. In all cases the protocols gain some advantage by using MBTs that are different from the standard set of operations. To gain an understanding of the efficiency that can be gained by using combining, we define a notion of bounded contention and show that all our protocols have bounded contention under arbitrary loads.
Hybrid test of web applications with webtest
Authors: Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
Venue: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications (2008)

In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps bridging the gap towards model based testing also for legacy systems. Webtest is an implementation of hybrid testing that builds on top of preexisting technology such as the LearnLib, a framework for automata learning, and the jABC, a framework for model-driven and service-oriented design, that we use here for modelling, executing, and managing test suites for and models of the web applications under analysis. In particular we intend to move towards Rich Internet Applications (RIAs), that include e.g. advanced client side capabilities and access to heavy resources (e.g. database access) over the Web.
Middleware for Distributed Video Surveillance
Authors: Henry Detmold, Anton van den Hengel, Anthony Dick, Katrina Falkner, David S. Munro, Ron Morrison
Venue: IEEE Distributed Systems Online (2008)

Future generations of automated video surveillance systems must be scalable and evolvable, and they demand sophisticated middleware support. This middleware approach partitions systems according to an activity topology—a graph describing activity observed by the surveillance camera network. Processing within topological partitions uses well-known architectural styles such as blackboards, and pipes and filters. Communication between partitions uses a service-oriented architecture. This middleware enables building intelligent video surveillance systems at a far larger scale than was previously possible.
Assessing the capability and maturity of capstone software engineering projects
Authors: Brian R. von Konsky, Jim Ivins
Venue: Proceedings of the tenth conference on Australasian computing education - Volume 78 (2008)

This paper describes an approach for assessing the capability and maturity of undergraduate software engineering projects. The approach is based on a simple adaptation of the Capability Maturity Model &reg; Integration and a hybrid version of the Team Software Process (TSPi). The approach was evaluated using 6 capstone project teams comprising 23 undergraduate software engineering students. A capability and maturity baseline was established at the end of first semester. A second capability and maturity assessment was undertaken towards the end of second semester. The approach was shown to focus student attention on process improvement and on the attainment of realistic and measurable project management goals. The approach was also found to contribute to the development of teamwork and leadership skills, and to prepare students for professional practice.
VarMet: a novel method for detection of image singularities
Authors: Thor Ole Gulsrud, Kjersti Engan, Jostein Herredsvela
Venue: Proceedings of the 6th WSEAS International Conference on Signal, Speech and Image Processing (2006)

The aim of this study is to detect singularities in digital images based on a novel method for feature extraction; VarMet. The multiscale median transform (MMT) is known as a tool for extracting singularities in an image. In this work an extension of the MMT is proposed. The VarMet scheme relies on computing statistical features based on the coefficients obtained from the MMT of the input image. Some experiments are presented from which it can be concluded that the VarMet scheme provides very good enhancement of singularities in the test images.
Distributed information behavior: A study of dynamic practice in a safety critical environment
Authors: Terry L. von Thaden
Venue: Journal of the American Society for Information Science and Technology (2008)

The purpose of this study was to develop concepts from information science to understand information behavior between multiple actors in high reliability operations. Based on previous research and framework development in human information behavior, the Distributed Information Behavior System was designed to assess the social practice of information identification, gathering, and use. In this study, flight crews were used as the test bed. The goal of this research was to assess if different information behaviors are practiced by accident-involved crews and crews not involved in an accident. The results indicate that differences indeed exist in the way crews identify, gather, and use information based on their performance level. This study discerns that high performing crews practice substantially different information behaviors than low performing and accident-involved crews. This work serves as a way to understand the social practice of information structuring within high reliability operations. Subsequently, this may aid researchers to identify the role sequencing plays in critical information negotiation. This work also serves as a tool to inform training and is applicable to other domains where work is supported through distributed collective practice. &copy; 2008 Wiley Periodicals, Inc.