ppxscal/embedding_network huggingface dataset:
Design of a low power MPEG-1 motion vector reconstructor
Authors: M. A. Ochoa-Montiel, B. M. Al-Hashimi, P. Kollig
Venue: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes (2009)

This paper describes the design of a low power MPEG-1 motion vector reconstructor using behavioural synthesis methodology. Various techniques, such as appropriate voltage scaling after clock and operations throughput selection, and reduction of multiplexer-based interconnection complexity are used to reduce power consumption. The design has been implemented based on a library components previously synthesised using Synplify ASIC with ST 0.12&mu;m technology library. Functional validation of the design has been performed through timing simulation with ModelSim, whereas power analysis is based on the reports obtained with PrimePower from Synopsys. The proposed design dissipates 42% less power than a power unaware design operated at the maximum supply voltage of the library components, i.e. 1.32V.
Development of Groundwater Resources Management System Based on GIS in Poyang Lake Catchment
Authors: Sulin Xiang, Wenbin Zhou
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

With the groundwater resources management in Poyang Lake catchment as an example, groundwater resources management system based on geographic information system (GIS)-MapInfo software was development using Matlab software, and visual basic language in this paper, and the main functions were also introduced. The user interface was developed using visual basic language, which can provide the running background work environment of MapInfo. Matlab was used to accomplish numerical calculation. The MapInfo’s functions of spatial analysis and display were used in this system by visual basic program activating MapInfo. Many functions could be accomplished including the spatial and attribute data displaying, editing and querying, spatial statistics and analysis, thematic map compiling, and groundwater quality visual evaluation. Groundwater resources effective management and groundwater quality visual evaluation could be realized by development of this system. The development of this system will provide assistant decision supports for reasonable exploiting groundwater resources in Poyang lake catchment.
Face Recognition Based on NMF and SVM
Authors: Xia Sun, Qingzhou Zhang, Ziqiang Wang
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Face recognition has received growing attention because of its wide applications. In this paper, an efficient face recognition algorithm based on non-negative matrix factorization (NMF) and SVM is proposed. The high dimension face images are first projected into a lower-dimensional subspace using NMF. The SVM classifier is then used to classify the face image into different classes. The experimental results demonstrate the effectiveness of the proposed algorithm.
An Improved Time-Space Lower Bound for Tautologies
Authors: Scott Diehl, Dieter Melkebeek, Ryan Williams
Venue: Proceedings of the 15th Annual International Conference on Computing and Combinatorics (2009)

We show that for all reals c and d such that c 2 d < 4 there exists a real e > 0 such that tautologies of length n cannot be decided by both a nondeterministic algorithm that runs in time n c , and a nondeterministic algorithm that runs in time n d and space n e . In particular, for all $d there exists an e > 0 such that tautologies cannot be decided by a nondeterministic algorithm that runs in time n d and space n e .
TransType: a computer-aided translation typing system
Authors: Philippe Langlais, George Foster, Guy Lapalme
Venue: ANLP-NAACL 2000 Workshop: Embedded Machine Translation Systems (2000)

This paper describes the embedding of a statistical translation system within a text editor to produce TransType, a system that watches over the user as he or she types a translation and repeatedly suggests completions for the text already entered. This innovative Embedded Machine Translation system is thus a specialized means of helping produce high quality translations.
Embedding paths of variable lengths into hypercubes with conditional link-faults
Authors: Tz-Liang Kueng, Cheng-Kuan Lin, Tyne Liang, Jimmy J. M. Tan, Lih-Hsing Hsu
Venue: Parallel Computing (2009)

Faults in a network may take various forms such as hardware failures while a node or a link stops functioning, software errors, or even missing of transmitted packets. In this paper, we study the link-fault-tolerant capability of an n-dimensional hypercube (n-cube for short) with respect to path embedding of variable lengths in the range from the shortest to the longest. Let F be a set consisting of faulty links in a wounded n-cube Q"n, in which every node is still incident to at least two fault-free links. Then we show that Q"n-F has a path of any odd (resp. even) length in the range from the distance to 2^n-1 (resp. 2^n-2) between two arbitrary nodes even if |F|=2n-5. In order to tackle this problem, we also investigate the fault diameter of an n-cube with hybrid node and link faults.
Formal Analysis of the Genetic Toggle
Authors: Giampaolo Bella, Pietro Liò
Venue: Proceedings of the 7th International Conference on Computational Methods in Systems Biology (2009)

The formal analysis of the toggle switch, which is among the most common motifs of genetic networks, shows that along with the powerful development of mathematical modelling, formal methods can be of great help in investigating the properties of genetic networks. In particular, a general approach to modelling genetic networks through the language of higher-order logic is advanced and mechanised in the theorem prover Isabelle. An inductive definition provides a formal model for the genetic toggle as the set of all possible evolutions of such network. Gene polymerase and protein concentration are formalised as primitive recursive functions. The main properties of the genetic toggle are confirmed upon the model: it is possible that one protein exceeds a stated concentration threshold and the other protein does not; it is impossible that both proteins exceed their respective concentration thresholds at the same time. To the best of the authors' knowledge, this is the first contribution of theorem proving in the area of genetic network analysis, and as such may set the foundations for a new niche of research.
Research on Modeling for Hydraulic Retarder Internal Pressure Based on Artificial Neural Network
Authors: Jun Yan, Xuexun Guo
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

This paper discusses the method of modeling for hydraulic retarder internal pressure and determines a method based on Artificial Neural Network (ANN). For modeling based on ANN, the detailed settings and key points are expatiated. Through data extrapolating and comparison with test data, the rationality of ANN internal pressure model is proved.
Study on Solution Method for a Numerical Fuzzy Programming Problem
Authors: Chenxia Jin, Fachao Li
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Fuzzy programming, a well-known optimization problem in resource allocation and optimization decision etc, has become the hot research in academic circles and many application fields. In this paper, for the numerical fuzzy programming, we propose centralized quantification strategy for processing fuzzy objective function, and further give the concept of synthesizing effect functions for the overall consideration of the objective and constraint; Combing with fuzzy inequity degree and genetic algorithm, we establish numerical fuzzy programming model (denoted by BSE ID-FGM for short); Finally, we analyze the characteristic and effectiveness of this method through an example. All the results indicate that our method has better structural feature, and can effectively merge the decision preferences into the solution in quantification ways.
ON MODELINGA model of mobile community: designing user interfaces to support group interaction
Authors: Youngho Rhee, Juyeon Lee
Venue: interactions (2009)

Editor's Note: This article proposes several models of community, including a model of "mobile community"---an extension of physical community merged with online community. The authors also provide examples of how these models have contributed to the development of community applications in their work at Samsung.---Hugh Dubberly
A Model-Free Predictor Based on Predictive Tracking for Time Series
Authors: Guoyuan Qi, Shengzhi Du, Barend Jacobus van Wyk
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

The majorities of the existing predictors for states are model-dependent and therefore require some prior knowledge for the identification of complex systems, usually involving system identification, extensive training or online adaptation in the case of time-varying systems. In this paper a model-free predictor (MFP) for a time series produced by an unknown nonlinear system or process is proposed. The dynamic function of the MFP is independent of the predicted system or process, avoiding the explicit model identification or approximation of the system or process. The MFP is able to accurately predict future values of a time series, is exponentially stable, has few tuning parameters and is desirable for engineering applications due to simplicity, fast prediction speed and extremely low computational load. The performance of the proposed MFP is demonstrated using the prediction of hyperchaos.
The Attentive Hearing Aid: Eye Selection of Auditory Sources for Hearing Impaired Users
Authors: Jamie Hart, Dumitru Onceanu, Changuk Sohn, Doug Wightman, Roel Vertegaal
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

An often-heard complaint about hearing aids is that their amplification of environmental noise makes it difficult for users to focus on one particular speaker. In this paper, we present a new prototype Attentive Hearing Aid (AHA) based on ViewPointer, a wearable calibration-free eye tracker. With AHA, users need only look at the person they are listening to, to amplify that voice in their hearing aid. We present a preliminary evaluation of the use of eye input by hearing impaired users for switching between simultaneous speakers. We compared eye input with manual source selection through pointing and remote control buttons. Results show eye input was 73% faster than selection by pointing and 58% faster than button selection. In terms of recall of the material presented, eye input performed 80% better than traditional hearing aids, 54% better than buttons, and 37% better than pointing. Participants rated eye input as highest in the "easiest", "most natural", and "best overall" categories.
Online Research Essentials: Designing and Implementing Research Studies
Authors: Brenda Russell, John Purcell
Venue:  (2009)

Online Research Essentials Designing and Implementing Research Studies Online Research Essentials Written by experts in the field, Online Research Essentials provides step-b-step guidance to the student or new practitioner in how to create, test, and deploy online survey research. The book includes everything needed for planning and developing a survey, putting it online, and formatting data for further analysis. Russell and Purcell provide support for using the popular Microsoft Expression Web and Adobe Dreamweaver web page authoring tools and for using the Access database that is used to collect and store survey results. Online Research Essentials is a comprehensive resource that discusses the practical aspects of survey development and applied research and offers information on a wide range of research-related topics that include: Scientific method and research design Ethical considerations on using the Internet for research Creating web pages Planning the research study Creating a simple survey on the Internet Developing an e-survey Creating more complicated Internet surveys Sampling procedures Developing experimental designs JavaScript and web programming and advanced JavaScript programming Repeated measures and matched group designs
Qualitative Transition Systems for the Abstraction and Comparison of Transient Behavior in Parametrized Dynamic Models
Authors: Hayssam Soueidan, Grégoire Sutre, Macha Nikolski
Venue: Proceedings of the 7th International Conference on Computational Methods in Systems Biology (2009)

Quantitative models in Systems Biology depend on a large number of free parameters, whose values completely determine behavior of models. These parameters are often estimated by fitting the system to observed experimental measurements and data. The response of a model to parameter variation defines qualitative changes of the system's behavior. The influence of a given parameter can be estimated by varying it in a certain range. Some of these ranges produce similar system dynamics, making it possible to define general trends for trajectories of the system (e.g. oscillating behavior) in such parameter ranges. Such trends can be seen as a qualitative description of the system's dynamics within a parameter range. In this work, we define an automata-based formalism to formally describe the qualitative behavior of systems' dynamics. Qualitative behaviors are represented by finite transition systems whose states contain predicate valuation and whose transitions are labeled by probabilistic delays. Biochemical system' dynamics are automatically abstracted in terms of these qualitative transition systems by a random sampling of trajectories. Furthermore, we use graph theoretic tools to compare the resulting qualitative behaviors and to estimate those parameter ranges that yield similar behaviors. We validate this approach on published biochemical models and show that it enables rapid exploration of models' behavior, that is estimation of parameter ranges with a given behavior of interest and identification of some bifurcation points.
Declarative Debugging of Rewriting Logic Specifications
Authors: Adrian Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet
Venue: Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers (2009)

Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree representing this computation and guiding the user through it to find the wrong statement. This paper presents the fundamentals for the declarative debugging of rewriting logic specifications, realized in the Maude language, where a wrong computation can be a reduction, a type inference, or a rewrite. We define appropriate debugging trees obtained as the result of collapsing in proof trees all those nodes whose correctness does not need any justification. Since these trees are obtained from a suitable semantic calculus, the correctness and completeness of the debugging technique can be formally proved. We illustrate how to use the debugger by means of an example and succinctly describe its implementation in Maude itself thanks to its reflective and metalanguage features.
Search Engine Marketing - The Small Business Owners Way to Accelerated Growth Online in Recession - And Much More - 101 World Class Expert Facts, Hints, Tips and Advice on Search Engine Marketing
Authors: Arthur Jensen
Venue:  (2009)

Information is power, you know that. But, how do you research the best Search Engine Marketing strategies, without spending too much of your time (and money) on it? The average person earns $ 1100 per week, which equates to $ 27 per hour. Trying to do the research yourself would take you at least 5 hours to come up with the best information, AND you'll have to do this on a regular basis to come up with the most up to date and current information. There has to be a different way to find the info you want! Well, yes there is... we did all the research for you, combed through all the information and got down to the hard core of the 101 most up to date and best Facts, Hints, Tips and Advice here, in this book. The 101 of the most current, most actual and beneficial Facts, Hints, Tips and Advice you can find from experts in the field on Search Engine Marketing: - Search Engine Optimization Marketing - How to Find a Good SEO and Keep Them With You For a Long Time - Dominate the Search Engines With Social Bookmarking - Generate Targeted Search Engine Traffic - Keyword Research Techniques - The Strategy to Get High Ranking Keyword With Less Competition - How to Optimize Your Site With Search Engine and Get Thousands of Visitors Day and Night - Search Engine Secrets - 3 Ways to Get Highly Targeted Traffic From the Search Engines - Search Engine Marketing - One of the Most Effective Strategies For Online Visibility - Behind the Form - Google, The Deep-Web Crawl, and Impact on Search Engine Visibility - What SEO Companies Are Not Telling You - Can They Really Help You Make Money Online? - 8 Simple Signs to Be Aware of and Avoid If Hear From an SEO Company Or Consultant - The Importance of Search Engine Marketing For Small to Medium Sized Businesses ...And Much More... 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
Interactive Demonstration of Pointing Gestures for Virtual Trainers
Authors: Yazhou Huang, Marcelo Kallmann
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

While interactive virtual humans are becoming widely used in education, training and delivery of instructions, building the animations required for such interactive characters in a given scenario remains a complex and time consuming work. One of the key problems is that most of the systems controlling virtual humans are mainly based on pre-defined animations which have to be re-built by skilled animators specifically for each scenario. In order to improve this situation this paper proposes a framework based on the direct demonstration of motions via a simplified and easy to wear set of motion capture sensors. The proposed system integrates motion segmentation, clustering and interactive motion blending in order to enable a seamless interface for programming motions by demonstration.
Analysis of Spatial and Temporal Variation Characteristics of Atmospheric Aerosol Optical Depth: A Case Study of Chongqing
Authors: Ling Wang, Hailong Liu, Xin Lv
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Using EOS-Terra/MODIS in 2005~2007 to retrieve aerosol optical depth, spatial and temporal variations of aerosol optical depth in Chongqing was studied. The results show that the monthly distribution is characterized by double peak and double valley. The peak values appear in April, secondary peak in September, the minimum value in November and the other valley value in August. Seasonal change of aerosol optical depth in spring has a high level, comparatively stable in summer; peak appear in autumn, and the value keeps at low level in winter; annual variation shows the tendency to diminish in spring and increase gradually year by year; monthly change principle is basically identical; spatial distribution totally shows “high west , low east. ” After going to summer from spring, the value mainly in the southeast, central area and west increases; going to autumn from summer, the value in most areas increases; going to winter from autumn, the value only in areas with decrease in autumn or with very little change increases slightly, mainly in the areas to the north of the Yangtz River and to the west of Wanzhou. Yearly average is characterized by that the value in western area is obviously higher than that in other areas, and in the southeast and in the area along Three-Gorge Reservoir higher
It's No Secret. Measuring the Security and Reliability of Authentication via "Secret Questions
Authors: Stuart Schechter, A. J. Bernheim Brush, Serge Egelman
Venue: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy (2009)

All four of the most popular webmail providers -- AOL, Google, Microsoft, and Yahoo! -- rely on personal questions as the secondary authentication secrets used to reset account passwords. The security of these questions has received limited formal scrutiny, almost all of which predates webmail. We ran a user study to measure the reliability and security of the questions used by all four webmail providers. We asked participants to answer these questions and then asked their acquaintances to guess their answers. Acquaintances with whom participants reported being unwilling to share their webmail passwords were able to guess 17% of their answers. Participants forgot 20% of their own answers within six months. What's more, 13% of answers could be guessed within five attempts by guessing the most popular answers of other participants, though this weakness is partially attributable to the geographic homogeneity of our participant pool.
Computer-based analysis of explicit approximations to the implicit Colebrook-White equation in turbulent flow friction factor calculation
Authors: Gürol Yıldırım
Venue: Advances in Engineering Software (2009)

The implicit Colebrook-White equation has been widely used to estimate the friction factor for turbulent fluid-flow in rough-pipes. In this paper, the state-of-the-art review for the most currently available explicit alternatives to the Colebrook-White equation, is presented. An extensive comparison test was established on the 20x500 grid, for a wide range of relative roughness (@e/D) and Reynolds number (R) values (1x10^-^6=
A Knowledge-Based Framework for Information Extraction from Clinical Practice Guidelines
Authors: Corrado Loglisci, Michelangelo Ceci, Donato Malerba
Venue: Proceedings of the 18th International Symposium on Foundations of Intelligent Systems (2009)

Clinical Practice Guidelines guide decision making in decision problems such as the diagnosis, prevention, etc. for specific clinical circumstances. They are usually available in the form of textual documents written in natural language whose interpretation, however, can make difficult their implementation. Additionally, the high number of available documents and the presence of information for different decision problems in the same document can further hinder their use. In this paper, we propose a framework to extract practices and indications considered to be important in a particular clinical circumstance for a specific decision problem from textual clinical guidelines. The framework operates in two consecutive phases: the first one aims at extracting pieces of information relevant for each decision problem from the documents, while the second one exploits pieces of information in order to generate a structured representation of the clinical practice guidelines for each decision problem. The application to the context of Metabolic Syndrome proves the effectiveness of the proposed framework.