ppxscal/embedding_network huggingface dataset:
Contract-Based Discovery and Composition of Web Services
Authors: Mario Bravetti, Gianluigi Zavattaro
Venue: Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures (2009)

In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services that can be used to implement a given service system. The idea is to first design a service system by describing the overall behaviour of each of its participant, and then instantiate such participants retrieving services exposing a behavioural contract which is conformant with the corresponding given behaviour.
A review of flight dynamic simulation model of missiles
Authors: Dimitrios N. Gkritzapis, George Kaimakamis, Konstantinos Siassiakos, Miltiadis Chalikias
Venue: Proceedings of the 2nd conference on European computing conference (2008)

A full six degrees of freedom (6-DOF) simulation flight dynamics model is applied for the accurate prediction of short and long range trajectories of high and low spin-stabilized projectiles and small bullets via atmospheric flight to final impact point. The projectile is assumed to be both non-flexible and rotationally symmetric about its spin axis launched at low and high pitch angles. The projectile maneuvering motion depends on the most significant forces and moments variations, in addition to wind and gravity. The computational flight analysis takes into consideration the Mach number and total angle of attack effects by means of the variable aerodynamic coefficients. The present paper describes the results of the comparison i) data of verified experiments and ii)computational codes on atmospheric dynamics model flight analysis for projectiles (M105 mm) and small bullets (7,62 mm) which stated in [8], [9].
Knowledge, Accountability, and Relevance Systems --Objectivations of Social Reality through Shared Symbolic Devices
Authors: Hakim Hachour
Venue: Proceeding of the 2009 conference on Information Modelling and Knowledge Bases XX (2009)

This paper focuses on modeling collective knowledge objectivations. It is based upon a transdisciplinary approach and a comprehensive methodology. The proposed model is about the social settings of relevant meaning systems and the semio-pragmatic factors of knowledge objectivations. It is shown that the essential resource of practical action is routine knowledge which is objectivated in an arranged system of indications, products and signs: a symbolic device bound to the pragmatic motive of the ongoing socially organized activity and conditioned by a typified sociocognitive relevance system.
Magnet Mail: A Visualization System for Email Information Retrieval
Authors: Paulo Castro, Adriano Lopes
Venue: Proceedings of the 10th International Symposium on Smart Graphics (2009)

We present Magnet Mail (MM), a visualization system to retrieve information from email archives via a zoomable interface. MM allows users to infer relationships among their email documents based on searching keywords. The prototype interacts with a mass-market email system and uses a magnet metaphor to simulate user interaction with emails. The graphical implementation relies mostly on the Piccolo toolkit.
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
Authors: Severine Sentilles, Anders Pettersson, Dag Nystrom, Thomas Nolte, Paul Pettersson, Ivica Crnkovic
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable embedded systems by providing tools for design of embedded software systems using a dedicated component model, formal specification and analysis of component and system behaviors already in early development phases, and a fully automated transformation of the system of components into an executable image.
A story-telling approach for a software engineering course design
Authors: Henrik Bærbak Christensen
Venue: ACM SIGCSE Bulletin (2009)

Advanced programming and software engineering techniques are challenging to learn due to their inherent complexity. However, to the average student they are even more challenging because they have never experienced the context in which the techniques are appropriate. For instance, why learn design patterns to increase maintainability when student exercises are never maintained? In this paper, we outline the contextual problems that software engineering teaching has to deal with and present a story telling approach for course design as a remedy. We outline the stories that over the last five years have structured lecturing and mandatory exercises for our advanced programming/software engineering course, and present benefits, liabilities, and experiences with the approach comparing it to the normal, topic structured, course design.
Nondeterministic state complexity of nested word automata
Authors: Yo-Sub Han, Kai Salomaa
Venue: Theoretical Computer Science (2009)

We study the nondeterministic state complexity of Boolean operations on regular languages of nested words. For union and intersection we obtain matching upper and lower bounds. For complementation of a nondeterministic nested word automaton with n states we establish a lower bound @W(n!) that is significantly worse than the exponential lower bound for ordinary nondeterministic finite automata (NFA). We develop techniques to prove lower bounds for the size of nondeterministic nested word automata that extend the known techniques used for NFAs.
A New Metric for Robustness with Respect to Virus Spread
Authors: Robert E. Kooij, Phillip Schumm, Caterina Scoglio, Mina Youssef
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

The robustness of a network is depending on the type of attack we are considering. In this paper we focus on the spread of viruses on networks. It is common practice to use the epidemic threshold as a measure for robustness. Because the epidemic threshold is inversely proportional to the largest eigenvalue of the adjacency matrix, it seems easy to compare the robustness of two networks. We will show in this paper that the comparison of the robustness with respect to virus spread for two networks actually depends on the value of the effective spreading rate ¿. For this reason we propose a new metric, the viral conductance, which takes into account the complete range of values ¿ can obtain. In this paper we determine the viral conductance of regular graphs, complete bi-partite graphs and a number of realistic networks.
Coordinated queries: A domain specific language for exploratory development of multiview visualizations
Authors: Chris Weaver
Venue: Proceedings of the 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (2008)

The development of information visualization user interfaces suffers from a persistent gap between toolkit-based programming and interactive design, between the visualization experts who build tools and the information experts who cultivate analytic utility. Coordinated Queries is a declarative language for live design of information visualization user interfaces. The combination of a visualization specific language with an extensive library of views and queries gives designers flexible, yet precise control over the appearance and behavior of data in response to interaction. Through live, integrated editing of essentially infinite variations on well-known patterns of visual data representation and multiple view coordination, it is practical to iteratively grow and vary visualizations much more quickly than by traditional means, thereby facilitating open-ended visual exploration and analysis in a variety of domains.
Making ecology research results useful for resource management: a case study in visual analytics
Authors: Natalie Kopytko, Judith B. Cushing, Lee Zeman, Nik Stevenson-Molnar, Fred Martin, Edward S. Keeley
Venue: Proceedings of the 10th Annual International Conference on Digital Government Research: Social Networks: Making Connections between Citizens, Data and Government (2009)

This paper addresses challenges to resource managers' use of scientific research, and reports strategies and informatics tools to ameliorate those challenges. Our work involves repurposing fundamental ecology research data for resource managers, in particular for field foresters who make decisions regarding which trees to leave when harvesting timber stands. We describe needs of managers (e.g., interpreting and implementing value statements from policy, and communicating and justifying decisions to stakeholders) and visual analytics tools and artifacts to repurpose scientific data to those needs. We conclude that visual analytics can produce successful boundary objects to overcome some challenges inherent in differences of approach between researchers and managers, but its use to repurpose data in this way will require further research and development in visual analytics and in the cognitive and social sciences. As adequate informatics tools become available to produce artifacts for repurposing scientific data, interdisciplinary collaboration among research ecologists, resource managers, and biometricians will likely still be needed to produce the artifacts. In particular, future collaboration is necessary to define and test new visual analytics in response to changing policy.
Complementing TCP Congestion Control with Forward Error Correction
Authors: Vicky Sharma, Kadangode Ramakrishnan, Koushik Kar, Shivkumar Kalyanaraman
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

In this paper, we examine an emerging combination of challenges for TCP: increasingly bursty background traffic that is not subject to flow and congestion control, higher bandwidth networks and small buffers at network routers. As a result, TCP experiences short-term bursty packet losses that may not reflect long-term congestion. In this work, we propose a balanced approach that uses TCP congestion control mechanisms including Explicit Congestion Notification (ECN) to identify and overcome congestion, supported by adaptive FEC for short-term packet loss recovery due to bursty flows. We demonstrate the effectiveness of using FEC with TCP SACK congestion control by showing that such an approach improves performance for TCP flows for the emerging bursty traffic, small buffer, high bandwidth-delay product environments.
Assessing Learning in a Peer-Driven Tutoring System
Authors: Ari Bader-Natal, Jordan Pollack
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

In many intelligent tutoring systems, a detailed model of the task domain is constructed and used to provide students with assistance and direction. Reciprocal tutoring systems, however, can be constructed without needing to codify a full-blown model for each new domain. This provides various advantages: these systems can be developed rapidly and can be applied to complex domains for which detailed models are not yet known. In systems built on the reciprocal tutoring model, detailed validation is needed to ensure that learning indeed occurs. Here, we provide such validation for SpellBEE, a reciprocal tutoring system for the complex task domain of American-English spelling. Using a granular definition of response accuracy, we present a statistical study designed to assess and characterize student learning from collected data. We find that students using this reciprocal tutoring system exhibit learning at the word, syllable, and grapheme levels of task granularity.
A software architecture modeling tool
Authors: Adel Smeda, Adel Alti, Abbdellah Boukerram
Venue: Proceedings of the 8th Wseas international conference on Telecommunications and informatics (2009)

A key aspect of the design of any software system is its architecture. An architecture description provides a formal model of the architecture in terms of components and connectors and how they are composed together. COSA (Component-Object based Software Structures), is based on object-oriented modeling and component-based modeling. The model improves the reusability by increasing extensibility, evolvability, and compositionality of the software systems. This paper presents the COSA modelling tool which help architects the possibility to verify the structural coherence of a given system and to validate its semantics with COSA approach.
Some Unusual Open Learner Models
Authors: Susan Bull, Abdallatif S. Abu-Issa, Harpreet Ghag, Tim Lloyd
Venue: Proceeding of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology (2005)

Open learner models to facilitate reflection are becoming more common in adaptive learning environments. There are a variety of approaches to presenting the learner model to the student, and for the student to interact with their open learner model, as the requirements for an open learner model will vary depending on the aims of the system. In this paper we extend existing approaches yet further, presenting three environments that offer: (i) haptic feedback on learner model data; (ii) a handheld open learner model to support collaboration amongst mobile learners; (iii) an approach which allows students to open their model to selected or to all peers and instructors, in anonymous or named form.
How to Explain the Underrepresentation of Women in Computer Science Studies
Authors: Margit Pohl, Monika Lanzenberger
Venue: Proceeding of the 2008 conference on Current Issues in Computing and Philosophy (2008)

An overview of recent research concerning the underrepresentation of women in computer science studies indicates that this problem might be more complex than previously assumed. The percentage of female computer science students varies from country to country, and there is also some indication that gender stereotypes are defined differently in different cultures. Gender stereotypes concerning technology are deeply embedded in the dominant culture and often contradictory. Only a few general assertions can be made about the development of the inclusion or exclusion of women from computer science. In addition, there does not seem to be a specific female style of computer usage. Concepts of diversity and ambivalence seem to be more appropriate but difficult to realize. All this makes the development of appropriate interventions for overcoming the underrepresentation of women in computer science studies a very complex process.
WIFE: Wireless Indoor Positioning Based on Fingerprint Evaluation
Authors: Apostolia Papapostolou, Hakima Chaouchi
Venue: Proceedings of the 8th International IFIP-TC 6 Networking Conference (2009)

Location awareness of a user or a device has always been considered as a key element for enhancing network performance and improving user experience by enabling efficient mobility and innovative location-based services. In this paper, we present our proposal named WIFE (Wireless Indoor positioning based on Fingerprint Evaluation), a user-based location determination system which utilizes the information of the Signal Strength (SS) received from the surrounding Access Points (APs) inside a building. We focus on a WiFi environment for its low cost and ease of deployment and study fingerprint-based deterministic techniques for their simplicity and reduced processing time and resource requirements. We first address the inherent impairments of an indoor environment which prevent a positioning system from being accurate and then describe our proposed methodology for mitigating them.
Automatic articulated registration of hand radiographs
Authors: Miguel Á. Martín-Fernández, Rubén Cárdenes, Emma Muñoz-Moreno, Rodrigo de Luis-García, Marcos Martín-Fernández, Carlos Alberola-López
Venue: Image and Vision Computing (2009)

In this paper, we propose a methodology to automatically carry out registration of hands out of conventional X-ray images. The registration method we describe here will be referred to as ''articulated registration''; the method is a landmark-based elastic registration procedure in which individual bones are affinely registered and soft tissues are elastically registered so that long skeletal structures are maintained straight while a continuous and smooth transformation is obtained all over the image. In order for the method to be fully automatic, the landmarks used for the registration are detected using a number of image processing algorithms. An optimization step for the refinement of the landmarks locations is included within the registration algorithm; the algorithm is based on an iterative procedure to maximize a local similarity measure. A final procedure to correct bone width has also been performed. We show that the articulated registration described here is robust and outperforms alternatives based on the thin-plate splines (TPS) algorithm. The algorithm for automatic landmark position finding has been tested using registered images with landmarks manually selected by an expert.
Creating Multi-Level Reflective Reasoning Models Based on Observation of Social Problem-Solving in Infants
Authors: Heikki Ruuska, Naofumi Otani, Shinya Kiriyama, Yoichi Takebayashi
Venue: Proceeding of the 2008 conference on Information Modelling and Knowledge Bases XIX (2008)

We have created an infant learning environment that has capacity for effective behavioral analysis while providing new views on infant learning, and serves as a basis for creating a corpus of infant behavior. We are gathering behavioral data including but not limited to data in social, spatial and temporal domains, while providing inspiring learning experiences to infants. We have used the corpus for constructing and combining novel models on social interaction and problem solving.
A bandwidth reduction method for selective contents broadcasting
Authors: Tomoki Yoshihisa, Shojiro Nishio
Venue: International Journal of Advanced Media and Communication (2009)

Due to the recent popularisation of digital broadcasting systems, selective contents, i.e., users watch their selected contents, have attracted great attention. For example, in a quiz program, a user selects his or her answer and watches the video content corresponding to the answer. Although a server can deliver content according to users' preferences, the necessary bandwidth to play the content continuously becomes large. However, by scheduling those streams considering the sequence in which to play them, the necessary bandwidth can be reduced. In this paper, we propose a bandwidth reduction method for selective contents broadcasting.
Impact coverage analysis on requirement changes
Authors: Shinobu Saito
Venue: Proceeding of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering (2008)

In system development project, when a single requirement in the cascade model of requirements is changed, many other requirements may be changed. Although requirements management tools are used, it is not clear how to ascertain the potential change requirements at the time when a requirement changes. This paper proposes a method to define the proper impact coverage based on requirement dependency. And the proposed method also defines the proper change sequence of requirements. That may support for reducing rework in change management.
The Logic of Multiple-Valued Argumentation and its Applications to Web TechnologyExtended Abstract
Authors: Hajime Sawamura, Toshiko Wakaki, Katsumi Nitta
Venue: Proceeding of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006 (2006)

Extended Annotated Logic Programming (EALP) for argumentation knowledge and Logic of Multiple-valued Argumentation (LMA) built on top of EALP are outlined together with its implementation. We then explore a new application area of argumentation in the present rapidly growing web technology, and demonstrate the basic features and advantages of Automated Argument System based on Logic of Multiple-Valued Argumentation by specializing it to two argument systems derived from LMA: (i) an argument-based recommender system, and (ii) an integrated system of semantic web reasoning and argument-based reasoning.
Integrated Knowledge-based System for Product Design in Furniture Estimate
Authors: Juan C. Vidal, Manuel Lama, Alberto Bugarín
Venue: Proceeding of the 2006 conference on Integrated Intelligent Systems for Engineering Design (2006)

This chapter describes a knowledge-based system approach that combines problem-solving methods, workflow and machine learning technologies for dealing with the furniture estimate task. The system integrates product design in a workflow-oriented solution, and is built over a workflow management system that delegates activities execution to a problem-solving layer. An accurate estimation of the manufacturing cost of a custom furniture client order allows competitive prices, better profits adjustment, and increments the client portfolio too. Nevertheless, task scope is even broader. On one hand, it fixes future material and storage capacity requirements. On the other hand, it defines the manufacturing plan and logistic requirements to fulfil the client order in time. However, these objectives cannot be achieved without an adequate product design, which relates client order requirements with a manufacturing and assembly-oriented design.
Experiences of an in-service Wizard-of-Oz data collection for the deployment of a call-routing application
Authors: Mats Wirén, Robert Eklund, Fredrik Engberg, Johan Westermark
Venue: Proceedings of the Workshop on Bridging the Gap: Academic and Industrial Research in Dialog Technologies (2007)

This paper describes our experiences of collecting a corpus of 42,000 dialogues for a call-routing application using a Wizard-of-Oz approach. Contrary to common practice in the industry, we did not use the kind of automated application that elicits some speech from the customers and then sends all of them to the same destination, such as the existing touch-tone menu, without paying attention to what they have said. Contrary to the traditional Wizard-of-Oz paradigm, our data-collection application was fully integrated within an existing service, replacing the existing touch-tone navigation system with a simulated call-routing system. Thus, the subjects were real customers calling about real tasks, and the wizards were service agents from our customer care. We provide a detailed exposition of the data collection as such and the application used, and compare our approach to methods previously used.
Haptic augmented reality: Modulation of real object stiffness
Authors: Seokhee Jeon, Seungmoon Choi
Venue: Proceedings of the World Haptics 2009 - Third Joint EuroHaptics conference and Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (2009)

Haptic augmented reality allows a user to feel the sensation of a real object augmented with synthetic haptic stimuli created by a haptic interface. For example, the user feels a soft sponge as if it is a stiffer rubber. This demonstration presents a haptic augmented reality framework in which the stiffness of a real object is modulated with additional virtual haptic feedback. A haptic interface is extended with a force sensor, and efficient and effective algorithms for contact detection and stiffness modulation are implemented with closed-loop control. This work can serve as an initial building block towards a general haptic augmented reality system.