ppxscal/embedding_network huggingface dataset:
A Model Driven Development Method for Developing Context-Aware Pervasive Systems
Authors: Estefanía Serral, Pedro Valderas, Vicente Pelechano
Venue: Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing (2008)

In this work we introduce a software engineering method for developing context-aware pervasive systems which is based on MDA and Software Factories. This method allows us to describe a context-aware pervasive system at a high level of abstraction by means of a set of models and then automatically generate the system code from these models. To do this, a method proposed by authors in previous works is extended to fully support context-awareness. The introduced extensions are: (1) a set of models that allow us to represent the context information at conceptual level; (2) a strategy to generate the system code automatically from the models; 3) mechanisms for storing and updating the context information and reasoning about it at runtime.
Adaptive Computer Game System Using Artificial Neural Networks
Authors: Kok Wai Wong
Venue: Neural Information Processing: 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II (2008)

In this paper, we examine the use of Artificial Neural Networks (ANNs) for designing an adaptive computer game system. This adaptive computer game system will enhance the game play experience of a player by adopting the concept of player centred game design. In this paper, the ANN is used to handle the dynamic difficulty level adjustment for each individual player. The difficulty level for each player can be customised using the proposed method, thus allowing game player to have a more personalised game play experience.
Proxy Confirmation Signatures
Authors: Chih-Hung Wang, Yen-Cheng Chen
Venue: Informatica (2004)

The undeniable signature, introduced by Chaum et al. in 1989, provides a nice property that the signer has an additional control over who will benefit from being convinced by the signature. However, a conspicuous drawback of undeniable signature is that the signer may be unavailable or refuse to cooperate. Chaum in 1994 proposed a designated confirmer signature scheme to protect the recipient's right. There exists a confirmer, who can always help the recipient prove the validity of the signature to others. Unfortunately, Chaum's paper did not consider that a malicious confirmer proves the validity of the signature to any persons as his will or even leaks the sensitive information to the signer's enemies. This paper proposes a new signature scheme called proxy confirmation signature where the proxy confirmer can only acquire a temporary proxy confirmation capability instead of a perpetual one from the signer. That is, the signer not only can delegate the confirmation capability to the proxy confirmer, but also can revoke the proxy confirmer's capability for avoiding the abuse. Moreover, our scheme also provides a technique to properly restrict the proxy confirmer to convincing only some specified verifiers that the signature is valid.
QALSIC: Building an Articulate Educational Software for High School Inorganic Chemistry Laboratories
Authors: S. M. F. D. Syed Mustapha, J. S. Pang, S. M. Zain
Venue: International Journal of Artificial Intelligence in Education (2005)

In building an intelligent tutoring system, researchers quest for robust techniques and suitable approaches so that intelligent and interactive communications between learners and the system can be seamlessly established. The aspects of communication encompass the four properties of articulate software defined by Forbus (2001) which are fluent, supportive, generative and customizable. The building of articulate software (QALSIC) for learning inorganic chemistry at high school level is discussed in this paper. The four properties are represented in our system through knowledge-based and qualitative process theory approaches. The interactiveness and intelligence of the system are demonstrated in its intelligent responses to unprecedented events, unknown substances, and flexibility in usage. The system can be used symbiotically with the traditional laboratory, as well as, as an independent system in which it offers a more flexible learning environment at a lower cost. The strength of the system is centred at its explanatory capabilities in using chemistry knowledge. We envisage that the system will improve intuitive learning in students while enhancing the traditional didactic learning.
On the Impact of Social Network Profiling on Anonymity
Authors: Claudia Diaz, Carmela Troncoso, Andrei Serjantov
Venue: Proceedings of the 8th international symposium on Privacy Enhancing Technologies (2008)

This paper studies anonymity in a setting where individuals who communicate with each other over an anonymous channel are also members of a social network. In this setting the social network graph is known to the attacker. We propose a Bayesian method to combine multiple available sources of information and obtain an overall measure of anonymity. We study the effects of network size and find that in this case anonymity degrades when the network grows. We also consider adversaries with incomplete or erroneous information; characterize their knowledge of the social network by its quantity, quality and depth; and discuss the implications of these properties for anonymity.
On Control for Agents Formation
Authors: Rafael Kelly, Eusebio Bugarin, Carmen Monroy
Venue: Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing (2007)

Agents control has a broad spectrum of applications in computer science, communications and robotics. This paper focuses on formation of mobile agents, that is, configuration of points in the plane without kinematic restrictions of motion. Several goal formation strategies may be of interest. This paper summarizes control systems for achieving three basic formation structures, namely, absolute positioning with order, absolute positioning without order, and relative positioning with order. Mainly, the paper is devoted to describe each of the above schemes as well as control systems to deal with. Two of the control systems have been already reported in the literature and the remaining one is an original contribution of the paper. The control law proposed is based in the concept of associative memories. Also, simulations are presented to validate the expected behavior.
A Reuse Repository System: From Specification to Deployment
Authors: Vanilson Arruda Burégio, Eduardo Santana Almeida, Daniel Ludrédio, Silvio Lemos Meira
Venue: Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems (2008)

A repository is a necessary prerequisite to support software engineers and other users in the process of developing software with and for reuse. In the literature, there are several works that explore reuse repositories, however their focus is mostly on reusable component search and retrieval issues, while important aspects of reuse repositories have not been properly explored. On the other hand, some questions raised by companies that desire to adopt or build a reuse repository remain unanswered. Such questions often include: What are the main roles and requirements of a reuse repository? What are the practical alternatives? How a reuse repository must be designed? Motivated by these questions, this paper presents a systematic approach with comparisons to existing tools and techniques for specifying, designing and implementing a reuse repository that was successfully constructed and deployed in real Brazilian software factories. Additionally, we describe the main design decisions, problems found, and future directions for research and development.
ACCDIST: An Accent Similarity Metric for Accent Recognition and Diagnosis
Authors: Mark Huckvale
Venue: Speaker Classification II: Selected Projects (2007)

ACCDIST is a metric of the similarity between speakers' accents that is largely uninfluenced by the individual characteristics of the speakers' voices. In this article we describe the ACCDIST approach and contrast its performance with formant and spectral-envelope similarity measures. Using a database of 14 regional accents of the British Isles, we show that the ACCDIST metric outperforms linear discriminant analysis based on either spectral-envelope or normalised formant features. Using vowel measurements from 10 male and 10 female speakers in each accent, the best spectral-envelope metric assigned the correct accent group to a held-out speaker 78.8% of the time, while the best normalised formant-frequency metric was correct 89.4% of the time. The ACCDIST metric based on spectral-envelope features, scored 92.3%. ACCDIST is also effective in clustering speakers by accent and has applications in speech technology, language learning, forensic phonetics and accent studies.
Computer Graphics Brazil: Content-based icons for music files
Authors: Philipp Kolhoff, Jacqueline Preuí, Jörn Loviscach
Venue: Computers and Graphics (2008)

Content-based icons are in widespread use for image and video files: Icons for them can easily be created as thumbnail-size pictures. We present a method to create content-based icons also for music files, thus allowing visual data mining of music collections right within the file listings of a standard operating system. The icons are generated automatically, employing a neural net to determine the graphical parameters from acoustic features of the waveform stored in the audio files. A brief initial training ensures that the icons fit the user's visual and aural perception and musical likings. User studies have been conducted to examine the quality of the subjective relation between music and icons. We present extensions such as a space-saving graphical user interface for mobile applications and an automatic one- and two-dimensional layout.
The seller's perspective on acquisition success: Empirical evidence from the communications equipment industry
Authors: Margaret Dalziel
Venue: Journal of Engineering and Technology Management (2008)

This paper considers acquisition success from the seller's perspective and uses the seller's acquisition success criteria as an indication of their interpretation of the acquisition event. The argument is that sellers who use strategic and social criteria to appraise acquisition success interpret acquisitions as partnerships, while sellers who use financial criteria to appraise success interpret acquisitions as sales. Based on interview and survey data on the seller's perspective on acquisition success for 33 acquisitions in the communications equipment industry, we find that sellers use strategic and social criteria to appraise acquisition success and conclude that sellers interpret acquisitions as partnerships.
Nondominated equilibrium solutions of a multiobjective two-person nonzero-sum game in extensive form and corresponding mathematical programming problem
Authors: Ichiro Nishizaki, Takuma Notsu
Venue: Journal of Global Optimization (2008)

In most of studies on multiobjective noncooperative games, games are represented in normal form and a solution concept of Pareto equilibrium solutions which is an extension of Nash equilibrium solutions has been focused on. However, for analyzing economic situations and modeling real world applications, we often see cases where the extensive form representation of games is more appropriate than the normal form representation. In this paper, in a multiobjective two-person nonzero-sum game in extensive form, we employ the sequence form of strategy representation to define a nondominated equilibrium solution which is an extension of a Pareto equilibrium solution, and provide a necessary and sufficient condition that a pair of realization plans, which are strategies of players in sequence form, is a nondominated equilibrium solution. Using the necessary and sufficient condition, we formulate a mathematical programming problem yielding nondominated equilibrium solutions. Finally, giving a numerical example, we demonstrate that nondominated equilibrium solutions can be obtained by solving the formulated mathematical programming problem.
A Distributed Multi-coordinate Localization Algorithm for Wireless Sensor Networks
Authors: Zhi Li, Hui Chen, Jing Qian, Shouyin Liu
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

Wireless sensor networks (WSN) applications have become a growing interest in recent years. Localization is an important issue in WSN because sensor nodes are randomly scattered over a region. They get connected into network by themselves. A reliable and low cost localization method will provide great advantage for the application of WSN in large area with sparse nodes. In this paper, a distributed multi-coordinate (DMC) localization algorithm is proposed. DMC is a range-free approach, using a small number of nodes and anchor nodes. By using the information received from each beacon in multi-coordinate systems, each node can obtain the approximated center of intersection of the multi-arc-area, and consider the approximated center as its position estimate. Simulation results show that DMC has lower estimation error, and it is an energy-efficient location method.
Runahead Execution: An Effective Alternative to Large Instruction Windows
Authors: Onur Mutlu, Jared Stark, Chris Wilkerson, Yale N. Patt
Venue: IEEE Micro (2003)

An instruction window that can tolerate latencies to DRAM memory is prohibitively complex and power hungry. To avoid having to build such large windows, runahead execution uses otherwise-idle clock cycles to achieve an average 22 percent performance improvement for processors with instruction windows of contemporary sizes. This technique incurs only a small hardware cost and does not significantly increase the processor's complexity.
Report on the tenth ICFP programming contest
Authors: Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
Venue: ACM SIGPLAN Notices (2008)

The ICFP programming contest is a 72-hour contest, which attracts thousands of contestants from all over the world. In this report we describe what it takes to organise this contest, the main ideas behind the contest we organised, the task, how to solve it, how we created it, and how well the contestants did. This year's task was to reverse engineer the DNA of a stranded alien life form to enable it to survive on our planet. The alien's DNA had to be modified by means of a prefix that modified its meaning so that the alien's phenotype would approximate a given "ideal" outcome, increasing its probability of survival. About 357 teams from 39 countries solved at least part of the contest. The language of choice for discriminating hackers turned out to be C++.
A Tool for Visual Understanding of Source Code Dependencies
Authors: Martin Pinzger, Katja Graefenhain, Patrick Knab, Harald C. Gall
Venue: Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension (2008)

Many program comprehension tools use graphs to visualize and analyze source code. The main issue is that existing approaches create graphs overloaded with too much information. Graphs contain hundreds of nodes and even more edges that cross each other. Understanding these graphs and using them for a given program comprehension task is tedious, and in the worst case developers stop using the tools. In this paper we present DA4Java, a graph based approach for visualizing and analyzing static dependencies between Java source code entities. The main contribution of DA4Java is a set of features to incrementally compose graphs and remove irrelevant nodes and edges from graphs. This leads to graphs that contain significantly fewer nodes and edges and need less effort to understand.
Transactional memory in a dynamic language
Authors: Lukas Renggli, Oscar Nierstrasz
Venue: Computer Languages, Systems and Structures (2009)

Concurrency control is mostly based on locks and is therefore notoriously difficult to use. Even though some programming languages provide high-level constructs, these add complexity and potentially hard-to-detect bugs to the application. Transactional memory is an attractive mechanism that does not have the drawbacks of locks, however, the underlying implementation is often difficult to integrate into an existing language. In this paper we show how we have introduced transactional semantics into Smalltalk by using the reflective facilities of the language. Our approach is based on method annotations, incremental parse tree transformations and an optimistic commit protocol. The implementation does not depend on modifications to the virtual machine and therefore can be changed at the language level. We report on a practical case study, benchmarks and further and on-going work.
2008 Special Issue: A theoretical study of multisensory integration in the superior colliculus by a neural network model
Authors: Elisa Magosso, Cristiano Cuppini, Andrea Serino, Giuseppe Di Pellegrino, Mauro Ursino
Venue: Neural Networks (2008)

Neurons in the superior colliculus (SC) integrate stimuli of different modalities. In this work, a mathematical model of the integrative response of SC neurons is presented, to gain a deeper insight into the possible mechanisms involved, and on individual differences in integrative abilities. The model includes two unimodal areas (auditory and visual), which communicate via feedforward and feedback synapses with a third multisensory area. Each neuron is represented via a sigmoidal relationship and a first-order dynamic. Neurons in the same area interact via lateral synapses. Simulations show that the model, with a basal parameter set, can mimic various responses described in the literature: (i) multimodal enhancement in response to two cross-modal stimuli within the receptive field, according to the inverse-effectiveness principle; (ii) within-modality suppression and cross-modality suppression by a stimulus (of the same or other modality) placed outside the receptive field. Sensitivity analysis on model parameters demonstrate that different classes of neurons observed in the literature (such as, neurons which exhibit within modality suppression without cross-modality suppression, or neurons with asymmetrical cross-modality suppression) can be reproduced by simply modifying synaptic strengths in the multimodal area. Finally, exempla of the possible role of feedback mechanisms in ambiguous conditions (such as reinforcement of a poor perception by a second cross-modal stimulus, or ventriloquism) are shown and critically discussed. The model may be of value to assess the different mechanisms responsible for multisensory integration in the SC, and, in future, to study neural plasticity in multisensory systems during development or rehabilitation.
Web-based simulating system for modeling earthquake seismic wavefields on the grid
Authors: Choonhan Youn, Tim Kaiser, Dogan Seber, Cindy Santini
Venue: Computers Geosciences (2008)

We have developed the SYNSEIS (SYNthetic SEISmogram) tool within the GEON (GEOscience Network) project to enable efficient computations of synthetic seismic waveforms for research and education. SYNSEIS is built as a distributed system to support the calculation of synthetic seismograms in 2D/3D media. The underlying simulation software is a finite difference code, E3D, developed by LLNL (S. Larsen). This code is embedded within the SYNSEIS environment and used by our SYNSEIS tool to simulate seismic waveforms of either earthquakes or explosions at regional distances (
Multiscale Numerical Models for Simulation of Radiation Events in Semiconductor Devices
Authors: Alexander I. Fedoseyev, Marek Turowski, Ashok Raman, Michael L. Alles, Robert A. Weller
Venue: Proceedings of the 8th international conference on Computational Science, Part II (2008)

This paper describes the new CFDRC mixed-mode simulator which combines multiscale 3D Technology Computer Aided Design (TCAD) device models (fluid carrier transport and nuclear ion track impact), and advanced compact transistors models. Key features include an interface and 3D adaptive meshing to allow simulations of single event radiation effects with nuclear reactions and secondary particles computed by Vanderbilt's MRED/Geant4 tools.
Correspondence-based analysis of three-dimensional deformable shapes: methods and applications
Authors: C.-C. Jay Kuo
Venue:  (2007)

People have been studying shapes since the ancient times, using geometry to model those that already existed in the world and to create new ones. Today, with the power of modern computers, the task of capturing the world digitally and recreating it virtually is no longer science fiction. This challenging, but extremely important problem spans applications ranging from medical modeling and scientific visualization to computer-aided design, art and entertainment. However, to achieve that goal, we need better algorithms that can "understand" geometry. This research focuses on applications involving geometry analysis that relies on the notion of shape correspondence. First, the problem of compressing time-varying isosurfaces is studied, and a region-based motion estimation method is employed to predict surface geometry from one frame to the next. Fundamentally, the suggested approach reduces the motion estimation problem to local rigid body registration. Next, to extend the context to the wider class of deformable bodies, a more general shape matching problem is studied. The proposed solution presents a general yet flexible deformation-based approach, with articulated shape matching used as the test bed application. Finally, we apply the aforementioned deformation framework to the challenging problem of cortical surface matching, one of the key problems in the field of brain mapping. The value of this approach over existing methods is demonstrated both for automatic and user-guided registration scenarios.
Thor: Sketch-Based 3D Modeling by Skeletons
Authors: Romain Arcila, Florian Levet, Christophe Schlick
Venue: Proceedings of the 9th international symposium on Smart Graphics (2008)

The creation of freeform 3D objects has been historically done with a 3D modeler, either based on CSG operators, spline surfaces or subdivision surfaces. However sketch-based modeling, initiated by the groundbreaking Teddy system [1], has recently emerged as a more intuitive alternative. Following Teddy, sketch-based modeling is usually done by letting the user sketch the silhouette of the generated mesh. In this paper, we present a 3D sketching prototype based on the skeleton as input of the system.
Learning Directed Probabilistic Logical Models: Ordering-Search Versus Structure-Search
Authors: Daan Fierens, Jan Ramon, Maurice Bruynooghe, Hendrik Blockeel
Venue: Proceedings of the 18th European conference on Machine Learning (2007)

We discuss how to learn non-recursive directed probabilistic logical models from relational data. This problem has been tackled before by upgrading the structure-search algorithm initially proposed for Bayesian networks. In this paper we propose to upgrade another algorithm, namely ordering-search, since for Bayesian networks this was found to work better than structure-search. We experimentally compare the two upgraded algorithms on two relational domains. We conclude that there is no significant difference between the two algorithms in terms of quality of the learnt models while ordering-search is significantly faster.