ppxscal/embedding_network huggingface dataset:
Spatio-Temporal Sensor Graphs (STSG): A data model for the discovery of spatio-temporal patterns
Authors: Betsy George, James M. Kang, Shashi Shekhar
Venue: Intelligent Data Analysis (2009)

Developing a model that facilitates the representation and knowledge discovery on sensor data presents many challenges. With sensors reporting data at a very high frequency, resulting in large volumes of data, there is a need for a model that is memory efficient. Since sensor data is spatio-temporal in nature, the model must also support the time dependence of the data. Balancing the conflicting requirements of simplicity, expressiveness and storage efficiency is challenging. The model should also provide adequate support for the formulation of efficient algorithms for knowledge discovery. Though spatio-temporal data can be modeled using time expanded graphs, this model replicates the entire graph across time instants, resulting in high storage overhead and computationally expensive algorithms. In this paper, we propose Spatio-Temporal Sensor Graphs (STSG) to model sensor data at the conceptual. logical and physical levels. This model allows the properties of edges and nodes to be modeled as a time series of measurement data. Data at each instant would consist of the measured value and the expected error. Also, we evaluate the model using methods to find interesting patterns such as growing hotspots in sensor data and present analytical comparison of the algorithms with methods based on existing models.
Optimization of Transmission Power in Competitive Wireless Networks
Authors: Patrick Maillé, Bruno Tuffin
Venue: Proceedings of the 6th International Workshop on Internet Charging and Qos Technologies: Network Economics for Next Generation Networks (2009)

Competition among providers has become an important issue in current and future wireless telecommunication networks. The providers may operate using different technologies, such as WiFi, WiMAX, UMTS... In a previous work, we have analyzed the price competition among two providers, one operating in only a subdomain of the other, due to smaller distance range. A typical situation is WiFi against WiMAX. We propose here to add a supplementary level of decision on top of that game, making use of its equilibrium: the smaller-range provider plays with its transmission power in order to attract more customers and potentially increase its revenue. We determine the optimal power in the case where energy has a negligible cost, as well as when its cost is linear in transmission power.
A Pragmatic Methodology for Testing Intrusion Prevention Systems
Authors: Zhongqiang Chen, Alex Delis, Peter Wei
Venue: The Computer Journal (2009)

Intrusion prevention systems (IPSs) not only attempt to detect attacks but also block malicious traffic and pro-actively tear down pertinent network connections. To effectively thwart attacks, IPSs have to operate both in real-time and inline fashion. This dual mode renders the design/implementation and more importantly the testing of IPSs a challenge. In this paper, we propose an IPS testing framework termed IPS Evaluator which consists of a trace-driven inline simulator-engine, mechanisms for generating and manipulating test cases, and a comprehensive series of test procedures. The engine features attacker and victim interfaces which bind to the external and internal ports of an IPS-under-testing (IUT). Our engine employs a bi-directional injection policy to ensure that replayed packets are subject to security inspection by the IUT before they are forwarded. Furthermore, the send-and-receive mechanism of our engine allows for the correlation of engine-replayed and IUT-forwarded packets as well as the verification of IUT actions on detected attacks. Using dynamic addressing and routing techniques, our framework rewrites both source and destination addresses for every replayed packet on-the-fly. In this way, replayed packets conform to the specific features of the IUT. We propose algorithms to partition attacker/victim-emanated packets so that they are subjected to security inspections by the IUT and in addition, we offer packet manipulation operations to shape replayed traces. We discuss procedures that help verify the IUT's detection and prevention accuracy, attack coverage and behavior under diverse traffic patterns. Finally, we evaluate the strengths of our framework by mainly examining the open-source IPS Snort-Inline. IPS deficiencies revealed during testing help establish the effectiveness of our approach.
Neural network for identification of danger situation using stereovision
Authors: Andrzej Grabowski, Robert Kosinski
Venue: Proceedings of the 7th WSEAS international conference on System science and simulation in engineering (2008)

Modern production processes becomes more and more flexible. Therefore there is a need that devices used in workplace also support flexibility as much as possible. Such characteristics have Vision Based Protective Devices (VBPDs). We present a neural system for the advanced recognition of danger situation for safety control. The sequence of the images from two cameras located above the robot is presented to the system of cellular neural networks (CNNs) realized in the PC computer. They detect a new object appearing in a Safety Field (SF), define its position with respect to the robot arm and perform the feature extraction of its image. Experiments conducted using artificial images (virtual environment) and low quality images (internet cameras) indicate that our system can work in a real time and detect successively dangerous situations.
Examining user involvement in continuous software development: (a case of error reporting system)
Authors: Achita (Mi) Muthitacharoen, Khawaja A. Saeed
Venue: Communications of the ACM (2009)

Ms. Perez was giving a powerpoint presentation to her potential clients in the hope of landing a big contract. She was presenting a new advertising campaign for a mutual fund company and had spent three months with her team on perfecting the proposal. Everything seemed to be going well when suddenly a small window screen popped up informing her that an error had occurred and asked if she would wish to send an error report. She clicked the send button and the application on her laptop shut down, disrupting the flow of her presentation and making her look unprofessional. This story entails an example of a user's experience and response to a new method for collecting information on software application errors. To maintain a certain level of quality and ensure customer satisfaction, software firms spend approximately 50% to 75% of the total software development cost on debugging, testing, and verification activities. Despite such efforts, it is not uncommon for a software application to contain errors after the final version is released. To better manage the software development process in the long run firms are involving the users in software improvement initiatives by soliciting error information, while they are using the software application. The information collected through an error reporting system (ERS) plays an important role in uncovering bugs and prioritizing future development work. Considering that about 20% of bugs cause 80% of the errors, gathering information on application errors can substantially improve software firms' productivity and improve the quality of their products. High quality software applications can benefit the software users individually and also help improve the image of the software community as a whole. Thus, understanding the emerging error reporting systems (ERS) and why users adopt them are important issues that require examination. Such an analysis can help the software companies in learning how to design better ERS and educate the users about ERS and its utilities.
Theoretic perspective of a wireless media access control scheme for small contention window sizes
Authors: Khalim Amjad Meerja, Abdallah Shami
Venue: Proceedings of the 2009 conference on Information Science, Technology and Applications (2009)

Under a distributed media access control (MAC) scheme, wireless stations select random time slots for transmission upon observing an idle channel. Performance of a distributed MAC scheme often depends on its ability to minimize collisions by reducing simultaneous data packet transmissions by two or more stations in any particular time slot. For this sake, each wireless station withholds its transmission until it observes a random number of idle slots when channel becomes idle. A station selects time slot for transmission based on a random number generated from a range of values in contention window (CW). As all stations independently generate their random value from their CW range, a large CW size is desirable for better channel arbitration. This is because, small CW sizes will lead to more number of collisions, and higher collisions will reduce throughput performance. This paper discusses and analyzes a scheme that can enhance throughput performance by reducing collisions under small CW sizes. The presented scheme is applicable to "Enhanced distributed channel access (EDCA)" protocol in which highest priority AC_VO queue uses very small CW sizes.
A mobility camouflaging evaluation tool
Authors: Dana Steil, Xiaoyan Hong, Li Ding
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

This paper describes an innovative Mobility Camouflaging Evaluation Tool (MCET) for mobile users traveling on a predefined geo-spatial graph. MCET is a customizable platform for evaluating the effectiveness of Mobility Camouflaging Algorithms (MCAs) and Adversary Observation Algorithms (AOAs). AOAs use observations of mobile user wireless transmissions to trace their movements. MCAs are designed to reduce the ability of AOAs to construct accurate traces. Specifically, MCAs camouflage the mobile user's movements by routing them "together" yet attempting to minimize the overhead of additional travel. The AOSs and MCAs that are developed by users and plugged into MCET produce tabular results for evaluation of mobile user movement logs that are also rendered in Google Earth.
Generative content models for structural analysis of medical abstracts
Authors: Jimmy Lin, Damianos Karakos, Dina Demner-Fushman, Sanjeev Khudanpur
Venue: Proceedings of the Workshop on Linking Natural Language Processing and Biology: Towards Deeper Biological Literature Analysis (2006)

The ability to accurately model the content structure of text is important for many natural language processing applications. This paper describes experiments with generative models for analyzing the discourse structure of medical abstracts, which generally follow the pattern of "introduction", "methods", "results", and "conclusions". We demonstrate that Hidden Markov Models are capable of accurately capturing the structure of such texts, and can achieve classification accuracy comparable to that of discriminative techniques. In addition, generative approaches provide advantages that may make them preferable to discriminative techniques such as Support Vector Machines under certain conditions. Our work makes two contributions: at the application level, we report good performance on an interesting task in an important domain; more generally, our results contribute to an ongoing discussion regarding the tradeoffs between generative and discriminative techniques.
A model for integrating dialogue and the execution of joint plans
Authors: Yuqing Tang, Timothy J. Norman, Simon Parsons
Venue: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2 (2009)

Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to communicate while the plan is being executed. Such communication is required, for example, to make sure that information critical to the plan is passed in time for it to be useful. In this paper we present a model for constructing joint plans for a team of agents that takes into account their communication needs. The model builds on recent developments in symbolic non-deterministic planning, ideas that have not previously been applied to this problem.
Dynamic balancing of planar mechanisms using toric geometry
Authors: Clément M. Gosselin, Brian Moore, Josef Schicho
Venue: Journal of Symbolic Computation (2009)

A mechanism is statically balanced if for any motion, it does not apply forces on the base. Moreover, if it does not apply torques on the base, the mechanism is said to be dynamically balanced. In this paper, a new method for determining the complete set of dynamically balanced planar four-bar mechanisms is presented. Using complex variables to model the kinematics of the mechanism, the static and dynamic balancing constraints are written as algebraic equations over complex variables and joint angular velocities. After elimination of the joint angular velocity variables, the problem is formulated as a problem of factorization of Laurent polynomials. Using tools from toric geometry including toric polynomial division, necessary and sufficient conditions for static and dynamic balancing of planar four-bar mechanisms are derived.
Skiing robot-design, control, and navigation in unstructured environment
Authors: Leon Lahajnar, Andrej Kos, Bojan Nemec
Venue: Robotica (2009)

The paper describes a skiing robot that is capable of skiing autonomously on a ski slope. The robot uses carving skiing technique. Based on a complex sensory system it is capable of autonomously navigating on the ski slope, avoiding obstacles, and maintaining a stable position during skiing on an unknown ski slope. The robot was tested using simulation in a virtual reality environment as well as on a ski slope.
Identifying the key factors affecting the quality of a cost estimate
Authors: Evaggelos Lavdas, Rajkumar Roy, Charles Wainwright
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

This paper provides an insight into the issue of what constitutes quality of a cost estimate. A survey has been carried out, in order to identify the key attributes of a good quality estimate. The cost estimators who took part in this survey come from various disciplines, industries, and geographical locations. Twenty-three characteristics believed to contribute towards a good quality estimate and sixteen metrics which could be potentially used to measure a cost estimate's quality, have been identified. Some characteristics are universal in nature and were expressed by a large number of participants, independently of the purpose and application of the estimate. In contrast others are specific to individuals' needs, environment and cost estimating purpose. Differences have been identified, in terms of expectations as to what a good estimate is, between two distinct groups; cost managers against cost estimators with non-managerial position. It has also been identified that the amount of experience in the area of cost estimating is a factor that influences those expectations.
The Glass Organ: Musical Instrument Augmentation for Enhanced Transparency
Authors: Christian Jacquemin, Rami Ajaj, Sylvain Beux, Christophe D'Alessandro, Markus Noisternig, Brian F. Katz, Bertrand Planes
Venue: Proceedings of the 10th International Symposium on Smart Graphics (2009)

The Organ and Augmented Reality (ORA) project has been presented to public audiences at two immersive concerts, with both visual and audio augmentations of an historic church organ. On the visual side, the organ pipes displayed a spectral analysis of the music using visuals inspired by LED-bar VU-meters. On the audio side, the audience was immersed in a periphonic sound field, acoustically placing listeners inside the instrument. The architecture of the graphical side of the installation is made of acoustic analysis and calibration, mapping from sound levels to animation, visual calibration, real-time multi-layer graphical composition and animation. It opens new perspectives to musical instrument augmentation where the purpose is to make the instrument more legible while offering the audience enhanced artistic content.
To://: towards an open namespace for web resources
Authors: Pedro Garcia Lopez, Marc Espelt
Venue: Proceedings of the 20th ACM conference on Hypertext and hypermedia (2009)

In this paper we present an open namespace for web resources under the URI scheme to://. It is a web indirection service that converts URLs-to-URLs (i.e. to:// -> http://) and introduces the novel concept of Web Top Level Domains (wTLDs). Every wTLD like to://hypertext refers to an URL like http://www.ht2009.org and it is possible to resolve subdomains under these wTLDs (to://2008.hypertext, to://proceedings.2008.hypertext). The overall architecture is based on browser plugins and web server software using standard protocols like HTTP and XML to resolve domains under the to:// URI scheme. Furthermore, the infrastructure also provides an open search engine over domain names using meta-information like tags or geo-location. We present a running prototype of this system called Socialdns.net hosting more than 2,000 domains.
Statistical process control in SMES: a case study
Authors: Mohd Nizam AB Rahman, Rosmaizura Mohd Zain, Zulkifli Mohd Nopiah, Jaharah A. Ghani, Baba Md. Deros, Nurhamidi Mohamad, Ahmad Rasdan Ismail
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

The importance of quality has been long recognised in the business environment in order to obtain or manufacture higher quality products. In a manufacturing environment, quality improves reliability, increases productivity and customer satisfaction. Quality in manufacturing requires the practices of Statistical Process Control (SPC). This paper addresses the case study on the implementation of SPC in eight SME companies. The case study involves interviews and questionnaire surveys with the company representatives, as well as observations on their environment. This paper focuses on the result of the survey and its primary findings. The information gathered includes company background, applications and general information about SPC in the company, types and characteristics of SPC software and its development, problem and disadvantages of software, as well as advantages and suggestion of improvement for the SPC software. Other key issues which were felt to be crucial to this study will also be discussed. The results of the case studies have shown that the implementation of quality SPC has encountered some barriers related to system and management, attitude, organizational culture, machine and equipments, facilities, cost and training issues.
Answering web queries using structured data sources
Authors: Stelios Paparizos, Alexandros Ntoulas, John Shafer, Rakesh Agrawal
Venue: Proceedings of the 35th SIGMOD international conference on Management of data (2009)

In web search today, a user types a few keywords which are then matched against a large collection of unstructured web pages. This leaves a lot to be desired for when the best answer to a query is contained in structured data stores and/or when the user includes some structural semantics in the query. In our work, we include information from structured data sources into web results. Such sources can vary from fully relational DBs, to flat tables and XML files. In addition, we take advantage of information in such sources to automatically extract corresponding semantics from the query and use them appropriately in improving the overall relevance of results. For this demonstration, we show how we effectively capture, annotate and translate web user queries such as 'popular digital camera around $425' returning results from a shopping-like DB.
Advances in AOP with AspectC++
Authors: Olaf Spinczyk, Daniel Lohmann, Matthias Urban
Venue: Proceeding of the 2005 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 (2005)

Often declared dead or at least dying, C/C++ is still the lingua franca of many application domains. Aspect-Oriented Programming (AOP) is a programming paradigm that supports the modular implementation of crosscutting concerns. Thereby, AOP improves the maintainability, reusability, and configurability of software in general. Although already popular in the Java domain, AOP is still not commonly used in conjunction with C/C++. For a broad adoption of AOP by the software industry, it is crucial to provide solid language and tool support. However, research and tool development for C++ is known to be an extremely hard and tedious task, as the language is overwhelmed with interacting features and hard to analyze. Getting AOP into the C++ domain is not just technical challenge. It is also the question of integrating AOP concepts with the philosophy of the C++ language, which is very different from Java. This paper describes the design and development of the AspectC++ language and weaver, which brings fully-fledged AOP support into the C++ domain.
A tighter analysis of Piterman's Büchi determinization
Authors: Wanwei Liu, Ji Wang
Venue: Information Processing Letters (2009)

Determinization and complementation are two fundamental problems in automata theory. Very recently, Piterman improved Safra's determinization and, presented a new construction which produces parity automata with a smaller size. We give a tighter analysis on that determinization construction and show that the number of states of the resulting deterministic automaton is bounded by 2n(n!)^2 instead of 2n!n^n.
Fast low-memory streaming MLS reconstruction of point-sampled surfaces
Authors: Gianmauro Cuccuru, Enrico Gobbetti, Fabio Marton, Renato Pajarola, Ruggero Pintus
Venue: Proceedings of Graphics Interface 2009 (2009)

We present a simple and efficient method for reconstructing triangulated surfaces from massive oriented point sample datasets. The method combines streaming and parallelization, moving least-squares (MLS) projection, adaptive space subdivision, and regularized isosurface extraction. Besides presenting the overall design and evaluation of the system, our contributions include methods for keeping in-core data structures complexity purely locally output-sensitive and for exploiting both the explicit and implicit data produced by a MLS projector to produce tightly fitting regularized triangulations using a primal isosurface extractor. Our results show that the system is fast, scalable, and accurate. We are able to process models with several hundred million points in about an hour and outperform current fast streaming reconstructors in terms of geometric accuracy.