ppxscal/embedding_network huggingface dataset:
Worst-Case Running Times for Average-Case Algorithms
Authors: Luís Antunes, Lance Fortnow
Venue: Proceedings of the 2009 24th Annual IEEE Conference on Computational Complexity (2009)

Under a standard hardness assumption we exactly characterize the worst-case running time of languages that are in average polynomial-time over all polynomial-time samplable distributions. More precisely we show that if exponential time is not infinitely often in subexponential space, then the following are equivalent for any algorithm $A$: \begin{itemize} \item For all $\p$-samplable distributions $\mu$, $A$ runs in time polynomial on $\mu$-average. \item For all polynomial $p$, the running time for A is bounded by $2^{O(K^p(x)-K(x)+\log(|x|))}$ for \emph{all} inputs $x$. \end{itemize} where $K(x)$ is the Kolmogorov complexity (size of smallest program generating $x$) and $K^p(x)$ is the size of the smallest program generating $x$ within time $p(|x|)$. To prove this result we show that, under the hardness assumption, the polynomial-time Kolmogorov distribution, $m^p(x)=2^{-K^p(x)}$, is universal among the P-samplable distributions.
Online Performance Measurement Arithmetic Research and Application on Novel Swing Movable Teeth Transmission System
Authors: Yali Yi, Zijun An, Herong Jin
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Principle and arithmetic of rotary machine torque measurement using virtual instrument technology are researched in this paper. A new method about torque measure with frequency tracing based on phase difference is presented. Part noise component are separated effectively from useful signal using self characteristic of correlation and sine function. Random disturbance immunity and measurement accuracy are enhanced. Applying generalized forecast method, make sampling frequency tracing frequency variety of measured signal, complete alternation sampling is completed and measurement precision can be guaranteed. A new torque revolution measuring instrument with VI technology is designed which has the advantage of self defining, powerful data processing ability and easily embedded digital compensation to realize automation measurement of torque and power of swing movable teeth transmission.
When Joy Matters: The Importance of Hedonic Stimulation in Collocated Collaboration with Large-Displays
Authors: Jasminko Novak, Susanne Schmidt
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

Hedonic aspects are increasingly considered as an important factor in user acceptance of information systems, especially for activities with high self-fulfilling value for the users. In this paper we report on the results of an experiment investigating the hedonic qualities of an interactive large-display workspace for collocated collaboration in sales-oriented travel advisory. The results show a higher hedonic stimulation quality of a touch-based large-display travel advisory workspace than that of a traditional workspace with catalogues. Together with the feedback of both customers and travel agents this suggests the adequacy of using touch-based large-displays with visual workspaces for supporting the hedonic stimulation of user experience in collocated collaboration settings. The relation of high perception of hedonic quality to positive emotional attitudes towards the use of a large-display workspace indicates that even in utilitarian activities (e.g. reaching sales goals for travel agents) hedonic aspects can play an important role. This calls for reconsidering the traditional divide of hedonic vs. utilitarian systems in current literature, to a more balanced view towards systems which provide both utilitarian and hedonic sources of value to the user.
Sliding Mode Control Design of Cleaning Robot's Mobile Manipulator Used in Large Condenser Based on Neural Networks
Authors: Hong Tang, Qing-xuan Yang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Sliding mode control (SMC) of cleaning robot's mobile manipulator based on neural networks which have nonlinear approximation ability is put forward in this article. The controller reduces inherent chattering phenomenon sharply when the uncertainties and external disturbances are unknown. Structure of sliding mode control and neural networks’ learning algorithms using Lyapunov theorem are designed which guarantees system’s stability and dynamic property. Experiment results indicate that the SMC method has strong capacity of resisting disturbance and excellent dynamic characters, can weaken the chattering phenomenon efficiently.
On the Unobservability of a Trust Relation in Mobile Ad Hoc Networks
Authors: Olivier Heen, Gilles Guette, Thomas Genet
Venue: Proceedings of the 3rd IFIP WG 11.2 International Workshop on Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks (2009)

More and more mobile devices feature wireless communication capabilities. They can self-organize in a mobile ad hoc network in order to communicate and maintain connectivity without any infrastructure component.In this context, some devices may benefit from established trust relations in order to communicate private data. Various solutions already exist for establishing and detecting such trust relations. But is it still possible to detect a trust relation in an unobservable manner? That is, in a way that an attacker cannot understand whether devices share a trust relation or not.We exhibit a solution to this problem. Our solution guaranties the anonymity and the unobservability of participants against passive and active attackers. The security properties of the solution are machine checked with the AVISPA framework [2] and the SPAN tool [5].The main applications could be found in mobile ad hoc networks and in vehicular networks [6,7] where anonymity and unobservability contribute to a better privacy.
Data Fusion Method for Multi-sources Remotely Sensed Imagery Based on IHS Transformation and Wavelet Analysis
Authors: Wang Guang-jun, Xiao Qiu-ping, Fu Mei-chen, Wang Zeng
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Data fusion for multi-sources remotely sensed images is becoming a key-question in RS application. In this paper, two images differing in spatial resolution and spectral resolution are used in data fusion. The additive fusion technique based on IHS and wavelet transform is discussed, and an improved additive fusion technique is put forward. Firstly, the high frequency from high spatial resolution image after wavelet transform is added to the high frequency of the intensity from multi-spectral image after IHS transform and wavelet transform, which will get a integration of high frequency for a new intensity I′, while maintaining the low frequency of Intensity from the multi-spectral image as the low frequency for I′; secondly I′ is acquired by making the inverse wavelet transform; finally the fusion result is gained by making the inverse I′HS transform. The fusion test proves that the improved additive fusion technique is much more accurate in maintaining the characteristics of the multi-spectral image as well as improving the spatial resolution.
A h-Shirt-Based Body Sensor Network for Cuffless Calibration and Estimation of Arterial Blood Pressure
Authors: W. B. Gu, C. C. Y. Poon, M. Y. Sy, H. K. Leung, Y. P. Liang, Y. T. Zhang
Venue: Proceedings of the 2009 Sixth International Workshop on Wearable and Implantable Body Sensor Networks (2009)

In this paper, a body sensor network (BSN) system for measuring systolic blood pressure (SBP) by a cuffless approach based on h-Shirt has been developed. Two experiments were conducted on a total of 22 subjects to evaluate the cuffless calibration approach and BSN system respectively. The results showed that using the estimated time and distance travelled by a pulse and a parameter derived from the secondary derivative of PPG, the BSN system can measure SBP completely without using a cuff within 1.2±6.0 mmHg of the reference on 10 healthy subjects aged 21-35 yrs.
Wikisearching and Wikilinking
Authors: Dylan Jenkinson, Kai-Cheung Leung, Andrew Trotman
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)

The University of Otago submitted three element runs and three passage runs to the Relevance-in-Context task of the ad hoc track. The best Otago run was a whole-document run placing 7th. The best Otago passage run placed 13th while the best Otago element run placed 31st. There were a total of 40 runs submitted to the task. The ad hoc result reinforced our prior belief that passages are better answers than elements and that the most important aspect of the focused retrieval is the identification of relevant documents. Six runs were submitted to the Link-the-Wiki track. The best Otago run placed 1st (of 21) in file to file automatic assessment and 6th (of 28) with manual assessment. The Itakura Clarke algorithm was used for outgoing links, with special attention paid to parsing and case sensitivity. For incoming links representative terms were selected from the document and used to find similar documents.
A Virtual Collaboration Design Environment Based on a Product-Oriented and User-Centred Computational Model
Authors: Qin Yang, Mingxi Tang, Shouqian Sun
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

This paper presents the methods developed at the Design Technology Research Centre (DTRC) of the Hong Kong Polytechnic University for the development of a team coordination environment for product design using the Web-based Virtual Collaborative Design Environment Model. The methods presented in this paper are: Synchronized Reciprocal Design Studio, Asynchronous Reciprocal Design/Construction Studio, Direct Reciprocal Exchange of Schemes, Joint Debate, and Design Data Resources Supportability.
Poster abstract: BioLogger: A wireless physiological monitoring and logging system
Authors: Sheng Hu, Jindong Tan
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

This paper presents the design and development of BioLogger, a wireless physiological signal monitoring and logging system. BioLogger can simultaneously acquire multiple types of physiological signals and display their waveforms on a computer. Furthermore energy saving is integrated to the both hardware and software design intended to prolong the time period of the on-body sensor node. Last, a simple scheduler is implemented to make sure the emergency message would not be missed.
Study on Torsional Vibration Performance of Twist Drill in Axial Vibration Drilling
Authors: L. J. Ma, X. B. Wang, G. J. Liu, X. Q. Chen, J. X. Du
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Based on mechanical kinetics theory, the torsional vibration equation of Twist drill is built and solved. Then, according to the characteristics of axial vibration drilling, its torsional vibration performance is analyzed deeply. The result shows that the average torsional deformation of low-frequency axial vibration drilling is less than that of common drilling and the torsional deformation of ultrasonic axial vibration drilling is approach to zero, so vibration drilling has a better surface quality and tool life than common drilling.
A Two-stage Evaluation Model for IT Investment Based on Interval DEA
Authors: Xiuzhi Zhang, Zhijie Xia
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Data envelopment analysis (DEA) is a very useful approach to evaluate information technology (IT) investment efficiency, but the original DEA approach can only measure the IT investment efficiency on one specific stage when a multi-stage business process is present, and it cannot solve the problems of imprecise data. Thus, the paper improves the two-stage model of Wang and Cheng, proposes a two-stage interval DEA model. The new model uses interval data instead of exact data, divides the investment into two stages and uses two different weights in two stages. The paper supposes the two stages give different contributions to the business performance, which reflects the decision makers’ subjective wishes. The paper also shows that this non-linear programming can be treated as a parametric linear programming, and gives the solving procedure in detail. In the end, the approach is illustrated with an example taken from previous studies, and the results are more detailed and objective than the previous results.
A Versatile Record Linkage Method by Term Matching Model Using CRF
Authors: Quang Minh Vu, Atsuhiro Takasu, Jun Adachi
Venue: Proceedings of the 20th International Conference on Database and Expert Systems Applications (2009)

We solve the problem of record linkage between databases where record fields are mixed and permuted in different ways. The solution method uses a conditional random fields model to find matching terms in record pairs and uses matching terms in the duplicate detection process. Although records with permuted fields may have partly reordered terms, our method can still utilize local orders of terms for finding matching terms. We carried out experiments on several well-known data sets in record linkage research, and our method showed its advantages on most of the data sets. We also did experiments on a synthetic data set, in which records combined fields in random order, and verified that it could handle even this data set.
Creating context as you go
Authors: Vesa A. Korhonen, Ritva Pyykkönen
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

In this paper, we discuss how a short-range wireless communication scheme called Mobile Encounter Network (MEN) can provide additional value for both the consumer and the service/product provider (the company). When used as an information search system on the market environment, a MEN-based system allows services and products being promoted at the location they are available. From the customer's point of view, MEN may provide a "digitally augmented vision", an enhanced view to the current environment. Combined with a set of filtering and search rules this may provide a self-manageable context combining the user's own personal environment and preferences to the services and features available in the current surroundings. An imaginary case study of this kind of system in execution is provided. The conclusion is that such method may can generate additional revenue to the company and please the customers' buying process.
Recognition of hand drawn chemical diagrams
Authors: Tom Y. Ouyang, Randall Davis
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Chemists often use hand-drawn structural diagrams to capture and communicate ideas about organic compounds. However, the software available today for specifying these structures to a computer relies on a traditional mouse and keyboard interface, and as a result lacks the ease of use, naturalness, and speed of drawing on paper. In response, we have developed a novel sketch-based system capable of interpreting hand-drawn organic chemistry diagrams, allowing users to draw molecules with a pen-based input device in much the same way that they would on paper. The system's ability to interpret a sketch is based on knowledge about both chemistry and chemical drawing conventions. The system employs a trainable symbol recognizer incorporating both feature-based and image-based methods to locate and identify symbols in the sketch. Analysis of the spatial context around each symbol allows the system to choose among competing interpretations and determine an initial structure for the molecule. Finally, knowledge of chemistry (in particular chemical valence) enables the system to check the validity of its interpretation and, when necessary, refine it to recover from inconsistencies. We demonstrate that the system is capable of recognizing diagrams of common organic molecules and show that using domain knowledge produces a noticeable improvement in recognition accuracy.
Conceptual Neighborhoods for Retrieval in Case-Based Reasoning
Authors: Ben G. Weber, Michael Mateas
Venue: Proceedings of the 8th International Conference on Case-Based Reasoning: Case-Based Reasoning Research and Development (2009)

We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of recall and generalize methods. Recall methods utilize domain specific preconditions and perform exact matching, while generalize methods apply transformations that generalize features in queries. The system uses a similarity function based on edit distances, where an edit distance considers only a subset of the features. This retrieval strategy enables the system to locate conceptually similar cases within the feature space. We demonstrate the performance of this approach by applying it to build-order selection in a real-time strategy game. Our results show that the system outperforms nearest neighbor retrieval when enforcing imperfect information in a real-time strategy game.
On numerical semigroups and the redundancy of improved codes correcting generic errors
Authors: Maria Bras-Amorós
Venue: Designs, Codes and Cryptography (2009)

We introduce a new sequence ¿ associated to a numerical semigroup similar to the ¿ sequence used to define the order bound on the minimum distance and to describe the Feng---Rao improved codes. The new sequence allows a nice description of the optimal one-point codes correcting generic errors and to compare them with standard codes and with the Feng---Rao improved codes. The relation between the ¿ sequence and the ¿ sequence gives a new characterization of Arf semigroups and it is shown that the ¿ sequence of a numerical semigroup unequivocally determines it.
An Utility Scheme for Online Fault Detection
Authors: Jiang Xiaosong
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Failure detection and isolation (FDI) is the key technique of fault tolerant flight control systems. In FDI field, lots of difficult problems had been resolved; however, single method didn't effectively ravel out some intricate problems in FDI. A combined statistical and analytical redundancy approach of FDI on aerodynamic of aircraft is proposed, which includes a set of robust adaptive observers for residual generation and a statistical method for residual evaluation in order to detect fault online. Using an instance of FDI of flight aerodynamic system of a fighter, the advantage of the approach is testified. Feedback information of sensors is used in this automatic terrain following flight control system. The design scheme is simulated in closed loop system, which can detect all sensor faults in online situations.
Timing and Accuracy of Individuals with and without Motor Control Disabilities Completing a Touch Screen Task
Authors: Curt B. Irwin, Mary E. Sesto
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

As touch screen technology improves in functionality and decreases in price, these input devices are becoming much more prevalent. People are increasingly required to interact with touch screens at places ranging from their local grocery stores to airport check-in kiosks. Since it is becoming necessary for people to use touch screens in order to access needed products or services, we conducted an experiment to examine how individuals with varying motor control disabilities perform on a simple number entry task. We feel this research is important because, to date, most of the usability research related to touch screens has only included young, healthy subjects.
Heap Memory Requirements Analysis via Separation Logic
Authors: Guanhua He, Chenguang Luo
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Memory is a constrained resource for software, and memory consumption is an essential factor to evaluate a program's performance. Therefore, there are existing works which concentrated on the inference of programs' memory usage. However, previous works mainly exploited type systems to infer programs' memory consumption, which were weak at handling aliasing information for heap manipulating programs. In this work, we propose an automated inference system for programs' memory usage based on the framework of Nguyen et al. The system can capture both the maximum requirement and the net usage of memory. We employ a separation logic based forward analysis to track the program's execution symbolically, and use symbolic Presburger arithmetic expressions to express the effect of allocation and deallocation in heap memory. Our approach is sound, and is also expected to provide more precision and scalability than previous works.
A decision-oriented model to evaluate the effect of land use and agricultural management on herbicide contamination in stream water
Authors: Chantal Gascuel-Odoux, Pierre Aurousseau, Marie-Odile Cordier, Patrick Durand, Frederick Garcia, Véronique Masson, Jordy Salmon-Monviola, Florent Tortrat, Ronan Trepos
Venue: Environmental Modelling Software (2009)

Modelling stream water pollution by herbicides in agricultural areas is a critical issue since numerous and incompletely known processes are involved. A decision-oriented model, SACADEAU-Transf, which represents water and pesticide transfer in medium-sized catchments (10-50km^2) is presented. This model aims at evaluating the effect of land use, agricultural practice and landscape on the contamination of stream water in rural catchments. The processes are represented in an easily understandable way with a moderate amount of information, producing semi-quantitative and spatialized outputs. Modelling focuses on the first few months after herbicide application when high levels of contamination are generally observed, by considering transfer through the catchment area via surface and subsurface flow. The surface flow, based on a tree plot network representation of the catchment, is controlled by soil-surface properties and saturated conditions. The subsurface flow based on Topmodel concepts is controlled by the topography. Herbicide transfer is coupled to water transfer by taking into account the main characteristics of the chemicals. The model simulates the daily water and herbicide outflow at the outlets of the farmers' fields as well as from the catchment. Preliminary results on maize herbicide transfer are presented for an agricultural catchment with an area of 17km^2 located in north-western France. The relevance of SACADEAU-Transf model is discussed in view of the qualities required for the decision-oriented models developed for improving agro-environmental management.