ppxscal/embedding_network huggingface dataset:
Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems
Authors: Ayman K. Gendy, Michael J. Pont
Venue: Proceedings of the 27th international conference on Computer Safety, Reliability, and Security (2008)

Predictable system behaviour is a necessary (but not sufficient) condition when creating safety-critical and safety-related embedded systems. At the heart of such systems there is usually a form of scheduler: the use of time-triggered schedulers is of particular concern in this paper. It has been demonstrated in previous studies that the problem of determining the task parameters for such a scheduler is NP-hard. We have previously described an algorithm ("TTSA1") which is intended to address this problem. This paper describes an extended version of this algorithm ("TTSA2") which employs task segmentation to increase schedulability. We show that the TTSA2 algorithm is highly efficient when compared with alternative "branch and bound" search schemes.
A Study of Multi-dimensional Melodic Similarity Model Based on Perceptual Analysis
Authors: Jieping Xu, Yang Zhao, Yi Liu
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 5 - Volume 05 (2008)

Perceived predominant melody of music is the most convenient and memorable description and can be used for content-based music retrieval. However, including human voice and multiple musical instruments playing together, it is difficult to extract a predominant contour of pitches directly from MP3 music recordings. In order to build a similarity music melody model, several audio files, whose melody is perceptually similar, are collected in our experiment. Many features are extracted and a melodic similarity model is defined through analyzing each feature and combinations of them. The melody model is evaluated based on classification results of six categories of Chinese folk music using Support Vector Machine. The experiment results show that 36-dimensional Constant Q Transform (CQT) feature can represent the melody of audio music pieces accurately. Further more, the classification results for audio data with similar melody are good enough to be used in audio music classification or segmentation and subsequently are very helpful in music information retrieval system.
Quantitative evaluation of the process of open source software localization
Authors: Valentina Dagienė, Gintautas Grigas
Venue: Informatica (2006)

Localization is a complex process based on translation and adaptation of software features. Usually localization progress is identified with the number of translated resource strings. The paper investigates the dependency of number of translated strings to amount of human resources used. It is shown that the number of translated strings increases much slower at the end of the work than at beginning. The last strings are especially difficult to translate. Quantitative evaluation of dependency between number of strings in progress and human resources is presented.
Complexity of approximation of 3-edge-coloring of graphs
Authors: Martin Kochol, Nad'a Krivoňáková, Silvia Smejová, Katarína Šranková
Venue: Information Processing Letters (2008)

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n^1^-^@e), where n denotes the order of the graph and 0
The NExT System: Towards True Dynamic Adaptations of Semantic Web Service Compositions
Authors: Abraham Bernstein, Michael Dänzer
Venue: Proceedings of the 4th European conference on The Semantic Web: Research and Applications (2007)

Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: business needs are rapidly evolving thus changing the work itself and relevant information may be unknown until workflow execution run-time. Hence, the static approach does not sufficiently address the need for dynamism. Based on applications in the life science domain this paper puts forward five requirements for dynamic process support systems. These demand a focus on a tight user interaction in the whole process life cycle. The system and the user establish a continuous feedback loop resulting in a mixed-initiative approach requiring a partial execution and resumption feature to adapt a running process to changing needs. Here we present our prototype implementation NExT and discuss a preliminary validation based on a real-world scenario.
Local radial basis function based gridfree scheme for unsteady incompressible viscous flows
Authors: Y. V. S. S. Sanyasiraju, G. Chandhini
Venue: Journal of Computational Physics (2008)

A 'local' radial basic function (RBF) based gridfree scheme has been developed to solve unsteady, incompressible Navier-Stokes equations in primitive variables. The velocity-pressure decoupling is obtained by making use of a fractional step algorithm. The scheme is validated over a variety of benchmark problems and found a very good agreement with the existing results. Comparisons with the benchmark solutions show that the developed local RBF gridfree scheme is stable and produces accurate results on domains discretized even with non-uniform distribution of nodal points.
Matrix Factorization Approach for Feature Deduction and Design of Intrusion Detection Systems
Authors: Vaclav Snasel, Jan Platos, Pavel Kromer, Ajith Abraham
Venue: Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security (2008)

Current Intrusion Detection Systems (IDS) examine all data features to detect intrusion or misuse patterns. Some of the features may be redundant or contribute little (if anything) to the detection process. The purpose of this research is to identify important input features in building an IDS that is computationally efficient and effective. This paper propose a novel matrix factorization approach for feature deduction and design of intrusion detection systems. Experiment results indicate that the proposed method is efficient.
Using Expert System to Assist Mouse Proficiency Assessment
Authors: Chih-Ching Yeh, Ming-Chung Chen, Yao-Ming Yeh, Hwa-Pey Wang, Chi-Nung Chu, Chien-Chuan Ko
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

This paper described how to use expert system to assist conducting mouse proficiency assessment. The expert system was based on neural network approach. The current study shows the result of analyzing cursor measurement between able-bodied and cognitive disability users. The result of evaluation indicated that this expert system may be an available solution for clinical professional to propose the suggestion for selecting suitable device or adjusting user environment conditions. The authors also provided some suggestions for the future research.
Trade Oriented Enterprise Content Management: A Semantic and Collaborative Prototype Dedicated to the "Quality, Hygiene, Safety and Environment" Domain
Authors: Christophe Thovex, Francky Trichet
Venue: Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems (2008)

With the opening of office document formats such as ODF and Open XML, the content management business is evolving more and more towards an issue of knowledge management. For industry, the main challenge is to model a software architecture incorporating trades intelligence of documentary content to knowledge management. While some sectors acquire systems dedicated to the management of semantic knowledge (e.g. press or high-tech industrial), in most cases, these systems are still isolated from the most widespread office context, i.e. Open Office, Star Office and MS Office. Interoperability with wells of structured information in Information Systems (IS) remains very limited. And yet, this is an important lever of streamlining and improving the productive value of IS. By developing interoperability, it is human capital that is expected to grow, with the ease to cooperate. By now, the field "Quality, Safety, Hygiene and Environment" is a vehicle for major progress of the European industry. The prototype we have developed in the context of the shipbuilding industry is based on the integration of a semantic cross-lingual component for managing QHSE trades knowledge within a collaborative ECM.
Realizing Modularized Knowledge Models for Heterogeneous Application Domains
Authors: Klaus-Dieter Althoff, Kerstin Bach, Meike Reichle
Venue: Proceedings of the 8th industrial conference on Advances in Data Mining: Medical Applications, E-Commerce, Marketing, and Theoretical Aspects (2008)

This paper addresses the realization of modularized knowledge models within a heterogeneous application domain using an existing knowledge management tool. The application domain we deal with is travel medicine, which combines medical aspects with geography, climate, holiday activities and associated traveling conditions. In this paper we present the application's requirements and show how knowledge models can be developed using an industrial strength application. Furthermore we present the challenges of a knowledge model based on multi-case bases whereas each case base represents its own area of expertise. Hence, we introduce our knowledge model for the travel medicine application and exemplify the implementation of typical data types and similarity measures.
Control of Fractional Order Chaotic Systems
Authors: Gai-yun Wang, Yi Chen
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

It is well known that the fractional order systems are difficult to be dealed with and the fractional order chaotic systems are more difficult to be controlled. Based on linear transfer function approximation of the fractional integrator in frequency domain, the fractional order chaotic system has been discussed. Through the numerical simulation, it is found that the fractional order chaotic system can be controlled easily. In this paper, we controlled the fractional order Rössler system using the traditional controlling method. The different results with different expected poles have been compared. The simulated results showed the feasibility of the processing method.
Monitoring Accessibility of Governmental Web Sites in Europe
Authors: Christian Bühler, Helmut Heck, Annika Nietzio, Morten Goodwin Olsen, Mikael Snaprud
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Web accessibility is an important goal of the European i2010 strategy. Several one-off surveys of eAccessibility have been conducted in the past few years. In this paper, we describe an approach to supplement the results of such surveys with automated assessments, that can easily be repeated at regular intervals. The software basis is provided by the European Internet Accessibility Observatory (EIAO). We analyse how the data collected by EIAO can be compared to other surveys.
Design and Implementation of Rough Rules Generation from Logical Rules on FPGA Board
Authors: Akinori Kanasugi, Mitsuhiro Matsumoto
Venue: Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms (2007)

In this paper, the design, simulation, implementation and experiment of rough set processor are described. The experiment result shows that the proposed processor is ten times faster than PC, though the clock frequency is about 70 times lower.
The German Grid Initiative: A Uniform Accounting Service in Multiple Middleware Environments
Authors: Jan Wiebelitz, Stefano Pra, Wolfgang Müller, Gabriele Voigt
Venue: Proceedings of the 5th international workshop on Grid Economics and Business Models (2008)

The development of business models is of great importance for the German Grid inititive D-Grid, which is trying to establish a sustainable and self-financing long-term operating e-science infrastructure all over Germany. To guarantee the continuity and future growth of this infrastructure it is necessary to become independent of limited public funding and achieve the required revenues by chargeable services, support and developments. The business model of the German Grid Support Organization comprises the development, provision and support of generic services for the usage by all Grid communities within D-Grid. The realization of these business models is based on the development of a comprehensive accounting service that enables a seamless recording of the usage of all resources. The special challenge lies in the heterogeneous middlewares, used within D-Grid. The paper describes the development of a highly integrative accounting system as a component of the service portfolio of the German Grid Support Organization.
Robust Color Segmentation Through Adaptive Color Distribution Transformation
Authors: Luca Iocchi
Venue: RoboCup 2006: Robot Soccer World Cup X (2006)

Color segmentation is typically the first step of vision processing for a robot operating in a color-coded environment, such as RoboCup soccer, and many object recognition modules rely on that.Although many approaches to color segmentation have been proposed, in the official games of the RoboCup Four Legged League manual calibration is still preferred by most of the teams. In this paper we present a method for color segmentation that is based on an adaptive transformation of the color distribution of the image: the transformation is dynamically computed depending on the current image (i.e., it adapts to condition changes) and then it is used for color segmentation with static thresholds. The method requires the setting of only a few parameters and has been proved to be very robust to noise and light variations, allowing for setting parameters only once when arriving at a competition site.The approach has been implemented on AIBO robots, extensively tested in our laboratory, and successfully experimented in the some of the games of the Four Legged League in RoboCup 2005.
Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling
Authors: Lucinéia H. Thom, Manfred Reichert, Carolina M. Chiao, Cirano Iochpe, Guillermo N. Hess
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

Recently, a variety of workflow patterns has been proposed focusing on specific aspects like control flow, data flow, and resource assignments. Though these patterns are relevant for implementing Business Process Modeling (BPM) tools and for evaluating the expressiveness of BPM languages, they do not contribute to reduce redundant specifications of recurrent business functions when modeling business processes. Furthermore, contemporary BPM tools do not support process designers in defining, querying, and reusing activity patterns as building blocks for process modeling. Related to these problems this paper proposes a set of activity patterns, evidences their practical relevance, and introduces a BPM tool for the modeling of business processes based on the reuse of these activity patterns. Altogether our approach fosters reuse of business function specifications and helps to improve the quality and comparability of business process models.
Annotations as a Tool for Disclosing Hidden Relationships Between Illuminated Manuscripts
Authors: Maristella Agosti, Nicola Ferro, Nicola Orio
Venue: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (2007)

Image digital archives of illuminated manuscripts can become a useful tool for researchers in different disciplines. To this aim, it is proposed to provide them with tools for annotating images to disclose hidden relationships between illustrations belonging to different works. Relationships can be modeled as typed links, which induce an hypertext over the archive. In this paper we present a formal model for annotations, which is the basis to build methods for automatically processing existing relationships among link types and exploiting the properties of the graph which models the hypertext.
Model-Based Segmentation of Hippocampal Subfields in Ultra-High Resolution In Vivo MRI
Authors: Koen Leemput, Akram Bakkour, Thomas Benner, Graham Wiggins, Lawrence L. Wald, Jean Augustinack, Bradford C. Dickerson, Polina Golland, Bruce Fischl
Venue: Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I (2008)

Recent developments in MR data acquisition technology are starting to yield images that show anatomical features of the hippocampal formation at an unprecedented level of detail, providing the basis for hippocampal subfield measurement. Because of the role of the hippocampus in human memory and its implication in a variety of disorders and conditions, the ability to reliably and efficiently quantify its subfields through in vivo neuroimaging is of great interest to both basic neuroscience and clinical research. In this paper, we propose a fully-automated method for segmenting the hippocampal subfields in ultra-high resolution MRI data. Using a Bayesian approach, we build a computational model of how images around the hippocampal area are generated, and use this model to obtain automated segmentations. We validate the proposed technique by comparing our segmentation results with corresponding manual delineations in ultra-high resolution MRI scans of five individuals.
Overview of WebCLEF 2007
Authors: Valentin Jijkoun, Maarten Rijke
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)

This paper describes the WebCLEF 2007 task. The task definition--which goes beyond traditional navigational queries and is concerned with undirected information search goals--combines insights gained at previous editions of WebCLEF and of the WiQA pilot that was run at CLEF 2006. We detail the task, the assessment procedure and the results achieved by the participants.
A Preliminary Approach to the Automatic Extraction of Business Rules from Unrestricted Text in the Banking Industry
Authors: José L. Martínez-Fernández, José C. González, Julio Villena, Paloma Martínez
Venue: Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems (2008)

This paper addresses the problem of extracting formal statements, in the form of business rules, from free text descriptions of financial products or services. This automatic process is integrated in the banking software factory, permitting business analysts the formal specification, direct implementation and fast deployment of new products. This system is fully integrated with the typical software methodologies and architectures used in the banking industry for conventional development of backoffice or online applications.
Neural Network Model of Forward Shift of CA1 Place Fields Towards Reward Location
Authors: Adam Ponzi
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I (2007)

In a recent experimental paper I. Lee et al. [1] showed that the firing patterns of CA1 complex-spike neurons gradually shifted forward across trials toward prospective goal locations within a recording session over multiple trials. Here we propose a simple model of this result based on the phenomenon of awake sequence reverse replay [2] which occurs when the animal pauses at the reward location. The model is based on the CA3-CA1 anatomy with modulation of CA3-CA1 synaptic plasticity by feedback from CA3 projecting CA1 interneurons. Sequence replays, which are generated in CA3 by removal of septal inhibition on CA1 interneurons, are recoded into the synaptic weights of individual CA1 cells. This produces spatially extended CA1 firing fields, whose response provides a value function on experienced paths towards goal locations. Simulations show that the CA1 firing fields show positive movement in center of mass towards reward locations over many trials with negative shift in first few trials, and development of positive skew. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Specifying and Reasoning About Multiple Institutions
Authors: Owen Cliffe, Marina Vos, Julian Padget
Venue: Coordination, Organizations, Institutions, and Norms in Agent Systems II: AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers (2007)

Correctly specifying the behaviour of normative systems such as contracts and institutions is a troublesome problem. Designers are faced with two concurrent, difficult tasks: firstly specifying the relationships (over time) of agents' actions and their effects, and secondly combining this model with another that captures the agents' permissions and obligations. In this paper we present our model and operational semantics for specifying individual and collective institutions and outline a declarative action language for describing them. We demonstrate, by way of an example, how this may be used to enable the analysis of institutional specifications either for simply visualising possible outcomes or for checking for absence or presence of certain (un)desirable correctness properties.
A Graphical Model for Content Based Image Suggestion and Feature Selection
Authors: Sabri Boutemedjet, Djemel Ziou, Nizar Bouguila
Venue: Proceedings of the 11th European conference on Principles and Practice of Knowledge Discovery in Databases (2007)

Content based image retrieval systems provide techniques for representing, indexing and searching images. They address only the user's short term needs expressed as queries. From the importance of the visual information in many applications such as advertisements and security, we motivate in this paper, the Content Based Image Suggestion. It targets the user's long term needs as a recommendation of products based on the user preferences in different situations, and on the visual content of images. We propose a generative model in which the visual features and users are clustered into separate classes. We identify the number of both user and image classes with the simultaneous selection of relevant visual features. The goal is to ensure an accurate prediction of ratings for multidimensional images. This model is learned using the minimum message length approach. Experiments with an image collection showed the merits of our approach.
Sensing and using social context
Authors: Brett Adams, Dinh Phung, Svetha Venkatesh
Venue: ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP) (2008)

We present online algorithms to extract social context: Social spheres are labeled locations of significance, represented as convex hulls extracted from GPS traces. Colocation is determined from Bluetooth and GPS to extract social rhythms, patterns in time, duration, place, and people corresponding to real-world activities. Social ties are formulated from proximity and shared spheres and rhythms. Quantitative evaluation is performed for 10+ million samples over 45 man-months. Applications are presented with assessment of perceived utility: Socio-Graph, a video and photo browser with filters for social metadata, and Jive, a blog browser that uses rhythms to discover similarity between entries automatically.