ppxscal/embedding_network huggingface dataset:
How Do Agents Affect Modifiability? A Comparison between Two Architectures for Intelligent Virtual Environments for Training
Authors: Gonzalo Méndez, Angélica Antonio
Venue: Proceedings of the 2nd European conference on Software Architecture (2008)

The use of agents is spreading as a means to develop different kinds of software systems, among which we can find Intelligent Virtual Environments for Training. The agent community has already started to pay attention to software engineering issues to develop agent-oriented systems, but they are mainly focused on methodologies and, to some extent, design patterns. However, not much attention has been paid to software architecture for the moment. We compare two agent-based software architectures for Intelligent Virtual Environments for Training that are intended to be easily extended and modified. The first one was designed using an organizational approach recommended by some agent oriented methodologies. The second one is a redesign of the first architecture using more formal principles and methods of software architecture design. A comparison between both architectures highlights the need to pay more attention to software architecture design in this field.
Hardware/Software Co-synthesis of Distributed Embedded Systems Using Genetic Programming
Authors: Stanislaw Deniziak, Adam Gorski
Venue: Proceedings of the 8th international conference on Evolvable Systems: From Biology to Hardware (2008)

This work presents a novel approach to hardware-software co-synthesis of distributed embedded systems, based on the developmental genetic programming. Unlike the other genetic approaches where chromosomes represent solutions, in our method chromosomes represent system construction procedures. Thus, not the system architecture but the co-synthesis process is evolved. Finally a tree describing a construction of a final solution is obtained. The optimization process will be illustrated with examples. According to our best knowledge it is the first DGP approach that deals with the hardware-software co-synthesis.
Generalized fuzzy polygroups endowed with interval valued membership functions
Authors: Bijan Davvaz, Jianming Zhan, K. P. Shum
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2008)

In this paper, the concept of quasi-coincidence of a fuzzy interval value with an interval valued fuzzy set, which is a generalization of quasi-coincidence of a fuzzy point with a fuzzy set, is introduced. Using this new idea, the notion of interval valued (&alpha;,&beta;)-fuzzy sub-polygroups in a polygroup, which is a generalization of a fuzzy sub-polygroup, is defined, and related properties are investigated. In particular, the study of interval valued (&isin;,&isin;&or;q)-fuzzy sub-polygroups in a polygroup is dealt with. Finally, we consider the concept of implication-based interval valued fuzzy sub-polygroups in a polygroups.
Supporting the UML State Machine Diagrams at Runtime
Authors: Franck Barbier
Venue: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications (2008)

Input models that are not completely checked generate ill-formed output models in MDA transformation processes. Model executability is a means for, at development time, simulating/testing models and thus making them compliant with requirements. At runtime, persistent models bring added values like the monitoring and control of applications through the observation of the active states, the guards which hold true, the occurring events... This paper on purpose presents a Java-based execution engine for the UML State Machine Diagrams. In order to incorporate this UML interpreter into MDA tools, the execution semantics of the UML State Machine Diagrams is first analyzed and next disambiguated. Execution semantics choices are thus proposed and justified accordingly.
System Issues in Multi-agent Simulation of Large Crowds
Authors: Vidit Bansal, Ramachandra Kota, Kamalakar Karlapalem
Venue: Multi-Agent-Based Simulation VIII: International Workshop, MABS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers (2008)

Crowd simulation is a complex and challenging domain. Crowds demonstrate many complex behaviours and are consequently difficult to model for realistic simulation systems. Analyzing crowd dynamics has been an active area of research and efforts have been made to develop models to explain crowd behaviour. In this paper we describe an agent based simulation of crowds, based on a continuous field force model. Our simulation can handle movement of crowds over complex terrains and we have been able to simulate scenarios like clogging of exits during emergency evacuation situations. The focus of this paper, however, is on the scalability issues for such a multi-agent based crowd simulation system. We believe that scalability is an important criterion for rescue simulation systems. To realistically model a disaster scenario for a large city, the system should ideally scale up to accommodate hundreds of thousands of agents. We discuss the attempts made so far to meet this challenge, and try to identify the architectural and system constraints that limit scalability. Thereafter we propose a novel technique which could be used to richly simulate huge crowds.
Greek-English Cross Language Retrieval of Medical Information
Authors: E. Kotsonis, T. Z. Kalamboukis, A. Gkanogiannis, S. Eliakis
Venue: Medical Imaging and Informatics: 2nd International Conference, MIMI 2007, Beijing, China, August 14-16, 2007 Revised Selected Papers (2008)

Health information systems on the web basically support the English language. To access high-quality online health information it is frequently a barrier for non-English speakers or speakers of English as a foreign language. In this work we present a cross-language retrieval system to support Greek users in the medical domain, overcome the language barrier. We have performed a case study on the impact of stemming in the cross lingual retrieval in association with dictionary based query translation techniques. Finally, we conclude with results from a preliminary evaluation of the Greek-English CLIR prototype.
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
Authors: Louis-Marie Traonouez, Didier Lime, Olivier H. Roux
Venue: Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems (2008)

In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extension of time Petri nets with inhibitor arcs (ITPNs) with temporal parameters. Then, we define a symbolic representation of the parametric state space based on the classical state class graph method. The parameters of the model are embedded into the firing domains of the classes, that are represented by convex polyhedra. Finally, we propose semi-algorithms for the parametric model-checking of a subset of parametric TCTL formulae on ITPNs. We can thus generate the set of the parameter valuations that satisfy the formulae.
Possibilistic Linear Programming in Blending and Transportation Planning Problem
Authors: Bilge Bilgen
Venue: Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory (2007)

This paper presents a possibilistic linear programming model for solving the blending and multi-mode, multi-period distribution planning problem with imprecise transportation, blending and storage costs. The solution procedure uses the strategy of simultaneously minimizing the most possible value of the imprecise total costs, maximizing the possibility of obtaining lower total costs, minimizing the risk of obtaining higher total costs. An illustration with a data set from a realistic situation is included to demonstrate the effectiveness of the proposed model. 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
Can We Really Recover Data if Storage Subsystem Fails?
Authors: Weijun Xiao, Qing Yang
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

This paper presents a theoretical and experimental study on the limitations of copy-on-write snapshots and incremental backups in terms of data recoverability. We provide mathematical proofs of our new findings as well as implementation experiments to show how data recovery is done in case of various failures. Based on our study, we propose a new system architecture that will overcome the problems of existing technologies. The new architecture can provide two-way data recovery capability with the same storage overheads and can be implemented fairly easily on existing systems. We show that the new architecture has maximum data recoverability and is practically feasible.
An Evolutionary Approach for Approximating the Solutions of Systems of Linear Fuzzy Equations
Authors: Nguyen Hoang Viet, Michał Kleiber
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part I (2007)

In this paper systems of linear equations Ax = b, where both A and b contain uncertain factors in terms of fuzziness are investigated. The classical solutions being vectors of fuzzy numbers are considered. The complex problem of finding the exact classical solutions is replaced by a corresponding optimization task with the cost function based on the Hausdorff metric. This cost function is next minimized with use of genetic algorithms. A number of numerical experiments are provided in order to verify the given approach. The results and some conclusions are also included.
An Efficient Anonymous Fingerprinting Protocol
Authors: Yang Bo, Lin Piyuan, Zhang Wenzheng
Venue: Computational Intelligence and Security: International Conference, CIS 2006, Guangzhou, China, November 3-6, 2006, Revised Selected Papers (2007)

Fingerprinting schemes are technical means to discourage people from illegally redistributing the digital data they have legally purchased. These schemes enable the original merchant to identify the original users of the digital data. Anonymous fingerprinting schemes allow a seller to fingerprint information sold to a user without knowing the identity of the user and without the seller seeing the fingerprinted copy. Finding a (redistributed) fingerprinted copy enables the seller to find out and prove to third party whose copy it was. In this paper, we propose a new scheme of anonymous fingerprinting by using electronic wallet, in which, the user doesn't need making a computationally expensive zero-knowledge proof, on finding a fingerprinted copy, the seller can directly determine the redistributor by a simple computation without the help of a registration authority and without making a search for the redistributor's public key in purchase record. In addition, our scheme can prevent the collusion of merchant and registration center to make false-accusation to honest users. By using electronic wallet, our scheme can be integrated with electronic payment system.
A new fast and safe marking algorithm
Authors: Toshiaki Kurokawa
Venue: Issue 3 (December 1979) (1979)

A new marking algorithm for garbage collection is presented. The method is a variation of the usual simple stacking algorithm. In practice, the new algorithm requires both less stack space and less time. One modification is to stack a node only when both the sublists are unmarked. The other innovation is a "stacked-node-checking" method invoked after each stack-overflow. With this method, a number of unnecessary nodes are eliminated, the stack is compacted, and the marking process can resume using the generated space in the stack.
Gesture Recognition in Flow in the Context of Virtual Theater
Authors: Ronan Billon, Alexis Nédélec, Jacques Tisseau
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

Our aim is to put on a short play featuring a real actor and a virtual actor, who will communicate through movements and choreography with mutual synchronization. Although the theatrical context is a good ground for multimodal communication between human and virtual actors, this paper will mainly deal with the ability to perceive the gestures of a real actor. During the performance, our goal is to match real-time observation with recorded examples. The recognition event will be sent to a virtual actor which reply with its own movements. We follow an approach similar to that proposed by [1] or [2]. They made the assumption that the first phase is to summarize the variation of the movement into a symbolic description. Then, the recognition phase is performed when a new trajectory is consistent with this description. The main section will describe our method of creating a signature from gestural data and the recognition system in real-time flow. To conclude, we shall present some results.
The near real time statistical asset priority driven (nrtsapd) risk assessment methodology
Authors: Charles Pak
Venue: Proceedings of the 9th ACM SIGITE conference on Information technology education (2008)

The NRTSAPD Risk Assessment methodology offers two key advantages over other risk assessments. The first advantage is that the NRTSAPD risk assessment methodology provides management with a simple, quick, and easy to use risk assessment methodology based on an organizational mission critical asset priority. The second advantage of using this NRTSAPD risk assessment is to integrate several organizational databases such as network helpdesk, asset management, Intrusion Detection System (IDS), Intrusion Prevention System (IPS), firewall and incident response report databases with the management's decision on the mission critical asset priorities. Having the most current asset management with the integrated security incident response databases, the management asset priority driven risk assessment would be answered in a near real time or as current as the asset management inventory; which can sometimes be scanned in real time. Consequently, it produces a realistic Information Systems (IS) production environment risk assessment report in a near real time manner.
An evaluation of explicit time integration schemes for use with the generalized interpolation material point method
Authors: P. C. Wallstedt, J. E. Guilkey
Venue: Journal of Computational Physics (2008)

The stability and accuracy of the generalized interpolation material point (GIMP) Method is measured directly through carefully-formulated manufactured solutions over wide ranges of CFL numbers and mesh sizes. The manufactured solutions are described in detail. The accuracy and stability of several time integration schemes are compared via numerical experiments. The effect of various treatments of particle ''size'' are also considered. The hypothesis that GIMP is most accurate when particles remain contiguous and non-overlapping is confirmed by comparing manufactured solutions with and without this property.
Impact of the Agent's Localization in Human-Computer Conversational Interaction
Authors: Aurélie Cousseau, François Pichon
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

How can we deliver more credible and effective conversational interactions between human and machine? The goal of this study is to define the needs and key characteristics of a dialogue before setting these factors against reality and technological advancements in the field of Intelligent Virtual Agents. This is the first step of our research, where we study the importance of the localization of the agent in the context of a human-machine dialogue.
The processing of information-containing documents
Authors: George W. Brown, Louis N. Ridenour
Venue: Proceedings of the February 4-6, 1953, western computer conference (1953)

Much recent attention has been paid to the promise that digital computer techniques will simplify, speed up, and cheapen various sorts of large-scale information processing in business and industry. Only a few actual applications of this sort have so far been attempted, probably for two main reasons. First, punched-card machines are already so highly developed that, despite the potentially greater speed of the newer electronic techniques, it is difficult to introduce novel ways of accomplishing what can now be done by standard business machines. Second, and probably more important, appropriate input and output equipment to couple the world of the digital computer to the world of men often does not exist. To use a computer for scientific or engineering calculations, it is sufficient to provide it with input in the form of a device for reading punched cards or tape, and an output in the form of an electric typewriter or a card punch. Most existing computers have terminal equipment no more sophisticated than this. To use such a machine for accounting purposes, however, requires a far more imaginative solution of the input-output problem; a satisfactory solution can be achieved only on the basis of a deep understanding of the nature of the accounting activity that is being mechanized.
On Beta-Binders Communications
Authors: Paola Quaglia
Venue: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (2008)

Beta-binders is a bio-inspired formalism with a formal reduction semantics in the process calculi style. The terms of the language are boxes with an internal processing engine and provided with interfaces for interactions with the other boxes in the environment.Although Beta-binders shares some features with Ambient-like calculi, it exhibits a quite distinctive communication paradigm which might show to be relevant to modelling scenarios other than the biological ones. In the perspective of developing a formal theory for the language, and hence deepening the understanding of such a communication paradigm, here we define a labelled semantics for Beta-binders and show its correspondence to the original reduction semantics.
A Hierarchical Clustering Procedure for Semantically Annotated Resources
Authors: Nicola Fanizzi, Claudia D'Amato, Floriana Esposito
Venue: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (2007)

A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic) annotations expressed in the standard languages employed for modeling concepts in the Semantic Web. The method exploits a simple (yet effective and language-independent) semi-distance measure for individuals, that is based on the resource semantics w.r.t. a number of dimensions corresponding to a committee of features represented by a group of concept descriptions (discriminating features). The algorithm is an fusion of the classic Bisecting k-Means with approaches based on medoids since they are intended to be applied to relational representations. We discuss its complexity and the potential applications to a variety of important tasks.
Real-Time Simulation of Surface Gravity Ocean Waves Based on the TMA Spectrum
Authors: Namkyung Lee, Nakhoon Baek, Kwan Woo Ryu
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

In this paper, we present a real-time method to display ocean surface gravity waves for various computer graphics applications. Starting from a precise surface gravity model in oceanography, we derive its implementation model and our prototype implementation shows more than 50 frames per second on Intel Core2 Duo 2.40GHz PC's. Our major contributions will be the improvement on the expression power of ocean waves and providing more user-controllable parameters for various wave shapes.
Heuristics for an industrial car sequencing problem considering paint and assembly shop objectives
Authors: Alexandre Joly, Yannick Frein
Venue: Computers and Industrial Engineering (2008)

The aim of this paper is to study the problem of sequencing a set of vehicles within an industrial environment considering the assembly shop objectives, but also the objectives of the paint shop. The first approach is to solve the problem with a mono-objective function. One heuristic (a progressive, construction-sequence algorithm) and three meta-heuristics (simulated annealing, variable neighbourhood search and an evolutionary algorithm) are described and compared. As the mono-objective approach has limited possibilities, a multi-objective heuristic is finally presented and tested. Because of the industrial context of this research, the computation time is a decisive factor to select the appropriate heuristic.
Automatic text clustering and classification based on font geometrical characteristics
Authors: Costin-Anton Boiangiu, Spataru Andrei, Dan-Cristian Cananau
Venue: Proceedings of the 9th WSEAS International Conference on International Conference on Automation and Information (2008)

This paper describes an approach towards obtaining a normalized measure of text resemblance in scanned images, relying on the detection of standard character features, and using a sequence of procedures and algorithms on input images, for automatic content conversion purposes.
Application of Speaker Classification in Human Machine Dialog Systems
Authors: Felix Burkhardt, Richard Huber, Anton Batliner
Venue: Speaker Classification I: Fundamentals, Features, and Methods (2007)

This chapter deals with the application of automatic speaker classification in human machine dialog systems based on telephone operation. In a first step we introduce a taxonomy based on three features that such systems might have. We explain the features, namely online, mirroring, critical and their respective counterparts get explicated and are than used to characterize a part of the exemplary applications that illustrate the benefit of that approach. Furthermore prototypical application scenarios are described that shall illustrate the vast possibilities to utilize automated speaker classification in dialog applications.
Mixed Reality-Mediated Collaborative Design System: Concept, Prototype, and Experimentation
Authors: Rui Wang, Xiangyu Wang
Venue: Proceedings of the 5th international conference on Cooperative Design, Visualization, and Engineering (2008)

This paper introduces a Mixed Reality-mediated Collaborative design system, named MR-Collab, which combines Mixed Reality (MR), Augmented Reality (AR) and various channels of communication technologies. The concept and system of MR-Collab are developed based on the Benford's Mixed-Reality boundaries theory. This paper presents how this theory is used as a tool to analyze the system framework and guide the design of the MR-Collab system. The technique details of prototype and application scenario of this system are also elaborated in the paper. The system, MR-Collab, is designed in the purpose of facilitating collaboration between distributed users through the Mixed Reality environment. Experimentation that can measure the correlations between the design performance/behaviors with the increased degree of co-presence is also planned in this paper.