ppxscal/embedding_network huggingface dataset:
Using a Dynamic Model to Simulate the Heuristic Evaluation of Usability
Authors: Nuria Hurtado, Mercedes Ruiz, Jesús Torres
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Among usability inspection methods, heuristic evaluation, or expert evaluation, is considered the most used and well-known usability evaluation method. The number of evaluators and their expertise are essential aspects that affect the quality of the evaluation, the cost that its application generates, and the time that it is necessary to spend. This paper presents a dynamic simulation model to analyze how different configurations of evaluator team have an effect upon the results of the heuristic evaluation method. One of the main advantages of using a dynamic simulation model is the possibility of trying out different decisions before carrying them out, and change them during the simulation of the evaluation process.
Optimal dialog in consumer-rating systems using a POMDP framework
Authors: Zhifei Li, Patrick Nguyen, Geoffrey Zweig
Venue: Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue (2008)

Voice-Rate is an experimental dialog system through which a user can call to get product information. In this paper, we describe an optimal dialog management algorithm for Voice-Rate. Our algorithm uses a POMDP framework, which is probabilistic and captures uncertainty in speech recognition and user knowledge. We propose a novel method to learn a user knowledge model from a review database. Simulation results show that the POMDP system performs significantly better than a deterministic baseline system in terms of both dialog failure rate and dialog interaction time. To the best of our knowledge, our work is the first to show that a POMDP can be successfully used for disambiguation in a complex voice search domain like Voice-Rate.
Automatic Identification of Shaft Orbits for Steam Turbine Generator Sets
Authors: Changfeng Yan, Hao Zhang, Hui Li, Li Yang, Wen Huang
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

The shaft orbits and dynamic characteristics of the shaft centre orbit contain abundant information for the fault diagnosis of rotating machinery and reflect different faults of rotating machine. Therefore the shaft orbits recognition plays an important role in the fault diagnosis of steam turbine generator set. An automatic identification method of shaft orbit for steam turbine generator sets is proposed in this paper. The median morphological filter combining the open-closing with clos-opening is used to eliminate the noise in the original X and Y vibration signals. Then the seven invariant moment feature are extracted from the shaft orbit reconstructed. Input the seven invariant moments to the trained BP neural network, the shaft orbit can be identified automatically. A case is verified this model. It is shown that this model is feasible and high precision for identify the shaft orbit in fault diagnosis.
New Challenges in Information Integration
Authors: Laura M. Haas, Aya Soffer
Venue: Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery (2009)

Information integration is the cornerstone of modern business informatics. It is a pervasive problem; rarely is a new application built without an initial phase of gathering and integrating information. Information integration comes in a wide variety of forms. Historically, two major approaches were recognized: data federation and data warehousing. Today, we need new approaches, as information integration becomes more dynamic, while coping with growing volumes of increasingly dirty and diverse data. At the same time, information integration must be coupled more tightly with the applications and the analytics that will leverage the integrated results, to make the integration process more tractable and the results more consumable.
Mobility Models for Delay-Tolerant Mobile Networks
Authors: Ha Dang, Hongyi Wu
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

In this paper, we investigate sophisticated mobility models thatcan be useful for researches in Delay-Tolerant Mobile Networks. Our research is based on the observation of existing movementtraces with several simplifications for network tractability. First, we present a continuous Markovian mobility model, wheremobile nodes stay at one location or move from locations tolocations according to exponential time distributions. Thisassumption has been widely adopted in many analyses andsimulations. Then we discuss a discrete Markovian mobility model,where a node makes movement decisions according to givenprobabilities. We prove the discrete model is equivalent to itscontinuous counterpart. They both have high complexity due to thepotentially large number of states. To reduce the complexity, wepresent a Community-based mobility model, where each node has itsown home location and moves in or out that location according togiven probabilities. The Community-based model is a special caseof the discrete Markovian model with a much smaller set of statesand matches well with the real user traces. Based on Markov-chaintheory, we can extract the stationary state probabilities fromthese models, which are useful for many analytical and simulationstudies. Extensive simulations have been carried out to validateour discussions.
Japanese query alteration based on semantic similarity
Authors: Masato Hagiwara, Hisami Suzuki
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

We propose a unified approach to web search query alterations in Japanese that is not limited to particular character types or orthographic similarity between a query and its alteration candidate. Our model is based on previous work on English query correction, but makes some crucial improvements: (1) we augment the query-candidate list to include orthographically dissimilar but semantically similar pairs; and (2) we use kernel-based lexical semantic similarity to avoid the problem of data sparseness in computing query-candidate similarity. We also propose an efficient method for generating query-candidate pairs for model training and testing. We show that the proposed method achieves about 80% accuracy on the query alteration task, improving over previously proposed methods that use semantic similarity.
Distinct hippocampal and basal ganglia contributions to probabilistic learning and reversal
Authors: Daphna Shohamy, Catherine E. Myers, Ramona O. Hopkins, Jake Sage, Mark A. Gluck
Venue: Journal of Cognitive Neuroscience (2009)

The hippocampus and the basal ganglia are thought to play fundamental and distinct roles in learning and memory, supporting two dissociable memory systems. Interestingly, however, the hippocampus and the basal ganglia have each, separately, been implicated as necessary for reversal learning-the ability to adaptively change a response when previously learned stimulus-outcome contingencies are reversed. Here, we compared the contribution of the hippocampus and the basal ganglia to distinct aspects of learning and reversal. Amnesic subjects with selective hippocampal damage, Parkinson subjects with disrupted basal ganglia function, and healthy controls were tested on a novel probabilistic learning and reversal paradigm. In this task, reversal can be achieved in two ways: Subjects can reverse a previously learned response, or they can select a new cue during the reversal phase, effectively "opting out" of the reversal. We found that both patient groups were intact at initial learning, but differed in their ability to reverse. Amnesic subjects failed to reverse, and continued to use the same cue and response learned before the reversal. Parkinson subjects, by contrast, opted out of the reversal by learning a new cue-outcome association. These results suggest that both the hippocampus and the basal ganglia support reversal learning, but in different ways. The basal ganglia are necessary for learning a new response when a previously learned response is no longer rewarding. The failure of the amnesic subjects to reverse their response or to learn a new cue is consistent with a more general role for the hippocampus in configural learning, and suggests it may also support the ability to respond to changes in cue-outcome contingencies.
Achieving master level play in 9×9 computer go
Authors: Sylvain Gelly, David Silver
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 3 (2008)

The UCT algorithm uses Monte-Carlo simulation to estimate the value of states in a search tree from the current state. However, the first time a state is encountered, UCT has no knowledge, and is unable to generalise from previous experience. We describe two extensions that address these weaknesses. Our first algorithm, heuristic UCT, incorporates prior knowledge in the form of a value function. The value function can be learned offline, using a linear combination of a million binary features, with weights trained by temporal-difference learning. Our second algorithm, UCT-RAVE, forms a rapid online generalisation based on the value of moves. We applied our algorithms to the domain of 9 × 9 Computer Go, using the program MoGo. Using both heuristic UCT and RAVE, MoGo became the first program to achieve human master level in competitive play.
A Robust AQM Algorithm Based on Fuzzy-Inference
Authors: Chuan Zhou, Xuejiao Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Active Queue Management (AQM) is an effective mechanism for congestion control problem which can achieve high quality of service (QoS) by making a better tradeoff between high throughput and low delay. While nowadays most AQM algorithms based on control theory have less robustness and queue stability under the complex network environment with uncertainties since those algorithms are more sensitive to the variations of network parameters. In this paper, a novel fuzzy AQM controller based on the relative changes of queue length and link rate is presented, which introduces two relative errors as congestion notifications and also as the inputs of fuzzy inference system, and then an appropriate dropping probability at router is determined by a set of fuzzy rules. Simulation results show that this proposed algorithm has better performance on queue stability and less delay, at the same time it has good robustness for nonlinearity and load variation.
An integrated architecture for speech-input multi-target machine translation
Authors: Alicia Pérez, M. Inés Torres, M. Teresa González, Francisco Casacuberta
Venue: Human Language Technologies 2007: The Conference of the North American Chapter of the Association for Computational Linguistics; Companion Volume, Short Papers on XX (2007)

The aim of this work is to show the ability of finite-state transducers to simultaneously translate speech into multiple languages. Our proposal deals with an extension of stochastic finite-state transducers that can produce more than one output at the same time. These kind of devices offer great versatility for the integration with other finite-state devices such as acoustic models in order to produce a speech translation system. This proposal has been evaluated in a practical situation, and its results have been compared with those obtained using a standard mono-target speech transducer.
From Scalar-Valued Images to Hypercomplex Representations and Derived Total Orderings for Morphological Operators
Authors: Jesús Angulo
Venue: Proceedings of the 9th International Symposium on Mathematical Morphology and Its Application to Signal and Image Processing (2009)

In classical mathematical morphology for scalar images, the natural ordering of grey levels is used to define the erosion/dilation and the derived operators. Various operators can be sequentially applied to the resulting images always using the same ordering. In this paper we propose to consider the result of a prior transformation to define the imaginary part of a complex image, where the real part is the initial image. Then, total orderings between complex numbers allow defining subsequent morphological operations between complex pixels. In this case, the operators take into account simultaneously the information of the initial image and the processed image. In addition, the approach can be generalised to the hypercomplex representation (i.e., real quaternion) by associating to each image three different operations, for instance a directional filter. Total orderings initially introduced for colour quaternions are used to define the derived morphological transformations. Effects of these new operators are illustrated with different examples of filtering.
An Interactive E-learning System Using Kansei Engineering
Authors: Hapugahage Thilak Chaminda, Achini Basnayake, Ajith Madurapperuma, Minetada Osano
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

An important issue faced today in any on-line system is to determine the users’ states of emotions regarding the situation. It is possible to identify user’s emotions while interacting face to face by observing their conditions, and assign a suitable level of tasks to the user. But it is very much difficult to identify the user’s state of emotion when he or she is not in front of teacher when communicating is in progress. Kansei Engineering is used in this research, to achieve a solution to this problem. Learner’s knowledge level of the lesson and emotional level are considered as key parameters to measure the status of the learner. These measurements are used as key points to enhance the experience of the learner, who is interacting with the E-Learning system. The E-Learning system supports in customized ways to the learner, to improve knowledge and manage emotions effectively.
Effect of global position information in unknown world exploration - A case study using the Teleworkbench
Authors: Safaa Amin, Andry Tanoto, Ulf Witkowski, Ulrich Rückert, M. Saied Abdel-Wahab
Venue: Robotics and Autonomous Systems (2009)

This paper presents empirical results of the effect of the global position information on the performance of the modified local navigation algorithm (MLNA) for unknown world exploration. The results show that global position information enables the algorithm to maintain 100% success rate irrespective of initial robot position, movement speed, and environment complexity. Most mobile robot systems accrue an odometry error while moving, and hence need to use external sensors to recalibrate their position on an ongoing basis. We deal with position calibration to compensate the odometry error using the global position information provided by the Teleworkbench, which is a teleoperated platform and test bed for managing experiments using mini-robots. In this paper we demonstrate how we incorporate the global position information during and after the experiments.
Inheritance comes of age: applying nonmonotonic techniques to problems in industry
Authors: Leora Morgenstern
Venue: Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2 (1997)

Nonmonotonic reasoning is virtually absent from industry and has been so since its inception; the result is that the field is becoming marginalized within AI. I argue that this is because researchers in the area focus exclusively on commonsense problems which are irrelevant to industry and because few efficient algorithms and/or tools have been developed. A sensible strategy is thus to focus on industry problems and to develop solutions within tractable subtheories of nonmonotonic logic. I examine one of the few examples of nonmonotonic reasoning in industry -- inheritance of business rules in the medical insurance domain -- and show how the paradigm of inheritance with exceptions can be extended to a broader and more powerful kind of nonmonotonic reasoning. Finally I discuss the underlying lessons that can be generalized to other industry problems.
Microsoft Office 2008 for Mac Bible
Authors: Sherry Kinkoph Gunter, Jennifer Ackerman Kettell, Greg Kettell
Venue:  (2009)

Written by an expert in the field of technology training and author of nearly two dozen titles, this complete guide offers readers thorough yet clear instruction on using the Microsoft Office suite: Word, Excel, PowerPoint, and Entourage Apple has welcomed Microsoft Office into its world and this reference is the ultimate resource for learning how to best capitalize on each application of Office Reviews creating, editing, formatting, and sharing digital documents with Word; gathering and analyzing information with Excel; creating dynamic presentations with PowerPoint; and using the e-mail and calendar of Entourage
Software Architecture for Self-Adapting Sub-sea Sensor Networks: Work in Progress
Authors: Svein Hallsteinsen, Richard Torbjørn Sanders
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

Monitoring of the sub-sea environment requires advanced sensor networks with both stationary and mobile nodes on the surface and underwater, each node playing a different role. The combination of mobile and stationary nodes, the loss of nodes due to harsh conditions, the difficult conditions for wireless sub-sea communication and the need for nodes to collaborate are all factors that require new approaches to software architectures for such nodes and systems. This articles presents work in progress that sets out to address these issues by adapting approaches from software engineering solutions to ubiquitous computing.
Specific Movement Detection in EEG Signal Using Time-Frequency Analysis
Authors: Haller Piroska, Szalai Janos
Venue: Proceedings of the 2008 First International Conference on Complexity and Intelligence of the Artificial and Natural Complex Systems. Medical Applications of the Complex Systems. Biomedical Computing (2008)

Recent research in BCI focuses not only on developing a new communication channel for severely handicapped people but also on applications for rehabilitation, multimedia, communication, virtual reality, entertainment and relaxation. Most of them fall in the domain of human-computer interfaces (HCIs) designed for interaction between brain, eyes, body and computer or robot. For brain signal acquisition several technologies have been applied, for example electroencephalography (EEG), magneto encephalography (MEG), functional magnetic resonance imaging (fMRI) and near infrared spectroscopy (NIRS). Portability and cost effectiveness problems channeled BCI systems to exploit EEG signals mostly. This paper presents a methodology and recommended parameter setting, for representation in time-frequency scale of EEG signals. It refines the detection of event-related changes in the signals, revealing specific patterns of rhythms, for actual and intended physical movement. The result shows that, with well defined window length it is possible to improve localization of specific frequencies within the brain activity. This lead to the fact that actual muscle activity form could be identified from EEG signals. Using the referenced methodology a wide range of HCIs systems can be designed to perform specific tasks for the benefit of the end-user.
Two Algorithms in Search of a Type-System
Authors: Norman Danner, James S. Royer
Venue: Theory of Computing Systems (2009)

The authors&#x2019; $\mathsf{ATR}$programming formalism is a version of call-by-value $\mathsf{PCF}$under a complexity-theoretically motivated type system. $\mathsf{ATR}$programs run in type-2 polynomial-time and all standard type-2 basic feasible functionals are $\mathsf{ATR}$-definable ( $\mathsf{ATR}$types are confined to levels 0, 1, and&#x00a0;2). A limitation of the original version of $\mathsf{ATR}$is that the only directly expressible recursions are tail-recursions. Here we extend $\mathsf{ATR}$so that a broad range of affine recursions are directly expressible. In particular, the revised $\mathsf{ATR}$can fairly naturally express the classic insertion- and selection-sort algorithms, thus overcoming a sticking point of most prior implicit-complexity-based formalisms. The paper&#x2019;s main work is in refining the original time-complexity semantics for $\mathsf{ATR}$to show that these new recursion schemes do not lead out of the realm of feasibility.
Hierarchical Morphological Composition Of Web Hosting System
Authors: Mark Sh. Levin, Stanislav Yu. Sharov
Venue: Journal of Integrated Design Process Science (2009)

In the paper, hierarchical combinatorial synthesis of Web-hosting system is described. The composition problem is examined as analysis and selection of system component alternatives (e.g., hardware alternatives, software alternatives, communication alternatives). The modular design process is based on Hierarchical Morphological Multicriteria Design (HMMD) approach: (i) design of a tree-like model for the system, (ii) generation of design alternatives for each leaf node of the system model, (iii) generation of criteria and their scales for each node of the system model, (iv) assessment of the design alternatives upon the corresponding criteria, (v) multicriteria analysis of the alternatives for system components/parts to get ordinal estimates of quality for each design alternative, (vi) composing the selected alternatives into a resultant combination or a composite design alternative for the higher hierarchical level of the system model (while taking into account ordinal quality of the alternatives above and ordinal quality of compatibility between the alternatives). The multicriteria analysis of the design alternatives and their composition is based on a hierarchical Bottom-Up framework. A two-criteria combinatorial problem (morphological clique problem) is used for the composition and Pareto-effective solutions are searched for. An example of Web-hosting system consists of the following basic system parts: (a) facilities (servers, telecommunication facilities), (b) Internet access, (c) software part (Web server, Web technology). The set of basic criteria involves the following: price, reliability, scalability, stability of work, maintenance cost, etc. Numerical examples illustrate the system modeling and design processes.