ppxscal/embedding_network huggingface dataset:
Grouping Preferences of Americans and Koreans in Interfaces for Smart Home Control
Authors: Kyeong-Ah Jeong, Robert W. Proctor, Gavriel Salvendy
Venue: Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009 (2009)

The purpose of the current study was to find the grouping principle for smart home interfaces that most closely matches the thinking styles of Americans and Koreans. The independent variables were grouping method (NO: no grouping other than alphabetical order, FS: functional and then spatial grouping, SF: spatial and then functional grouping), culture and gender. 40 American and 40 Korean students' perceptions of the interfaces and their performance times with the interfaces were measured. Both female and male Koreans preferred the SF grouping, consistent with a cognitive style favoring thematic organization and field dependence. For Americans, females preferred SF grouping but males preferred FS grouping. Thus, only American males' preferences conformed to a cognitive style favoring functional organization and field independence. Cultural differences in grouping preferences need to be taken into account in design of smart home interfaces.
Scalable diagnosability checking of event-driven systems
Authors: Anika Schumann, Yannick Pencolé
Venue: Proceedings of the 20th international joint conference on Artifical intelligence (2007)

Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the literature of dynamic event-driven systems, diagnosability analysis is performed by algorithms that consider a system as a whole and their response is either a positive answer or a counter example. In this paper, we present an original framework for diagnosability checking. The diagnosability problem is solved in a distributed way in order to take into account the distributed nature of realistic problems. As opposed to all other approaches, our algorithm also provides an exhaustive and synthetic view of the reasons why the system is not diagnosable. Finally, the presented algorithm is scalable in practice: it provides an approximate and useful solution if the computational resources are not sufficient.
Proving loop termination: Beyond the traditional method
Authors: Tennyson X. Chen, Martin D. Meyer
Venue: Journal of Computational Methods in Sciences and Engineering (2009)

The traditional method for proving loop termination requires us to define a bound function of program variables. The criterion in this method is well-defined and can be easy to apply, as such functions are obvious for many loops. However in some cases, it can be very difficult to define a bound function. In this paper, we discuss how to prove loop termination by using alternative methods. First we show how to prove loop termination by solving a recursive relation that defines the number of iterations remaining in any execution state. Then we introduce a step-by-step approach for applying this recursive relation method. This new method can also be used to investigate preconditions that lead to loop termination in non-deterministic cases. Finally, we illustrate another method that uses a more general criterion for proving loop termination. The new criterion is a generalization of the classical one. This paper does not attempt to offer a one-size-fits-all approach. Rather, it provides some alternative methods that make proving loop termination easier in some cases, where termination might otherwise be difficult if not impossible to prove.
The Impact of Document Level Ranking on Focused Retrieval
Authors: Jaap Kamps, Marijn Koolen
Venue: Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers (2009)

Document retrieval techniques have proven to be competitive methods in the evaluation of focused retrieval. Although focused approaches such as XML element retrieval and passage retrieval allow for locating the relevant text within a document, using the larger context of the whole document often leads to superior document level ranking. In this paper we investigate the impact of using the document retrieval ranking in two collections used in the INEX 2008 Ad hoc and Book Tracks; the relatively short documents of the Wikipedia collection and the much longer books in the Book Track collection. We experiment with several methods of combining document and element retrieval approaches. Our findings are that 1) we can get the best of both worlds and improve upon both individual retrieval strategies by retaining the document ranking of the document retrieval approach and replacing the documents by the retrieved elements of the element retrieval approach, and 2) using document level ranking has a positive impact on focused retrieval in Wikipedia, but has more impact on the much longer books in the Book Track collection.
An Empirical Investigation on the Effectiveness of Virtual Learning Environment in Supporting Collaborative Learning: A System Design Perspective
Authors: Na Liu, Yingqin Zhong, John Lim
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 theoretically develops and empirically tests a model that explains how virtual learning environment (VLE) characteristics can ultimately influence learning effectiveness by directly affecting leaner's control over the learning material and leaner's communication and interaction with peers and instructor. The findings of the empirical study shows that system accessibility, ease of navigation, system interactivity and system support serve different roles in achieving effective learning outcomes. This study also demonstrates the feasibility of incorporating different learning theories into VLE design and how they would inform different perspective of learning.
Evaluating the Adaptation of a Learning System before the Prototype Is Ready: A Paper-Based Lab Study
Authors: Tobias Ley, Barbara Kump, Antonia Maas, Neil Maiden, Dietrich Albert
Venue: Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH (2009)

We report on results of a paper-based lab study that used information on task performance, self appraisal and personal learning need assessment to validate the adaptation mechanisms for a work-integrated learning system. We discuss the results in the wider context of the evaluation of adaptive systems where the validation methods we used can be transferred to a work-based setting to iteratively refine adaptation mechanisms and improve model validity.
The benefit of VMI strategies in a stochastic multi-product serial two echelon system
Authors: G. P. Kiesmüller, R. A. C. M. Broekmeulen
Venue: Computers and Operations Research (2010)

We consider a multi-product serial two echelon inventory system with stochastic demand. Inventories at the downstream location are replenished periodically using an automatic ordering system. Under vendor managed inventory strategies the upstream stage is allowed to adapt these orders in order to benefit from economies of scale. We propose three different VMI strategies, aiming to reduce the order picking cost at the upstream location and the transportation costs resulting in reduced total supply chain costs. In a detailed numerical study the VMI strategies are compared with a retailer managed inventory strategy for two different demand models suitable for slow moving products. It is shown that if inventory holding costs are low, compared to handling and transportation costs, efficiencies at the warehouse are improved and total supply chain costs are reduced.
Comparison Probabilistic Latent Semantic Indexing Model In Chinese Information Retrieval
Authors: Xie Fang, Liu Xiaoguang, Hu Quan
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

With the increasing of information on Internet, web mining has been the focus of information retrieval. By a certain metric of similarity, web clustering groups the similar web documents. But the classical algorithms of clustering are aimless in searching the solution space and absent of semantic characters. In this paper, the probabilistic latent semantic indexing (PLSI) models which using word segmentation, two-grams and key words extraction separately are compared. As comparison, vector models using different Chinese information retrieval technologies are also tested in the same time. The experimental results show that the correct word segmentation can improve precision of information retrieval obviously to PLSI model. But it isn't effective to vector space model. And index based on key words extraction obtains highest accuracy rate to PLSI model.
FBK-IRST: kernel methods for semantic relation extraction
Authors: Claudio Giuliano, Alberto Lavelli, Daniele Pighin, Lorenza Romano
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

We present an approach for semantic relation extraction between nominals that combines shallow and deep syntactic processing and semantic information using kernel methods. Two information sources are considered: (i) the whole sentence where the relation appears, and (ii) WordNet synsets and hypernymy relations of the candidate nominals. Each source of information is represented by kernel functions. In particular, five basic kernel functions are linearly combined and weighted under different conditions. The experiments were carried out using support vector machines as classifier. The system achieves an overall F1 of 71.8% on the Classification of Semantic Relations between Nominals task at SemEval-2007.
Get Your Requirements Straight: Storyboarding Revisited
Authors: Mieke Haesen, Kris Luyten, Karin Coninx
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Current user-centred software engineering (UCSE) approaches provide many techniques to combine know-how available in multidisciplinary teams. Although the involvement of various disciplines is beneficial for the user experience of the future application, the transition from a user needs analysis to a structured interaction analysis and UI design is not always straightforward. We propose storyboards, enriched by metadata, to specify functional and non-functional requirements. Accompanying tool support should facilitate the creation and use of storyboards. We used a meta-storyboard for the verification of storyboarding approaches.
COL.diesis: Transforming Colour into Melody and Implementing the Result in a Colour Sensor Device
Authors: Jessica Rossi, Francisco Jose Perales, Javier Varona, Miquel Roca
Venue: Proceedings of the 2009 Second International Conference in Visualisation (2009)

This paper represents a systemwhich explores the reality of colour in relation to sound and dedicated firstly to blind people, the challenges they live with, their psychology and their emotions. It’s an exploration of the infinite range of colours that they have either never been able to see or that they have lost the possibility to see. The system developed is based on the concept of synesthesia: a ‘liaison’ between colour and sound, colour that becomes sound. This paper synthesizes a wider range of study regarding people with diverse psychological and movement conditions. It represents a new method of expression and of self development through music therapy and game, dedicated mainly to children aged between 5 and 13. Finally we conclude with a portable prototype device that has been validated and patented. It is capable of detecting colour and transforming it into sound: a colour sensor identifies colours and transforms this data into musical notes. The prototype is totally adaptable to the requirements of the end user meaning that the user can choose the best combination between colour and sound in order to improve their communication with the environment. We are now developing a mathematical theoretical background in order to formalize the correspondence between colour and musical space.
estMax: Tracing Maximal Frequent Item Sets Instantly over Online Transactional Data Streams
Authors: Ho Jin Woo, Won Suk Lee
Venue: IEEE Transactions on Knowledge and Data Engineering (2009)

Frequent item set mining is one of the most challenging issues for descriptive data mining. In general, its resulting set tends to produce a large number of frequent item sets. To represent them in a more compact notation, closed or maximal frequent item sets are often used but finding such item sets over online transactional data streams is not easy due to the requirements of a data stream. For this purpose, this paper proposes a method of tracing the set of MFIs instantly over an online data stream. The method, namely estMax, maintains the set of frequent item sets by a prefix tree and extracts all MFIs without any additional superset/subset checking mechanism. Upon processing a new transaction, those frequent item sets that are matched maximally by the transaction are newly marked in their corresponding nodes of the prefix tree as candidates for MFIs. At the same time, if any subset of a newly marked item set has been already marked as a candidate MFI by a previous transaction, it is cleared as well. By employing this additional step, it is possible to extract the set of MFIs at any moment. The performance of the estMax method is comparatively analyzed by a series of experiments to identify its various characteristics.
A proposal for a new accident analysis method and its application to a catastrophic railway accident in Japan
Authors: Yuji Niwa
Venue: Cognition, Technology and Work (2009)

In a society of highly advanced technology, a new type of compound accident takes place. In an accident analysis, recent research concerns three aspects: human (M), technology (T) and organisation (O). However, technologies are developing day by day and it is becoming difficult to find causes of the recent compound accidents even with M, T and O analyses. This paper suggests further analyses considering the recent change of Western and Japanese societies quoting the recent catastrophic railway accident in Japan.
Mobile Technology for People with Cognitive Disabilities and Their Caregivers --- HCI Issues
Authors: Clayton Lewis, James Sullivan, Jeffery Hoehl
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

Smart phone technology is evolving to become more open to application developers. This trend is opening the way to development of personalized assistive technologies, location-aware services, and enhanced person-to-person communications. This paper presents findings from an international workshop, with participants from industry, policy, education, and private organizations. Participants mapped future directions for exploiting technical opportunities, with a focus on people with cognitive disabilities. HCI issues that emerged as critical include profile-based configuration of user interfaces and functionality, support for spoken presentation of text content, support for viewing web content on devices with small screens, and support for remote assistance, so that users can get help when they get stuck. In addition to technical issues, key process and methodology issues were identified, including more inclusion of self-advocates in design development and user testing, and increased recognition of and support for the overall "value chain" throughout system deployment and use.
Analysis of the Resistance Reduction of Flows with Fine Sediment and Experiment Study
Authors: Zhenchun Hao, Changjun Zhu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

In view of the abnormal phenomenon that a flood peak increased in August 2004 and July 2005 along the lower Yellow River, the experiments of this abnormal phenomenon is studied. It is found that the flood increase was due to the decrease the channel roughness in the propagation of high concentrated flood carrying the extra fine sediment which was discharged from Xiaolangdi reservoir. Experiments with hyper-concentration flowing over the rough beds prove that the resistance of the flow may be considerably reduced by suspended sediment. Especially in hyper-concentration, the phenomenon of drag-reducing is more obvious when the sediment contents exceed the flocculation sediment contents.It has the significant value for the flood control and flood prediction of hyper-concentration.
Linguistic theory in statistical language learning
Authors: Christer Samuelsson
Venue: Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning (1998)

This article attempts to determine what elements of linguistic theory are used in statistical language learning, and why the extracted language models look like they do. The study indicates that some linguistic elements, such as the notion of a word, are simply too useful to be ignored. The second most important factor seems to be features inherited from the original task for which the technique was used, for example using hidden Markov models for part-of-speech tagging, rather than speech recognition. The two remaining important factors are properties of the runtime processing scheme employing the extracted language model, and the properties of the available corpus resources to which the statistical learning techniques are applied. Deliberate attempts to include linguistic theory seem to end up in a fifth place.
Executive Compensation Structure and Corporate Performance: An Empirical Evidence from Chinese Listed Companies
Authors: Hong Zhang
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

Using comprehensive financial and accounting data on Chinese listed companies in 2007, this paper examines executive compensation structure. I find that corporate performance is positively related to the percentage of equity-based compensation to total compensation. I also find that equity-based compensation has a positive impact on the company's financial performance, and higher than on the market performance. Finally, the nature of state-owned enterprises helps to improve the financial performance, but not to improve market performance.
The WORKPAD User Interface and Methodology: Developing Smart and Effective Mobile Applications for Emergency Operators
Authors: Shah Rukh Humayoun, Tiziana Catarci, Massimiliano Leoni, Andrea Marrella, Massimo Mecella, Manfred Bortenschlager, Renate Steinmann
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

In complex emergency/disaster scenarios, teams from various emergency-response organizations collaborate in order to achieve a common goal. The use of smart mobile devices and applications in these scenarios can improve this collaboration dynamically; and poses interesting challenges, such as user' mental attention, small screen size, unavailability of reliable network, reduced power, and battery consumption. So, to design and develop interactive applications to be used in mobile and pervasive scenarios requires novel methodologies which combine user-centred design approaches and software engineering approaches tailed for distributed architectures. In this paper, we outline the methodology, adopted successfully in the European WORKPAD project, and describe the work done from getting the requirements to developing the interface of the desired system.
Research on Heterogeneous Component Platform for Pervasive Computing
Authors: Ping Xie, Jiang Zhou
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Software component technique improves the software productivity. Current mainstream component platforms (EJB, COM, .NET etc.) have already achieved success in software engineering, but are mostly aimed to traditional desk-top computing, still inapplicable to the dynamical pervasive computing. Accordingly, a component platform for pervasive computing is required urgently. This paper makes a brief introduction to current mainstream component platforms, then presents a component platform for pervasive computing, named CAR (Component Assembly Runtime). At last, an abstract software development model is proposed based on the CAR platform.
XKMis: effective and efficient keyword search in XML databases
Authors: Jiang Li, Junhu Wang, Maolin Huang
Venue: Proceedings of the 2009 International Database Engineering & Applications Symposium (2009)

We present XKMis, a system for keyword search in XML documents. Unlike previous work, our method is not based on the lowest common ancestor (LCA) or its variant, rather we divide the nodes into meaningful and self-containing information segments, called minimal information segments (MISs), and return MIS-subtrees which consist of MISs that are logically connected by the keywords. The MIS-subtrees are closer to what the user wants. The MIS-subtrees enable us to use the region code of XML trees to develop an algorithm for the search which is more efficient especially for large XML trees. We report our experiment results, which verify the better effectiveness and efficiency of our system.
Endowing Virtual Characters with Expressive Conversational Skills
Authors: Marilyn A. Walker
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

When humans interact with one another, socially intelligent conversational behaviors arise from the interaction of a number of different factors: the conversants' personality, cultural knowledge, the ability to observe and reason about social relationships, and the ability to project and detect affective cues. For virtual agents to be socially intelligent, they must have an expressive conversational repertoire. Moreover, scientific progress in this area requires that these expressive capabilities be easily parameterized, to support experimentation, and that at least some of the factors mentioned above be used to control the parameters. In this talk, I describe our research on expressive spoken language generation, and discuss how our work aims for both psychological plausibility and realistic usability. To achieve psychological plausibility we build on theories and detailed studies of human language use, such as the Big Five theory of personality, and Brown and Levinsons theory of politeness [1,2,3]. To achieve realistic usability, we have developed both rule-based and trainable generation methods that can dynamically, and in real time, change an agents linguistic style by modifying the values of these theoretically motivated parameters. This will allow us to experiment with dynamically modifying an agent's linguistic style based on theories of audience design, entrainment and alignment.