ppxscal/embedding_network huggingface dataset:
Development of semantic web services: model driven approach
Authors: Djamel Amar Bensaber, Mimoun Malki
Venue: Proceedings of the 8th international conference on New technologies in distributed systems (2008)

The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as well as the Internet at large. Semantic Web Services (SWSs) promise to provide solutions to the challenges associated with automated discovery, dynamic composition, enactment, and other tasks associated with managing and using service-based systems. One of the barriers to a wider adoption of SWS technology is the lack of tools for creating SWS specifications. OWL-S is one of the major SWS description languages. This paper presents a model driven approach to facilitate the construction of OWL-S specifications. The methodology is divided into three main steps. In the first step we reverse engineered WSDL documents into UML profile models that enable the use of high-level graphical models as an integration platform for semantic web services. In the second step, suitable domain ontologies are used for the semantic annotation of the UML models. Finally, in the third step a conversion tool will generate automatically the OWL-S description from these UML models. The UML profile provides flexibility as it can expresses multiple semantic web service concepts.
Intelligent Technique to Determine Behavior of Dimension Tables in Semi-Star Schema Generation
Authors: Aisha Latif, M. Younus Javed, Naveed S. Khattak
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

Data warehousing is gaining importance day by day in enterprises, as it helps them to improve their business intelligence. The process of creating a data warehouse needs to be automated so that the transactional sources are generated in least time, with maximum accuracy and with minimum dependability on users. The technique presented in this paper automates the process of converting database logical model into data warehouse logical model to generate semi-star schema by using artificial neural networks. More precisely, the step of differentiating dynamic behavior dimensions from static behavior dimensions has been automated by using feedforward back-propagation neural networks. This network ascertains dimensions which are sensitive to changes. The network is trained for all the possible values of inputs & outputs and has been tested for actual results.
Alternative Methods for Counting Overlapping Grains in Digital Images
Authors: André R. Marçal
Venue: Proceedings of the 5th international conference on Image Analysis and Recognition (2008)

Standard granulometry methods are used to count the number of disjoint grains in digital images. For the case of overlapping grains, the standard method is not effective. Two alternative methods for counting overlapping grains in digital images are proposed. The methods are based on mathematical morphology and are suitable for grains of circular shape. The standard and overlapping methods were tested with a Monte-Carlo simulation using 32500 synthetic images with various grain sizes and quantities, as well as different levels of noise. The overall average counting error for all images tested with intermediate amount of noise (zero mean Gaussian noise with ¿= 0.05) was 6.03% for the standard method, and 4.40% and 3.56% for the overlapping methods. The performance of the proposed methods was found to be much better than the standard method for images with significant overlap between grains.
A Hybrid Agent-Based Model of Chemotaxis
Authors: Zaiyi Guo, Joc Cing Tay
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

Models for systems biology commonly adopt Differential Equations or Agent-Based modeling approaches for simulating the processes as a whole. These choices need not necessarily be mutually exclusive. We propose a hybrid agent-based approach where biological cells are modeled as individuals (agents) while chemical molecules are kept as quantities. This hybridization in entity representation entails a combined modeling strategy with agent-based behavioral rules and differential equations, thereby balancing requirements of modeling extensibility with computational tractability. We demonstrate the efficacy of this approach with a realistic model of chemotaxis based on receptor kinetics involving an assay of 103 cells and 1.2x106 molecules. The simulation is efficient and the results are agreeable with laboratory experiments.
Principles of Lifelong Learning for Predictive User Modeling
Authors: Ashish Kapoor, Eric Horvitz
Venue: Proceedings of the 11th international conference on User Modeling (2007)

Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate and study principles of lifelong learning where training is ongoing over a prolonged period. In lifelong learning, decisions about extending a case library are made continuously by balancing the cost of acquiring values of hidden states with the long-term benefits of acquiring new labels. We highlight key principles by extending BusyBody, an application that learns to predict the cost of interrupting a user. We transform the prior BusyBody system into a lifelong learner and then review experiments that highlight the promise of the methods.
Algorithms for Sequential Extraction of Clusters by Possibilistic Clustering
Authors: Sadaaki Miyamoto, Youhei Kuroda
Venue: Proceedings of the 4th international conference on Modeling Decisions for Artificial Intelligence (2007)

Possibilistic clustering that is robust to noise in data is another useful tool in addition to the best-known fuzzy c-means. However, there is a fundamental problem of strong dependence on initial values in possibilistic clustering and there is a proposal of an algorithm generating `one cluster at a time.' Moreover this method is related to the mountain clustering algorithm. In this paper these features are reconsidered and a number of algorithms of sequential generation of clusters which includes a possibilistic medoid clustering are proposed. These algorithms automatically determine the number of clusters. An illustrative example with different methods of sequential clustering is given.
Chaotic synchronization in general network topology for scene segmentation
Authors: Liang Zhao, Thiago H. Cupertino, João R. Bertini Jr.
Venue: Neurocomputing (2008)

Chaotic synchronization has been discovered to be an important property of neural activities, which in turn has encouraged many researchers to develop chaotic neural networks for scene and data analysis. In this paper, we study the synchronization role of coupled chaotic oscillators in networks of general topology. Specifically, a rigorous proof is presented to show that a large number of oscillators with arbitrary geometrical connections can be synchronized by providing a sufficiently strong coupling strength. Moreover, the results presented in this paper not only are valid to a wide class of chaotic oscillators, but also cover the parameter mismatch case. Finally, we show how the obtained result can be applied to construct an oscillatory network for scene segmentation.
Scenario-Based Static Analysis of UML Class Models
Authors: Lijun Yu, Robert B. France, Indrakshi Ray
Venue: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems (2008)

Static analysis tools, such as OCLE and USE, can be used to analyze structural properties of class models. The USE tool also provides support for analyzing specified operations through interactive simulations in which users provide operation parameters, and manually assign values to state elements to reflect the effect of an operation. In this paper we describe an approach to statically analyzing behavior that does not require a user to manually simulate behavior. The approach involves transforming a class model into a static model of behavior, called a Snapshot Model. A Snapshot Model characterizes sequences of snapshots, where a snapshot describes an application state. A scenario describing a sequence of operation invocations can be verified against a Snapshot Model using tools such as USE and OCLE. We illustrate our approach by verifying a scenario against a Snapshot Model that describes the behavior of some operations in a role-based access control (RBAC) application.
Robust Segmentation and Anatomical Labeling of the Airway Tree from Thoracic CT Scans
Authors: Bram Ginneken, Wouter Baggerman, Eva M. Rikxoort
Venue: Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I (2008)

A method for automatic extraction and labeling of the airway tree from thoracic CT scans is presented and extensively evaluated on 150 scans of clinical dose, low dose and ultra-low dose data, in inspiration and expiration from both relatively healthy and severely ill patients. The method uses adaptive thresholds while growing the airways and it is shown that this strategy leads to a substantial increase in the number, total length and number of correctly labeled airways extracted. From inspiration scans on average 170 branches are found, from expiration scans 59.
A policy-based context-aware approach for the commitment of mobile transactions
Authors: Nadia Nouali-Taboudjemat, Habiba Drias
Venue: Proceedings of the 8th international conference on New technologies in distributed systems (2008)

The transaction paradigm ensures consistency in the presence of concurrent accesses to shared data and in the presence of failures. Traditionally, the transaction semantics is defined by the ACID properties (Atomicity, Consistency, Isolation and Durability) which implementation is through such mechanisms as commitment protocols ensuring Atomicity and concurrency control protocols ensuring Isolation. Many transactional models were developed to support the diverse and variable applications needs, and more recently to overcome the constraints induced by the evolution of distributed systems environments toward wireless and mobile. Indeed, the latter are characterized by limitations in computing resources, communications and energy as well as dynamic variations in terms of resource availability and configuration. In this paper, our contribution is mainly focused on the problem of atomic commitment. We adopted an approach based on the context-aware adaptation for the management of mobile transactions. We therefore present the commit protocol aTCP (Adaptable Transaction Commit Protocol) which allows for adaptation to the requirements of applications and mobile context in terms of transactional properties and execution cost. For the implementation of aTCP we offer a context-aware architecture based on policies.
UW-FLASHR: achieving high channel utilization in a time-based acoustic mac protocol
Authors: Justin Yackoski, Chien-Chung Shen
Venue: Proceedings of the third ACM international workshop on Underwater Networks (2008)

Time-based medium access control (MAC) has potential advantages over FDMA and CDMA approaches in terms of hardware simplicity, energy efficiency, and delay. Unfortunately, the channel utilization of existing TDMA and CSMA acoustic MAC protocols is generally low due to the long propagation delays of acoustic signals. In this work, we argue that several ideas taken from RF protocols, including exclusive channel access, are either unnecessary in acoustic networks or must be redefined. We present and evaluate UW-FLASHR, a time-based MAC protocol which does not require centralized control, tight clock synchronization, or accurate propagation delay estimation. We demonstrate that UW-FLASHR can achieve significantly higher channel utilization than the maximum utilization possible with existing time-based exclusive access MAC protocols, particularly when the ratio of propagation delay to transmission delay is high or data payloads are small.
ASAP- An Advanced System for Assessing Chat Participants
Authors: Mihai Dascalu, Erol-Valeriu Chioasca, Stefan Trausan-Matu
Venue: Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications (2008)

The paper presents a method and an implemented system for the assessment of the participants' competences in a collaborative environment based on an instant messenger conversation (chat). For each utterance in the chat, a score is computed that takes into account several features, specific to text mining (like the presence and the density of keywords, via synonymy), natural language pragmatics and to social networks. The total rating of the competence of a participant is computed considering the scores of utterances and inter-utterance factors. Within the frame of the developed system, special attention was given to multiple ways of visualizing the analysis' results. An annotation editor was also implemented and used in order to construct a "golden standard", which was further employed for the evaluation of the developed assessment tools.
Review: At a glance: Cellular biology for engineers
Authors: K. Khoshmanesh, A. Z. Kouzani, S. Nahavandi, S. Baratchi, J. R. Kanwar
Venue: Computational Biology and Chemistry (2008)

Engineering contributions have played an important role in the rise and evolution of cellular biology. Engineering technologies have helped biologists to explore the living organisms at cellular and molecular levels, and have created new opportunities to tackle the unsolved biological problems. There is now a growing demand to further expand the role of engineering in cellular biology research. For an engineer to play an effective role in cellular biology, the first essential step is to understand the cells and their components. However, the stumbling block of this step is to comprehend the information given in the cellular biology literature because it best suits the readers with a biological background. This paper aims to overcome this bottleneck by describing the human cell components as micro-plants that form cells as micro-bio-factories. This concept can accelerate the engineers' comprehension of the subject. In this paper, first the structure and function of different cell components are described. In addition, the engineering attempts to mimic various cell components through numerical modelling or physical implementation are highlighted. Next, the interaction of different cell components that facilitate complicated chemical processes, such as energy generation and protein synthesis, are described. These complex interactions are translated into simple flow diagrams, generally used by engineers to represent multi-component processes.
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
Authors: Stefan Maus, Michał Moskal, Wolfram Schulte
Venue: Proceedings of the 12th international conference on Algebraic Methodology and Software Technology (2008)

Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against function contracts, which are expressed in terms of pre-, post-, and frame conditions using first-order predicates. Vx86 takes the annotated assembler code, translates it into C code simulating the processor, and then uses an existing C verifier to either prove the correctness of the assembler program or find errors in it. First experiments on applying Vx86 on the Windows Hypervisor code base are encouraging. Vx86 verified the Windows Hypervisor's memory safety, arithmetic safety, call safety and interrupt safety.
Synthetic Aperture Sonar Image Reconstruction: Non-iniform Sampling in Azimuth and without Stop-and-Hop Approximation
Authors: Sen Zhang, Jingsong Tang, Hailiang Yang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

Using the technology of multiple-receiver, Synthetic aperture sonar (SAS) with high mapping rate and wide swath became true. However, it also brought some new problems, such as non-uniform sampling in azimuth and unfitting the approximation of stop-and-hop (the platform transmits a signal, receives the echoes from targets, and then jumps to the next azimuth sampling location). In this paper, a multiple-receiver SAS signal model is obtained in the background of high mapping rate and wide swath. And using the method of frequency domain, Variational non-uniform sampling in azimuth is reconstructed without the approximation of stop-and-hop. A fast algorithm of reconstruction is given. The research avoids the offset of point target position and defocusing of reconstruction in the situation of high mapping rate and wide swath. The simulation and trial results show the validity of this method.
Object Configuration Reconstruction from Incomplete Binary Object Relation Descriptions
Authors: H. Joe Steinhauer
Venue: Proceedings of the 31st annual German conference on Advances in Artificial Intelligence (2008)

We present a process for reconstructing object configurations described by a set of spatial constraints of the form (A northeast B) into a two-dimensional grid. The reconstruction process is cognitively easy for a person to fulfill and guides the user to avoid typical mistakes. For underspecified object configuration descriptions we suggest a strategy to handle coarse object relationships by representing a coarse object in a way that all disjunctive basic relationships that the coarse relationship consists of are represented within one reconstruction.
ACO-Based Scheduling of Parallel Batch Processing Machines with Incompatible Job Families to Minimize Total Weighted Tardiness
Authors: Li Li, Fei Qiao, Qidi Wu
Venue: Proceedings of the 6th international conference on Ant Colony Optimization and Swarm Intelligence (2008)

This research is motivated by the scheduling problem in the diffusion and oxidation areas of semiconductor wafer fabrication facilities (fabs), where the machines are modeled as Parallel Batch Processing Machines (PBPM). The objective is to minimize the Total Weighted Tardiness (TWT) on PBPM with incompatible lot families and dynamic lot arrivals, with consideration on the sequence-dependent setup times. Since the problem is NP-hard, Ant Colony Optimization (ACO) is used to achieve a satisfactory solution in a reasonable computation time. A number of experiments have been implemented to demonstrate the proposed method. It is shown by the simulation results that the proposed method is superior to the common Apparent Tardiness Cost-Batched Apparent Tardiness Cost (ATC-BATC) rule with smaller TWT and makespan, especially TWT that has been improved by 38.49% on average.
A Classified Method of Human Hair for Hair Sketching
Authors: Feng Min, Kun Zeng, Nong Sang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

Human hair has significant effect on the life-likeness of human portrait and human recognition. In this paper, we present a classified method of human hair for hair sketching. We extract shape and appearance features from the training data of hair, including hair raw images and their corresponding sketching templates. Based on these features, we learn twenty-four hairstyles. Given a human hair raw image, we extract its shape and appearance features and find the best matched hair style and sketching template by Nearest Neighbor from twenty-four hairstyles. Taking the template as prototype, a new hair sketching corresponding to the raw image can be generalized by Thin Plate Spline. We test our algorithm to a large data set of hair images with diverse hair styles, experimental results demonstrate the effectiveness of our method.
Development of a Finite Element Code for Non-Destructive Evaluation of Concrete Structures by Means of Ultrasonic Waves
Authors: G. Aiello, E. Dilettoso, N. Salerno
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

Non-Destructive Evaluation techniques are of great relevance nowa-days and are extensively employed in many areas of engineering to detect defects in products and structures, or to point out deteriorations in industrial plants. This paper focuses on techniques which make use of transient ultrasonic waves, the aim being numerical modelling and simulation of their propagation in concrete structures affected by defects, possibly in the presence of material inhomogeneities and/or voids. For this purpose a fully three-dimensional finite element code has been developed by the authors, who have validated and used it to perform numerous simulations, the results of which are presented and discussed.
Automated Data Augmentation Services Using Text Mining, Data Cleansing and Web Crawling Techniques
Authors: Matthias Jacob, Alexander Kuscher, Max Plauth, Christoph Thiele
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

There is a large amount of information about celebrities spread all over the web hidden inside innumerable news and blogs, pictures on Flickr or videos on YouTube. Having this information combined and aggregated would be of great benefit to many customers. In this document we will describe the architecture and the (business) value of a system that not only collates information pre-formatted by other web services but also provides a self-developed named entity recognition algorithm for extracting the names of celebrities from different data sources and then processes and enriches them by our mash-up application.
Hetero-Associative Memories for Voice Signal and Image Processing
Authors: Roberto A. Vázquez, Humberto Sossa
Venue: Proceedings of the 13th Iberoamerican congress on Pattern Recognition: Progress in Pattern Recognition, Image Analysis and Applications (2008)

An associative memory AM is a type of neural network commonly used for recalling output patterns from input patterns that might be altered by noise. Most of these models have several constraints that limit their applicability in complex problems. Recently, in [13] a new AM based on some aspects of human brain was introduced, however the authors only test its accuracy using image patterns. In this paper we show that this model is also robust with other type of patterns such as voice signal patterns. The AM is trained with associations composed by voice signals and their corresponding images. Once trained, when a voice signal is used to stimulate the AM we expect the memory recall the image associated to the voice signal. In order to test the accuracy of the proposal, a benchmark of sounds and images was used.
Psychologist treatment recommendations for Internet-based therapeutic interventions
Authors: Louis Mora, Jeffrey Nevid, William Chaplin
Venue: Computers in Human Behavior (2008)

A mailed survey was used to evaluate psychologists' endorsements of four Internet-based treatment modalities (e-mail, individual chat, group chat, and video conferencing) as either adjunctive or alternative forms of treatment. Participants were 138 psychologists recruited from a state psychological organization's membership directory. Participants provided endorsements for each Internet-based intervention based on a hypothetical case in which past treatment history was manipulated in a randomized design. Overall, psychologists provided low levels of endorsement of Internet-based services; however, significantly higher levels of endorsement were found for a case vignette that lacked any mention of past treatment history as compared to an otherwise identical case that mentioned previous treatment for major depression. Additionally, participants provided higher endorsements for e-mail applications than other modalities and cognitive-behaviorally-oriented practitioners more strongly endorsed the use of Internet-based interventions than psychoanalytically-oriented practitioners.