ppxscal/embedding_network huggingface dataset:
Choosability of P5-Free Graphs
Authors: Petr A. Golovach, Pinar Heggernes
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

A graph is k-choosable if it admits a proper coloring of its vertices for every assignment of k (possibly different) allowed colors to choose from for each vertex. It is NP-hard to decide whether a given graph is k-choosable for k ¿ 3, and this problem is considered strictly harder than the k-coloring problem. Only few positive results are known on input graphs with a given structure. Here, we prove that the problem is fixed parameter tractable on P 5-free graphs when parameterized by k. This graph class contains the well known and widely studied class of cographs. Our result is surprising since the parameterized complexity of k-coloring is still open on P 5-free graphs. To give a complete picture, we show that the problem remains NP-hard on P 5-free graphs when k is a part of the input.
Building a Programmable Architecture for Non-visual Navigation of Mathematics: Using Rules for Guiding Presentation and Switching between Modalities
Authors: Iyad Abu Doush, Enrico Pontelli
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

This paper presents a new implementation framework for exploring different non-visual modalities of presentation and navigation of mathematical content. The objective is to create a framework to facilitate the investigation of different presentation modalities, and to sustain the development of solutions that could fit a broad range of visual disabilities. The increased flexibility and the ability to customize the presentation scheme have the potential to provide a better fit for the needs of the user and enhance accessibility of complex mathematical content. The proposed approach relies on two principles. The first principle is a separation of concerns: instead of freezing the modality of presentation in the navigation system, we introduce the notion of rendering rule. The second feature of the proposed navigation system is the ability to switch on demand between interactive navigation and prosody-based presentation. This work is implemented as an extension to the Firefox web browser. New functionalities for reading MathML contents in a web page are added to the open source screen reader FireVox.
A Multi-phase Level Set Method for Image Segmentation Based on the Mumford-Shah Model
Authors: Wu Jiming, Zhu Xuefeng
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Image segmentation and contour detection based on the active contour is treated as the most popular hotspots. In this paper, a detailed analysis of Mumford-Shah Model is given with emphasis on its contour mechanism, and a simplified multi-phase piecewise smooth model is proposed, then a level set evolution without re-initialization is produced during the course of iteration. This new algorithm, whose initial curve is embedded in the level set function of higher dimension, can detect and segment correctly multiple objects of distinct intensities and handle the complex changes of topology. Finally, some experiments are conducted on the synthetic image and medicinal image, and satisfactory results show that this model is not sensitive to the initial location of the cure and is strongly robust to a noise.
Indexing Variable Length Substrings for Exact and Approximate Matching
Authors: Gonzalo Navarro, Leena Salmela
Venue: Proceedings of the 16th International Symposium on String Processing and Information Retrieval (2009)

We introduce two new index structures based on the q-gram index. The new structures index substrings of variable length instead of q-grams of fixed length. For both of the new indexes, we present a method based on the suffix tree to efficiently choose the indexed substrings so that each of them occurs almost equally frequently in the text. Our experiments show that the resulting indexes are up to 40% faster than the q-gram index when they use the same space.
Decentralized Dynamic Resource Allocation for Workflows in Grid Environments
Authors: Florin Pop, Ciprian Dobre, Valentin Cristea
Venue: Proceedings of the 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2008)

In this paper we present an innovative decentralized dynamic resource scheduling solution of large scale application workflows onto distributed, heterogeneous Grid environments. The presented resource allocation solution aims to optimize large-scale scientific application workflows by efficiently and effectively mapping and scheduling them onto Grid resources. The proposed solution is part of a framework that aims to help scientists easily deploy large-scale scientific workflow applications from a wide-range of research fields. The decentralized architecture, together with the scheduling policies and fault management being proposed in this paper, are specifically designed to optimize the scheduling management for workflows in case of a wide range of Grid environment. In order to demonstrate the validity and performance of the presented scheduling solution we propose using modeling and simulation techniques. For that we present the characteristics of a generic simulator that includes all the necessary components to help in evaluating a wide-range of scheduling procedures, such as the ones presented in this, in the context of large-scale heterogeneous Grid environment.
An Exploration of Tiled Architectures for Space Applications
Authors: Peter M. Kogge, Megan Vance
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

For many reasons, the chip technology for spacecraft computing has lagged commercial systems by decades. Equally disconcerting, however, has been a similar lag in the computer architectures used. This paper will look at an emerging class of multi-core processor architectures, called “tiled,” extrapolate what they might look like in the future, and how they might be adapted to space applications. This extrapolation will include physical characteristics (speed, power, and area), system architectures, and fault tolerant models
QualiTrack: Highspeed TUI Tracking for Tabletop Applications
Authors: Ramon Hofer, Thomas Nescher, Andreas Kunz
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

In this paper, we present a new technology to track multiple active Tangible User Interfaces (TUI) on a projection table. We use a commercial high speed infrared tracking camera with modified firmware. With a special tracking method, we reach update rates of up to 250 Hz with low latencies. At this tracking rate, we are able to track the position, state and the orientation of more than 10 active TUIs on the table. For this, we use specified bit codes which are transmitted by the devices. We developed dedicated hardware (SyncUnit) and software to keep the devices and the high speed camera synchronized. The system of camera, SyncUnit, and devices is fully hardware controlled and delivers event coded tracking data for further usage in interactive applications.
The Design of Remote Medical Monitoring System Based on Sensors and GPRS
Authors: Wang Xiaohong, Liu Li
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

As a new medical method, the remote medical monitoring system is being paid more and more attention to. This article proposes a kind of remote medical monitoring system which is based on the sensor and GPRS (General Packet Radio Service, GPRS). The article first analyzes the necessity of the remote medical monitoring system, and then explains the advantages of the GPRS which is used in the remote medical monitoring system, and finally gives the architecture design of the remote medical monitoring system. The remote medical monitoring system is composed of two parts, which are mobile remote medical monitoring unit and the monitoring center. The user can carry the mobile unit along, while this mobile unit can real-timely monitor the physiological data from the user with sensors. When something abnormal happens, the intelligent control system automatically connects to the monitoring center. The monitoring center is composed of the monitoring station and the information management system. The information management system is connected with the monitoring center by a local area network, and its main function is to manage information such as the electronic map, the user's medical record and so on.
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games
Authors: Stéphane Gaubert
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

The max-plus algebraic approach of timed discrete event systems emerged in the eighties, after the discovery that synchronization phenomena can be modeled in a linear way in the max-plus setting. This led to a number of results, like the determination of long term characteristics (throughput, stationary regime) by spectral theory methods or the representation of the input-output behavior by rational series.Since these early developments, the max-plus scene has considerably evolved. Many analytical results appeared to carry over to a larger class of dynamical systems, involving monotone or nonexpansiveness operators. For instance, discrete dynamics in which the operations of maximum, minimum, positive linear combinations or log-exp type combinations simultaneously appear fall into this class.Such generalizations are based on the study of non-linear fixed point problems by methods of Perron-Frobenius theory. They keep, however, a combinatorial flavor reminiscent of the max-plus case. Then, the same monotone fixed point problems were seen to arise in other fields, including zero-sum games and static analysis by abstract interpretation, leading to the design of algorithms inspired by control and game theory (policy iteration) in static analysis.Finally, the recent flourishing of tropical geometry, in which max-plus objects are thought of as projections of classical objects by some valuations, has motivated new theoretical works, in particular on max-plus polyhedra. The latter were initially used to represent some invariant spaces (like the reachable sets of discrete event systems), they have arisen more recently in relation with game or static analysis problems. They now appear to be mathematical objects of an intrinsic interest, to which the arsenal of algorithms from computational geometry can be adapted.This survey will give a unified perspective on these developments, shedding light on recent results concerning zero-sum games, static analysis, non-linear Perron-Frobenius theory, and polyhedra.
Web 2.0 for Ground Resource Allocation
Authors: Yeou-Fang Wang, Mitchell Schrock, John Baldwin, Gabriel Rangel, Chester Borden
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

A set of analysis tools has been created in a community-based team environment to support NASA ground resource allocation and planning. This new tool, called GRAPE (Ground Resource Allocation and Planning Environment), combines analysis, monitoring, and search capabilities into an existing community environment where wikis, blogs, document libraries, calendars, discussion forums, lists, progress management, and email repositories are available in a web site which assists users with their communication, operation, analysis, and collaboration needs.
Interactive execution monitoring of agent teams
Authors: David E. Wilkins, Thomas J. Lee, Pauline Berry
Venue: Journal of Artificial Intelligence Research (2003)

There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain-independent challenges posed by this problem, and describe how properties of domains influence the challenges and their solutions. We will concentrate on dynamic, data-rich domains where humans are ultimately responsible for team behavior. Thus, the automated aid should interactively support effective and timely decision making by the human. We present a domain-independent categorization of the types of alerts a plan-based monitoring system might issue to a user, where each type generally requires different monitoring techniques. We describe a monitoring framework for integrating many domain-specific and task-specific monitoring techniques and then using the concept of value of an alert to avoid operator overload. We use this framework to describe an execution monitoring approach we have used to implement Execution Assistants (EAs) in two different dynamic, data-rich, real-world domains to assist a human in monitoring team behavior. One domain (Army small unit operations) has hundreds of mobile, geographically distributed agents, a combination of humans, robots, and vehicles. The other domain (teams of unmanned ground and air vehicles) has a handful of cooperating robots. Both domains involve unpredictable adversaries in the vicinity. Our approach customizes monitoring behavior for each specific task, plan, and situation, as well as for user preferences. Our EAs alert the human controller when reported events threaten plan execution or physically threaten team members. Alerts were generated in a timely manner without inundating the user with too many alerts (less than 10% of alerts are unwanted, as judged by domain experts).
Characterizing Programming Systems Allowing Program Self-Reference
Authors: John Case, Samuel E. Moelius,  III
Venue: Theory of Computing Systems (2009)

The interest is in characterizing insightfully the power of program self-reference in effective programming systems ( $\mathsf{epses}$), the computability-theoretic analogs of programming languages (for the partial computable functions). In an $\mathsf{eps}$in which the constructive form of Kleene&#x2019;s Recursion Theorem (KRT) holds, it is possible to construct, algorithmically, from an arbitrary algorithmic task, a self-referential program that, in a sense, creates a self-copy and then performs that task on the self-copy. In an $\mathsf{eps}$in which the not-necessarily-constructive form of Kleene&#x2019;s Recursion Theorem (krt) holds, such self-referential programs exist, but cannot, in general, be found algorithmically. In an earlier effort, Royer proved that there is no collection of recursive denotational control structures whose implementability characterizes the $\mathsf{epses}$in which KRT holds. One main result herein, proven by a finite injury priority argument, is that the $\mathsf{epses}$in which krt holds are, similarly, not characterized by the implementability of some collection of recursive denotational control structures. On the positive side, however, a characterization of such $\mathsf{epses}$of a rather different sort is shown herein. Though, perhaps not the insightful characterization sought after, this surprising result reveals that a hidden and inherent constructivity is always present in krt.
Creating ambient music spaces in real and virtual worlds
Authors: Jakob Frank, Thomas Lidy, Ewald Peiszer, Ronald Genswaider, Andreas Rauber
Venue: Multimedia Tools and Applications (2009)

Sound and, specifically, music is a medium that is used for a wide range of purposes in different situations in very different ways. Ways for music selection and consumption range from completely passive, almost unnoticed perception of background sound environments to the very specific selection of a particular recording of a piece of music with a specific orchestra and conductor at a certain event. Different systems and interfaces exist for the broad range of needs in music consumption. Locating a particular recording is well supported by traditional search interfaces via metadata. Other interfaces support the automatic creation of playlists via artist or album selection, up to more artistic installations of sound environments that users can navigate through. In this paper we present a set of systems that support the creation of as well as the navigation in musical spaces, both in the real world as well as in virtual environments. We show common principles and point out further directions for a more direct coupling of the various spaces and interaction methods, creating ambient sound environments and providing organic interaction with music for different purposes.
A New Method in the Dynamic Performance Study of Spur Gear Pairs
Authors: Chuanmin Zhu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

In practical working condition, the gear transmission system's dynamic performance is studied with the system identification method. The system identification difference equation model is developed by means of the research of the relationship between the spur gear rotational vibration and noise. This method can be used to describe the gear transmission system's dynamic performance. The research results could be used in practical application.
Automatic Detection of Alarm Sounds in Cockpit Voice Recordings
Authors: Xianbo Xiao, Hongyu Yao, Chao Guo
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Analysis of non-speech contents in Cockpit Voice Recorder (CVR) is getting more and more attentions today. Here the author proposed an automatic detection and recognition algorithm, which deal with non-speech alarm sounds in CVR recordings with high efficiency and reliability. It employed spectrum features and time-domain morphological features as template components, classified sound frames based on template matching, and filtered the rough results to meet the rationality. In an experiment enrolling 25 randomly selected CVR recordings, efficiency of the proposed algorithm was indicated with high accuracy.
The Panopticon and the Performance Arena: HCI Reaches within
Authors: Ann Light, Peter Wright
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

The impact of new technologies is hard to predict. We suggest the value of theories of performativity in understanding dynamics around the convergence of biomedical and information technology. Drawing on the ideas of Butler and Foucault, we discuss a new, internal, context for HCI and raise potentially disturbing issues with monitoring health. We argue that by adopting explicitly social framings we can see beyond the idea of medical interventions to tools for wellbeing and recognize more of the implications of looking within.
Privacy Application Infrastructure: Confidential Data Masking
Authors: B. Liver, K. Tice
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

Handling of confidential and sensitive data is an important issue facing any professional service provider that wishes to use services from a third party company.This paper describes an infrastructure, the Privacy Infrastructure Appliance that was designed to protect confidential information when outsourcing service fulfillment. A comparison is made with an embedded solution that does not use an infrastructure.There are two use cases to consider, one use case is the outsourcing of back-end service fulfillment, such as executing foreign exchange trade orders and the second use case is the outsourcing of back-office activities, such as non-core competence office work. In considering back-end service delivery, we look at the use of computer systems and processes, which are not privy to confidential information. In considering back-office clerical activities, we look at the human component of service fulfillment, the clerical office worker. The clerical office worker that is outsourced, will still use the applications of the outsourcing company, but he is no longer privy to confidential information. This paper describes and contrasts two solutions. An infrastructure that was built to meet confidential information requirements for doing outsourcing of solution delivery systems and an application approach to mask confidential information from outsourced back office workers.
Language modeling for determiner selection
Authors: Jenine Turner, Eugene Charniak
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)

We present a method for automatic determiner selection, based on an existing language model. We train on the Penn Tree-bank and also use additional data from the North American News Text Corpus. Our results are a significant improvement over previous best.
Indexing student essays paragraphs using LSA over an integrated ontological space
Authors: Gaston G. Burek, Maria Vargas-Vera, Emanuela Moreale
Venue: Proceedings of the Workshop on eLearning for Computational Linguistics and Computational Linguistics for eLearning (2004)

A full understanding of text is out of reach of current human language technology. However, a shallow Natural Language Processing (NLP) approach can be used to provide automated help in the evaluation of essays. The main idea of this paper is that Latent Semantic Indexing (LSA) can be used in conjunction with ontologies and First order Logic (FOL) to locate segments relevant to a question in a student essay. Our test bed, in a first instance, is a set of ontologies such the AKT reference ontology (describing academic life), Newspaper and a Koala ontology (concerning koalas' habitat).
The Oxford Handbook of Information and Communication Technologies
Authors: Robin Mansell, Chrisanthi Avgerou, Danny Quah, Roger Silverstone
Venue:  (2009)

The production and consumption of Information and Communication Technologies (or ICTs) has become embedded within our societies. The influence and implications of this have an impact at a macro level, in the way our governments, economies, and businesses operate, and in our everyday lives. This handbook is about the many challenges presented by ICTs. It sets out an intellectual agenda that examines the implications of ICTs for individuals, organizations, democracy, and the economy. Explicity interdisciplinary, and combining empirical research with theoretical work, it is organised around four themes covering the knowledge economy; organizational dynamics, strategy, and design; governance and democracy; and culture, community and new media literacies. It provides a comprehensive resource for those working in the social sciences, and in the physical sciences and engineering fields, with leading contemporary research informed principally by the disciplines of anthropology, economics, philosophy, politics, and sociology. FOR Oxford Handbooks in Business & Management titles Oxford Handbooks in Business & Management bring together the world's leading scholars on the subject to discuss current research and the latest thinking in a range of interrelated topics including Strategy, Organizational Behavior, Public Management, International Business, and many others. Containing completely new essays with extensive referencing to further reading and key ideas, the volumes, in hardback or paperback, serve as both a thorough introduction to a topic and a useful desk reference for scholars and advanced students alike.