ppxscal/embedding_network huggingface dataset:
User Individual Differences in Intelligent Interaction: Do They Matter?
Authors: Jelena Nakić, Andrina Granić
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

Designing an intelligent system, as confirmed by research, must address relevant individual characteristics of users. This paper offers a brief review of individual differences literature in the HCI field in general and e-learning area in particular. Research suggests that using adaptive e-learning systems may improve user learning performance and increase her/his learning outcome. An empirical study presented in this paper encompasses a comprehensive user analysis regarding a web-based learning application. Statistically significant correlations were found between user intelligence, experience and motivation for e-learning with her/his learning outcome accomplished in an e-learning session. These results contribute to the knowledge base of user individual differences and will be considered in an estimation of possible benefits from enabling the system adaptivity.
Graph Transformation with Dependencies for the Specification of Interactive Systems
Authors: Andrea Corradini, Luciana Foss, Leila Ribeiro
Venue: Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (2009)

We propose a notion of Graph Transformation Systems (gts) with dependency relation, more expressive than a previously proposed one, and suitable for the specification of interactions. We show how a specification using gts with dependencies can be implemented, at a lower level of abstraction, by a transactional gts, that is, a gts equipped with the notion of observable (stable) items in which computations that correspond to "complete" interactions are characterized as transactions.
Retrieval of User Interface Templates Based on Tasks
Authors: Jordan Janeiro, Thomas Springer, Simone D. Barbosa, Alexander Schill
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Using template structures is an interesting approach to develop user interfaces. A designer can predefine such structures, following best user interface practices, to be constantly reused. However, it may be a problem to navigate through a repository of templates to find a suitable one for a certain application. Therefore, we propose a retrieval mechanism for templates based on its supported tasks.
Dei: A Theorem Prover for Terms with Integer Exponents
Authors: Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

An extension of the superposition-based E-prover [8] is described. The extension allows terms with integer exponents [3] in the input language. Obviously, this possibility increases the capabilities of the E-prover particularly for preventing non-termination.
Latent-variable modeling of string transductions with finite-state methods
Authors: Markus Dreyer, Jason R. Smith, Jason Eisner
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling correction, pronunciation modeling and inflectional morphology. We present a conditional loglinear model for string-to-string transduction, which employs overlapping features over latent alignment sequences, and which learns latent classes and latent string pair regions from incomplete training data. We evaluate our approach on morphological tasks and demonstrate that latent variables can dramatically improve results, even when trained on small data sets. On the task of generating morphological forms, we outperform a baseline method reducing the error rate by up to 48%. On a lemmatization task, we reduce the error rates in Wicentowski (2002) by 38--92%.
Information Entropy and Granulation Co---Entropy of Partitions and Coverings: A Summary
Authors: Daniela Bianucci, Gianpiero Cattaneo
Venue: Transactions on Rough Sets X (2009)

Some approaches to the covering information entropy and some definitions of orderings and quasi---orderings of coverings will be described, generalizing the case of the partition entropy and ordering. The aim is to extend to covering the general result of anti---tonicity (strictly decreasing monotonicity) of partition entropy. In particular an entropy in the case of incomplete information systems is discussed, with the expected anti-tonicity result, making use of a partial partition strategy in which the missing information is treated as a peculiar value of the system.On the other side, an approach to generate a partition from a covering is illustrated. In particular, if we have a covering ¿ coarser than another covering ¿ with respect to a certain quasi order relation on coverings, the induced partition ¿(¿) results to be coarser than ¿(¿) with respect to the standard partial ordering on partitions. Thus, one can compare the two coverings through the entropies of the induced partitions.
Fault Diagnosis of a Hydro Turbine Generating Set Based on Support Vector Machine
Authors: Chunting Yang, Jian Tao, Jing Yu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

With the application of large capacity hydro turbine generating set, it is important for the hydro turbine generating set to monitoring its vibration and diagnoses its faulty. In this paper, fault diagnosis based on support vector machine is proposed for hydro turbine generating set. The most important advantage of SVM is effective for the case of lack of training samples. Some key parameters of SVM and kernel functions are surveyed. Compared with the artificial neural network methods, SVM methods are more effective. The experiment shows that the SVM method has good classification ability and robust performances.
Multi-label Moves for MRFs with Truncated Convex Priors
Authors: Olga Veksler
Venue: Proceedings of the 7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (2009)

Optimization with graph cuts became very popular in recent years. As more applications rely on graph cuts, different energy functions are being employed. Recent evaluation of optimization algorithms showed that the widely used swap and expansion graph cut algorithms have an excellent performance for energies where the underlying MRF has Potts prior. Potts prior corresponds to assuming that the true labeling is piecewise constant. While surprisingly useful in practice, Potts prior is clearly not appropriate in many circumstances. However for more general priors, the swap and expansion algorithms do not perform as well. Both algorithms are based on moves that give each pixel a choice of only two labels. Therefore such moves can be referred to as binary moves. Recently, range moves that act on multiple labels simultaneously were introduced. As opposed to swap and expansion, each pixel has a choice of more than two labels in a range move. Therefore we call them multi-label moves. Range moves were shown to work better for problems with truncated convex priors, which imply a piecewise smooth labeling. Inspired by range moves, we develop several different variants of multi-label moves. We evaluate them on the problem of stereo correspondence and discuss their relative merits.
A Task-Based Role-Playing Game with Educational Robots for Learning Language
Authors: Gwo-Dong Chen, Chih-Wei Chang
Venue: Proceedings of the 4th International Conference on E-Learning and Games: Learning by Playing. Game-based Education System Design and Development (2009)

In this paper we present our work in the design of playing with robots to learn language in a classroom. We outline our approach of design for emergence: to provide just enough of a game context and challenge for people to be creative, to extend and enrich the experience of play through their interaction in the real world. Robots were designed to put on our mixed reality game stage, a wireless location-based multiplayer game. This paper describes the design and implementation of the task-based role playing game with robots.
Structured generative models for unsupervised named-entity clustering
Authors: Micha Elsner, Eugene Charniak, Mark Johnson
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

We describe a generative model for clustering named entities which also models named entity internal structure, clustering related words by role. The model is entirely unsupervised; it uses features from the named entity itself and its syntactic context, and coreference information from an unsupervised pronoun resolver. The model scores 86% on the MUC-7 named-entity dataset. To our knowledge, this is the best reported score for a fully unsupervised model, and the best score for a generative model.
Deploying Multi-Agents for Intelligent Aspect-Oriented Web Services
Authors: Santokh Singh, John Hosking, John Grundy
Venue: Multi-Agent Systems for Society: 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers (2009)

The limited description, discovery and integration mechanisms of current web service-based systems have many setbacks that hinder the extension and incorporation of dynamic capabilities into these systems. In this paper we present a novel software architecture called intelligent aspect-oriented web services (IAOWS) which addresses these problems and further improves on this technology by allowing for dynamic look-up and integration. IAOWS use a combination of Aspect-Oriented Multi-Agents and aspectual service descriptors for aspect-oriented web services to cater for more complete and thorough descriptions of services, thus supporting better dynamic discovery of both services and components, and their seamless integration and consumption by clients. We describe our IAOWS architecture and an initial implementation using .NET web services technology to engineer and deploy the Multi-Agents and capture the rich cross-cutting aspects together with their behavior and interaction within our highly distributed system.
Simple Power Analysis on Elliptic Curve Cryptosystems and Countermeasures: Practical Work
Authors: Keke Wu, Huiyun Li, Tingding Chen, Fengqi Yu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Simple Power Analysis (SPA), first introduced by Kocher et al. in [1], is a technique that involves directly interpreting power consumption measurements collected during cryptographic operations. Although the possibility of attacking elliptic curve cryptosystems (ECC) by SPA repeatedly appears in research papers, all accessible references evade the essence of reporting conclusive experiments where actual elliptic curve cryptosystems were successfully attacked and prevented. In this paper we describe power analysis experiments conducted on 3 implementations of elliptic curve cryptosystems. They are respectively binary, double-and-add-always and Montgomery methods of point multiplication. The experimental results indicate that using SPA analysis, the complete key material could be successfully retrieved from binary method, but not from double-and-add-always and Montgomery method.
A Web 2.0 and Open Source Approach for Management and Sharing of Multimedia Data-Case of the Tzu Chi Foundation
Authors: Jian-Hung Chen, Hsiu-Hsun Yang
Venue: Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing (2009)

The Tzu-Chi Foundation is one of the largest philanthropy foundations in Taiwan, with millions of members spread around the world. The search and sharing of vast member-generated information which could be in audio, video, photographs and various text formats, has long been a complex issue. Recently this foundation conducted an experimental project tempting to tackle this issue with web 2.0 approaches. A web-based prototype integrated from open source web album and wiki platform was developed and trial ran. This paper will discuss the experience and implication of this experimental project in the online community and managerial context.
SPMT: statistical machine translation with syntactified target language phrases
Authors: Daniel Marcu, Wei Wang, Abdessamad Echihabi, Kevin Knight
Venue: Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing (2006)

We introduce SPMT, a new class of statistical Translation Models that use Syntactified target language Phrases. The SPMT models outperform a state of the art phrase-based baseline model by 2.64 Bleu points on the NIST 2003 Chinese-English test corpus and 0.28 points on a human-based quality metric that ranks translations on a scale from 1 to 5.
Research on Exploration of Red Tourism Resource in Dawu of Hubei Province
Authors: Jia Luo, Xueli Zou, Yijin Wu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Dawu is rich in tourism resource, but it is quite lag behind comparing to those mature red tourism spots since its late start, non-general development and initial stage. It needs to be completed fatherly. By analyzing on the present sate and potential of red tourism resource development in Dawu and combining with its favorable condition in developing red tourism resource, the article will give corresponding game and advice to its developing direction against to the present problems.
Comparative Study of Wavelet Based Lattice QIM Techniques and Robustness against AWGN and JPEG Attacks
Authors: Dieter Bardyn, Ann Dooms, Tim Dams, Peter Schelkens
Venue: Proceedings of the 8th International Workshop on Digital Watermarking (2009)

We study watermarking techniques based on Quantization Index Modulation for which sets of lattice quantizers Q m are used (LQIM). A recipe for constructing such quantizers Q m is proposed, where the size of these sets is variable, so that the payload is easily adaptable. We make a comparative study of 8 dimensional lattices with good quantizer properties, where the embedding is done in the wavelet domain. Along the way, the gap between the theoretical ideas behind QIM and practical systems using lattices is closed by extending techniques, such as dithered quantizers and distortion compensation, from the scalar case to LQIM.
Research on Frequency Characteristics of Spherical-Cymbal Transducers
Authors: Shilin Wu, Qi Zhang, Zhiping Huang, Jiulong Xiong
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

A new type of cymbal-type transducer, called spherical-cymbal, has been developed to increase the frequency performances of traditional cymbal transducers. Spherical-cymbal transducer consists of a piezoelectric ceramic disk (poled in the thickness direction) sandwiched between two spherical metal end-caps, each end-cap containing a shallow spherical inner cavity. A analytical model was developed to evaluate the resonance frequencies of spherical-cymbal transducers, and finite element analysis (FEA) is also used to calculate the resonance frequencies of spherical-cymbal transducers. The results show that the analytical model is reasonable when the cavity is shallow, it can be used to calculate the resonance frequencies of spherical-cymbal transducers. Under the same dimensions, the first resonance frequency of spherical-cymbal transducers is lower about 4.8~8.4% than that of traditional cymbal transducers. The first resonance frequency of spherical-cymbal transducers can be easily tailored simply by changing the end-cap material or varying the end-cap dimensions. This capability gives spherical-cymbal transducers wider applications.
3D Geological Modelling of the Series of Deep Strata in Xiaermen Oilfield
Authors: Jinkai Wang, Jinliang Zhang
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

The technology of 3D computer modeling has been widely used in reservoir fine description, especially in the development phase. It’s an effective way to enhanced oil recovery and reduce water cut. This paper presents an example of the application 3D modeling to the series of deep strata in Xiaermen Oilfield, Henan, China. In this paper, the geological, geophysical, petrophysical and engineering informations are integrated then a comprehensive reservoir model is built that can enhance reservoir management planning. First, a 3D structural model is built which consists of the faults model and the horizon model, then based on the structural model a 3D stochastic microfacies model of each reservoir zone through the analysis and integration of core and log data from 15 wells in the study area. Second, the physical property data is analysed among the microfacies and builds the petrophysical model which interpolation method is controlled by the distribution of the microfacies.
IQMESH Implementation in IQRF Wireless Communication Platform
Authors: Vladimir Sulc, Radek Kuchta, Radimir Vrba
Venue: Proceedings of the 2009 Second International Conference on Advances in Mesh Networks (2009)

There are a lot of attempts to define a universal protocol for low power wireless communication based on mesh network topologies. This paper describes one such approach, IQMESH protocol, its advantages, strengths, also limitations and specific implementations. IQRF is an intelligent platform for wireless communication and control designed primarily to fulfill requests coming from building automation and telemetry industries, based on IQMESH protocol. IQMESH utilizes several unique and patented features, it is light and would be easily ported even to the smallest 8 bit microcontrollers.
Acquisition of Animated and Pop-Up Targets
Authors: Guillaume Faure, Olivier Chapuis, Michel Beaudouin-Lafon
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Pop-up targets, such as the items of popup menus, and animated targets, such as the moving windows in Mac OS X Exposé, are common in current desktop environments. This paper describes an initial study of pointing on pop-up and animated targets. Since we are interested in expert performance, we study the situation where the user has previous knowledge of the (final) position of the target. We investigate the effect of the DELAY factor, i.e. the delay before the target pops up (for pop-up targets) or the duration of the animation (for animated targets). We find little difference between the two techniques in terms of pointing performance (time and error), however a kinematic analysis reveals differences in the nature of the pointing movement. We also find that movement time increases with DELAY, but the degradation is smaller when the target is farther away than when it is closer. Indeed, larger distances require a longer movement time therefore the target reaches its destination while the participant is still moving the pointer, providing more opportunity to correct the movement than with short distances. Finally we take into account these results to propose an extension to Fitts' Law that better predicts movement time for these tasks.
Enhancing the Accessibility of Maps with Personal Frames of Reference
Authors: Falko Schmid
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

The visualization of geographic information requires large displays. Even large screens can be insufficient to visualize e.g. a long route in a scale, such that all decisive elements (like streets and turns) and their spatial context can be shown and understood at once. This is critical as the visualization of spatial data is currently migrating to mobile devices with small displays. Knowledge based maps, such as μMaps are a key to the visual compression of geographic information: those parts of the environment which are familiar to a user are compressed while the unfamiliar parts are displayed in full detail. As a result μMaps consist of elements of two different frames of reference: a personal and a geographic frame of reference. In this paper we argue for the integration personally meaningful places in μMaps. Their role is to clarify the spatial context without increasing the visual representation and they serve as an experienced based key to different scales (the compressed and uncompressed parts of the environment) of μMaps.
Fast, scalable and reliable generation of controlled natural language
Authors: David Hardcastle, Richard Power
Venue: Software Engineering, Testing, and Quality Assurance for Natural Language Processing (2008)

In this paper we describe a natural language generation system which takes as its input a set of assertions encoded as a semantic graph and outputs a data structure connecting the semantic graph to a text which expresses those assertions, encoded as a TAG syntactic tree. The scope of the system is restricted to controlled natural language, and this allows the generator to work within a tightly restricted domain of locality. We can exploit this feature of the system to ensure fast and efficient generation, and also to make the generator reliable by providing a rapid algorithm which can exhaustively test at compile time the completeness of the linguistic resources with respect to the range of potential meanings. The system can be exported for deployment with a minimal build of the semantic and linguistic resources that is verified to ensure that no run-time errors will result from missing resources. The framework is targeted at using natural language generation technology to build semantic web applications where machine-readable information can be automatically expressed in natural language on demand.
Improved Energy-Aware AODV Routing Protocol
Authors: Qu Lei, Wang Xiaoqing
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

Ad hoc mobile network is a highly dynamic wireless network, routing is the key issues in application. The most of current routing protocols perform not well on energy-saving, for which a improved energy-saving AODV is proposed. The protocol proposes a strategy for energy levels and improved Hello mechanisms. Simulations and related analyses show that in large-scale Ad hoc network, the routing protocols can significantly improve the efficiency of the route extend the network's lifetime.