ppxscal/embedding_network huggingface dataset:
Mobile human-robot teaming with environmental tolerance
Authors: Matthew M. Loper, Nathan P. Koenig, Sonia H. Chernova, Chris V. Jones, Odest C. Jenkins
Venue: Proceedings of the 4th ACM/IEEE international conference on Human robot interaction (2009)

We demonstrate that structured light-based depth sensing with standard perception algorithms can enable mobile peer-to-peer interaction between humans and robots. We posit that the use of recent emerging devices for depth-based imaging can enable robot perception of non-verbal cues in human movement in the face of lighting and minor terrain variations. Toward this end, we have developed an integrated robotic system capable of person following and responding to verbal and non-verbal commands under varying lighting conditions and uneven terrain. The feasibility of our system for peer-to-peer HRI is demonstrated through two trials in indoor and outdoor environments.
A Mathematical Foundation for Chord Overlays
Authors: Golnaz Vakili, S. Mehdi Hashemi, Siavash Khorsandi
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

Organizing nodes in a peer-to-peer (P2P) overlay while preserving its congruence with its underlying physical topology is important to reduce the communication cost between nodes. Chord as one of the well-known P2P overlay structures does not consider topology-awareness in its original design. In this paper, we propose a globally optimized overlay construction scheme for making Chord topology-aware through modeling it as a Traveling Salesman optimization problem.
Where is technology taking us in data processing systems?
Authors: Bernard J. Greenblott, Mu Y. Hsiao
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

During the past decades progress in LSI for logic and storage implies the following for data processing systems: (i) Cost reduction for a given function; (ii) Complexity increasing which also implies Capability and Performance increase; (iii) Reliability increase; (iv) Mass production capability handled by automated processes; and (v) Reduction in physical size. Similarly, in magnetic recording technological progress toward an increase in areal density of storage has the following implications: (i) Cost reduction per bit stored; (ii) Mass on-line storage is possible and practical; (iii) Performance improvement; and (iv) Reduction in physical size.
MPSoC Design Using Application-Specific Architecturally Visible Communication
Authors: Theo Kluter, Philip Brisk, Edoardo Charbon, Paolo Ienne
Venue: Proceedings of the 4th International Conference on High Performance Embedded Architectures and Compilers (2008)

This paper advocates the placement of Architecturally Visible Communication (AVC) buffers between adjacent cores in MPSoCs to provide high-throughput communication for streaming applications. Producer/consumer relationships map poorly onto cache-based MPSoCs. Instead, we instantiate application specific AVC buffers on top of a distributed consistent and coherent cache-based system with shared main memory to provide the desired functionality. Using JPEG compression as a case study, we show that the use of AVC buffers in conjunction with parallel execution via heterogeneous software pipelining provides a speedup of as much as 4.2x compared to a baseline single processor system, with an increase in estimated memory energy consumption of only 1.6x. Additionally, we describe a method to integrate the AVC buffers into the L1 cache coherence protocol; this allows the runtime system to guarantee memory safety and coherence in situations where the parallelization of the application may be unsafe due to pointers that could not be resolved at compile time.
Evaluation of the effects of the shape of the artificial hand on the quality of the interaction: natural appearance vs. symbolic appearance
Authors: Massimiliano Zecca, Fumiya Iida, Nobutsuna Endo, Yu Mizoguchi, Keita Endo, Yousuke Kawabata, Kazuko Itoh, Atsuo Takanishi
Venue: Proceedings of the 4th ACM/IEEE international conference on Human robot interaction (2009)

Personal robots and robot technology (RT)-based assistive devices are expected to play a major role in our elderly-dominated society, by interacting with surrounding people both physically and psychologically. A fundamental role during the interaction is of course played by the hand. In this paper we present the evaluation of the effect of hand shape to the quality of the interaction, in particular during handshake.
Assessment of maximum loadability point for static voltage stability studies using evolutionary programming
Authors: Abdul Rahman Minhat, Ismail Musirin, Muhammad Murtadha Othman, Mohamad Khayat Idris
Venue: Proceedings of the 6th conference on Applications of electrical engineering (2007)

This paper presents a critical evaluation of maximum loadability point identification in a power system network. The study involved maximum loadability identification on individual load bus and simultaneous increase at several load buses. This is to identify the strength of the system when single load increase was performed to the system as compared to multi-load increase. To obtain the optimum load values prior to voltage instability occurrence; Evolutionary Programming (EP) technique is introduced as the optimization technique. Results obtained from the studies revealed that the implementation of EP in identifying the optimal point of single maximum loadability and also for the several load increase are very accurate indicated by FVSI close to 0.95 as the reference ceiling value. It was also discovered that, the maximum loadability point of a single load is higher as compared to load simultaneous load increase at several load buses. This due to the fact that, the system can sustain higher load if only one load is subjected to loading variation, while considering other load buses maintained at the base case condition. The proposed EP technique was validated on the IEEE Reliability Test System and promising results were produced. Comparative studies performed with respect to artificial immune system (AIS) and automatic voltage stability analysis (AVSA) had revealed that EP outperformed both techniques in terms of accuracy and computation times.
MINEC: A Framework on Incentive Routing in Wireless Mesh Networks
Authors: Boubacar Kimba Dit Adamou, Shihong Zou, Shiduan Cheng
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 02 (2009)

In Wireless Mesh Networks (WMNs), to provide Internet connection, packets originating from mesh clients are relayed through multihops by the mesh routers (MRs) towards the Internet Gateway (IGW). As MRs may belong to different entities, in the aim to provide sufficient Internet throughput to its clients or avoid traffic congestion, a selfish MR fully or partially drops the relay packets oriented towards the IGW. This Non-cooperative behavior severely degrades WMNs performance. In this paper to solve this MRs selfishness behavior, we propose a MRs-placement based incentive routing with network coding (MINEC) between MRs of different ownership and IGW. Through analysis and extensive simulations, we show how our design can increase the network throughput in the presence of such selfish MRs and better ameliorates network performance compared to oblivious routing for WMNs (OBR) without any incentive.
Domain Ontology Based Automatic Question Answering
Authors: Jibin Fu, Jinzhong Xu, Keliang Jia
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 02 (2009)

In the paper, we introduce a music knowledge question answering system based on ontology knowledge base. Users can propose a question about music knowledge in natural language, the system automatically extract relative knowledge to form answer based on FAQ (Frequently Asked Questions) and ontology knowledge base, and return the answer to users in natural language. The important modules in the question answering system are introduced in the paper. The domain ontology is base stone of the system. The improved Bayesian method based on ontology is adopted to classify the questions. The questions are located by index and search technology in FAQ firstly; it can rapidly locate the question and return answer. For question outside of FAQ, semantic meaning of questions need to be analyze, the question semantic representation method is adopted in the process. Two strategies are adopted to extract answer knowledge, and return the answer in natural language. Experimental results show that the system is effective in answering the question in music knowledge domain.
A minima tracking variant of semi-infinite programming for the treatment of path constraints within direct solution of optimal control problems
Authors: Andreas Potschka, Hans Georg Bock, Johannes P. Schloder
Venue: Optimization Methods Software (2009)

We present an extension of the direct multiple shooting method for the solution of optimal control problems with path constraints. The extension allows for fully automatic and accurate treatment of path constraints in case of relatively coarse discretizations of the control while maintaining a prescribed resolution of the system dynamics. It is based on a reduction principle from classical theory of semi-infinite programming. On the basis of these theoretical foundations the minima tracking algorithm is designed. We theoretically and numerically compare this method with a sampling technique. The numerical test case is a well-known, difficult space shuttle reentry benchmark problem.
User experience (UX): towards an experiential perspective on product quality
Authors: Marc Hassenzahl
Venue: Proceedings of the 20th International Conference of the Association Francophone d'Interaction Homme-Machine (2008)

User Experience (UX) is not just "old wine in new bottles". It is a truly extended and distinct perspective on the quality of interactive technology: away from products and problems to humans and the drivers of positive experience. This paper will present my particular perspective on UX and will discuss its implications for the field of Human-Computer Interaction.
WebELS: A Multimedia E-learning Platform for Non-broadband Users
Authors: Zheng He, Jingxia Yue, Haruki Ueno
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

In this paper, a multimedia-support e-learning platform called WebELS (Web-based E-Learning System) for non-broadband users is introduced. The system includes three main modules: editor, player and manager. Both asynchronous and synchronous e-learning are supported on this platform. Moreover, some technologies are implemented to make the multimedia contents possible for users without wideband network at hand: the multimedia content was converted into slide serials synchronized with audio and cursor action, the multimedia content download is streaming-like, and an offline player was embedded into the multimedia content.
Publishing Sensitive Transactions for Itemset Utility
Authors: Yabo Xu, Benjamin C. M. Fung, Ke Wang, Ada W. C. Fu, Jian Pei
Venue: Proceedings of the 2008 Eighth IEEE International Conference on Data Mining (2008)

We consider the problem of publishing sensitive transaction data with privacy preservation. High dimensionality of transaction data poses unique challenges on data privacy and data utility. On one hand, re-identification attacks tend to use a subset of items that infrequently occur in transactions, called moles. On the other hand, data mining applications typically depend on subsets of items that frequently occur in transactions, called nuggets. Thus the problem is how to eliminate all moles while retaining nuggets as much as possible. A challenge is that moles and nuggets are multi-dimensional with exponential growth and are tangled together by shared items. We present a novel and scalable solution to this problem. The novelty lies in a compact border data structure that eliminates the need of generating all moles and nuggets.
Feature extraction methods in machine vision systems
Authors: Ryszard S. Choras
Venue: Proceedings of the 8th conference on Signal processing, computational geometry and artificial vision (2008)

The machine vision systems have not only to "see" where an object is placed and how it is placed but sometimes also to identify the object. A visual system can perform the following functions: the image acquisition and analysis, the recognition of an object or objects within an object groups. In machine vision systems, visual features such as shape, color and texture are extracted to characterize images. Each of the features is represented using one or more feature descriptors. The feature extraction methods for this applications are discussed.
Heterogeneous Data Integration and Presentation in Multimedia Database Management Systems
Authors: Raymond K. Wong
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

Integration of multimedia data, which might be of different types or from different sources, still requires huge and tedious effort. To support effective management of multimedia information, management of information content should be separate from management of the data which specify the parameters of the presentation form. Moreover, adequate support on structural and behavioral extension of multimedia objects would be crucial as multimedia authors frequently change or extend their objects from one form to another. This paper presents the support of dynamic extension and multifacet modeling of multimedia objects in an object-role database system called DOOR. Structural and behavioral extensions of multimedia objects are achieved by dynamic role playing. Type information and conversion functions can be encapsulated in roles such that type heterogeneity can be handled transparent to end-users. Finally presentation interfaces are modeled by means of views.
Verifying Robocup Teams
Authors: Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
Venue: Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (2009)

Verification of multi-agent systems is a challenging task due to their dynamic nature, and the complex interactions between agents. An example of such a system is the RoboCup Soccer Simulator, where two teams of eleven independent agents play a game of football against each other. In the present article we attempt to verify a number of properties of RoboCup football teams, using a methodology involving testing. To accomplish such testing in an efficient manner we use the McErlang model checker, as it affords precise control of the scheduling of the agents, and provides convenient access to the internal states and actions of the agents of the football teams.
Normal cone approximation and offset shape isotopy
Authors: Frédéric Chazal, David Cohen-Steiner, André Lieutier
Venue: Computational Geometry: Theory and Applications (2009)

This work addresses the problem of the approximation of the normals of the offsets of general compact sets in Euclidean spaces. It is proven that for general sampling conditions, it is possible to approximate the gradient vector field of the distance to general compact sets. These conditions involve the @m-reach of the compact set, a recently introduced notion of feature size. As a consequence, we provide a sampling condition that is sufficient to ensure the correctness up to isotopy of a reconstruction given by an offset of the sampling. We also provide a notion of normal cone to general compact sets that is stable under perturbation.
A General Data Hiding Framework and Multi-level Signature for Binary Images
Authors: Huijuan Yang, Alex C. Kot
Venue: Proceedings of the 6th International Workshop on Digital Watermarking (2008)

This paper reviews techniques for binary images data hiding and watermarking and proposes a general framework for authentication purposes. Finally, a multi-level signature scheme is presented, which is effective to detect malicious tamperings conducted to an image.
Tactile motion instructions for physical activities
Authors: Daniel Spelmezan, Mareike Jacobs, Anke Hilgers, Jan Borchers
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

While learning new motor skills, we often rely on feedback from a trainer. Auditive feedback and demonstrations are used most frequently, but in many domains they are inappropriate or impractical. We introduce tactile instructions as an alternative to assist in correcting wrong posture during physical activities, and present a set of full-body vibrotactile patterns. An initial study informed the design of our tactile patterns, and determined appropriate locations for feedback on the body. A second experiment showed that users perceived and correctly classified our tactile instruction patterns in a relaxed setting and during a cognitively and physically demanding task. In a final experiment, snowboarders on the slope compared their perception of tactile instructions with audio instructions under real-world conditions. Tactile instructions achieved overall high recognition accuracy similar to audio instructions. Moreover, participants responded quicker to instructions delivered over the tactile channel than to instructions presented over the audio channel. Our findings suggest that these full-body tactile feedback patterns can replace audio instructions during physical activities.
Models for software defects and testing strategies
Authors: Tapan P. Bagchi
Venue: ACM SIGSOFT Software Engineering Notes (2009)

This note analytically assesses the risk of releasing defective software that cannot be exhaustively tested, and of needlessly testing defect-free software. Specifically, it quantifies the probability of committing Type I (α) and Type II errors (β) in software development when one may release software that still is faulty or do needless testing since the test methods themselves may not be perfect. The study uses Truncated-Poisson and geometric distributed path lengths and Bernoulli-type inspection errors to link α and β to software design features, the development philosophies employed, and certain aspects that include code quality, cyclomatic complexity and the average length of basis paths. For risk reduction this study finds quantitative justification for raising test coverage, perfecting the test methods, the adoption of recent innovations and programming methods such as component-based design, SOA and XP as ways to raise the likelihood that the product developed will be fault free. Results are relatively robust with respect to the probability distributions assumed.
Fast simulation of ultrasound images from a CT volume
Authors: Jean-Louis Dillenseger, Soizic Laguitton, íric Delabrousse
Venue: Computers in Biology and Medicine (2009)

The goal of our work is to propose a fast ultrasound image simulation from CT volumes. This method is based on a model elaborated by Bamber and Dickinson that predict the appearance and properties of a B-Scan ultrasound image from the distribution of point scatterers. We propose to extend this model for the standard medical ultrasound image simulation by taking into account the acoustical tissue properties (scatterer distribution) and the geometry and the specifications of the ultrasound probe (circular probe, number and size of transducers, US pulse frequency and bandwidth, etc.). Simulations have been obtained in a fairly fast computation speed and qualitatively they present most of the real ultrasound image characteristics.
A variant of the tandem duplication — random loss model of genome rearrangement
Authors: Mathilde Bouvel, Dominique Rossin
Venue: Theoretical Computer Science (2009)

In [K. Chaudhuri, K. Chen, R. Mihaescu, S. Rao, On the tandem duplication-random loss model of genome rearrangement, in: SODA, 2006, pp. 564-570], Chaudhuri, Chen, Mihaescu and Rao study algorithmic properties of the tandem duplication - random loss model of genome rearrangement, well-known in evolutionary biology. In their model, the cost of one step of duplication-loss of width k is &alpha;k for &alpha;=1 or &alpha;&ge;2. In this paper, we study a variant of this model, where the cost of one step of width k is 1 if k&le;K and &infin; if k>K, for any value of the parameter K&epsilon;ℕ&cup;{&infin;}. We first show that permutations obtained after p steps of width K define classes of pattern-avoiding permutations. We also compute the numbers of duplication-loss steps of width K necessary and sufficient to obtain any permutation of Sn, in the worst case and on average. In this second part, we may also consider the case K=K(n), a function of the size n of the permutation on which the duplication-loss operations are performed.
An approach for the identification of diffusion coefficients in the quasi-steady state of a post-discharge nitriding process
Authors: A. Fraguela, J. A. Gómez, F. Castillo, J. Oseguera
Venue: Mathematics and Computers in Simulation (2009)

This work presents a model for the nitrogen concentration in iron nitride layers at the quasi-steady state and a method for computing the diffusion coefficients for post-discharge nitriding. The method is based upon an inverse problem of coefficient identification. The related moving boundary diffusion problem is modeled assuming constant diffusion coefficients and taking into account the observed qualitative behavior of the post-discharge nitriding process. To develop an algorithm for the identification of the diffusion coefficients the solution of the least square problem is transformed, with some algebraic manipulations, into a simple geometrical rule.
The star user interface: an overview
Authors: David Canfield Smith, Charles Irby, Ralph Kimball, Eric Harslem
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

In April 1981 Xerox announced the 8010 Star Information System, a new personal computer designed for office professionals who create, analyze, and distribute information. The Star user interface differs from that of other office computer systems by its emphasis on graphics, its adherence to a metaphor of a physical office, and its rigorous application of a small set of design principles. The graphic imagery reduces the amount of typing and remembering required to operate the system. The office metaphor makes the system seem familiar and friendly; it reduces the alien feel that many computer systems have. The design principles unify the nearly two dozen functional areas of Star, increasing the coherence of the system and allowing user experience in one area to apply in others.