ppxscal/embedding_network huggingface dataset:
RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool
Authors: Avinash Raj, Vihari Komaragiri
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

This paper is based on a research effort at Kyocera Wireless, India that aimed to overcome the limitations in the mobile phone design process, by giving designers an improved design and specification tool and helping them deal routinely with some of the more rooted constraints of phone design. The tool extends the idea of templates from simple visual elements, to more abstract design components. It adds further value to this modularization of design, by taking an approach of extensive and ever-growing library of patterns to define and refine these components. The components cover most of the low- to medium-level building blocks of design. They are specified in the library as a tuple(patterns) of <design problem, design solution, context, constraints> each at the different level of hierarchy. The components are visually represented using standardized shapes with placeholder and help text and are made available as part of the design work surface of a visual prototyping tool such as MS Visio or Adobe Fireworks.
Application of Improved Analytic Hierarchy Process to Some Scheme Optimization for High-Speed Railway's Exterior Power Supply
Authors: Chen Minwu, Li Qunzhan, Zhi Hui, Xu Yinglei
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

In the design of high-speed railway's traction power supply system, the choice for exterior power supply concerns many factors, and is a multi-criterion decision problem. In this paper, the principle of analytic hierarchy process (AHP) based on rough set theory and group decision-making is presented. An index system of exterior power supply evaluation is then constructed. Through independent decision making of each expert and the definition of the attribute significance based on the weighted sum, the weight values of alternatives is obtained and ranked, the quantitative description of decision process is realized and the optimum scheme for exterior power supply is determined. Taking an under construction high-speed railway for example, the availability and reasonableness of the proposed method is demonstrated.
New admissible heuristics for domain-independent planning
Authors: Patrik Haslum, Blai Bonet, Héctor Geffner
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 3 (2005)

Admissible heuristics are critical for effective domain-independent planning when optimal solutions must be guaranteed. Two useful heuristics are the hm heuristics, which generalize the reachability heuristic underlying the planning graph, and pattern database heuristics. These heuristics, however, have serious limitations: reachability heuristics capture only the cost of critical paths in a relaxed problem, ignoring the cost of other relevant paths, while PDB heuristics, additive or not, cannot accommodate too many variables in patterns, and methods for automatically selecting patterns that produce good estimates are not known. We introduce two refinements of these heuristics: First, the additive hm heuristic which yields an admissible sum of hm heuristics using a partitioning of the set of actions. Second, the constrained PDB heuristic which uses constraints from the original problem to strengthen the lower bounds obtained from abstractions. The new heuristics depend on the way the actions or problem variables are partitioned. We advance methods for automatically deriving additive hm and PDB heuristics from STRIPS encodings. Evaluation shows improvement over existing heuristics in several domains, although, not surprisingly, no heuristic dominates all the others over all domains.
A Socially-Aware Memory for Companion Agents
Authors: Mei Yii Lim, Ruth Aylett, Wan Ching Ho, Sibylle Enz, Patricia Vargas
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Memory is a vital capability for intelligent social Companions. In this paper, we introduce a simple memory model that allows a Companion to maintain a long-term relationship with the user by remembering past experiences in order to personalise interaction. Additionally, we implemented a situational forgetting mechanism that gives the Companion the ability to protect the user's privacy by not disclosing sensitive data. Two test scenarios are used to demonstrate these abilities in our Companions.
Reduced Cache Digests
Authors: Baoning Niu, Lijun Wang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

One of the challenging issues in distributed caching cooperation is efficiently generating and disseminating cache directories. In switch-based distributed caching cooperation, layer 5 (L5) switches sits at the access points of networks, receiving incoming requests and making routing decisions, therefore is the center of caching cooperation. It is possible to take this advantage to free cache servers from the tasks of generating and disseminating cache directories by generating and disseminating cache directories at L5 switches. We propose a scheme, Reduced Cache Digest (RCD), for generating and disseminating cache directory by L5 switches to alleviate the overhead of cache servers. Through trace driven simulation, we show that RCD is feasible.
Science and Design of Systems
Authors: Janos Korn
Venue:  (2009)

The aim of this book is to show how to convert the systemic view into systems science by following the method of conventional science so as to model aspects of the immense variety and diversity of objects (natural, technical, living, human and their conceivable combinations) and their activities. 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
An Interoperable Concept for Controlling Smart Homes --- The ASK-IT Paradigm
Authors: Evangelos Bekiaris, Kostas Kalogirou, Alexandros Mourouzis, Mary Panou
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

This paper presents an interoperable home automation infrastructure that offers new levels of mobility, accessibility, independence, comfort, and overall quality of life. Building on previous experience with similar systems and existing gaps over the full potential of automated support, both at home and on the move, new concepts and objectives are defined for R D on smart homes. The paper outlines the proposed integrated and holistic solution, discusses design and development issues, provides indicative evaluation results emerging from a case study conducted in the European ASK-IT project, and concludes by highlighting open issues and future steps.
Optimal expectile smoothing
Authors: Sabine K. Schnabel, Paul H. C. Eilers
Venue: Computational Statistics Data Analysis (2009)

Quantiles are computed by optimizing an asymmetrically weighted L"1 norm, i.e. the sum of absolute values of residuals. Expectiles are obtained in a similar way when using an L"2 norm, i.e. the sum of squares. Computation is extremely simple: weighted regression leads to the global minimum in a handful of iterations. Least asymmetrically weighted squares are combined with P-splines to compute smooth expectile curves. Asymmetric cross-validation and the Schall algorithm for mixed models allow efficient optimization of the smoothing parameter. Performance is illustrated on simulated and empirical data.
Efficient model checking for LTL with partial order snapshots
Authors: Peter Niebert, Doron Peled
Venue: Theoretical Computer Science (2009)

Certain behavioral properties of distributed systems are difficult to express in interleaving semantics, whereas they are naturally expressed in terms of partial orders of events or, equivalently, Mazurkiewicz traces. Two examples of such properties are serializability of a database and global snapshots of concurrent systems. Recently, a modest extension for LTL by an operator that expresses snapshots, has been proposed. It combines the ease of linear (interleaving) specification with this useful partial order concept. The new construct allows one to assert that a global snapshot appeared in the past, perhaps not in the observed execution sequence, but possibly in an equivalent one. Originally, a model checking algorithm for this logic that is exponential space in the size of the system was suggested. In this paper, we provide a model checking algorithm that is in polynomial space in the size of the system. Our construction can also serve as an efficient (polynomial) algorithm for detecting conjunctive properties (i.e., conjunction of local process properties) in a concurrent history of execution.
Sonification System of Maps for Blind --- Alternative View
Authors: Gintautas Daunys, Vidas Lauruska
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

An inexpensive sonification system of maps and charts for visually impaired is described. A digitiser (tablet) is used as systems input device, which helps to investigate the map. The maps are presented using xml technology --- mainly svg language tags. Then the maps from svg are converted to RGB bitmap A system software is based on Microsoft .NET technology. Free Microsoft development systems as Visual C# 2008 Express Edition and Direct Sound are used to implememt sonification system.
ADiEU: Toward Domain-Based Evaluation of Spoken Dialog Systems
Authors: Jan Kleindienst, Jan Cuřín, Martin Labský
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends (2009)

We propose a new approach toward evaluation of spoken dialog systems. The novelty of our method is based on utilization of domain-specific knowledge combined with the deterministic measurement of dialog system performance on a set of individual tasks within the domain. The proposed methodology thus attempts to answer questions such as: "How well is my dialog system performing on a specific domain?", "How much has my dialog system improved since the previous version?", "How much is my dialog system better/worse than other dialog systems performing on that domain?"
Numerical Simulation of Jet Flow Led by Different Central Body Locations
Authors: Haixia Liu, Can Kang, Minguan Yang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

To predict the operation effect of a cavitation nozzle with inner central body, geometrical model and numerical model are established. Flow fields led by different axial locations of central body are analyzed contrastively. Total pressure, velocity and turbulent kinetic energy are three focused parameters in the study. It is proved that different kinds of central bodies have remarkable influence on flow energy and operation effect. An optimal geometrical configuration is finally determined. The advantages and disadvantages of the nozzle type are also remarked. The study here provides helpful references for further simulation with reasonable and validated cavitation model and experiment research with advanced flow visualization tools.
Foundations of Computational Mathematics, Hong Kong 2008, 1st edition
Authors: Felipe Cucker, Allan Pinkus, Michael J. Todd
Venue:  (2009)

This volume is a collection of articles based on the plenary talks presented at the 2008 Society for the Foundations of Computational Mathematics meeting in Hong Kong. The talks were given by some of the foremost world authorities in computational mathematics. The topics covered reflect the breadth of research within the area as well as the richness and fertility of interactions between seemingly unrelated branches of pure and applied mathematics. As a result, this volume will be of interest to researchers in the field of computational mathematics and also to non-experts who wish to gain some insight into the state of the art in this active and significant field.
Series Equalizer Based on Constant Modulus Algorithm and Decision-Directed Algorithm
Authors: Wei Rao, Jian-bing Liu, Yuan-yuan Liu, Wen-qun Tan, Hui-jun Xu, Kang-ming Yuan, Guo-xing Dai
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 01 (2009)

A new series equalizer based on Constant Modulus Algorithm (CMA) and Decision-directed (DD) algorithm is proposed to overcome Inter-Symbol Inter-ference (ISI) much better in the communication system without the aid of training sequences. The proposed equalizer uses the CMA as the forward filter and DD algorithm as the back filter. These two filters are series and operate concurrently. It makes full use of the advantages of the CMA’s "eye-opened" ability and DD’s superior convergence performance. Therefore the proposed equalizer obtains not only the faster convergence and lower residual error but also the ability of phase rotation-compensated. Computer simulations with underwater acoustic channels are presented and the simulation results are shown to prove the efficiency of the proposed equalizer.
The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems
Authors: Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri
Venue: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (2009)

We report on a model-based approach to system-software co-engineering which is tailored to the specific characteristics of critical on-board systems for the aerospace domain. The approach is supported by a System-Level Integrated Modeling (SLIM) Language by which engineers are provided with convenient ways to describe nominal hardware and software operation, (probabilistic) faults and their propagation, error recovery, and degraded modes of operation.Correctness properties, safety guarantees, and performance and dependability requirements are given using property patterns which act as parameterized "templates" to the engineers and thus offer a comprehensible and easy-to-use framework for requirement specification. Instantiated properties are checked on the SLIM specification using state-of-the-art formal analysis techniques such as bounded SAT-based and symbolic model checking, and probabilistic variants thereof. The precise nature of these techniques together with the formal SLIM semantics yield a trustworthy modeling and analysis framework for system and software engineers supporting, among others, automated derivation of dynamic (i.e., randomly timed) fault trees, FMEA tables, assessment of FDIR, and automated derivation of observability requirements.
An Evaluation of the Impact of E-Learning Media Formats on Student Perception and Performance
Authors: Karl Kurbel, Ivo Stankov, Rastsislau Datsenka
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

Factors influencing student evaluation of web-based courses are analyzed, based on student feedback from an online distance-learning graduate program. The impact of different media formats on the perception of the courses by the students as well as on their performance in these courses are examined. In particular, we studied conventional hypertext-based courses, video-based courses and audio-based courses, and tried to find out whether the media format has an effect on how students assess courses and how good or bad their grades are. Statistical analyses were performed to answer several research questions related to the topic and to properly evaluate the factors influencing student evaluation.
The Use of Facebook in National Election Campaigns: Politics as Usual?
Authors: Kim Normann Andersen, Rony Medaglia
Venue: Proceedings of the 1st International Conference on Electronic Participation (2009)

The uptake of online media in election campaigning is leading to speculations about the transformation of politics and cyber-democracy. Politicians running for seats in Parliament are increasingly using online media to disseminate information to potential voters and building dynamic, online communities. Drawing on an online survey of the Facebook networks of the two top candidates running for seats in the 2007 Danish Parliament election, this study suggests that the online sphere is primarily populated by users who already know the candidates through the traditional channels of party organizations, and that they do not expect to influence the policy of their candidates. Instead, users view Facebook mainly as an information channel and as a means to gain social prestige.
Improving Patient Opinion Mining through Multi-step Classification
Authors: Lei Xia, Anna Lisa Gentile, James Munro, José Iria
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

Automatically tracking attitudes, feelings and reactions in on-line forums, blogs and news is a desirable instrument to support statistical analyses by companies, the government, and even individuals. In this paper, we present a novel approach to polarity classification of short text snippets, which takes into account the way data are naturally distributed into several topics in order to obtain better classification models for polarity. Our approach is multi-step, where in the initial step a standard topic classifier is learned from the data and the topic labels, and in the ensuing step several polarity classifiers, one per topic, are learned from the data and the polarity labels. We empirically show that our approach improves classification accuracy over a real-world dataset by over 10%, when compared against a standard single-step approach using the same feature sets. The approach is applicable whenever training material is available for building both topic and polarity learning models.
A Fast and Efficient Handover Authentication Achieving Conditional Privacy in V2I Networks
Authors: Jaeduck Choi, Souhwan Jung, Younghan Kim, Myungsik Yoo
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

This paper proposes a fast and efficient handover authentication with conditional privacy in V2I networks. One of the main challenges for achieving secure V2I communications is to accomplish a fast and efficient handover authentication for seamless IP-based services. Anonymous authentication with authority traceability is another important security issue. The basic idea is that a handover authentication occurs only between a vehicle and a roadside unit to reduce the cost of authentication time and communication overhead. After performing the handover authentication, the roadside unit notifies an AAA server of the authentication result and vehicle's pseudonym ID, which does not affect the fast handover authentication. The proposed scheme is more efficient than the existing schemes in terms of authentication time and communication overhead. In addition, our work is the first study on conditional privacy preservation during a handover process in V2I networks.
Using user-centered design to discover motivation and priorities in an established online community
Authors: Elly Searle, Katie Derthick, Toni Ferro, Jonathan T. Morgan, Mark Zachry
Venue: Proceedings of the 27th ACM international conference on Design of communication (2009)

This poster presents our work using a face-to-face user-centered design method to inform the design of a reputation visualization for an established online community. The benefits of conducting an offline group session with online community members included insights into motivation and priorities, an understanding of community norms, and a member check on previous findings.
Identification of Human Limb Viscoelasticity using Robotics Methods to Support the Diagnosis of Neuromuscular Diseases
Authors: Gentiane Venture, Katsu Yamane, Yoshihiko Nakamura, Tomotaka Yamamoto
Venue: International Journal of Robotics Research (2009)

In this paper we present an original method to estimate in vivo the joint dynamics of the human limbs. The method is based on a non-invasive and painless technology making use of an optical motion capture system and an associated skeletal model to record the human motion and compute its kinematics and its dynamics. The formalism that is used for the identification is commonly used in robotics. The passive limb joints properties are modeled by enhanced spring-damper systems. The inverse dynamics is sampled along a movement to give an over-determined system. The obtained system is solved by the linear least-squares method. To perform the estimation, we place emphasis on giving indicators and requirements to interpret the obtained results, and on using painless, passive constraint-free movements that are usually performed during the clinical diagnosis of neuromuscular diseases. Finally the method is experimentally applied to two healthy subjects and five patients of neuromuscular diseases in order to estimate the upper-limb viscoelastic properties. The obtained results are discussed.
Coinductive Type Systems for Object-Oriented Languages
Authors: Davide Ancona, Giovanni Lagorio
Venue: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009)

We propose a novel approach based on coinductive logic to specify type systems of programming languages.The approach consists in encoding programs in Horn formulas which are interpreted w.r.t. their coinductive Herbrand model.We illustrate the approach by first specifying a standard type system for a small object-oriented language similar to Featherweight Java. Then we define an idealized type system for a variant of the language where type annotations can be omitted. The type system involves infinite terms and proof trees not representable in a finite way, thus providing a theoretical limit to type inference of object-oriented programs, since only sound approximations of the system can be implemented.Approximation is naturally captured by the notions of subtyping and subsumption; indeed, rather than increasing the expressive power of the system, as it usually happens, here subtyping is needed for approximating infinite non regular types and proof trees with regular ones.
A Semi-automation Road Extraction Approach Based on Fast Marching Method and Mean Shift Algorithm
Authors: Sun Xiao-gu, Li Man-chun, Liu Yong-xue, Liu Wei, Tan Lu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

A method for extracting road from high spatial resolution remote sensing imagery (HSRRSI) based on Fast Marching Method and Mean Shift Method is proposed in this paper. Firstly, the user inputs a set of nodes of the road. Secondly, preliminary partition on the imagery is achieved by Mean Shift Method. Last, the roads are extracted between the nodes user has set by the implementation of Fast Marching Method The test results for HSRRSI of IKONOS demonstrates that the novel method is robust and is capable of coping with the partial occlusion and false connectivity.