ppxscal/embedding_network huggingface dataset:
A Method for Classifying Vertices of Labeled Graphs Applied to Knowledge Discovery from Molecules
Authors: Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

The article proposes a generic method to classify vertices or edges of a labeled graph. More precisely the method computes a confidence index for each vertex v or edge e to be a member of a target class by mining the topological environments of v or e. The method contributes to knowledge discovery since it exhibits for each edge or vertex an informative environnement that explains the found confidence. When applied to the problem of discovering strategic bonds in molecules, the method correctly classifies most of the bonds while providing relevant explanations to chemists. The developed algorithm GemsBond outperforms both speed and scalability of the learning method that has previously been applied to the same application while giving similar results.
Tradeoffs between jamming resilience and communication efficiency in key establishment
Authors: David Slater, Radha Poovendran, Patrick Tague, Brian J. Matt
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (2009)

We address the problem of allowing authorized users, who do not preshare a common key, to effectively exchange key establishment messages over an insecure channel in the presence of jamming and message insertion attacks. In this work, we jointly consider the security and efficiency of key exchange protocols, focusing on the interplay between message fragmentation, jamming resilience, and verification complexity for protocol optimization. Finally, we present three fragment verification schemes and demonstrate through analysis and simulation that in comparison with existing approaches, they can significantly decrease the amount of time required for key establishment without degrading the guaranteed level of security.
Efficient tracking of objects with arbitrary 2D motions in space-variant imagery
Authors: M. Luis Puig, V. Javier Traver
Venue: Proceeding of the 2007 conference on Artificial Intelligence Research and Development (2007)

In the last few years, the biologically-motivated log-polar foveal imaging model has attracted the attention from the robot and computer vision communities. The advantages that log-polar images offer for target tracking and other activevision tasks have been explored and exploited. However, despite the progress made, the proposed systems have some limitations, or rely on some assumptions which may be violated in practical real scenarios. Estimating complex parametric motion models in space-variant imagery is an example of one problem still deserving further investigation, and just the focus of this paper. The proposed algorithm learns to relate a set of known motions with their corresponding visual manifestations for a given reference pattern. After learning, motion estimation becomes a very efficient, search-free process. Synthetic and real experiments provide evidence on the effectiveness of this approach for motion estimation and visual tracking using log-polar images.
Using checklists to review static analysis warnings
Authors: Nathaniel Ayewah, William Pugh
Venue: Proceedings of the 2nd International Workshop on Defects in Large Software Systems: Held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009) (2009)

Static analysis tools find silly mistakes, confusing code, bad practices and property violations. But software developers and organizations may or may not care about all these warnings, depending on how they impact code behavior and other factors. In the past, we have tried to identify important warnings by asking users to rate them as severe, low impact or not a bug. In this paper, we observe that the user's rating may be more complicated depending on whether the warning is feasible, changes code behavior, occurs in deployed code and other factors. To better model this, we ask users to review warnings using a checklist which enables more detailed reviews. We find that reviews are consistent across users and across checklist questions, though some users may disagree about whether to fix or filter out certain bug classes.
2D shape manipulation via topology-aware rigid grid
Authors: Wenwu Yang, Jieqing Feng
Venue: Computer Animation and Virtual Worlds (2009)

This paper presents a new method which allows user to manipulate a two-dimensional shape in an intuitive and flexible way. The shape is discretized as a regular grid. User places handles on the grid and manipulates the shape by moving the handles to the desired positions. To meet the constraints of the user's manipulation, the grid is then deformed in an as-rigid-as-possible way. However, this straightforward approach tends to produce unnatural deformations when the grid resolution is not high enough to capture the topological structure of the shape. In the proposed method, the regular grid is trimmed and only the cells that are inside the fatty regions of the shape are preserved, namely &ldquo;interior grid.&rdquo; When user manipulates the shape, the interior grid and the shape boundary curve are deformed with minimum distortions. To make the deformations of the interior grid and the boundary curve consistent, a junction energy is introduced. In this way, the unnatural deformation effects could be effectively removed and the physically plausible results can be obtained. Meanwhile, the proposed approach provides user an intuitive and simple way to adjust the shape global and local stiffnesses. The deformation is formulated as an energy minimization problem. The energy function is non-quadratic and could be efficiently solved using an iterative solver with the fast summation technique that exploits the interior grid and boundary curve regularities. In addition, the method could be easily extended to manipulate curves and stick figures. Experimental results demonstrate the capability and flexibility of the new method. Copyright &copy; 2009 John Wiley & Sons, Ltd. This paper presents a new method which allows user to manipulate a two-dimensional shape in an intuitive and flexible way. Based on a hybrid shape representation, the method can produce the natural deformation results subject to the user s constraints. Meanwhile, the proposed approach provides user an intuitive and simple way to adjust the shape global and local stiffnesses. In addition, the method could be easily extended to manipulate curves and stick figures.
A distributed model for digital personal environments management
Authors: José A. Lozano, Juan M. González, Álvaro Rodríguez, Declan O'Sullivan, Dave Lewis
Venue: Proceedings of the 6th international workshop on Managing ubiquitous communications and services (2009)

Digital Personal Environments (DPE) infrastructure is far from traditional end users' devices and its associated management is a big challenge for both Service Providers and Users. Due to the dynamic and heterogeneous nature of DPE, centralized management paradigms are no longer valid. This paper presents a new distributed paradigm that is based on Autonomic Communications principles and concepts to build self-managed environments. Semantic technologies are the cornerstone for the self-management paradigm. So as to effectively control DPEs, methods of governance must also be provided. Policies provide a high level language for users that can realize such governance. A proof of concept shows the feasibility of the new paradigmalthough some aspects need to be further developed, related for instance tothe lack of standardization and agreement in the industry.
A robust hit-or-miss transform for template matching applied to very noisy astronomical images
Authors: B. Perret, S. Lefèvre, Ch. Collet
Venue: Pattern Recognition (2009)

The morphological hit-or-miss transform (HMT) is a powerful tool for digital image analysis. Its recent extensions to grey level images have proven its ability to solve various template matching problems. In this paper we explore the capacity of various existing approaches to work in very noisy environments and discuss the generic methods used to improve their robustness to noise. We also propose a new formulation for a fuzzy morphological HMT which has been especially designed to deal with very noisy images. Our approach is validated through a pattern matching problem in astronomical images that consists of detecting very faint objects: low surface brightness galaxies. Despite their influence on the galactic evolution model, these objects remain mostly misunderstood by the astronomers. Due to their low signal to noise ratio, there is no automatic and reliable detection method yet. In this paper we introduce such a method based on the proposed hit-or-miss operator. The complete process is described starting from the building of a set of patterns until the reconstruction of a suitable map of detected objects. Implementation, running cost and optimisations are discussed. Outcomes have been examined by astronomers and compared to previous works. We have observed promising results in this difficult context for which mathematical morphology provides an original solution.
Effects of network communications on a class of learning controlled non-linear systems
Authors: Ya-Jun Pan, Horacio J. Marquez, Tongwen Chen, Long Sheng
Venue: International Journal of Systems Science (2009)

In this article, an iterative learning control approach is proposed for a class of sampled-data non-linear systems over network communication channels. The effects of constant time delays and stochastic packet loss are discussed and demonstrated by simulation results. The focus of this article is to study the remote control problems when the environment is periodic or repeatable over iterations in a fixed finite interval. Because of the existence of time delays and packet loss in input and output signal transmissions, it is not trivial to accomplish the remote stabilisation task of any system. Moreover, to track a desired trajectory through a remote controller is even more difficult. Previous cycle-based learning method is incorporated into the network-based control for a class of non-linear systems which satisfies a global Lipschitz condition. The convergence property of this approach is proven. Furthermore, the convergence in the iteration domain is also discussed when there exists packet loss in both transmission channels of the system. Finally, one single-link rigid robot is given as an example to show the effectiveness of the proposed approach.
Inter-search engine lexical signature performance
Authors: Martin Klein, Michael L. Nelson
Venue: Proceedings of the 9th ACM/IEEE-CS joint conference on Digital libraries (2009)

We generate lexical signatures (LSs) from web pages and acquire the mandatory document frequency values from three dierent search engine (SE) indexes. We cross-query the LSs against the two SEs they were not generated from and compare the retrieval performance by parsing the result set and analyzing the rank of the source URL.
A Framework for Creating and Using Maps of Privately Owned Spaces
Authors: Steven Shafer
Venue: Proceedings of the 4th International Symposium on Location and Context Awareness (2009)

The Facility Map Framework (FMF) is a new system of specifications and software for maps of privately owned spaces --- campus, building, room detail, and shelf or rack. Based on a generic object model, FMF supports map authoring from CAD or other drawings, asset databases and location sensor systems, map access through browsers or applications, and development of application programs. FMF can integrate existing system components to support interoperability and extensibility, and has features to address a number of additional engineering problems in location systems for private spaces. FMF is a work in progress, with many key elements implemented and others currently under design. Several demos are now in place, representing a variety of different scenarios for using indoor maps. This paper gives an overview of the system components and a number of the engineering challenges and solutions; it represents a progress report on this evolving project.
Web based presentation of semantically tagged 3D content for public sculptures and monuments in the UK
Authors: Karina Rodriguez-Echavarria, David Morris, David Arnold
Venue: Proceedings of the 14th International Conference on 3D Web Technology (2009)

The documentation and presentation of 3D digital content is a critical but non-trivial task for the Cultural Heritage sector. Curators are often faced with the task of cataloguing every piece of heritage and maintaining the resulting information in such a way which is suitable for scholarly research and public dissemination. Hence, the integration of 3D content poses additional challenges. This paper introduces research conducted to integrate semantically tagged 3D content to the catalogue acquired within the Public Monuments and Sculpture Association's National Recording Project (NRP) in the UK. This research involves the combination of graphical APIs and semantic technologies in order to integrate 3D content with semantic tags in a web browser. Although the initial results are still experimental; it is expected that they will support scholarly research and public dissemination by presenting a variety of integrated documentation on the project website: http://www.publicsculpturesofsussex.co.uk
Constraint Authoring System: An Empirical Evaluation
Authors: Pramuditha Suraweera, Antonija Mitrovic, Brent Martin
Venue: Proceeding of the 2007 conference on Artificial Intelligence in Education: Building Technology Rich Learning Contexts That Work (2007)

Evaluation is an integral part of research that provides a true measure of effectiveness. This paper presents a study conducted to evaluate the effectiveness of CAS, a knowledge acquisition authoring system developed for generating the domain knowledge required for constraint-based tutoring systems with the assistance of a domain expert. The study involved a group of novice ITS authors composing domain models for adding two fractions. The results of the study showed that CAS was capable of generating highly accurate knowledge bases with considerably less effort than the effort required in manual composition.
Markovian workload modeling for Enterprise Application Servers
Authors: Nima Sharifimehr, Samira Sadaoul
Venue: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering (2009)

Performance analysis of Enterprise Application Servers (EAS) plays a critical role in all e-business enterprises. Workload modeling is considered as a powerful performance analysis tool. In this paper we employ our Dynamic Semi-Markov Model (DSMM) to efficiently model the incoming workload toward EAS. Firstly we offer a similarity operator to prevent the redundancy in a repository of workload models. Secondly we propose a generic modeling component to facilitate workload modeling for any EAS based on DSMM. Afterwards we present evaluation results to show the applicability of the proposed solution on these complex EAS systems.
Advances in Information Systems Development, 1st edition
Authors: Gabor Knapp, Gabor Knapp, Gregory Wojtkowski, Joze Zupancic, Stanislaw Wrycza
Venue:  (2007)

Information Systems Development (ISD) progresses rapidly, continually creating new challenges for the professionals involved. New concepts, approaches and techniques of systems development emerge constantly in this field. Progress in ISD comes from research as well as from practice. The aim of the Conference is to provide an international forum for the exchange of ideas and experiences between academia and industry, and to stimulate exploration of new solutions.
The Lifting Scheme for Multiresolution Wavelet-Based Transformation of Surface Meshes with Additional Attributes
Authors: Agnieszka Szczesna
Venue: Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers (2008)

There are a variety of applications areas that take advantage of the availability of three-dimensional data sets. These objects are represented as complex polygonal surfaces formed by hundreds of thousands of polygons, which causes a significant increase in the cost of storage, transmission and visualisation. Such models are usually not only geometrically complex, but they may also have various surface properties such as colour, textures and temperature, etc. This paper presents a extension of lifting scheme for the multiresolution decomposition and reconstruction of irregular triangle surface meshes with additional attributes.
Adaptive speech quality in voice-over-ip communications
Authors: Evgeny Myakotnykh
Venue:  (2008)

The quality of VoIP communication relies significantly on the network that transports the voice packets because this network does not usually guarantee the available bandwidth, delay, and loss that are critical for real-time voice traffic. The solution proposed here is to manage the voice-over-IP stream dynamically, changing parameters as needed to assure quality. The main objective of this dissertation is to develop an adaptive speech encoding system that can be applied to conventional (telephony-grade) and wideband voice communications. This comprehensive study includes the investigation and development of three key components of the system. First, to manage VoIP quality dynamically, a tool is needed to measure real-time changes in quality. The E-model, which exists for narrowband communication, is extended to a single computational technique that measures speech quality for narrowband and wideband VoIP codecs. This part of the dissertation also develops important theoretical work in the area of wideband telephony. The second system component is a variable speech-encoding algorithm. Although VoIP performance is affected by multiple codecs and network-based factors, only three factors can be managed dynamically: voice payload size, speech compression and jitter buffer management. Using an existing adaptive jitter-buffer algorithm, voice packet-size and compression variation are studied as they affect speech quality under different network conditions. This study explains the relationships among multiple parameters as they affect speech transmission and its resulting quality. Then, based on these two components, the third system component is a novel adaptive-rate control algorithm that establishes the interaction between a VoIP sender and receiver, and manages voice quality in real-time. Simulations demonstrate that the system provides better average voice quality than traditional VoIP. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Hands on what?: comparing children's mouse-based and tangible-based interaction
Authors: Alissa N. Antle, Milena Droumeva, Daniel Ha
Venue: Proceedings of the 8th International Conference on Interaction Design and Children (2009)

We investigate the similarities and differences -- in terms of quantitative performance and qualitative behaviors -- between how children solve an object manipulation task using mouse-based input versus tangible-based input. This work examines the assumption common in tangible computing that direct physical manipulation is beneficial for certain spatial tasks. We describe an ecologically valid comparison of mouse-based versus tangible-based input for a jigsaw puzzle task in order to better understand the tradeoffs in choosing input and interaction styles. We include a traditional cardboard puzzle for comparative purposes. The results of an experiment with 132 children indicate children are more successful and faster at solving puzzles using a tangible-based approach. Detailed temporal analysis indicates that pairs in the tangible group spend most of their time using a combination of epistemic and pragmatic actions which support mental problem solving. Conversely, pairs in the mouse group use an ineffective trial and error strategy.
An Online Approach for Mining Collective Behaviors from Molecular Dynamics Simulations
Authors: Arvind Ramanathan, Pratul K. Agarwal, Maria Kurnikova, Christopher J. Langmead
Venue: Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology (2009)

Collective behavior involving distally separate regions in a protein is known to widely affect its function. In this paper, we present an online approach to study and characterize collective behavior in proteins as molecular dynamics simulations progress. Our representation of MD simulations as a stream of continuously evolving data allows us to succinctly capture spatial and temporal dependencies that may exist and analyze them efficiently using data mining techniques. By using multi-way analysis we identify (a) parts of the protein that are dynamically coupled, (b) constrained residues/ hinge sites that may potentially affect protein function and (c) time-points during the simulation where significant deviation in collective behavior occurred. We demonstrate the applicability of this method on two different protein simulations for barnase and cyclophilin A. For both these proteins we were able to identify constrained/ flexible regions, showing good agreement with experimental results and prior computational work. Similarly, for the two simulations, we were able to identify time windows where there were significant structural deviations. Of these time-windows, for both proteins, over 70% show collective displacements in two or more functionally relevant regions. Taken together, our results indicate that multi-way analysis techniques can be used to analyze protein dynamics and may be an attractive means to automatically track and monitor molecular dynamics simulations.
Experimental Evaluation of Protein Secondary Structure Predictors
Authors: Luca Miceli, Luigi Palopoli, Simona E. Rombo, Giorgio Terracina, Giuseppe Tradigo, Pierangelo Veltri
Venue: Proceedings of the 9th International Conference on Computational Science: Part I (2009)

Understanding protein biological function is a key issue in modern biology, which is largely determined by its 3D shape. Protein 3D shape, in its turn, is functionally implied by its amino acid sequence. Since the direct inspection of such 3D structures is rather expensive and time consuming, a number of software techniques have been developed in the last few years that predict a spatial model, either of the secondary or of the tertiary form, for a given target protein starting from its amino acid sequence.This paper offers a comparison of several available automatic secondary structure prediction tools. The comparison is of the experimental kind, where two relevant sets of proteins, a non-redundant one including 100 elements, and a 180-protein set taken from the CASP 6 contest, were used as test cases. Comparisons have been based on evaluating standard quality measures, such as the Q3 and SOV. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Adobe Photoshop CS3: Introductory Concepts and Techniques, 1st edition
Authors: Gary B. Shelly, Thomas J. Cashman, Joy L. Starks
Venue:  (2008)

This brand new comprehensive text follows the proven Shelly Cashman step-by-step, screen-by-screen approach to learning Photoshop CS3. Readers will learn Photoshop CS3 skills as well as graphic design concepts.