ppxscal/embedding_network huggingface dataset:
Elicitation of User Requirements for Mobile Interaction with Visual and RFID Tags: A Prototype-Based Exploratory Study
Authors: Margarita Anastassova, Oscar Mayora-Ibarra
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This paper presents a preliminary prototype-based elicitation of user requirements for mobile interaction with a public display using visual and RFID-tags. The study is based on the use of a demonstration and two applications scenarios as means for encouraging user requirements elicitation. The results show that the prototype, its demonstration and the examples of possible applications are very useful for the users: they express a large number of requirements, which, are furthermore, quite original.
Lexicalising word order constraints for implemented linearisation grammar
Authors: Yo Sato
Venue: Proceedings of the Eleventh Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop (2006)

This paper presents a way in which a lexicalised HPSG grammar can handle word order constraints in a computational parsing system, without invoking an additional layer of representation for word order, such as Reape's Word Order Domain. The key proposal is to incorporate into lexical heads the WOC (Word Order Constraints) feature, which is used to constrain the word order of its projection. We also overview our parsing algorithm.
Virtual Convex Polygon Based Hole Boundary Detection and Time Delay Based Hole Detour Scheme in WSNs
Authors: Inyoung Shin, Ngoc Duy Pham, Hyunseung Choo
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

In wireless sensor networks, an important issue often faced in geographic routing is the "local minimum phenomenon." To mitigate the local minimum issue, when the routing process becomes stuck at hole boundary nodes, the existing perimeter routing tends to route data packets along the boundaries of the holes. However, this may enlarge the hole, causing the "first hole diffusion" problem. On the other hand, the existing hole detour scheme based on the virtual ellipse forwards data packets to outside the virtual ellipse. This may generate other holes around the existing hole - the "second hole diffusion" problem. Therefore, we propose a novel virtual convex polygon based hole boundary detection and time delay based hole detour scheme. The proposed scheme solves first and second hole diffusion problems. Comprehensive simulation results show that the proposed scheme provides approximately 22% and 16% improvements in terms of the packet delivery ratio and the network lifetime, respectively.
Greek Letters of European Call Currency Option with Adaptive Fuzzy Numbers
Authors: Maolin Hu, Weijun Xu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

"Greek letters" is an important approach for the financial institution to manage its risk when it sells a currency option to a client in the over-the-counter. In this paper, we introduce the fuzzy techniques and obtain the fuzzy Greek letters. For the trapezoidal fuzzy numbers and triangular fuzzy numbers being the special cases of the adaptive fuzzy number, we present a numerical example with adaptive fuzzy numbers for the characteristics such as the spot exchange rate, domestic interest rate, foreign interest rate, and the volatility. The empirical results indicate that the Greeks calculated under fuzzy environment can be considered as a useful tool for managing option risk for an option writer.
Learning Resources Organization Using Ontological Framework
Authors: Tatiana Gavrilova, Vladimir Gorovoy, Elena Petrashen
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

The paper describes the ontological approach to the knowledge structuring for the e-learning portal design as it turns out to be efficient and relevant to current domain conditions. It is primarily based on the visual ontology-based description of the content of the learning materials and this helps to provide productive and personalized access to these materials. The experience of ontology developing for Knowledge Engineering coursetersburg State University is discussed and "OntolingeWiki" tool for creating ontology-based e-learning portals is described.
Dynamic programming-based search algorithms in NLP
Authors: Liang Huang
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Tutorial Abstracts (2009)

Dynamic Programming (DP) is an important class of algorithms widely used in many areas of speech and language processing. It provides efficient solutions to seemingly intractable inference over exponentially-large spaces by sharing overlapping subproblems. Well-known examples of DP in our field include Viterbi and Forward-Backward Algorithms for finite-state models, CKY and Earley Algorithms for context-free parsing, and A* Algorithm for both. These algorithms are widely used to solve problems ranging from sequence labeling to word alignment to machine translation decoding.
A brief history of social iTV entertainment
Authors: Pauliina Tuomi
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

TV is seen much less active medium than PC or mobile phone and often it is forgotten when social media and its technologies are defined. Usually TV is seen as a passive entertainment device, but TV is a part of active and social gaming experience. A qualitative study of social interaction on the TV-screen was conducted by recording sample of Finnish iTV formats and corresponding discussion forums & internet inquiry on the Internet and analyzing the content. The roles of different applications and services utilizing ubiquitous and pervasive technology were analyzed and discussed to answer these questions: in which ways is it possible to play and interact socially with TV nowadays? What are the different functions iTV operates with? Research concentrates mainly on the history of iTV's mobile entertainment. This sort of a trajectory is never been made from the academic or social point of view, which is why it should be explored now, at the latest, when the first ten years of iTV entertainment have passed. This research is also important beyond Finland since Finland tends to pioneer interactive entertainment that later spreads out to other countries.
End-to-end evaluation in simultaneous translation
Authors: Olivier Hamon, Christian Fügen, Djamel Mostefa, Victoria Arranz, Muntsin Kolss, Alex Waibel, Khalid Choukri
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

This paper presents the end-to-end evaluation of an automatic simultaneous translation system, built with state-of-the-art components. It shows whether, and for which situations, such a system might be advantageous when compared to a human interpreter. Using speeches in English translated into Spanish, we present the evaluation procedure and we discuss the results both for the recognition and translation components as well as for the overall system. Even if the translation process remains the Achilles' heel of the system, the results show that the system can keep at least half of the information, becoming potentially useful for final users.
Understanding Key Attributes in Mobile Service: Kano Model Approach
Authors: Seung Ik Baek, Seung Kuk Paik, Weon Sang Yoo
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)

This study investigated how customers perceive currently available 3G mobile services. More specifically, by using the Kano model, it tried to categorize them into five quality attributes: Attractive, One-Dimensional, Must-Be, Indifferent, and Reverse. The results showed that picture messaging, instant messaging, navigational aid, and mobile internet are considered as "one-dimensional quality attributes". That is, the higher the level of fulfillment of these mobile services, the higher the customer's satisfaction, and vice versa.
Integrating Human-Computer Interaction Artifacts into System Development
Authors: Megan Moundalexis, Janet Deery, Kendal Roberts
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

This paper introduces a methodology for developing and leveraging Human Computer Interaction (HCI) artifacts into systems design within the Antisubmarine Warfare (ASW) domain. The method is structured with four integrated steps: Scenario Development, Personas, Operational Concept Documentation, and Usability. Explicit links are made between the artifacts to allow a more efficient use of design resources including legacy documentation for developers while improving the quality of design. As with current systems engineering practices this approach relies upon requirement analysis, prototyping, design iteration, and test and evaluation. Unlike current practice, however, this approach can improve the process of iteration as well as feedback on additional unanticipated requirements. Often overlooked, this process also yielded effective design team interaction. These improvements are made possible by the structured methodology that makes the HCI products attractive to systems developers: the artifacts are well organized, adaptable, and inspectable.
Emergence of network structure due to spike-timing-dependent plasticity in recurrent neuronal networks. I. Input selectivity&#x2013;strengthening correlated input pathways
Authors: Matthieu Gilson, Anthony N. Burkitt, David B. Grayden, Doreen A. Thomas, J. Leo van Hemmen
Venue: Biological Cybernetics (2009)

Spike-timing-dependent plasticity (STDP) determines the evolution of the synaptic weights according to their pre- and post-synaptic activity, which in turn changes the neuronal activity. In this paper, we extend previous studies of input selectivity induced by (STDP) for single neurons to the biologically interesting case of a neuronal network with fixed recurrent connections and plastic connections from external pools of input neurons. We use a theoretical framework based on the Poisson neuron model to analytically describe the network dynamics (firing rates and spike-time correlations) and thus the evolution of the synaptic weights. This framework incorporates the time course of the post-synaptic potentials and synaptic delays. Our analysis focuses on the asymptotic states of a network stimulated by two homogeneous pools of &#x201c;steady&#x201d; inputs, namely Poisson spike trains which have fixed firing rates and spike-time correlations. The (STDP) model extends rate-based learning in that it can implement, at the same time, both a stabilization of the individual neuron firing rates and a slower weight specialization depending on the input spike-time correlations. When one input pathway has stronger within-pool correlations, the resulting synaptic dynamics induced by (STDP) are shown to be similar to those arising in the case of a purely feed-forward network: the weights from the more correlated inputs are potentiated at the expense of the remaining input connections.
Verified LISP Implementations on ARM, x86 and PowerPC
Authors: Magnus O. Myreen, Michael J. Gordon
Venue: Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics (2009)

This paper reports on a case study, which we believe is the first to produce a formally verified end-to-end implementation of a functional programming language running on commercial processors. Interpreters for the core of McCarthy's LISP 1.5 were implemented in ARM, x86 and PowerPC machine code, and proved to correctly parse, evaluate and print LISP s-expressions. The proof of evaluation required working on top of verified implementations of memory allocation and garbage collection. All proofs are mechanised in the HOL4 theorem prover.
Web of Friends- Discovering a Social Network by Mining Data from Instant Messengers
Authors: Aleksandra Doniec, Albert Hupa, Radoslaw Nielek
Venue: Proceedings of the 2009 International Workshop on Social Informatics (2009)

This paper describes the first step in our research on egocentric social networks of users of instant messengers. Experiments with which we are proceeding are based on one of the popular Polish messengers -- Tlen.pl. To collect information about interactions we have used a plugin for Tlen that cooperates with a dedicated server for storing data. Our goal is to find algorithms that will allow classifying the strength of a relationship between two users. Also, we want to answer the question, whether basing on a set of statistics from chats, without knowing the content of the discussion, we can correctly predict levels of acquaintance between peers.
Designing Transportation Services Based on HCD
Authors: Kiko Yamada-Kawai, Naotake Hirasawa, Shinya Ogata, Shou Ohtsu
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

A "Social System" enabled by ICT, such as Intelligent Transportation System affects society itself as well as users' behavior. When designing these systems, an approach of having users or citizens in the center of the system is most crucial to derive planned use of the system. In this study, examples of social systems in the fields of transportation and e-government are first reviewed to reveal the history and issues, and then defined the definition of a "social system." A case example is made on ITS in regard with obtaining higher quality in use by employing Human-centered Design. The necessity of broadening conventional HCD methodologies is further discussed.
Linguistic preprocessing for distributional classification of words
Authors: Viktor Pekar
Venue: Proceedings of the Workshop on Enhancing and Using Electronic Dictionaries (2004)

The paper is concerned with automatic classification of new lexical items into synonymic sets on the basis of their cooccurrence data obtained from a corpus. Our goal is to examine the impact that different types of linguistic preprocessing of the cooccurrence material have on the classification accuracy. The paper comparatively studies several preprocessing techniques frequently used for this and similar tasks and makes conclusions about their relative merits. We find that a carefully chosen preprocessing procedure achieves a relative effectiveness improvement of up to 88% depending on the classification method in comparison to the window-based context delineation, along with using much smaller feature space.
Specificity Aboutness in XML Retrieval
Authors: Tobias Blanke, Mounia Lalmas
Venue: Proceedings of the 2nd International Conference on Theory of Information Retrieval: Advances in Information Retrieval Theory (2009)

This paper presents a theoretical methodology to evaluate filters in XML retrieval. Theoretical evaluation is concerned with the formal investigation of qualitative properties of retrieval models. XML retrieval deals with retrieving those document components that specifically answer a query, and filters are a method of delivering the most focused answers. Our theoretical evaluation will critically analyse how filters achieve this.
Poster abstract: On the spatial characteristics of the gray region for 802.15.4 radios
Authors: Yin Chen, Andreas Terzis
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

Packet loss and energy consumption in sensor networks depend critically on the quality of the network's wireless links. In turn, link quality depends on the environment in which the RF signals propagate and the locations of the link's endpoints. Experimental results have shown that a low-power wireless link can be in one of three states or ‘regions’, as the inter-node distance increases: connected, transitional (gray), and disconnected. The gray region is characterized by extreme variability, whereby small differences in distance or end-point locations can lead to pronounced differences in loss rates. However, not all is lost. This work investigates the spatial characteristics of the gray region and experimentally shows that one can efficiently identify links with low loss rates within the radio's gray region. One of the possible applications of this finding is in the design of sparse, yet low-loss network deployments.
Formal Verification for Components and Connectors
Authors: Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz
Venue: Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures (2009)

In previous work, constraint automata have been introduced as a uniform model for behavioral interfaces of components, (possibly dynamic) component connectors and systems consisting of several components and their glue code. The purpose of the paper is to provide an overview of the techniques for specifying and verifying temporal requirements, conditions on the data flow at the I/O-ports of components and alternating-time properties that have been designed for constraint automata. The paper presents the syntax and semantics of the logics, sketches the model checking algorithms, summarizes the main features of the implementation within the tool Vereofy and reports on experimental studies.
Per-stream loss behavior of ΣMAP/M/1/K queuing system with a random early detection mechanism
Authors: Yung-Chung Wang, Chwan-Lu Tseng, Ren-Guey Chu, Fu-Hsiang Tsai
Venue: Information Sciences: an International Journal (2009)

In this paper, the matrix-analytic approach is applied to explore the per-stream loss behavior of the multimedia traffic under RED scheme. We constructed a @?MAP/M/1/K queuing model for the RED mechanism with multimedia traffic which follows a continuous-time Markovian arrival process (MAP). In addition to evaluating the long-term per-stream packet drop probabilities, we examine the bursty nature of per-stream packet drops by means of conditional statistics with respect to dropped periods and the probability that the queuing system stays in the dropped period. The dropped period corresponds to having more than a certain number of packets in router buffer; non-dropped period corresponds to the opposite. These performance measures describe the quality of service provided by the router to particular multimedia traffic streams in the presence of background multimedia traffic.
Robust models of human parsing
Authors: Frank Keller
Venue: Proceedings of the 3rd Workshop on RObust Methods in Analysis of Natural Language Data (2004)

A striking property of the human parser is its efficiency and robustness. For the vast majority of sentences, the parser will effortlessly and rapidly deliver the correct analysis. In doing so, it is robust to noise, i.e., it can provide an analysis even if the input is distorted, e.g., by ungrammaticalities. Furthermore, the human parser achieves broad coverage: it deals with a wide variety of syntactic constructions, and is not restricted by the domain, genre, or modality of the input.
Combining Color and Shape Features for Image Retrieval
Authors: Xiaofu Lee, Qian Yin
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

This paper presents a method for extracting and combining features from image that can be used to perform effective image retrieval. First, we use a method of diamond segmentation for all images in database. Then, in HSV color space, we extract color vectors of 256 dimensions for both the segments in and out the diamond. At last, we extract shape feature from all images with the method of moment invariants. Then we compare our method with single color feature and shape feature, as well as two contrast combining methods. Experiments show that our method has better effectiveness and feasibility.
Haptic Science Learning System for Students with Visual Impairments: A Preliminary Study
Authors: Takehiko Yamaguchi, Steve Johnson, Hyung Nam Kim, Yueqing Li, Chang S. Nam, Tonya L. Smith-Jackson
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

This paper assesses the usability of developed haptic interface features to support future development of haptically enhanced science learning applications for students with visual impairments. Of the features developed and evaluated, three features are described in this study: Haptic Boundary, Menu Selection, and Object Recognition. Two focus groups participated in an interview and usability session. Results from this study give insight to the needs of the visually impaired community in regard to haptic applications.
The Study on Data Warehouse Modelling and OLAP for Highway Management
Authors: Qian Zhou, Qing Xiao
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In recent years, the development of highway is very rapid,which lead the highway management has become increasingly complex. Meanwhile, the datas related to highway management are growing geometrically. Facing these massive datas, we are often asked this question “how to use these datas fully and find useful knowledge for decision-making”. With the development of data warehouse and on-line analytical processing (OLAP) technology,which can be used to better organize and analysising the massive datas and provide a basis decision-making supporting. So it gives a new idea for us to solvethe datas organize and analysising problem of highway management. Based on some principles of data warehouse and the situation of the highway management, this paper designed and establishedthe highway management data warehousing system model and on-line analytical processing system. From the perspective of application, it emphasizes to discuss the architecture of data warehouse for highway management, the designing process of conceptual model, logical model and the realization of on-line analytical processing technology.
Tailoring Data Quality Models Using Social Network Preferences
Authors: Ismael Caballero, Eugenio Verbo, Manuel Serrano, Coral Calero, Mario Piattini
Venue: Database Systems for Advanced Applications: DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009 (2009)

To succeed in their tasks, users need to manage data with the most adequate quality levels possible according to specific data quality models. Typically, data quality assessment consists of calculating a synthesizing value by means of a weighted average of values and weights associated with each data quality dimension of the data quality model. We shall study not only the overall perception of the level of importance for the set of users carrying out similar tasks, but also the different issues that can influence the selection of the data quality dimensions for the model. The core contribution of this paper is a framework for representing and managing data quality models using social networks. The framework includes a proposal for a data model for social networks centered on data quality (DQSN), and an extensible set of operators based on soft-computing theories for corresponding operations.