ppxscal/embedding_network huggingface dataset:
A Survey of User-Experience Development at Enterprise Software Companies
Authors: Aaron Marcus, Jeremy Ashley, Clause Knapheide, Arnie Lund, Dan Rosenberg, Karel Vredenburg
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

Developers worldwide wish to understand what major companies are doing in user-experience development (UXD). UXD comprises activities in user-centered design of user experience, specifically user-interface development (metaphors, mental models, navigation, interaction, and appearance) that is useful for planning, research, analysis, design, implementation, evaluation, and documentation of products/services across a wide number of platforms. This paper reports the results of a survey conducted with six enterprise software companies.
Application of Total-Field/Scattered-Field Technique to 3D-MRTD Scattering Scheme
Authors: Gao Qiangye, Cao Qunsheng, Zhou Jianjiang
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

A total-field/scattered-field (TF/SF) technique is developed to introduce an incident plane wave in three-dimensional multiresolution time-domain (3D-MRTD) scattering scheme. Daubechies' compactly supported wavelet with two vanishing wavelet moments is used as spatial basis function to expand the field components in the MRTD scheme, and Yee's leap-frog approach is applied. To verify the feasibility of this method, the numerical experiments on a dielectric sphere illuminated by a time-harmonic plane wave and a conducting sphere illuminated by a transient plane wave are implemented, and the radar cross section (RCS) of the two sphere and near fields of the conducting sphere are presented. The results show that this method is very feasible and the MRTD computed results agree well with those of the analytical Mie-series solution.
Geo-centric language models for local business voice search
Authors: Amanda Stent, Ilija Zeljković, Diamantino Caseiro, Jay Wilpon
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

Voice search is increasingly popular, especially for local business directory assistance. However, speech recognition accuracy on business listing names is still low, leading to user frustration. In this paper, we present a new algorithm for geo-centric language model generation for local business voice search for mobile users. Our algorithm has several advantages: it provides a language model for any user in any location; the geographic area covered by the language model is adapted to the local business density, giving high recognition accuracy; and the language models can be pre-compiled, giving fast recognition time. In an experiment using spoken business listing name queries from a business directory assistance service, we achieve a 16.8% absolute improvement in recognition accuracy and a 3-fold speedup in recognition time with geocentric language models when compared with a nationwide language model.
The Method of User's Requirement Analysis by Participation of the User: Constructing an Information System for Travelers
Authors: Chia-Yin Lin, Makoto Okamoto
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This study attempts to capture the problems discovered on a field trip and to clarify user requirements with the participation of the user. With Mobile AP II, a platform for gathering user information and communication, user and designer can discuss issues so that user requirements can be specified from the context of the situation. In addition, we use narrative factors based on user experience and activity to make modeling scenarios easy to organize. In this study, we discovered how helpful it is to share information and to communicate via Mobile AP II, and that scenarios could be built using narrative factors to analyze the context of information systematically.
Demo abstract: Fusion of audio and image information for efficient object detection and capture
Authors: Damien O'Rourke, Darren Moore, Tim Wark
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

Wireless sensor networks are rapidly evolving from their early roles of networks returning simple scalar measurements into a wide variety of new applications requiring the processing of more complex signals such as audio or video. Given the resource and bandwidth constraints frequently present within sensor networks, new research questions are now arising as to how to deal with this type of information within the network.
On the Universal Computing Power of Amorphous Computing Systems
Authors: Ji&#x0159;&#x00ed; Wiedermann, Luk&#x00e1;&#x0161; Petr&#x016f;
Venue: Theory of Computing Systems (2009)

Amorphous computing differs from the classical ideas about computations almost in every aspect. The architecture of amorphous computers is random, since they consist of a plethora of identical computational units spread randomly over a given area. Within a limited radius the units can communicate wirelessly with their neighbors via a single-channel radio. We consider a model whose assumptions on the underlying computing and communication abilities are among the weakest possible: all computational units are finite state probabilistic automata working asynchronously, there is no broadcasting collision detection mechanism and no network addresses. We show that under reasonable probabilistic assumptions such amorphous computing systems can possess universal computing power with a high probability. The underlying theory makes use of properties of random graphs and that of probabilistic analysis of algorithms. To the best of our knowledge this is the first result showing the universality of such computing systems.
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
Authors: Nurlida Basir, Ewen Denney, Bernd Fischer
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certified safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certification system and its individual components.
HPVZ: A High Performance Virtual Computing Environment for Super Computers
Authors: Kai Lu, Wanqing Chi, Yongpeng Liu, Hongwei Tang
Venue: Proceedings of the 8th International Symposium on Advanced Parallel Processing Technologies (2009)

Because of the features of isolation, security and consolidation, virtual machine technology is widely used in data center for server consolidation, which can support different operating systems or different isolated applications running on a single server. Besides this usage scenario on server systems, there are other scenarios that require more performance, isolation and security than consolidation. Such scenarios include HPC and Cluster for scientific computing. Because of the particularity of system architectures and usage requirements, existing virtual machine techniques cannot be used in HPC directly. Aiming to provide the features of architecture and requirements for HPC, we present a virtual machine technique for HPC system named High Performance Virtual Zone(HPVZ). HPVZ technique is the first complete solution for virtualization of HPC systems, and can provide users an isolated and secure running environment based on the structure of the HPC system. The evaluation shows that the HPVZ technique is the most cost-effective for HPC, compared to other virtual machine techniques.
Introduction
Authors: Alex Szalay, Djoerd Hiemstra, Alfons Kemper, Manuel Prieto
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

Euro-Par Topic 5 addresses data management issues in parallel and distributed computing. Advances in data management (storage, access, querying, retrieval, mining) are inherent to current and future information systems. Today, accessing large volumes of information is a reality: Data-intensive applications enable huge user communities to transparently access multiple pre-existing autonomous, distributed and heterogeneous resources (data, documents, images, services, etc.). Data management solutions need efficient techniques for exploiting and mining large datasets available in clusters, peer to peer and Grid architectures. Parallel and distributed file systems, databases, data warehouses, and digital libraries are a key element for achieving scalable, efficient systems that will cost-effectively manage and extract data from huge amounts of highly distributed and heterogeneous digital data repositories.
Continuing to Improve Telemetry Data Accessibility
Authors: A. Li, E. Hu, C. Olson
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

Mission operations personnel require decommutation, plotting, and statistical software to perform ad-hoc data analysis on archived telemetry data to ensure mission integrity and normality. Therefore, our goal is to provide software solutions to assist in telemetry accessibility. In this paper, we describe our continuing efforts to improve telemetry data accessibility by enhancing the Second Level Archive, as presented in SMC-IT 2006, by simplifying the data analysis process and improving the plotting performance.
Argument theory change applied to defeasible logic programming
Authors: Martín O. Moguillansky, Nicolás D. Rotstein, Marcelo A. Falappa, Alejandro J. García, Guillermo R. Simari
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

In this article we work on certain aspects of the belief change theory in order to make them suitable for argumentation systems. This approach is based on Defeasible Logic Programming as the argumentation formalism from which we ground the definitions. The objective of our proposal is to define an argument revision operator that inserts a new argument into a defeasible logic program in such a way that this argument ends up undefeated after the revision, thus warranting its conclusion. In order to ensure this warrant, the defeasible logic program has to be changed in concordance with a minimal change principle. Finally, we present an algorithm that implements the argument revision operation.
Log-polar height maps for multiple range image registration
Authors: Takeshi Masuda
Venue: Computer Vision and Image Understanding (2009)

We propose a method for coarse registration of multiple range images that uses a log-polar height map (LPHM) as the key for establishing correspondence. The LPHM is a local height map orthogonally mapped on the tangent plane with the log-polar coordinate system. The input range images are roughly represented by signed distance field (SDF) samples. For each SDF sample, an LPHM is generated and is converted to an invariant feature vector. Point correspondence is established by a nearest neighbor search in feature space. The RANSAC algorithm is applied on the corresponding point pairs between each pair of range images, and the pairwise registration of input range images is determined by the extracted inlier point pairs. Finally, the global registration is determined by constructing a view tree, which is the spanning tree that maximizes the total number of inlier point pairs. The result of coarse registration is used as the initial state of the fine registration and modeling. The proposed method was tested on multiple real range image datasets.
Development of an Annotation-Based Classroom Activities Support Environment Using Digital Appliance, Mobile Device and PC
Authors: Yoshiaki Hada, Masanori Shinohara
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

An annotation-based classroom activities support environment with home network technology is proposed. The environment includes digital appliances, mobile devices, and PCs to facilitate a face-to-face class. The resulting system enables the sharing and playing of learning contents among the teacher and students in the class. The teacher and students can annotate the learning contents without file operation to share. In addition, the system operates devices on a network to support a class and has a user management feature. The system design and the prototype under development are described.
Recurrent Fuzzy Cerebellar Model Articulation Controller and Its Application on Robotic Tracking Control
Authors: Jinzhu Peng, Yaonan Wang, Hui Zhang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

A kind of recurrent fuzzy cerebellar model articulation controller (RFCMAC) model is presented. The recurrent network is embedded in the RFCMAC by adding feedback connections on the first layer to embed temporal relations in the network. A nonconstant differentiable Gaussian basis function is used to model the hypercube structure and the fuzzy weight. A gradient descent learning algorithm is used to adjust the free parameters. Simulation experiments are made by applying proposed RFCMAC on robotic manipulator tracking control problem to confirm its effectiveness.
Predicting the Amount of Gas Emitted Based on Wavelet Neural Network
Authors: Xue Pengqian, Zhang Xiaoyu
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Precisely predicting the amount of gas emitted from the mine, which is a matter of nonlinear model related to many factors such as nature characters and mining technology, is of great importance in the design of mine and production safety. As back-propagation neural networks (BPNN) have the shortcomings of slow convergence and being prone to fall into local optimums, a new method of wavelet neutral network which can make full use of its time-frequent characteristics and combination with the self-study ability of neutral networks is presented to form a model for predicting the amount of gas emitted from the mine. Based on this model, using Matlab6.5, the simulator of wavelet and BP neural network is designed. The simulation results obtained show that the new method can achieve faster convergence and more accurate prediction compared with that of BPNN.
A hybrid method for computing Lyapunov exponents
Authors: Wolf-J&#x00fc;rgen Beyn, Alexander Lust
Venue: Numerische Mathematik (2009)

In this paper we propose a numerical method for computing all Lyapunov coefficients of a discrete time dynamical system by spatial integration. The method extends an approach of Aston and Dellnitz (Comput Methods Appl Mech Eng 170:223&#x2013;237, 1999) who use a box approximation of an underlying ergodic measure and compute the first Lyapunov exponent from a spatial average of the norms of the Jacobian for the iterated map. In the hybrid method proposed here, we combine this approach with classical QR-oriented methods by integrating suitable R-factors with respect to the invariant measure. In this way we obtain approximate values for all Lyapunov exponents. Assuming somewhat stronger conditions than those of Oseledec&#x2019; multiplicative theorem, these values satisfy an error expansion that allows to accelerate convergence through extrapolation.
Management Framework for Business Integration Projects
Authors: Thomas Keller, Thomas Marko
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

The concept of business integration as the combination of business process management and enterprise applica-tion integration may seem old hat and already well un-derstood. In practice, however, many project managers struggle with the complexity and interdisciplinarity of business integration. Specialized management frame-works are scarce in this field but are crucial to the suc-cess of projects. This paper proposes such a management framework, which has its roots in the St. Gall Manage-ment Model and is strongly influenced by empirical data from existing projects. It defines design objects in two dimensions, which depict the crucial success factors for business integration projects.
The Adoption of Social Networking Services
Authors: Linda Elen Olsen, Frode Guribye
Venue: Proceedings of the 2009 International Workshop on Social Informatics (2009)

Professional networking has become an important aspect of many professionals’ work and several online social networking services (SNSs) provide support to the creation and maintenance of professional networks. This has also led to an increased potential for many professionals. The adoption of new technology, such as SNSs, often has an influence on social practices, and this article presents a qualitative study of how professionals in Norway make use of the SNS LinkedIn. Through in-depth interviews the study focuses on professionals that have adopted the service in order to create, maintain and manage their professional networks, and how this use manifests itself.
PKIX Certificate Status in Hybrid MANETs
Authors: Jose L. Muñoz, Oscar Esparza, Carlos Gañán, Javier Parra-Arnau
Venue: Proceedings of the 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks (2009)

Certificate status validation is a hard problem in general but it is particularly complex in Mobile Ad-hoc Networks (MANETs) because we require solutions to manage both the lack of fixed infrastructure inside the MANET and the possible absence of connectivity to trusted authorities when the certification validation has to be performed. In this sense, certificate acquisition is usually assumed as an initialization phase. However, certificate validation is a critical operation since the node needs to check the validity of certificates in real-time, that is, when a particular certificate is going to be used. In such MANET environments, it may happen that the node is placed in a part of the network that is disconnected from the source of status data at the moment the status checking is required. Proposals in the literature suggest the use of caching mechanisms so that the node itself or a neighbour node has some status checking material (typically on-line status responses or lists of revoked certificates). However, to the best of our knowledge the only criterion to evaluate the cached (obsolete) material is the time. In this paper, we analyse how to deploy a certificate status checking PKI service for hybrid MANET and we propose a new criterion based on risk to evaluate cached status data that is much more appropriate and absolute than time because it takes into account the revocation process.
Graphical Models for Distributed Inference in Wireless Sensor Networks
Authors: Neeta Trivedi, N. Balakrishnan
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

Distributed information fusion is an active area of research; however, fusion in the large, dynamic, unpredictable, and power-scarce setting of wireless sensor network (WSN) requires more than just distributed fusion algorithms. Some of the important questions that need to be addressed are dynamic mapping of inference responsibilities to sensor nodes in a distributed manner and cost-effective, fault-tolerant exchange of fusion information. Graphical models provide compact representation of joint probability distributions; they help in drawing inference more efficiently. We propose two graphical models called Inference Cost Network (ICN) and Dynamic Inference Cost Network (DICN) that generalize Bayesian networks and dynamic Bayesian networks for truly distributed implementation. We also propose distributed inference algorithms for ICN/DICN that address the unique requirements of information fusion in WSN. We prove correctness of the model and the algorithms and demonstrate that the algorithms are lightweight in terms of computational complexity.
Analyzing the Effects of a BCMA in Inter-Provider Communication, Coordination and Cooperation
Authors: Gulcin Yucel, Bo Hoege, Vincent G. Duffy, Matthias Roetting
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

Many hospitals have implemented various kinds of information technologies. Using information technology can improve communication and improve patient safety. One of the information technologies is the application of bar code medication administration (BCMA). For achieving a successful implementation, a semi-formal notation form is used to model and to evaluate the effects of a BCMA system on communication-coordination-cooperation (C3) processes among nurses, physicians and pharmacists. This model could support a successful implementation of the BCMA system by identifying potential unintended and supportive effects related to C3, and providing recommendations for a better implementation. This article describes an approach for an analysis and evaluation of a planned BCMA implementation.
Study of Basic Method about WSD Based on Chaos
Authors: Chen Wei, Meng Chen, Cui Shao Hui, Yang Suo Chang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

In the present paper, duffing system is used to produce chaotic time series which is then used to reconstruct phase space, RCD algorithm is used to computer the largest Lyapunov characteristic exponent (LCE1), detailed program of these tasks successfully debugged in in Matlab 7.1 is given, experiment method is used to choose parameter in the program, LCE1 and dichotomy is used to find system parameter value which makes the system in critical chaos state, the relation between the LCE1 and the system parameter is also revealed by this method, the simulation results in Matlab 7.1 about the relation is analyzed and method of measuring amplitude of weak sine signal with LCE1 is proved feasible by the relation.
Addressing the Interplay of Culture and Affect in HCI: An Ontological Approach
Authors: Emmanuel G. Blanchard, Riichiro Mizoguchi, Susanne P. Lajoie
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

Culture and affect are closely tied domains that have been considered separately in HCI until now. After carefully reviewing research done in each of those domains, a formal ontology engineering approach brings us to identify and structure useful concepts for considering their interplay.
Plan, Commit, Execute Protocol in Multi-agent Systems
Authors: Petr Kadera, Pavel Tichy
Venue: Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing (2009)

In this paper we introduce changes made in Plan/Commit/Execute negotiation protocol originally developed for Agent Cooperation System and practically used in Chilled Water System application. This protocol is suitable for systems where the commitment of resources and execution of a plan require separated communication phases. The extension of the protocol with Reject Proposal message that is used for canceling unsatisfactory proposals is the most significant change. We also describe the deployment of the protocol in new version of Multi-agent System for Manufacturing.