ppxscal/embedding_network huggingface dataset:
A Global QoS Optimizing Web Services Selection Algorithm Based on MOACO for Dynamic Web Service Composition
Authors: Fang Qiqing, Peng Xiaoming, Liu Qinghua, Hu Yahui
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Dynamic Web Service composition is a key technology for building the service-oriented, loose coupling and integrated applications. In a web service composition system Web Services can be selected and integrated to generate a workflow for the satisfaction of user functional requirements. Usually, for each task in the workflow a set of alternative Web Services with similar functionality is available, and that these Web Services have different QoS parameters. This leads to the general optimization problem of how to select Web Services for each task so that the overall QoS requirements of the composition are satisfied and optimal. However, the existing approaches are almost QoS local optimization or mono-objective based, and can not achieve global constraints set by user. In this paper, we present a novel global QoS optimizing and multi-objective Web Services selection algorithm based on Multi-objective Ant Colony Optimization (MOACO) for the Dynamic Web Service composition. Firstly, we propose a model of Web Services selection with QoS global optimization and convert this problem into a multi-objective optimization problem with user constraints. Furthermore, based on the MOACO, the proposed algorithm simultaneously optimizes the different QoS parameters of the workflow. In this way, a set of optimal solutions, known as Pareto set, is calculated. Experimental results prove the proposed algorithm outperforms the recently published QoS Global Optimization Based on Multi-objective Genetic Algorithm (MOGA), specially designed for solving the Web Services selection problem.
Using fNIRS brain sensing in realistic HCI settings: experiments and guidelines
Authors: Erin Treacy Solovey, Audrey Girouard, Krysta Chauncey, Leanne M. Hirshfield, Angelo Sassaroli, Feng Zheng, Sergio Fantini, Robert J.K. Jacob
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

Because functional near-infrared spectroscopy (fNIRS) eases many of the restrictions of other brain sensors, it has potential to open up new possibilities for HCI research. From our experience using fNIRS technology for HCI, we identify several considerations and provide guidelines for using fNIRS in realistic HCI laboratory settings. We empirically examine whether typical human behavior (e.g. head and facial movement) or computer interaction (e.g. keyboard and mouse usage) interfere with brain measurement using fNIRS. Based on the results of our study, we establish which physical behaviors inherent in computer usage interfere with accurate fNIRS sensing of cognitive state information, which can be corrected in data analysis, and which are acceptable. With these findings, we hope to facilitate further adoption of fNIRS brain sensing technology in HCI research.
An Algorithm Evaluating System Stability to Process
Authors: Qing Zhou, Fang Yu, Binqiang Wang
Venue: Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing (2009)

The stability of computer systems(single computers or computer networks) to processes is studied in this paper. Unlike the notion of self-stabilization, which requires the involved computer systems are stable for all the processes possibly running on them, we believe that a computer system can only be stable for some of the processes. So what we need for a stable computer system is that it has a capability to determine which processes it is stable to and which it is not. With this viewpoint, the notion of stability of computer systems to processes is proposed and all the related items are precisely defined and discussed in details. As an application of this notion, an effective algorithm based on the knowledge of the involved computer system is proposed to determine its stability to a particular process. It is represented in a comprehensive way to make it clear that it can be implemented on computers by means of logic programming. A simple example illustrating the whole workings of the algorithm is given last.
A logic of semantic representations for shallow parsing
Authors: Alexander Koller, Alex Lascarides
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics (2009)

One way to construct semantic representations in a robust manner is to enhance shallow language processors with semantic components. Here, we provide a model theory for a semantic formalism that is designed for this, namely Robust Minimal Recursion Semantics (rmrs). We show that rmrs supports a notion of entailment that allows it to form the basis for comparing the semantic output of different parses of varying depth.
Interactive Location-Based Game for Supporting Effective English Learning
Authors: Chih-Ming Chen, Yen-Nung Tsai
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Many non-English speaking countries regard English as the most important second language. Therefore, developing modern assisted-learning tools that can support effective English learning is a critical issue in the English-language education field. With the fast development of wireless positioning techniques, the location-based game has been considered as a novel type of game and it has high potential to support context-aware learning. Accordingly, this study proposes a novel game-based English learning system with context-aware interactive learning mechanism which can appropriately provide a corresponding game-based English learning scene to the learner’s handheld device based on the learner’s location context. The proposed system aims to construct a mixed reality game learning environment that integrates virtual objects with real scenes in a university library. The preliminary experimental results reveal that the proposed learning mode provides likely benefits in terms of promoting learners’ learning interests, increasing learners’ willing to learning English.
Discriminating the registers and styles in the modern Greek language
Authors: George Tambouratzis, Stella Markantonatou, Nikolaos Hairetakis, Marina Vassiliou, Dimitrios Tambouratzis, George Carayannis
Venue: Proceedings of the Workshop on Comparing Corpora (2000)

This article investigates (a) whether register discrimination can successfully exploit linguistic information reflecting the evolution of a language (such as the diglossia phenomenon of the Modern Greek language) and (b) what kind of linguistic information and which statistical techniques may be employed to distinguish among individual styles within one register. Using clustering techniques and features reflecting the diglossia phenomenon, we have successfully discriminated registers in Modern Greek. However, diglossia information has not been shown sufficient to distinguish among individual styles within one register. Instead, a large number of linguistic features need to be studied with methods such as discriminant analysis in order to obtain a high degree of discrimination accuracy.
Viewpoint-Based Test Analysis for Dependable Onboard Flight Software
Authors: Takao Mori, Shinya Iwasaki, Shohgo Ujihara, Naohiko Kohtake, Yasuharu Nishi
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

The quality of onboard flight software plays a significant role in the effort to succeed with more demanding space mission requirements. To improve software quality, the Japan Aerospace Exploration Agency (JAXA) has applied software independent verification and validation (IV&V) for various software systems[1]. As part of this activities, test analysis has been conducted on some dependable flight software. The aim is to establish a methodology to efficiently identify "what to test”, and also to obtain the points of view in test design that is adequate to each spacecrafts characteristics. For this purpose, we have introduced the concept of viewpoint of testing, enacted test analysis based on the concept, and evaluated existing test suites using these results. In this paper, we describe the concept and methodology of test analysis for dependable flight software based-on our experiences, as well as the result of our evaluations of existing test suites.
A Unified Framework for Load Distribution and Fault-Tolerance of Application Servers
Authors: Huaigu Wu, Bettina Kemme
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

This paper proposes a novel replication architecture for stateful application servers that offers an integrated solution for fault-tolerance and load-distribution. Each application server replica is able to execute client requests and at the same time serves as backup for other replicas. We propose an effective load balancing mechanism that is only load-aware if a server is close to become overloaded. Furthermore, we present transparent reconfiguration algorithms that guarantee that each replica has the same number of backups in a dynamic environment where replicas can join or leave at any time. Our evaluation shows that our approach scales and distributes load across all servers even in heterogeneous environments while keeping the overhead for fault-tolerance and load-balancing small.
Some Improvements of t-Cherry Junction Trees
Authors: Edith Kovacs, Tamás Szantai
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)

One of the important areas of machine learning is the development and use of probabilistic models for classification and prediction. In our earlier work we introduced a special kind of junction tree, based on a hypergraph structure called t-cherry tree and on some information theoretical concepts.In this paper we present a possibility for the improvement of these junction trees, by “cutting and refitting” of the junction tree’s branches. Both theoretical and experimental results demonstrate the improvement of the junction tree obtained after “branch cutting and refitting”.
Towards Effective Elicitation of NIN-AND Tree Causal Models
Authors: Yang Xiang, Yu Li, Zoe Jingyu Zhu
Venue: Proceedings of the 3rd International Conference on Scalable Uncertainty Management (2009)

To specify a Bayes net (BN), a conditional probability table (CPT), often of an effect conditioned on its n causes, needs assessed for each node. It generally has the complexity exponential on n. Noisy-OR reduces the complexity to linear, but can only represent reinforcing causal interactions. The non-impeding noisy-AND (NIN-AND) tree is the first causal model that explicitly expresses reinforcement, undermining, and their mixture. It has linear complexity, but requires elicitation of a tree topology for types of causal interactions. We study their topology space and develop two novel techniques for more effective elicitation.
Compositional Failure-based Equivalence of Constraint Automata
Authors: Mohammad Izadi, Ali Movaghar
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

Reo is a coordination language for modeling component connectors of component-based computing systems. Constraint automaton, as an extension of finite automaton, has been proposed as the operational semantics of Reo. In this paper, we introduce an extended definition of constraint automaton by which, every constraint automaton can be considered as a labeled transition system and each labeled transition system can be translated into a constraint automaton. We show that failure-based equivalences CFFD and NDFD are congruences with respect to composition of constraint automata using their join (production) and hiding operators. Based on these congruency results and by considering the temporal logic preservation properties of CFFD and NDFD equivalences, they can be used for reducing sizes of models before doing model checking based verification.
Construction and Test of Web Service Solution for E-government
Authors: Wenli Dong
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

SOA is an ideal solution for resolving the interoperation, adaptation, incorporation, and dynamic requirements satisfaction problems of information services in e-government. Construction and test Web Service solution for e-government is becoming more and more important for e-government adoption. In this paper, the construction of Web Service solution for e-government is analyzed while WSDL provides the syntactic description of a single service; OWL-S gives the semantic description for the services and their relationship in e-government. The transformation from the Web Service solution for e-government to semantic HPN is discussed. The process is analyzed and tested based on the relationship represented by OWL-S and its equivalent semantic HPN automatically.
Perceptual interpretation of ink annotations on line charts
Authors: Nicholas Kong, Maneesh Agrawala
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

Asynchronous collaborators often use freeform ink annotations to point to visually salient perceptual features of line charts such as peaks or humps, valleys, rising slopes and declining slopes. We present a set of techniques for interpreting such annotations to algorithmically identify the corresponding perceptual parts. Our approach is to first apply a parts-based segmentation algorithm that identifies the visually salient perceptual parts in the chart. Our system then analyzes the freeform annotations to infer the corresponding peaks, valleys or sloping segments. Once the system has identified the perceptual parts it can highlight them to draw further attention and reduce ambiguity of interpretation in asynchronous collaborative discussions.
Fuzzy Modeling Method and Device for Distributed Generation System
Authors: Qiuye Sun, Chonghui Song, Huaguang Zhang, Yan Zhao
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Distributed generations have become an important part of electrical generation in many countries and its importance is continuing to increase. The exact models of distributed generations are important for load flow program, stability analyses and other applies in distribution systems.But the absence of basic data results in the difficulty of modeling for distributed generator. Based on the knowledge representation of cloud theory, a combination cloud generator is put forward, which combines forward cloud generator and backward cloud generator to a close-loop structure fro solving the DGS origin data shortage. Considering of the DGS data characteristic, the restriction equations and system data complement unit are joined to combination cloud generator, which ensure that the created DGS data cover most of the system situation without impossible data. The characters of distributed generator of power system are considered. The influence factors and the manners of incorporating in power network for distributed generator are analyzed in principle. The multifarious distributed power supplies are modeled by T-S fuzzy identification method. A uniform fuzzy model for distributed power supply can be obtained. Then the fuzzy modeling device is invented and applied in China’s Tibet Xigaze power system. The identification result implies the effectiveness and usefulness of the approach.
A combined phonetic-phonological approach to estimating cross-language phoneme similarity in an ASR environment
Authors: Lynette Melnar, Chen Liu
Venue: Proceedings of the Eighth Meeting of the ACL Special Interest Group on Computational Phonology and Morphology (2006)

This paper presents a fully automated linguistic approach to measuring distance between phonemes across languages. In this approach, a phoneme is represented by a feature matrix where feature categories are fixed, hierarchically related and binary-valued; feature categorization explicitly addresses allophonic variation and feature values are weighted based on their relative prominence derived from lexical frequency measurements. The relative weight of feature values is factored into phonetic distance calculation. Two phonological distances are statistically derived from lexical frequency measurements. The phonetic distance is combined with the phonological distances to produce a single metric that quantifies cross-language phoneme distance. The performances of target-language phoneme HMMs constructed solely with source language HMMs, first selected by the combined phonetic and phonological metric and then by a data-driven, acoustics distance-based method, are compared in context-independent automatic speech recognition (ASR) experiments. Results show that this approach consistently performs equivalently to the acoustics-based approach, confirming its effectiveness in estimating cross-language similarity between phonemes in an ASR environment.
A graph-theoretic model of lexical syntactic acquisition
Authors: Hinrich Schütze, Michael Walsh
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

This paper presents a graph-theoretic model of the acquisition of lexical syntactic representations. The representations the model learns are non-categorical or graded. We propose a new evaluation methodology of syntactic acquisition in the framework of exemplar theory. When applied to the CHILDES corpus, the evaluation shows that the model's graded syntactic representations perform better than previously proposed categorical representations.
Sound and Movement Visualization in the AR-Jazz Scenario
Authors: Cristina Portalés, Carlos D. Perales
Venue: Proceedings of the 8th International Conference on Entertainment Computing (2009)

This paper describes AR-Jazz, an augmented reality application designed to visualize sound and movements in live jazz performances. The augmented scenario is achieved within the program Max MSP Jitter, with an integrated inertial sensor and a microphone. As a display, a cinema screen is used. The application was first shown at the SedaJazz Festival 2007 in Valencia (Spain). In first place, a workshop was made in order the musicians to become familiar with the application. Secondly, a live performance was shown. The experience is described in this paper.
Solving everyday physical reasoning problems by analogy using sketches
Authors: Matthew Klenk, Ken Forbus, Emmett Tomai, Hyeonkyeong Kim, Brian Kyckelhahn
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

Understanding common sense reasoning about the physical world is one of the goals of qualitative reasoning research. This paper describes how we combine qualitative mechanics and analogy to solve everyday physical reasoning problems posed as sketches. The problems are drawn from the Bennett Mechanical Comprehension Test, which is used to evaluate technician candidates. We discuss sketch annotations, which define conceptual quantities in terms of visual measurements, how modeling decisions are made by analogy, and how analogy can be used to frame comparative analysis problems. Experimental results support the plausibility of this approach.
Fully automatic generation of web user interfaces for multiple devices from a high-level model based on communicative acts
Authors: Jurgen Falb, Roman Popp, Thomas Rock, Helmut Jelinek, Edin Arnautovic, Hermann Kaindl
Venue: International Journal of Web Engineering and Technology (2009)

The problems involved in the development of web User Interfaces (UIs) become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of these devices has its own characteristics that require a special web UI. Therefore, we developed and implemented an approach to generate web UIs for multiple devices fully automatically from a high-level model. In contrast to previous approaches focusing on abstracting the UI per se, we make use of speech act theory from the philosophy of language for the specification of desired intentions in interactions. Our new approach of using communicative acts in high-level models of UIs allows their creation with less technical knowledge, since such models are easier to provide than the web UI code in a usual programming language. From one such high-level model, multiple web UIs for diverse devices can be rendered fully automatically using a number of heuristics. A generated web UI for a PDA has already been put into real-world operation and its usability was informally evaluated as good.
Existence of positive solutions for a semipositone boundary value problem on the half-line
Authors: Ruyun Ma, Bao Zhu
Venue: Computers Mathematics with Applications (2009)

In this paper, we consider the boundary value problem on the half-line {x^''(t)-k^2(t)x(t)+@lm(t)f(t,x(t))=0,t@?(0,~),x(0)=0,limt->~x(t)=0, where k:[0,~)->(0,~) and f:[0,~)x[0,~)->R are continuous. We show the existence of positive solutions by using a fixed point theorem in cones.
Reconnecting Broken Ridges in Fingerprint Images
Authors: Nadia Brancati, Maria Frucci, Gabriella Sanniti Baja
Venue: Proceedings of the 15th International Conference on Image Analysis and Processing (2009)

In this paper, we present a new method for reconnecting broken ridges in fingerprint images. The method is based on the use of a discrete directional mask and on the standard deviation of the gray-levels to determine ridge direction. The obtained direction map is smoothed by counting the occurrences of the directions in a sufficiently large window. The fingerprint image is, then, binarized and thinned. Linking paths to connect broken ridges are generated by using a morphological transformation to guide the process.
Facilitating Search through Visualized Results
Authors: Takahisa Ando, Satoko Shiga, Tomoya Iwakura, Seishi Okamoto
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

This paper presents a search engine interface enriching search results with thumbnails of documents such as reports, presentation materials, spreadsheets, and so on. Usual search results consist of text information, such as the title and its snippet of each document. Our interface adds the thumbnails of documents listed in search results for assisting the search processes of users. We evaluate the interface on a web site search engine. The experimental results show that our interface enables users to find their target documents more efficiently than using an interface without thumbnails.