ppxscal/embedding_network huggingface dataset:
An Individual-Based Model of Task Selection in Honeybees
Authors: Thomas Schmickl, Karl Crailsheim
Venue: Proceedings of the 10th international conference on Simulation of Adaptive Behavior: From Animals to Animats (2008)

Adaptive division of labour is one key characteristic of eusocial insect colonies and of high relevance in biology, ethology, swarm intelligence and robotics. We constructed an individual based model of division of labour in a honeybee colony. Our model incorporates distinct worker cohorts (foragers, storers, nurses), unemployed bees and larvae. Our goal was a model as accurate as possible, thus we implemented a heterogeneous environment, agents' physiology and the flow of nutrients within the colony. In our model, the bees decide which task to choose, depending on the intensity of stimuli and on individual thresholds, which are modulated in response to task performance. We describe the main aspects of this model and demonstrate the stability of the emerging division of labour. The model predicts the energetic costs of sudden perturbations (removing/adding cohorts of workers of one task), as well as the resulting shifts in task cohort sizes.
Distributed Extended Beam Search for Quantitative Model Checking
Authors: A. J. Wijs, B. Lisser
Venue: Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers (2007)

In this paper, we mainly focus on solving scheduling problems with model checking, where a finite number of entities needs to be processed as efficiently as possible, for instance by a machine. To solve these problems, we model them in untimed process algebra, where time is modelled using a special tick action. We propose a set of distributed state space explorations to find schedules for the modelled problems, building on the traditional notion of beam search. The basic approach is called distributed (detailed) beam search, which prunes parts of the state space while searching using an evaluation function in order to find near-optimal schedules in very large state spaces. Variations on this approach are presented, such as distributed flexible, distributed g-synchronised, and distributed priority beam search, which can also practically be used in combinations.
Finger Tracking for Virtual Agents
Authors: Gerrit Hillebrand, Konrad Zuerl
Venue: Proceedings of the 7th international conference on Intelligent Virtual Agents (2007)

Tracking is an essential tool for virtual agents. It provides (a) the pose of the interacting person for a correct 3d view of the virtual agent, (b) Motion Capture data of real persons that can be transferred to an avatar to obtain realistic movements or for interacting, (c) details of such movements like hands and fingers. This can be used for interactions like gesture recognition, too. With the example of tracking hands and fingers, the related problems and solutions are discussed: wireless active markers, addressing for identification, marker positions at finger tips, finger calibration etc.
Approximating the buffer allocation problem using epochs
Authors: Jan Bíkgaard Pedersen, Alex Brodsky, Jeffrey Sampson
Venue: Journal of Parallel and Distributed Computing (2008)

The correctness of applications that perform asynchronous message passing typically relies on the underlying hardware having a sufficient amount of memory (message buffers) to hold all undelivered messages-such applications may deadlock when executed on a system with an insufficient number of message buffers. Thus, determining the minimum number of buffers that an application needs to prevent deadlock is an important task when writing portable parallel applications. Unfortunately, both this problem (called the Buffer Allocation Problem) and the simpler problem of determining whether an application may deadlock for a given number of available message buffers are intractable [A. Brodsky, J. Pedersen, A. Wagner, On the complexity of buffer allocation in message passing systems, Journal of Parallel and Distributed Computing 65 (2005) 692-713]. We present a new epoch-based polynomial-time approach for approximating a solution to the Buffer Allocation Problem. Our approach partitions application executions into epochs and intersperses barrier synchronizations between them, thus limiting the number of message buffers necessary to ensure deadlock-freedom. This approach produces near optimal solutions for many common cases and can be adapted to guide application modifications that ensure deadlock-freedom when the application is executed on different systems. We describe a prototype implementation, and present an empirical evaluation of this approach. Lastly, we describe a space-time trade-off between the number of available message buffers and the number of barrier synchronizations, and describe how this trade-off can be used to fine-tune application performance.
Securing Wireless Data Networks against Eavesdropping using Smart Antennas
Authors: Sriram Lakshmanan, Cheng-Lin Tsao, Raghupathy Sivakumar, Karthikeyan Sundaresan
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

In this paper, we focus on securing communication over wireless data networks from malicious eavesdroppers, using smart antennas. While conventional cryptography based approaches focus on hiding the meaning of the information being communicated from the eavesdropper, we consider a complimentary class of strategies that limit knowledge of the existence of the information from the eavesdropper. We profile the performance achievable using simple beamforming strategies using a newly defined metric called exposure region. We then present three strategies within the context of an approach called virtual arrays of physical arrays to significantly improve the exposure region performance of a wireless LAN environment. Using simulations and analysis, we validate and evaluate the proposed strategies.
Wavelet-based principal component analysis applied to automated surface defect detection
Authors: Hong-Dar Lin, Chung-Yu Chung, Wan-Ting Lin
Venue: Proceedings of the WSEAS International Conference on Applied Computing Conference (2008)

Automated visual inspection, a crucial manufacturing step, has been replacing the more time-consuming and less accurate human inspection. This research explores automated visual inspection of surface defects in a light-emitting diode (LED) chip. Commonly found on chip surface are water-spot defects which impair the appearance and functionality of LEDs. Automated inspection of water-spot defects is difficult because they have a semi-opaque appearance and a low intensity contrast with the rough exterior of the LED chip. Moreover, the defect may fall across two different background textures, which further increases detection difficulties. The one-level Haar wavelet transform is first used to decompose a chip image and extract four wavelet characteristics. Then, wavelet-based principal component analysis (WPCA) approach is applied to integrate the multiple wavelet characteristics. Finally, the principal component analysis of WPCA judges the existence of defects. Experimental results show that the proposed method achieves detection rates of above 93.8%, and false alarm rates of below 3.6%. A valid computer-aided visual defect inspection system is contributed to help meet the quality control needs of LED chip manufacturers.
An Evolutionary Study of the Human Papillomavirus Genomes
Authors: Dunarel Badescu, Abdoulaye Baniré Diallo, Mathieu Blanchette, Vladimir Makarenkov
Venue: Proceedings of the international workshop on Comparative Genomics (2008)

In this article, we undertake a study of the evolution of Human Papillomaviruses (HPV), whose potential to cause cervical cancer is well known. First, we found that the existing HPV groups are monophyletic and that the high-risk carcinogenicity taxa are usually clustered together. Then, we present a new algorithm for analyzing the information content of multiple sequence alignments in relation to epidemiologic carcinogenicity data to identify regions that would warrant additional experimental analyses. The new algorithm is based on a sliding window procedure looking for genomic regions being responsible for disease. Examination of the genomes of 83 HPVs allowed us to identify specific regions that might be influenced by insertions, deletions, or simply by mutations, and that may be of interest for further analyses.
A GM-Based Profitable Duration Prediction Model for Chinese Crude Oil Main Production District
Authors: Jinlou Zhao, Yuzhen Han, Lixia Ke
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

In this paper, a grey model (GM) based profitable duration forecasting approach is proposed for Chinese crude oil main production district. In this methodology, the forecasting functions on electricity expenditure and crude oil sales revenue are first built via GM. Based on these two forecasting functions, the profitable duration of crude oil production under the restriction of the coefficient of limit electricity cost is then worked out. Finally, some ways to prolong the profitable duration are put forward in order to offer some valuable suggestions for the transformation of resource-based cities.
Architectural Alternatives for Information Filtering in Structured Overlays
Authors: Christos Tryfonopoulos, Christian Zimmer, Gerhard Weikum, Manolis Koubarakis
Venue: IEEE Internet Computing (2007)

Today's content providers are naturally distributed and produce large amounts of new information every day. Peer-to-peer information filtering is a promising approach that offers scalability, adaptivity to high dynamics, and failure resilience. The authors developed two approaches that utilize the Chord distributed hash table as the routing substrate, but one stresses retrieval effectiveness, whereas the other relaxes recall guarantees to achieve lower message traffic and thus better scalability. This article highlights the two approaches' main characteristics, presents the issues and trade-offs involved in their design, and compares them in terms of scalability, efficiency, and filtering effectiveness.
Using Bayesian Network for Conceptual Indexing: Application to Medical Document Indexing with UMLS Metathesaurus
Authors: Thi Hoang Le, Jean-Pierre Chevallet, Joo Hwee Lim
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

We describe a conceptual indexing method using UMLS meta-thesaurus. Concepts are automatically mapped from text using MetaMap software tool for English, and a simplified mapping tool for other languages. The concepts and their semantic links given by UMLS are used to build a Bayesien network. Retrieval process is then an inference process of probabilities or weights. Different types of relations are experimented in this model to evaluate their efficiency in retrieval.
MDA-Based Methodologies: An Analytical Survey
Authors: Mohsen Asadi, Raman Ramsin
Venue: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications (2008)

Model-Driven Development (MDD) has become a familiar software engineering term in recent years, thanks to the profound influence of the Model Driven Architecture (MDA). Yet MDD, like MDA itself, defines a general framework, and as such is a generic approach rather than a concrete development methodology. Methodology support for MDA has been rather slow in coming, yet even though several MDA-based methodologies have emerged, they have not been objectively analyzed yet. The need remains for a critical appraisal of these methodologies, mainly aimed at identifying their achievements, and the shortcomings that should be addressed. We provide a review of several prominent MDA-based methodologies, and present a criteria-based evaluation which highlights their strengths and weaknesses. The results can be used for assessing, comparing, selecting, and adapting MDA-based methodologies.
Relative role of merging and two-handed operation on command selection speed
Authors: Nicholas Y. Chen, Francois Guimbretière, Corinna E. Löckenhoff
Venue: International Journal of Human-Computer Studies (2008)

This paper examines the influence of two interface characteristics on command selection speed: the integration of command selection with direct manipulation (merging), and two-handed operation. We compared four interaction techniques representing combinations of these characteristics (Marking Menu, Two-handed Tool Palette, Toolglass, and Control Menu). Results suggest that the one-handed techniques selected for the present study produced a speed advantage over two-handed techniques, whereas the influence of merging was task dependent. A follow-up study examining Bimanual Marking Menu suggests that the performance of two-handed techniques may be reduced due to a split in visual attention required for certain techniques. Taken together, these findings have important implications for the design of command selection mechanisms for pen-based interfaces.
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Venue: International Conference on Functional Programming (2008)

The 2008 edition of the International Workshop on Functional and Declarative Programming in Education (FDPE 2005), took place in Victoria, British Columbia, Canada on September 21, 2008 in conjunction with the International Conference on Functional Programming (ICFP 2008). Functional and declarative programming plays an increasingly important role in computing education at all levels. This workshop aimed at bringing together educators and others who are interested in exchanging ideas on how to use a functional or declarative programming style in the classroom. Previous workshops have been held in Tallin (2005), Pittsburgh (2002), Paris (1999), and Southampton (1997). The call for papers attracted 13 submissions. Each paper was reviewed by at least three members of the international program committee. During a three-day electronic meeting, the program committee selected nine of the submissions for publication and presentation at the workshop. Beside these presentations, the workshop program also included a discussion about new ideas for teaching (functional and declarative) programming at universities.
Plugins architecture for e-learning systems
Authors: Bogdan Brumar, Emil Marin Popa, Iulian Pah
Venue: Proceedings of the 9th WSEAS International Conference on Evolutionary Computing (2008)

This paper describes the use of plugins for e-learning systems. As a plugin programmer can use this achitecture to improve your plugins and make them integrate better into e-learning systems. Recently, the industry has come to capture such processes at all levels, from analysis and design to coding. When these process definitions are presented with context, rationale, and examples, they are known as patterns [1]. Patterns are among the hottest topics in software engineering today. The concept is simple-find techniques that work and document them in a standard format.
A Tool for Offline and Live Testing of Evasion Resilience in Network Intrusion Detection Systems
Authors: Leo Juan, Christian Kreibich, Chih-Hung Lin, Vern Paxson
Venue: Proceedings of the 5th international conference on Detection of Intrusions and Malware, and Vulnerability Assessment (2008)

In this work we undertake the creation of a framework for testing the degree to which network intrusion detection systems (NIDS) detect and handle evasion attacks. Our prototype system, idsprobe, takes as input a packet trace and from it constructs a configurable set of variant traces that introduce different forms of ambiguities that can lead to evasions. Our test harness then uses these variant traces in either an offline configuration, in which the NIDS under test reads traffic from the traces directly, or a live setup, in which we employ replay technology to feed traffic over a physical network past a NIDS reading directly from a network interface, and to potentially live victim machines. Summary reports of the differences in NIDS output tell the analyst to what degree the NIDS's results vary, reflecting sensitivities to (and possible detections of) different evasions. We demonstrate idsprobe using two popular open-source NIDSs and report on their respective abilities in dealing with evasive traffic.
Properties of spatial cross-periodograms using fixed-domain asymptotics
Authors: Chae Young Lim, Michael Stein
Venue: Journal of Multivariate Analysis (2008)

Cross-periodograms can be used to study a multivariate spatial process observed on a lattice. For spatial data, it is often appropriate to study asymptotic properties of statistical procedures under fixed-domain asymptotics in which the number of observations increases in a fixed region while shrinking distances between neighboring observations. Using fixed-domain asymptotics, we prove relative asymptotic unbiasedness and relative consistency of a smoothed cross-periodogram after appropriate filtering of the data. In addition, we show that smoothed cross-periodograms are asymptotically normal when the process is stationary multivariate Gaussian with appropriate assumptions on high-frequency behavior of the spectral density.
Continuous Fragment of the mu-Calculus
Authors: Gaëlle Fontaine
Venue: Proceedings of the 22nd international workshop on Computer Science Logic (2008)

In this paper we investigate the Scott continuous fragment of the modal μ-calculus. We discuss its relation with constructivity, where we call a formula constructive if its least fixpoint is always reached in at most ¿ steps. Our main result is a syntactic characterization of this continuous fragment. We also show that it is decidable whether a formula is continuous.
Performance Enhancement Schemes of OFDMA System for Broadband Wireless Access
Authors: Dong-Hyun Park, So-Young Yeo, Jee-Hoon Kim, Young-Hwan You, Hyoung-Kyu Song
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

Orthogonal frequency-division multiple access (OFDMA), which is a combination of orthogonal frequency-division multiplexing (OFDM) with frequency-division multiple access (FDMA), is regarded as a promising solution for enhancing the performance of interactive wireless systems in ubiquitous mobile communication environment. In such an application, this paper presents an investigation into improving the channel estimation scheme and of the effects of symbol timing misalignment when OFDMA is used as an access scheme. Under OFDMA uplink channel environments, appropriate symbol length of CAZAC sequences as a preamble could be utilized in accordance with the number of transmitting antenna and channel condition. The effect of the number of CAZAC sequences for channel estimation is also presented in terms of mean square error (MSE). Taking into account the effect of multiple access interference (MAI) introduced by a symbol timing misalignment, the symbol error rate (BER) and throughput performance are investigated for a typical OFDMA uplink scenario.
Efficient sort-based skyline evaluation
Authors: Ilaria Bartolini, Paolo Ciaccia, Marco Patella
Venue: ACM Transactions on Database Systems (TODS) (2008)

Skyline queries compute the set of Pareto-optimal tuples in a relation, that is, those tuples that are not dominated by any other tuple in the same relation. Although several algorithms have been proposed for efficiently evaluating skyline queries, they either necessitate the relation to have been indexed or have to perform the dominance tests on all the tuples in order to determine the result. In this article we introduce salsa, a novel skyline algorithm that exploits the idea of presorting the input data so as to effectively limit the number of tuples to be read and compared. This makes salsa also attractive when skyline queries are executed on top of systems that do not understand skyline semantics, or when the skyline logic runs on clients with limited power and/or bandwidth. We prove that, if one considers symmetric sorting functions, the number of tuples to be read is minimized by sorting data according to a &ldquo;minimum coordinate,&rdquo; minC, criterion, and that performance can be further improved if data distribution is known and an asymmetric sorting function is used. Experimental results obtained on synthetic and real datasets show that salsa consistently outperforms state-of-the-art sequential skyline algorithms and that its performance can be accurately predicted.
Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification
Authors: Joseph R. Kiniry, Patrice Chalin, Clément Hurlin
Venue: Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (2005)

Automatic verification by means of extended static checking (ESC) has seen some success in industry and academia due to its lightweight and easy-to-use nature. Unfortunately, ESC comes at a cost: a host of logical and practical completeness and soundness issues. Interactive verification technology, on the other hand, is usually complete and sound, but requires a large amount of mathematical and practical expertise. Most programmers can be expected to use automatic, but not interactive, verification. The focus of this proposal is to integrate these two approaches into a single theoretical and practical framework, leveraging the benefits of each approach.
MPEG-7 as a Metadata Standard for Indexing of Surgery Videos in Medical E-Learning
Authors: Andrzej A. Kononowicz, Zdzisław Wiśniowski
Venue: Proceedings of the 8th international conference on Computational Science, Part III (2008)

The analysis of video recorded surgical procedures is considered to be a useful extension of the medical curriculum. We can foster the development of video-based e-learning courses by working out a unified description method which would facilitate the exchange of these materials between different platforms. Sophisticated metadata enables a broader integration of artificial intelligence techniques into e-learning. The aim of this paper is to present the possibility of combining the MPEG-7 metadata standard with the MeSH classification for indexing of video recordings in medical e-learning. A tool for metadata descriptions of surgical videos in accordance with the MPEG-7 standard is also presented. This tool is part of a larger architecture for the exchange of medical multimedia objects.
Transportation Data Analyzing by Using Data Mining Method
Authors: Qi Luo
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

Intelligent transportation systems (ITS) encompass a broad range of wireless and wire line communications-based information and electronics technologies. One of the key problems of intelligent transportation system is the analysis and management of traffic information. Some obvious information is obtained easily though traditional query operation from traffic database, but deeper information that hides in the traffic database is difficult to be discovered. Based on it, the author proposed a data mining method, which is applied in intelligent transportation system (ITS) well. This is a belief abstract.