ppxscal/embedding_network huggingface dataset:
Neural networks against genetic algorithms for negotiating agent behaviour prediction
Authors: Ioannis V. Papaioannou, Ioanna G. Roussaki, Miltiades E. Anagnostou
Venue: Web Intelligence and Agent Systems (2008)

The design and evaluation of agents handling automated negotiations on behalf of their human or corporate owners is a quite challenging research field. This paper proposes to enhance such agents with learning techniques, in order to achieve more profitable results for the parties they represent. The proposed learning techniques are based on MLP or RBF neural networks (NNs) and are quite lightweight. Alternatively, the agents use Genetic Algorithms (GAs) to predict the behaviour of their opponents. All designed approaches aim to reduce the cases of unsuccessful negotiations and maximize the client's utility. The designed NN- and GA-assisted negotiation strategies have been compared and empirically evaluated via numerous experiments. This work has in part been supported by the project &ldquo;Amigo - Ambient intelligence for the networked home environment&rdquo;. The Amigo project is funded by the European Commission as an integrated project (IP) in the Sixth Framework Programme under the contract number IST 004182. For more information you may refer to www.amigo-project.org.
The Diffie---Hellman Problem in Lie Algebras
Authors: Beata Rafalska
Venue: Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms (2007)

Cryptography in its present state relies increasingly on complex mathematical theories, e.g., elliptic curves, group theory, etc. We address in this article the problem of proxy signatures and we set this problem in the framework of Lie algebras. We show how to use a chosen maximal set of differentiable automorphisms in order to carry out the task of proxy signing. We also show possible attacks and the way to protect against them.
Pattern Recognition Methods for Querying and Browsing Technical Documentation
Authors: Karl Tombre, Bart Lamiroy
Venue: Proceedings of the 13th Iberoamerican congress on Pattern Recognition: Progress in Pattern Recognition, Image Analysis and Applications (2008)

Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, we propose a short journey through 20 years of involvement and contributions within this scientific community, and explore more precisely a few interesting issues found when the problem is to browse, query and navigate in a large and complex set of technical documents.
Model Checking Hybrid Multiagent Systems for the RoboCup
Authors: Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
Venue: RoboCup 2007: Robot Soccer World Cup XI (2008)

This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system specification on different levels of abstraction on the one hand, and expressing real-time system behavior with continuous variables on the other hand. It is shown how multi-robot systems can be modeled by hybrid and hierarchical state machines and how model checking techniques for hybrid automata can be applied. An enhanced synchronization concept is introduced that allows synchronization taking time and avoids state explosion to a certain extent.
On coordinate transformation and grid stretching for sparse grid pricing of basket options
Authors: C. C. W. Leentvaar, C. W. Oosterlee
Venue: Journal of Computational and Applied Mathematics (2008)

We evaluate two coordinate transformation techniques in combination with grid stretching for pricing basket options in a sparse grid setting. The sparse grid technique is a basic technique for solving a high-dimensional partial differential equation. By creating a small hypercube sub-grid in the 'composite' sparse grid we can also determine hedge parameters accurately. We evaluate these techniques for multi-asset examples with up to five underlying assets in the basket.
A Business-Goal-Service-Capability Graph for the Alignment of Requirements and Services
Authors: Matthias Galster, Eva Bucherer
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

The increasing popularity of service-oriented architectures (SOA) raises a number of questions on how to operationalize this new software development paradigm. One important aspect is the one of service granularity, which refers to the scope of functionality covered by one single service. In this paper, we present a graph-based method that helps determine the appropriate granularity of software services in order to match them with software requirements. This procedure becomes important during design- and run-time evaluation of services when determining the suitability of services to support business goals and to implement requirements. The presented Business-Goal-Service-Capability graph (BGSC graph) follows a refinement of requirements and service capabilities until a common granularity level has been reached.
UpStage: A Platform for Creating and Performing Online
Authors: Helen Varley Jamieson
Venue: IEEE MultiMedia (2007)

Here the author discussed UpStage, a software platform developed in New Zealand to help performance artists create and perform online.
Union of Reducibility Candidates for Orthogonal Constructor Rewriting
Authors: Colin Riba
Venue: Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms (2008)

We revisit Girard's reducibility candidates by proposing a general of the notion of neutral terms. They are the terms which do not interact with some contexts called elimination contexts. We apply this framework to constructor rewriting, and show that for orthogonal constructor rewriting, Girard's reducibility candidates are stable by union.
Analytical and Numerical Investigation of Fracture Dominated Thermo-Fluid Flow in Geothermal Reservoir
Authors: H. H. Xu, H. L. Xing, D. Wyborn, P. Mora
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

Fluid flow in most of geothermal reservoirs is dominated by fractures and their distribution. In this study, the following process of cold water injection into a fractured geothermal reservoir is considered: the cold water from a injection well advances along the fractures and gradually extract heat from the adjacent rock matrix, and eventually arrives at a production well. Both analytical and finite element based numerical models are developed and applied to investigate the temperature and/or pressure evolution in the above process, and compared with each other.
Sentiment Detection Using Lexically-Based Classifiers
Authors: Ben Allison
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

This paper addresses the problem of supervised sentiment detection using classifiers which are derived from word features. We argue that, while the literature has suggested the use of lexical features is inappropriate for sentiment detection, a careful and thorough evaluation reveals a less clear-cut state of affairs. We present results from five classifiers using word-based features on three tasks, and show that the variation between classifiers can often be as great as has been reported between different feature sets with a fixed classifier. We are thus led to conclude that classifier choice plays at least as important a role as feature choice, and that in many cases word-based classifiers perform well on the sentiment detection task.
Beyond Task Completion in the Workplace: Execute, Engage, Evolve, Expand
Authors: Stefanie Harbich, Marc Hassenzahl
Venue: Affect and Emotion in Human-Computer Interaction: From Theory to Applications (2008)

Research on user experience stresses the need to go beyond the mere accomplishment of behavioral goals, such as providing novelty and change, a compelling image, etc. Although it can be argued that the consideration of such non-instrumental aspects at the workplace will lead to joyous experiences, which in turn may be an important aspect of employee well-being, the offered link between current models of user experience and the work environment is rather weak. This paper presents a user experience model more closely linked to behavioral goals; that is tasks, their generation, and completion. We describe the e4-model consisting of four groups of desired behavioral outcomes --- execute, engage, evolve, expand --- and its underlying motivation. e4 does address not only task completion, but also persistence in task execution, modification of existing tasks, and the creation of novel tasks.
Multiscale Three-Phase Flow Simulation Dedicated to Model Based Control
Authors: Dariusz Choiński, Mieczyslaw Metzger, Witold Nocoń
Venue: Proceedings of the 8th international conference on Computational Science, Part II (2008)

Multiphysics and multiscale three-phase flow simulation is proposed for model based control. Three-phase flow is considered by means of particles movement in a pipe with two-phase gas and liquid vacuum pumping. The presented model and simulation algorithm were implemented using a software system working in real-time mode. The software system can simulate a part of the pipe net with configured pipe profile, pump station and valve parameters and also inlet mixture composition. In addition, the system includes algorithm for pressure control.
A review of ORDVAC operating experience
Authors: Charles R. Williams
Venue: Papers and discussions presented at the Dec. 8-10, 1953, eastern joint AIEE-IRE computer conference: information processing systems---reliability and requirements (1953)

The ORDVAC is one of three large-scale electronic computers located at the Computing Laboratory of the Ballistic Research Laboratories at Aberdeen Proving Ground, Maryland. It is the newest computer at the laboratory having been delivered in March, 1952. It operates in the binary number system in a parallel asynchronous manner, and it uses an electrostatic memory. Input to the machine is by punched teletype tape or punched IBM cards. Output from the machine is obtained on punched IBM cards, a teletype page printer, or punched teletype tape.
EasyVoice: Breaking Barriers for People with Voice Disabilities
Authors: Paulo A. Condado, Fernando G. Lobo
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Text-to-speech technology has been broadly used to help people with voice disabilities to overcome their difficulties. With text-to-speech, a person types at a keyboard, the text is synthesized, and the sound comes out through the computer speakers.In recent years, Voice over IP (VoIP) applications have become very popular and have been used by people worldwide. These applications allow people to talk for free over the Internet and also to make traditional calls through the Public-Switched Telephone Network (PSTN) at a small fraction of the cost offered by traditional phone companies.This paper presents an application, called EasyVoice, that integrates different systems to allow a person with motor impairment and voice disabilities to talk with another person located anywhere in the world.
Design of prototype filters for perfect reconstruction DFT filter bank transceivers
Authors: François D. Beaulieu, Benoít Champagne
Venue: Signal Processing (2009)

In recent years, multicarrier modulation techniques have stirred great interest among researchers. One specific form of multicarrier modulation, referred to as orthogonal frequency division multiplexing (OFDM), has been deployed in many applications. Despite their huge popularity, OFDM systems have a few, but important, drawbacks. In particular, OFDM relies on the inverse fast Fourier transform (FFT) for modulation purposes, which leads to a poor spectral containment and, consequently, to a high susceptibility to narrowband noise. To mitigate this problem, we propose to employ over-interpolated perfect reconstruction (PR) discrete Fourier transform (DFT) filter banks. The design of such filter banks is addressed using a novel method that guarantees the PR property to be satisfied while the spectral containment is being maximized. The equalization of frequency-selective channels exploits the fact that the filter banks do not contribute to any distortion due to its PR nature. A simple scheme, taking the form of an one-tap per subcarrier equalizer, is considered. Experimental results indicate that the spectral containment of the proposed PR DFT filter bank transceiver is indeed superior to the OFDM system. Moreover, simulations conducted in a digital subscriber line (DSL)-like environment contaminated by a narrowband noise show that the achievable bit rate of the proposed transceiver is significantly higher than that of a conventional OFDM system.
Perception and Developmental Learning of Affordances in Autonomous Robots
Authors: Lucas Paletta, Gerald Fritz, Florian Kintzler, Jörg Irran, Georg Dorffner
Venue: Proceedings of the 30th annual German conference on Advances in Artificial Intelligence (2007)

Recently, the aspect of visual perception has been explored in the context of Gibson's concept of affordances [1] in various ways. We focus in this work on the importance of developmental learning and the perceptual cueing for an agent's anticipation of opportunities for interaction, in extension to functional views on visual feature representations. The concept for the incremental learning of abstract from basic affordances is presented in relation to learning of complex affordance features. In addition, the work proposes that the originally defined representational concept for the perception of affordances - in terms of using either motion or 3D cues - should be generalized towards using arbitrary visual feature representations. We demonstrate the learning of causal relations between visual cues and associated anticipated interactions by reinforcement learning of predictive perceptual states. We pursue a recently presented framework for cueing and recognition of affordance-based visual entities that obviously plays an important role in robot control architectures, in analogy to human perception. We experimentally verify the concept within a real world robot scenario by learning predictive visual cues using reinforcement signals, proving that features were selected for their relevance in predicting opportunities for interaction.
Classification of Proteomic Signals by Block Kriging Error Matching
Authors: Tuan D. Pham, Dominik Beck, Miriam Brandl, Xiaobo Zhou
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

One of recent advances in biotechnology offers high-throughput mass-spectrometry data for disease detection, prevention, and biomarker discovery. In fact proteomics has recently become an attractive topic of research in biomedicine. Signal processing and pattern classification techniques are inherently essential for analyzing proteomic data. In this paper the estimation method of block kriging is utilized to derive an error matching strategy for classifying proteomic signals with a particular application to the prediction of cardiovascular events using clinical mass spectrometry data. The proposed block kriging based classification technique has been found to be superior to other recently developed methods.
Antimirov and Mosses's Rewrite System Revisited
Authors: Marco Almeida, Nelma Moreira, Rogério Reis
Venue: Proceedings of the 13th international conference on Implementation and Applications of Automata (2008)

Antimirov and Mosses proposed a rewrite system for deciding the equivalence of two (extended) regular expressions. In this paper we present a functional approach to that method, prove its correctness, and give some experimental comparative results. Besides an improved version of Antimirov and Mosses's algorithm, we present a version using partial derivatives. Our preliminary results lead to the conclusion that, indeed, these methods are feasible and, generally, faster than the classical methods.
Maintaining Semantic Mappings between Database Schemas and Ontologies
Authors: Yuan An, Thodoros Topaloglou
Venue: Semantic Web, Ontologies and Databases: VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers (2008)

There is a growing need to define a semantic mapping from a database schema to an ontology. Such a mapping is an integral part of the data integration systems that use an ontology as a unified global view. However, both ontologies and database schemas evolve over time in order to accommodate updated information needs. Once the ontology and the database schema associated with a semantic mapping evolved, it is necessary and important to maintain the validity of the semantic mapping to reflect the new semantics in the ontology and the schema. In this paper, we propose a formulation of the mapping maintenance problem and outline a possible solution using illustrative examples. The main points of this paper are: (1) to differentiate the semantic mapping maintenance problem from the schema mapping adaptation problem which only adapts mappings when schemas change; (2) to develop an approach for specifying the validity of a semantic mapping in terms of two-way legal instances translation between two models; (3) to explore the approach of using simple correspondences to capture changes to ontologies/schemas; and (4) to sketch a solution using examples.
Transformation techniques can make students excited about formal methods
Authors: P. Van Gorp, H. Schippers, S. Demeyer, D. Janssens
Venue: Information and Software Technology (2008)

Formal methods have always been controversial. In spite of the fact that the disbelief about their usefulness has been corrected by a growing number of applications and even more publications, it remains a challenge to demonstrate the strengths and weaknesses of formal methods within the time constraints of a typical semester course. This article reports on a new course at the University of Antwerp in which the introduction of a new formalism yields a better understanding of previously taught ones. While the exercises are designed to reveal the limitations of the formalisms used, students remain convinced that their formal models have more value than conventional source code.
A Roman Senator
Authors: Jan Rutten
Venue: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (2008)

Somehow I have always viewed Ugo Montanari as a Roman Senator. I do not remember when this started but it must have been rather soon after we first met. Whenever I listen to one of his innumerable lectures -- but even without him actually being present -- I picture Ugo in a white toga, and imagine him addressing the Roman Senate. No doubt the basis for this image is his physical stature: formidable and noble, with a large head and straight nose. But of course, it is because of the combination of this with his great worthiness, his undoubted authorithy, his spirituality and his conviction, that this image of Ugo as a Roman Senator comes to mind.
Frequency-domain stochastic error concealment for wireless audio applications
Authors: Andreas Floros, Markos Avlonitis, Panayiotis Vlamos
Venue: Mobile Networks and Applications (2008)

Real time digital audio delivery over Wireless Local Area Networks (WLANs) represents an attractive, flexible and cost effective framework for realizing high-quality, multichannel home audio applications. However, the unreliable nature of WLANs IP link frequently imposes significant playback quality degradation, due to delay or permanent loss of a number of transmitted digital audio packets. In this paper, a novel packet error concealment technique is presented, based on the spectral reconstruction of the statistical equivalent of a previously successfully received audio data packet. It is shown that the proposed data reconstruction scheme outperforms previously published error concealment strategies, in both terms of objective and perceptual criteria.
Exploring Convergence and Innovation on the Mobile Platform: Mobile Social Media Services as a Case in Point
Authors: Nina D. Ziv
Venue: Proceedings of the 2008 7th International Conference on Mobile Business (2008)

This paper focuses on the nature of convergence and innovation on the mobile platform. It posits the idea that convergence on the mobile platform is about providing an interoperable technology environment which can serve as a platform for developing multiple services, repurposing web-based applications or enhancing them; and enabling a range of functions for use on mobile devices. Because of this converged platform, the nature of innovation has changed. To illustrate this concept, the evolution of innovation in the mobile social media sector is discussed. Characteristics of companies in the mobile social media arena are described and a case study of MeetMoi, a mobile dating service is presented as representative of this genre and as an example of how the nature of innovation on the mobile platform has changed to include a more individualistic kind of innovation. Implications for the role of the manager in light of these developments are discussed.
Active Binding Technology: A Reuse-Enabling Component Model
Authors: Anmo Jeong, Seungnam Jeong, Yoonsun Lim, Myung Kim
Venue: Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems (2008)

One of the primary obstacles to the reuse of independently-developed binary components on the industrial level lies in that the existing component technologies do not clearly separate component assembly from component development for type safety. To tackle this problem with type safety intact, we propose a new component model, Active Binding Technology, in which each Active Binding component, unlike the conventional one that actually has provided interfaces only, contains independently-defined required interfaces as well. The assembler can later adjust any interface mismatches between pre-produced Active Binding components in the glue component, whose template code is generated from the metadata of the components being combined.
TUT Acoustic Event Detection System 2007
Authors: Toni Heittola, Anssi Klapuri
Venue: Multimodal Technologies for Perception of Humans: International Evaluation Workshops CLEAR 2007 and RT 2007, Baltimore, MD, USA, May 8-11, 2007, Revised Selected Papers (2008)

This paper describes a system used in acoustic event detection task of the CLEAR 2007 evaluation. The objective of the task is to detect acoustic events (door slam, steps, paper wrapping etc.) using acoustic data from a multiple microphone set up in the meeting room environment. A system based on hidden Markov models and multi-channel audio data was implemented. Mel-Frequency Cepstral Coefficients are used to represent the power spectrum of the acoustic signal. Fully-connected three-state hidden Markov models are trained for 12 acoustic events and one-state models are trained for speech, silence, and unknown events.
Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems
Authors: Dae-Kyoo Kim, Lunjin Lu
Venue: Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems (2008)

This paper presents a set of transformation rules for transforming a non-secure interaction model to a secure interaction model using an access control pattern. The transformation rules resolve conflicts, uncertainties and type mismatches that may arise during pattern application. We demonstrate a case study using the Mandatory Access Control pattern and a defense messaging system in the military domain, and discuss about an analysis of the resulting model for pattern conformance.