ppxscal/embedding_network huggingface dataset:
Context-aware cluster-based hierarchical protocol for Wireless Sensor Networks
Authors: Md Enamul Haque, Noriko Matsumoto, Norihiko Yoshida
Venue: International Journal of Ad Hoc and Ubiquitous Computing (2009)

Wireless Sensor Network (WSN) has been a key research topic for its multi dimensional applications. Its applications require accurate information collecting as well as, longer service life. In WSN, employing an efficient routing protocol plays a significant role in attaining such service requirements. In this paper, an energy efficient routing protocol, Context-Aware Clustering Hierarchy (CACH) has been proposed where cluster formation is entirely based on the context of the environment. Moreover, an efficient technique has been utilised to avoid similar data traffic across the network and cluster head role has been equally distributed among the nodes. The performance in the simulation shows substantial amount of energy optimisation.
A Novel Smith Predictor for Wireless Networked Control Systems
Authors: Feng Du, Wencai Du, Zhi Lei
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

To Aim at the random, time-variant or uncertain network delays in the wireless networked control systems (WNCS), a novel Smith predictor is proposed. This new Smith predictor hides predictor models of the network delays into real network data transmission processes, therefore network delays don’t need to be measured, identified or estimated on-line. At the same time, this new Smith predictor doesn’t include the prediction model of the controlled plant, thus it doesn’t need to know the exact mathematical model of the controlled plant beforehand. Based on IEEE 802.15.4 (ZigBee), the results of the simulation show validity of the compensation scheme.
Tactile Paper Prototyping with Blind Subjects
Authors: Mei Miao, Wiebke Köhlmann, Maria Schiewe, Gerhard Weber
Venue: Proceedings of the 4th International Conference on Haptic and Audio Interaction Design (2009)

With tactile paper prototyping user interfaces can be evaluated with blind users in an early design stage. First, we describe two existing paper prototyping methods, visual and haptic paper prototyping, and indicate their limitations for blind users. Subsequently, we present our experiences while preparing, conducting and analysing tests performed using tactile paper prototyping. Based on our experiences, we provide recommendations for this new usability evaluation method.
Two cooperative versions of the Guessing Secrets problem
Authors: G. Sergioli, A. Ledda, F. Paoli, R. Giuntini, T. Kowalski, F. Montagna, H. Freytes, C. Marini
Venue: Information Sciences: an International Journal (2009)

We investigate two cooperative variants (with and without lies) of the Guessing Secrets problem, introduced in [L. Chung, R. Graham, F.T. Leighton, Guessing secrets, Electronic Journal of Combinatorics 8 (2001)] in the attempt to model an interactive situation arising in the World Wide Web, in relation to the efficient delivery of Internet content. After placing bounds on the cardinality of the smallest set of questions needed to win the game, we establish that the algebra of all the states of knowledge induced by any designated game is a pseudocomplemented lattice. In particular, its join semilattice reduct is embeddable into the corresponding reduct of the Boolean algebra 2^N^-^1, where N is the cardinality of the search space.
An optimal control method for applications using wireless sensor/actuator networks
Authors: Xianghui Cao, Jiming Chen, Chuanhou Gao, Youxian Sun
Venue: Computers and Electrical Engineering (2009)

The wireless sensor/actuator networks (WSANs) can be used for spatially distributed control systems. With smart sensors and actuators, the WSANs are able to not only sense the control system states and report measurements, but also perform control and actuation. This paper investigates WSANs on their ability of control. A centralized controller is introduced into WSANs to make up closed-loop control systems, in which control decisions are made based on global network-wide information. A model of the control and communication over WSANs is made theoretically, based on which we achieved an optimal control method. It is demonstrated by simulations that the control method proposed could stabilize the control system quickly.
A solution for textual search using business processes management
Authors: Fábio R. M. Carvalho, Rodrigo F. Valverde, Eduardo M. F. Jorge
Venue: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (2008)

Even though years have passed since the creation of the reengineering process, many organizations still have not been able to maximize on return on investment in the automation of business processes. This reflects the difficulty in fully understanding such processes. In this work, we present a novel solution based on semi-structured data that allows textual searches and a visual navigator that facilitates learning of business processes. This intends to improve the understanding of these processes, permitting better quality in the productive process of the organization.
PrisCrawler: A Relevance Based Crawler for Automated Data Classification from Bulletin Board
Authors: Pu Yang, Jun Guo, Weiran Xu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

Nowadays people realize that it is difficult to find information simply and quickly on the bulletin boards. In order to solve this problem, people propose the concept of bulletin board search engine. This paper describes the priscrawler system, a subsystem of the bulletin board search engine, which can automatically crawl and add the relevance to the classified attachments of the bulletin board. Priscrawler utilizes Attachrank algorithm to generate the relevance between webpages and attachments and then turns bulletin board into clear classified and associated databases, making the search for attachments greatly simplified. Moreover, it can effectively reduce the complexity of pretreatment subsystem and retrieval subsystem and improve the search precision. We provide experimental results to demonstrate the efficacy of the priscrawler.
Isogenies and the Discrete Logarithm Problem in&#x00a0;Jacobians of Genus 3 Hyperelliptic Curves,
Authors: Benjamin Smith
Venue: Journal of Cryptology (2009)

We describe the use of explicit isogenies to translate instances of the Discrete Logarithm Problem&#x00a0;(DLP) from Jacobians of hyperelliptic genus&#x00a0;3 curves to Jacobians of non-hyperelliptic genus&#x00a0;3 curves, where they are vulnerable to faster index calculus attacks. We provide explicit formulae for isogenies with kernel isomorphic to&#x00a0;(&#x2124;/2&#x2124;)3 (over an algebraic closure of the base field) for any hyperelliptic genus&#x00a0;3 curve over a field of characteristic not&#x00a0;2 or&#x00a0;3. These isogenies are rational for a positive fraction of all hyperelliptic genus&#x00a0;3 curves defined over a finite field of characteristic&#x00a0;p>3. Subject to reasonable assumptions, our constructions give an explicit and efficient reduction of instances of the DLP from hyperelliptic to non-hyperelliptic Jacobians for around&#x00a0;18.57% of all hyperelliptic genus&#x00a0;3 curves over a given finite field. We conclude with a discussion on extending these ideas to isogenies with more general kernels.
A Study on the Scaling-Up of CO2 Fluxes at Haibei Station Based on GIS and RS Technologies
Authors: Song Ting, Wang Shaoqiang, Gao Jixi, Han Yongwei
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

Continuous long-term measurements of carbon fluxes have been obtained by improved technology at the ecosystem scale and under natural conditions. Nevertheless, these are still point measurements with limited geographic coverage Quantitative extrapolations and scaling-up of tower station measurements are now urgently needed for carbon cycle research. This paper attempts to solve this problem by combining the technologies of CO2 flux measurements, mathematic modeling, Geographic Information System (GIS) and Remote Sensing (RS). It is well known that the light-response function allows partitioning net ecosystem exchange (NEE) into gross primary production (GPP) and total ecosystem respiration (Re). The GPP and Re can be estimated from continuous CO2 flux measurements using non-linear identification of the non-rectangular hyperbolic model of ecosystem-scale, light response curves. Patterns of the relationships of GPP and Re with the Normalized Difference Vegetation Index (NDVI), and other factors, indicate possibilities to establish multivariate functions, allowing scaling-up of local fluxes to larger areas with GIS technology, temporal NDVI inversed from RS images, and other tools. Our study is based on continuous CO2 flux data, which were measured at the Haibei Alpine Meadow Ecosystem Research Station (Haibei Research Station) on the Qinghai-Tibet Plateau, the Chinese Academy of Science. Using the above methods, we achieved good flux-NDVI relationships at the site and applied these relationships in the scaling-up of site-specific CO2 flux measurements to regional levels. Consequently the annual spatial and temporal variation of CO2 flux was obtained for this plateau and eco-region. Characterizing spatial and temporal dynamics of CO2 flux will facilitate investigations of the carbon source or sink status of grassland ecosystems on the plateau.
A method to build information systems engineering process metamodels
Authors: Charlotte Hug, Agnès Front, Dominique Rieu, Brian Henderson-Sellers
Venue: Journal of Systems and Software (2009)

Several process metamodels exist. Each of them presents a different viewpoint of the same information systems engineering process. However, there are no existing correspondences between them. We propose a method to build unified, fitted and multi-viewpoint process metamodels for information systems engineering. Our method is based on a process domain metamodel that contains the main concepts of information systems engineering process field. This process domain metamodel helps selecting the needed metamodel concepts for a particular situational context. Our method is also based on patterns to refine the process metamodel. The process metamodel can then be instantiated according to the organisation's needs. The resulting method is represented as a pattern system.
Building an Application Data Behavior Model for Intrusion Detection
Authors: Olivier Sarrouy, Eric Totel, Bernard Jouga
Venue: Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII (2009)

Application level intrusion detection systems usually rely on the immunological approach. In this approach, the application behavior is compared at runtime with a previously learned application profile of the sequence of system calls it is allowed to emit. Unfortunately, this approach cannot detect anything but control flow violation and thus remains helpless in detecting the attacks that aim pure application data. In this paper, we propose an approach that would enhance the detection of such attacks. Our proposal relies on a data oriented behavioral model that builds the application profile out of dynamically extracted invariant constraints on the application data items.
Automatic Verification of Heap-Manipulating Programs Using Separation Logic
Authors: Hongseok Yang
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

The incorrect use of pointers, such as null pointer dereference and memory leak, is one of the most common sources of program errors. In this talk, I will describe our techniques for automatically verifying the absence of such pointer errors, which we have been developing for the past three years, based on a new program logic called separation logic.This talk has two goals. The first is to show, by demo, the current status of techniques for automatically verifying pointer safety. The second is to present interesting instances of the interplay between automatic verification and program logic. In order to reduce the complexity of formal (manual) verification of programs, separation logic has unusual proof rules that exploit programming disciplines used by skilled software developers. I will explain how such rules have been used to improve the performance of our automatic verification techniques. Regarding the influence of automatic verification on program logic, I will describe new types of theorem proving questions on separation logic that were motivated by automatic verification. 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
Combining Statistical Machine Learning Models to Extract Keywords from Chinese Documents
Authors: Chengzhi Zhang
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Keywords are subset of words or phrases from a document that can describe the meaning of the document. Many text mining applications can take advantage from it. Unfortunately, a large portion of documents still do not have keywords assigned. On the other hand, manual assignment of high quality keywords is time-consuming, and error prone. Therefore, most algorithms and systems aimed to help people perform automatic keywords extraction have been proposed. However, most methods of automatic keyword extraction cannot use the features of documents effectively. A method which integrates the statistical machine learning models is proposed in this paper. This method extracts keyword from Chinese documents through voting of multiple keywords extraction models. Experimental results show that the proposed method based on ensemble leaning outperforms other methods according to F1 measurement. Moreover, the keywords extraction model based on ensemble learning with the weighted voting outperforms the model without the weighted voting.
Link Detection with Wikipedia
Authors: Jiyin He
Venue: Advances in Focused Retrieval: 7th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2008, Dagstuhl Castle, Germany, December 15-18, 2008. Revised and Selected Papers (2009)

This paper describes our participation in the INEX 2008 Link the Wiki track. We focused on the file-to-file task and submitted three runs, which were designed to compare the impact of different features on link generation. For outgoing links, we introduce the anchor likelihood ratio as an indicator for anchor detection, and explore two types of evidence for target identification, namely, the title field evidence and the topic article content evidence. We find that the anchor likelihood ratio is a useful indicator for anchor detection, and that in addition to the title field evidence, re-ranking with the topic article content evidence is effective for improving target identification. For incoming links, we use exact match and retrieval method with language modeling approach, and find that the exact match approach works best. On top of that, our experiment shows that the semantic relatedness between Wikipedia articles also has certain ability to indicate links.
Creating a lightweight user interface description language: An overview and analysis of the personal universal controller project
Authors: Jeffrey Nichols, Brad A. Myers
Venue: ACM Transactions on Computer-Human Interaction (TOCHI) (2009)

Over six years, we iterated on the design of a language for describing the functionality of appliances, such as televisions, telephones, VCRs, and copiers. This language has been used to describe more than thirty diverse appliances, and these descriptions have been used to automatically generate both graphical and speech user interfaces on handheld computers, mobile phones, and desktop computers. In this article, we describe the final design of our language and analyze the key design choices that led to this design. Through this analysis, we hope to provide a useful guide for the designers of future user interface description languages.
Language model and sentence structure manipulations for natural language application systems
Authors: Zenshiro Kawasaki, Keiji Takida, Masato Tajima
Venue: Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning (1998)

This paper presents a language model and its application to sentence structure manipulations for various natural language applications including human-computer communications. Building a working natural language dialog systems requires the integration of solutions to many of the important subproblems of natural language processing. In order to materialize any of these subproblems, handling of natural language expressions plays a central role; natural language manipulation facilities are indispensable for any natural language dialog systems. Concept Compound Manipulation Language (CCML) proposed in this paper is intended to provide a practical means to manipulate sentences by means of formal uniform operations.
Increasing maintainability of NLP evaluation modules through declarative implementations
Authors: Terry Heinze, Marc Light
Venue: Software Engineering, Testing, and Quality Assurance for Natural Language Processing (2008)

Computing precision and recall metrics for named entity tagging and resolution involves classifying text spans as true positives, false positives, or false negatives. There are many factors that make this classification complicated for real world systems. We describe an evaluation system that attempts to control this complexity through a set of rules and a forward chaining inference engine.
A Decision Support System for Supply Chain Management Based on PSO and GIS
Authors: Jian-Jun Lei, Jian Li
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

A decision support system to solve the multi-depot vehicle routing problems with fixed distribution of vehicles (MDVRPFD) is introduced. In the system, the data of the customers, the suppliers, and the topologies of the roads are stored and managed by the geographic information system (GIS), and a modified genetic particle swarm optimization method (MGPSO) is employed to provide the routings of the vehicles. In the MPSO, the two-stage approach is employed which decomposes the MDVRPFD into two independent sub problems, viz., assignment and routing, and solves them separately. The system has been implemented to a practical supply chain management system and provided decision supports for both vehicles routing and decision-making on depots distributing. The simulation results have shown the feasibility and effectiveness of the system.
A Workflow Model for Earth Observation Sensor Webs
Authors: Robert Morris, Jennifer Dungan, Petr Votava
Venue: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology (2009)

An Earth science sensor web consists of a distributed collection of sensors, Earth science models, human scientists and information technologists, and data archives. The scientific use of the sensor web consists broadly of seeking to improve the understanding of natural processes occurring on the Earth’s surface or in the atmosphere. Sensor measurements serve to quantify aspects of these processes that allow Earth science models to make predictions of scientific and social value. The management problem for sensor webs considered here is the problem of reconfiguring the sensor web in order to answer new science questions. The notion of reconfiguration is used broadly here to describe a set of actions for retargeting sensors, querying databases for image data, or executing functions for analyzing acquired data. This paper describes a workflow model and architecture for a workflow management system for reconfiguring sensor webs.
Digital Masters: People Photography Capturing Lifestyle for Art & Stock, 1st edition
Authors: Nancy Brown
Venue: A Lark Photography Book (2009)

Photographer Nancy Brown is truly a genius of the digital world. A successful former model who moved behind the camera, she excels at connecting with people and capturing lifestyle, trends, and the look she wants. Her simple yet elegant photos show people living in the moment and enjoying life. How does she create such evocative shots? Nancy takes us on location and reveals how she makes the most of her subjects and their surroundings. From creating and selling stock photography, to working with people, to enhancing the images in the computer, its all here with advice you can apply to your own photography. 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
Performance optimization for web caching based on input modeling
Authors: Wenying Feng, Hua Chen
Venue: Journal of Computational Methods in Sciences and Engineering (2009)

In this paper, the adaptive replacement policy and the pre-fetching technique for Web caching systems are studied with two user request models and their combinations. Performance results from two most commonly used replacement policies: LRU (Least Recently Used) and LFU (Least Frequently Used) are compared. It is shown that LRU performs better for one of the user request models and LFU is on the opposite. The adaptive replacement policy is intelligent in finding the best candidate policy as the user access pattern changes. The learning speed of the system is tested by different switch thresholds.
Chatter Stability Limits Simulation and Experimental Research on Medium and Low Speed Peripheral Milling
Authors: Zhongqun Li
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

The analytical solution of chatter stability limits for peripheral milling process has provided a useful tool for cutting conditions optimization of high speed milling. However, there exists a lot of discrepancy when it is applied to medium and low speed milling. Based on the analytical chatter stability model, cutting tests and numerical simulations were conducted, and the suitable number of lobes was selected so that the analytical simulation algorithm can be applied to medium and low speed milling with a high precision of predication.
Ambiguity resolution by reordering rules in text containing errors
Authors: Sylvana Sofkova Hashemi
Venue: Proceedings of the 10th International Conference on Parsing Technologies (2007)

Writing aids such as spelling and grammar checkers are often based on texts by adult writers and are not sufficiently targeted to support children in their writing process. This paper reports on the development of a writing tool based on a corpus of Swedish text written by children and on the parsing methods developed to handle text containing errors. The system uses finite state techniques for finding grammar errors without actually specifying the error. The 'broadness' of the grammar and the lexical ambiguity in words, necessary for parsing text containing errors, also yields ambiguous and/or alternative phrase annotations. We block some of the (erroneous) alternative parses by the order in which phrase segments are selected, which causes bleeding of some rules and more 'correct' parsing results are achieved. The technique shows good coverage results for agreement and verb selection phenomena.