ppxscal/embedding_network huggingface dataset:
Application-informed radio duty-cycling in a re-taskable multi-user sensing system
Authors: Omprakash Gnawali, Jongkeun Na, Ramesh Govindan
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

As sensor networks mature, there will be an increasing need for re-usable, dynamically taskable software systems that support multiple concurrent applications. In this paper, we consider the problem of energy management in such systems, taking Tenet as a case study. Our work considers energy management under three new constraints: dynamic multi-hop routing and tasking, multiple concurrent applications, and reliable end-toend data delivery. We present AEM, an energy management system that satisfies these constraints. AEM statically analyzes and infers the traffic profile for the application and accordingly tunes the duty-cycling protocol to provide the best trade-off in latency and data delivery performance. Furthermore, unlike other duty-cycling protocols with pre-computed or fixed transmission and reception time slots, AEM uses elastic schedules that allows it to adapt to dynamics while enabling bounded latency of event detection. Our experiments show that AEM achieves 1–3% duty-cycles, while allowing concurrent applications to transmit 100% of the sensor data in a multi-hop 40-node network testbed.
Designing Mobile Service Experiences, the Role of Emotional Dimension
Authors: Teresa Sarmento
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

This research project aims to improve the methods for translating emotional factors experienced by users into characteristics of the mobile service interfaces.
The Development of an Extensible CAD/CAM Framework Based on Plug-Ins
Authors: Changbiao Huang, Kaiyong Jiang, Junyi Lin, Bin Liu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

To facilitate the development of a powerful CAD/CAM software, an extensible CAD/CAM software framework is presented. Based on the design of an architecture of the framework, the development and management of extended toolbar and task plug-ins for human-computer interaction is detailed, and the management and operation of the data of CAD models is discussed. The development of the prototype of the CAD/CAM framework indicates that it can work correctly and can be extended easily and efficiently
Polynomial Precise Interval Analysis Revisited
Authors: Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm
Venue: Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (2009)

We consider a class of arithmetic equations over the complete lattice of integers (extended with -¿ and ¿) and provide a polynomial time algorithm for computing least solutions. For systems of equations with addition and least upper bounds, this algorithm is a smooth generalization of the Bellman-Ford algorithm for computing the single source shortest path in presence of positive and negative edge weights. The method then is extended to deal with more general forms of operations as well as minima with constants. For the latter, a controlled widening is applied at loops where unbounded increase occurs. We apply this algorithm to construct a cubic time algorithm for the class of interval equations using least upper bounds, addition, intersection with constant intervals as well as multiplication.
Organizing Smart Networks and Humans into Augmented Teams
Authors: Martijn Neef, Martin Rijn, Danielle Keus, Jan-Willem Marck
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

This paper discusses the challenge of turning networks of sensors, computers, agents and humans into hybrid teams that are capable, effective and adaptive. We propose a functional model and illustrate how such a model can be put into practice, and augment the capabilities of the human organization. We specifically focus on the interaction between the human and artificial part of the system, with specific attention to task delegation, role adjustment and adaptive autonomy. In this paper, we introduce the main concepts and report on observations from initial experiments.
Magic Lantern Guides: Nikon D300/D700 Multimedia Workshop
Authors: Lark Books
Venue:  (2009)

Magic Lantern Guides Multimedia WorkshopsThe worlds best photographic package! Magic Lantern Guides and DVDs have always provided the very best, most in-depth coverage of a cameras ins-and-outs. Now, theres even more magic on the market for photographers: the MAGIC LANTERN MULTIMEDIA WORKSHOP. Its a complete class in digital photography with a D-SLR cameraone that enables you to learn the essentials at your own pace, in the comfort in your own home. The attractive package includes:- Specific 80-minute DVD: An authoritative DVD guide made just for your model. Created by photographers for photographers, it covers specific camera features and functions. The format allows you to navigate easily between different topics and review chapters any time.- Taking Great Digital Photos: This full-color, 64-page book gets newcomers to the digital world started right. Packed with picture-taking tips and information on digital file formats, it explains how f/stops and shutter speeds work together to create an exposure, which focal lengths are best for various subjects, and how to get accurate color with white balance.- Great Photos with Your Digital SLR 60-minute DVD: This live-action tutorial demystifies digital shooting, and shows how to compose photos; choose the best picture-quality settings; improve results with the built-in flash; and interpret your histogram. Plus, see when to trust your cameras automatic settingsor change them yourself. - Quick Reference Wallet Card: This laminated take-along is an ideal in-the-field key to camera and menu operations.Theres nothing else like this on the market! The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Future-Looking Logics on Data Words and Trees
Authors: Diego Figueira, Luc Segoufin
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

In a data word or a data tree each position carries a label from a finite alphabet and a data value from an infinite domain.Over data words we consider the logic ${\sf LTL}^{\downarrow}_{1}(\rm F)$, that extends LTL( F) with one register for storing data values for later comparisons. We show that satisfiability over data words of ${\sf LTL}^{\downarrow}_{1}(\rm F)$ is already non primitive recursive. We also show that the extension of ${\sf LTL}^{\downarrow}_{1}(\rm F)$ with either the backward modality F ¿ 1 or with one extra register is undecidable. All these lower bounds were already known for ${\sf LTL}^{\downarrow}_{1}({\rm X,F})$ and our results essentially show that the X modality was not necessary.Moreover we show that over data trees similar lower bounds hold for certain fragments of Xpath.
Fips, a "deep" linguistic multilingual parser
Authors: Eric Wehrli
Venue: Proceedings of the Workshop on Deep Linguistic Processing (2007)

The development of robust "deep" linguistic parsers is known to be a difficult task. Few such systems can claim to satisfy the needs of large-scale NLP applications in terms of robustness, efficiency, granularity or precision. Adapting such systems to more than one language makes the task even more challenging. This paper describes some of the properties of Fips, a multilingual parsing system that has been for a number of years (and still is) under development at LATL. Based on Chomsky's generative grammar for its grammatical aspects, and on object-oriented (OO) sofware engineering techniques for its implementation, Fips is designed to efficiently parse the four Swiss "national" languages (German, French, Italian and English) to which we also added Spanish and (more recently) Greek.
Creating video podcasts for CS1: lessons learned
Authors: Laurie Murphy, David Wolff
Venue: Journal of Computing Sciences in Colleges (2009)

This paper describes the incorporation of video podcasts into a Java CS1 course. The motivation and theoretical basis for the podcasts, which are grounded in multimedia learning theory and worked example research, are outlined. Implementation and dissemination challenges are discussed. Preliminary survey results suggest initial integration and promotion of the podcasts were insufficient. Current improvements are outlined and supported by a mid-course questionnaire. A set of "lessons learned" aimed at faculty considering producing video podcasts for their courses is presented.
Detecting SNPs and estimating allele frequencies in clonal bacterial populations by sequencing pooled DNA
Authors: Kathryn E. Holt, Yik Y. Teo, Heng Li, Satheesh Nair, Gordon Dougan, John Wain, Julian Parkhill
Venue: Bioinformatics (2009)

Summary: Here, we present a method for estimating the frequencies of SNP alleles present within pooled samples of DNA using high-throughput short-read sequencing. The method was tested on real data from six strains of the highly monomorphic pathogen Salmonella Paratyphi A, sequenced individually and in a pool. A variety of read mapping and quality-weighting procedures were tested to determine the optimal parameters, which afforded ≥80% sensitivity of SNP detection and strong correlation with true SNP frequency at poolwide read depth of 40×, declining only slightly at read depths 20–40×. Availability: The method was implemented in Perl and relies on the opensource software Maq for read mapping and SNP calling. The Perl script is freely available from ftp://ftp.sanger.ac.uk/pub/pathogens/pools/. Contact: kh2@sanger.ac.uk Supplementary information:Supplementary data are available at Bioinformatics online.
Applicability of F-value to Classification Problems with a Numerous Number of Explanatory Variables: Toward Classification Problems in Biometric and Kansei Engineering
Authors: Tomomasa Nagashima, Xinping Wang, Yoshifumi Okada, Masahiro Sawai
Venue: Proceedings of the 2009 International Conference on Biometrics and Kansei Engineering (2009)

A Feature Extraction algorithm for systems with a numerous number of explanatory variables is developed The algorithm(FSM) achieves perfect performance in classification in gene expressions and hearing problems.
Reconstruction of nonuniformly sampled time-limited signals using prolate spheroidal wave functions
Authors: Seda Senay, Luis F. Chaparro, Lutfiye Durak
Venue: Signal Processing (2009)

Shannon's sampling theory is based on the reconstruction of bandlimited signals which requires infinite number of uniform time samples. Indeed, one can only have finite number of samples for numerical implementation. In this paper, as a dual of the bandlimited reconstruction, a solution for time-limited signal reconstruction from nonuniform samples is proposed. The system model we present is based on the idea that time-limited signals which are also nearly bandlimited can be well approximated by a low-dimensional subspace. This can be done by using prolate spheroidal wave functions as the basis. The order of the projection on this basis is obtained by means of the time-frequency dimension of the signal, especially in the case of non-stationary signals. The reconstruction requires the estimation of the nonuniform sampling times by means of an annihilating filter. We obtain the reconstruction parameters by solving a linear system of equations and show that our finite-dimensional model is not ill-conditioned. The practical aspects of our method including the dimensionality reduction are demonstrated by processing synthetic as well as real signals.
Is It Possible to Predict the Manual Web Accessibility Result Using the Automatic Result?
Authors: Carlos Casado Martínez, Loïc Martínez-Normand, Morten Goodwin Olsen
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services (2009)

The most adequate approach for benchmarking web accessibility is manual expert evaluation supplemented by automatic analysis tools. But manual evaluation has a high cost and is impractical to be applied on large web sites. In reality, there is no choice but to rely on automated tools when reviewing large web sites for accessibility. The question is: to what extent the results from automatic evaluation of a web site and individual web pages can be used as an approximation for manual results? This paper presents the initial results of an investigation aimed at answering this question. He have performed both manual and automatic evaluations of the accessibility of web pages of two sites and we have compared the results. In our data set automatically retrieved results could most definitely be used as an approximation manual evaluation results.
Input-Dependence in Function-Learning
Authors: Sanjay Jain, Eric Martin, Frank Stephan
Venue: Theory of Computing Systems (2009)

In the standard model of inductive inference, a learner gets as input the graph of a function, and has to discover (in the limit) a program for the function. In this paper, we consider besides the graph also other modes of input such as the complement of the graph, the undergraph and the overgraph of the function. The relationships between these models are studied and a complete picture is obtained. Furthermore, these notions are also explored for learning with oracles, learning in teams and learning in the presence of additional information.
The role of implicit argumentation in nominal SRL
Authors: Matt Gerber, Joyce Y. Chai, Adam Meyers
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

Nominals frequently surface without overtly expressed arguments. In order to measure the potential benefit of nominal SRL for downstream processes, such nominals must be accounted for. In this paper, we show that a state-of-the-art nominal SRL system with an overall argument F1 of 0.76 suffers a performance loss of more than 9% when nominals with implicit arguments are included in the evaluation. We then develop a system that takes implicit argumentation into account, improving overall performance by nearly 5%. Our results indicate that the degree of implicit argumentation varies widely across nominals, making automated detection of implicit argumentation an important step for nominal SRL.
A Guided Tour of Hot Technologies, 1st edition
Authors: Corinne Hoisington
Venue:  (2009)

With A GUIDED TOUR OF HOT TECHNOLOGIES you can stay up-to-date on the hottest technologies on the Internet from the newest Web browser, Google Chrome, to how to get information anywhere at anytime with ChaCha.com. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Privacy implications of context-aware services
Authors: Were Oyomno, Pekka Jäppinen, Esa Kerttula
Venue: Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE (2009)

Personal information handling in current and anticipated context use cases is worrisome. This notwithstanding, contextual services are rapidly proliferating into most niches of society, catalysed by technological advancements in sensing, ubiquity and mobile computing. Evolving social trends, catastrophic events and the economics of personal information further escalate the frenzy. Consequently, contextual applications have propagated into personal, community, government and corporate services. Unfortunately, these services are seldom developed with onset personal information leak concerns. As a result, personal information pieces often leak in their handling, eroding the users' privacy. Privacy erosion is attributed to information leaks through covert acquisitions and re-purposing of legitimate data. Privacy loss from such erosion exposes individuals to significant harm often intractable or costly. This study identifies and sensitises information handling vulnerabilities on their privacy implications in context-aware services. We assert the need for stakeholders in contextual services to deliberate privacy implications of context throughout its life cycle as opposed to, detached focus at collection, transmission or usage points. Notably, privacy threats will intensify as computing further invades the sacred precincts of our private, public and domestic lives.
The modal logic S4F, the default logic, and the logic here-and-there
Authors: Mirosław Truszczynski
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults -- modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and uniform equivalence of modal default theories can be expressed in terms of the logical equivalence in the logic S4F. We argue that the logic S4F can be viewed as the general default logic of nested defaults. We also study special modal default theories called modal programs, and show that this fragment of the logic S4F generalizes the logic here-and-there.
Communication Disorders and Speech Technology
Authors: Elmar Nöth, Stefan Steidl, Maria Schuster
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

In this talk we will give an overview of the different kinds of communication disorders. We will concentrate on communication disorders related to language and speech (i.e., not look at disorders like blindness or deafness). Speech and language disorders can range from simple sound substitution to the inability to understand or use language. Thus, a disorder may affect one or several linguistic levels: A patient with an articulation disorder cannot correctly produce speech sounds (phonemes) because of imprecise placement, timing, pressure, speed, or flow of movement of the lips, tongue, or throat. His speech may be acoustically unintelligible, yet the syntactic, semantic, and pragmatic level are not affected. With other pathologies, e.g. Wernicke-aphasia, the acoustics of the speech signal might be intelligible, yet the patient is --- due to mixup of words (semantic paraphasia) or sounds (phonematic paraphasia) --- unintelligible.We will look at what linguistic knowledge has to be modeled in order to analyze different pathologies with speech technology, how difficult the task is, and how speech technology is able to support the speech therapist for the tasks diagnosis, therapy control, comparison of therapies, and screening.
Engineering Item Risk Evaluating Based on Evolutionary Algorithm and BP Neural Network
Authors: Zhao Wanhua
Venue: Proceedings of the 2009 IITA International Conference on Services Science, Management and Engineering (2009)

The purpose of this paper is to improve the risk evaluating quality of engineering item. The topology structure of evolutionary algorithm based BP (EABP) neural network is described, the principle of EABP neural network is introduced,and the implement step of EABP neural network is given. The combination algorithm is applied to risk evaluating for the engineering item, and its result is compared with that of conventional BP neural network. The comparing result shows that EABP neural network fits to complex system such as risk evaluating for engineering item, it improves in a certain extension training speed and precision, it can improve the quality of engineering item risk evaluating, and it fits to solve some problems in which evaluating indexes weights are difficult to be determined or there exists complex non-linear relation among them.
Frequency effects on the dielectric properties of AlN film deposited by radio frequency reactive magnetron sputtering
Authors: Xiufeng Song, Renli Fu, Hong He
Venue: Microelectronic Engineering (2009)

Applications insulated metal substrates (IMS) for high-density and high-power mounting are greatly extending with miniaturizing of electronic components. Recently, aluminum nitride film has been used as a potential insulator and/or passivation material in insulated metal substrate because of its high intrinsic thermal conductivity, low thermal expansion coefficient, low dielectric constant and high electric resistivity. In this investigation, AlN films were deposited on Al substrates by radio frequency (RF) reactive magnetron sputtering. The metal-interfacial insulator layer-metal (Al/AlN/Al MIM) structures were obtained with AlN layer on Al substrates. Electrical properties of the MIM structures were investigated by meaning of C-V and C-f characteristics in the frequency range of 100Hz-500kHz and voltage range of -4V to 4V. Experimental results show that the dielectric constant of this structure decreases gradually with increasing frequency. While the dielectric loss tangent was tested from low frequency to high frequency, it is found that the dielectric loss tangent decreases from 0.03375, reaches a minimum (0.00424) at approximately 65kHz and then increases sharply. These results are in accordance with modified model of Goswami and Goswami for such structure. The dielectric dispersion is observed due to distribution of interface states as well as ionized space charge carriers such as the oxygen atoms, nitrogen vacancies and defects. The AC conductivity results show that the electrical resistance decreases as the frequency increasing due to hopping type conduction.
Approximability of the Maximum Solution Problem for Certain Families of Algebras
Authors: Peter Jonsson, Johan Thapper
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

We study the approximability of the maximum solution problem. This problem is an optimisation variant of the constraint satisfaction problem and it captures a wide range of interesting problems in, for example, integer programming, equation solving, and graph theory. The approximability of this problem has previously been studied in the two-element case [Khanna et al, `The approximability of constraint satisfaction', SIAM Journal on Computing 23(6), 2000] and in some algebraically motivated cases [Jonsson et al, `Max Ones generalized to larger domains', SIAM Journal on Computing 38(1), 2008]. We continue this line of research by considering the approximability of Max Sol for different types of constraints. Our investigation combined with the older results strengthens the hypothesis that Max Sol exhibits a pentachotomy with respect to approximability.
M-Filter: Semantic XML Data Filtering System for Multiple Queries
Authors: Ei Chaw Htoon, Thi Thi Soe Nyunt
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

In most web applications, publish-subscribe systems based on XML data filtering have been evolved. Many researchers have developed the various filtering mechanisms for XML data such as XFilter, YFilter, AFilter, Bitmap Filtering and TwigX-Guide. In this paper, we propose a new XML data filtering mechanism, called M-Filter which is based on ontology to get the semantic information. Proposed method intends to provide approximate information and queries which are matched with the incoming XML documents. In this system, all XPath queries are transformed into a single tree with node relation lists to filter the irrelevant paths. On the other hand, XML document is parsed by SAX parser and then prefix tree is built. After that, matching step will be carried out. Finally, we present our experimental results comparing with previous methods.