ppxscal/embedding_network huggingface dataset:
Validating XML Constraints Using Automata
Authors: Zijing Tan
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

In this paper, we address the problem of validating constraints in XML. In particular, we concentrate on the three commonly discussed types of constraints, functional dependencies, keys and foreign keys. Unranked bottom-up tree automata can be used to validate XML documents against a schema, and we further extend the automata to validate constraints for XML. The automaton can, in only one pass, not only check the validity of an XML document w.r.t. DTD, but also validate the document against constraints. We discuss the computational complexity of the running of the automaton. Finally we give the prototype implementation, and provide the experimental results.
ARC-Pad: absolute+relative cursor positioning for large displays with a mobile touchscreen
Authors: David C. McCallum, Pourang Irani
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

We introduce ARC-Pad (Absolute+Relative Cursor pad), a novel technique for interacting with large displays using a mobile phone's touchscreen. In ARC-Pad we combine ab-solute and relative cursor positioning. Tapping with ARC-Pad causes the cursor to jump to the corresponding location on the screen, providing rapid movement across large distances. For fine position control, users can also clutch using relative mode. Unlike prior hybrid cursor positioning techniques, ARC-Pad does not require an explicit switch between relative and absolute modes. We compared ARC-Pad with the relative positioning commonly found on touchpads. Users were given a target acquisition task on a large display, and results showed that they were faster with ARC-Pad, without sacrificing accuracy. Users welcomed the benefits associated with ARC-Pad.
PhotoelasticTouch: transparent rubbery tangible interface using an LCD and photoelasticity
Authors: Toshiki Sato, Haruko Mamiya, Hideki Koike, Kentaro Fukuchi
Venue: Proceedings of the 22nd annual ACM symposium on User interface software and technology (2009)

PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilizes vision-based recognition techniques and the photoelastic properties of the transparent rubber to recognize deformed regions of the elastic material. Our system works with elastic materials over a wide variety of shapes and does not require any explicit visual markers. Compared to traditional interactive surfaces, our 2.5 dimensional interface system enables direct touch interaction and soft tactile feedback. In this paper we present our force sensing technique using photoelasticity and describe the implementation of our prototype system. We also present three practical applications of PhotoelasticTouch, a force-sensitive touch panel, a tangible face application, and a paint application.
Real Aperture Axial Stereo: Solving for Correspondences in Blur
Authors: Rajiv Ranjan Sahay, Ambasamudram N. Rajagopalan
Venue: Proceedings of the 31st DAGM Symposium on Pattern Recognition (2009)

When there is relative motion along the optical axis between a real-aperture camera and a 3D scene, the sequence of images captured will not only be space-variantly defocused but will also exhibit pixel motion due to motion parallax. Existing single viewpoint techniques such as shape-from-focus (SFF)/depth-from-defocus (DFD) and axial stereo operate in mutually exclusive domains. SFF and DFD assume no pixel motion and use the focus and defocus information, respectively, to recover structure. Axial stereo, on the other hand, assumes a pinhole camera and uses the disparity cue to infer depth. We show that in real-aperture axial stereo, both blur and pixel motion are tightly coupled to the underlying shape of the object. We propose an algorithm which fuses the twin cues of defocus and parallax for recovering 3D structure. The effectiveness of the proposed method is validated with many examples.
Simplifying Buffer Overflow Detection Using Site-Safe Expressions
Authors: Shikun Chen, Zhoujun Li
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

We present a highly automated technique to identify buffer overflows in C source code, and implement the approach in our prototype cboc. It is a sound tool, and of particular significance is its ability to easily deal with pointer expressions and dynamic memory allocations, which are integral parts of the buffer overflow problem. Our implementation hinges on a key design consideration: introducing the notion of site-safe expression allows us to manage pointer dereference expediently, and the expense is that it may yield some false alarms. Fortunately, only a small number of false alarms are reported, and all probable false alarms belong to a special alarm type non-site-safe. Experiments show that cboc is competitive with state-of-the-art model checker CBMC.
Study Influence Factors of the Virtual Currency Based on Gray Correlation Analysis
Authors: Li Xiaoxin
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

In this paper twelve factors from macroscopic and microcosmic aspects were selected to analyze their influence of the virtual currency. Then factors of strong positive and negative correlation degree with virtual currency were discovered, such as the C2C E-commerce market, the third-party online payment platform. Finally useful supervision suggestions were given based on the gray correlation analysis.
Two-Way Grouping by One-Way Topic Models
Authors: Eerika Savia, Kai Puolamäki, Samuel Kaski
Venue: Proceedings of the 8th International Symposium on Intelligent Data Analysis: Advances in Intelligent Data Analysis VIII (2009)

We tackle the problem of new users or documents in collaborative filtering. Generalization over users by grouping them into user groups is beneficial when a rating is to be predicted for a relatively new document having only few observed ratings. The same applies for documents in the case of new users. We have shown earlier that if there are both new users and new documents, two-way generalization becomes necessary, and introduced a probabilistic Two-Way Model for the task. The task of finding a two-way grouping is a non-trivial combinatorial problem, which makes it computationally difficult. We suggest approximating the Two-Way Model with two URP models; one that groups users and one that groups documents. Their two predictions are combined using a product of experts model. This combination of two one-way models achieves even better prediction performance than the original Two-Way Model.
An Incremental Approach for Inducing Knowledge from Dynamic Information Systems
Authors: Dun Liu, Tianrui Li, Da Ruan, Weili Zou
Venue: Fundamenta Informaticae (2009)

Knowledge in an information system evolves with its dynamical environment. A new concept of interesting knowledge based on both accuracy and coverage is defined in this paper for dynamic information systems. An incremental model and approach as well as its algorithm for inducing interesting knowledge are proposed when the object set varies over time. A case study validates the feasibility of the proposed method.
Forecasting Stock Returns Based on Spline Wavelet Support Vector
Authors: LingBing Tang, HuanYe Sheng
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

Stock returns forecast is vital important in finance to reduce risk and take better decisions. This paper propose a spline wavelet kernel for support vector machine (SVM), called spline wavelet support vector machine (SWSVM), to model nonstationary financial time series. The SWSVM is obtained by incorporating the spline wavelet theory into SVM. Because spline wavelet function can yield features that describe of the stock time series both at various locations and at varying time granularities, the SWSVM can forecast stock returns accurately. The applicability and validity of spline wavelet support vector machine (SWSVM) for stock returns forecast were analyzed through experiments on real-world stock data. It appears that the spline wavelet kernel perform better than the Gaussian kernel.
Multimodal Interaction with Intelligent Meeting Room Facilities from Inside and Outside
Authors: A. L. Ronzhin, V. Yu. Budkov
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

Multimodal user interface capable to perceive speech, movements, poses and gestures of meeting participants in order to determinate their needs provides the natural and intuitively understandable way of interaction with the developed intelligent meeting room. Awareness of the room about spatial position of the participants, their current activities, and roles in a current event, their preferences helps to predict more accurately the intentions and needs of participants. The accomplished integration of Nokia mobile phones with the sensor network and smart services allowed users to control effectors, audio/video and other facilities from outside. Some scenarios of multimodal interaction with the room as well as issues of adaptation of user interface to limitations of mobile phone browser are discussed.
Automated Construction of Reasonable Environment for Java Components
Authors: Pavel Parizek, Jiri Adamek, Tomas Kalibera
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

In software component verification, one of the challenges is model checking of isolated components. The environment of an isolated component is unknown, and therefore a part of an input to a model checker is missing. This problem can be addressed via automated generation of an artificial environment - component and its environment form a complete program that can be verified using common model checkers. Focusing on concurrency errors in Java components, we propose to automatically generate a reasonable artificial environment that makes efficient detection of concurrency errors with Java PathFinder possible. Such an environment executes in parallel those component's methods that interact via concurrency constructs of Java and thus likely contain concurrency errors. We employ static code analysis to identify sets of methods to be executed in parallel and a metric to order the sets according to the degree of interaction. Benefits of the technique are illustrated on results of experiments performed on real-life Java components.
f-MRI Study of Brain Activation in Tactile Feeling
Authors: Yuka Koda, Maki Taniguchi, Yukiyasu Kamitani, Naoki Saiwaki
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

This research examined a tactile objective evaluation using ICPF (Ionic Conducting Polymer gel Film) actuators and real materials paying attention to the brain activation. The ICPF actuator is a display that presets artificial tactile feelings like fabrics, which we presented in HCI International 2005 [1]. The procedure of this evaluation method is as follows. 1: applying four kind of artificial tactile stimuli to subjects in f-MRI chamber, 2: measuring of the brain activity by f-MRI, 3: analyzing the difference between the brain activities evoked by different stimuli, revealed by decoding method, 4: examining an effectiveness of the result. In addition, we prepared four real materials tactile stimuli for comparison. Experimental results showed that a human brain could classify significantly both real materials and artificial tactile stimuli and that we could confirm them by decoding method with f-MRI. This fact derived the idea that measuring brain activity was one example of tactile feeling objective evaluation method. To verify the idea, we carried out a test with stimuli that narrowed the tactile gap. This experiment showed an insignificant result from its decoding value. But, the decoding results of all subjects exceeded a chance level. The chance level is chance of success in this paper. These experiment results didn't deny the brain activity measurement by f-MRI as a technique for evaluating the sense of touch and the effectiveness of the decoding method. Therefore, it is thought significant researching continuously in the further.
Watermarking via zero assigned filter banks
Authors: Zeynep Yücel, A. Bülent Özgüler
Venue: Signal Processing (2010)

In order to identify the owner and distributor of digital data, a watermarking scheme in frequency domain for multimedia files is proposed. The scheme satisfies the imperceptibility and persistence requirements and it is robust against additive noise. It consists of a few stages of wavelet decomposition of several subblocks of the original signal using special zero assigned filter banks. By assigning zeros to filters on the high frequency portion of the spectrum, filter banks with frequency selective response are obtained. The information is then inserted in the wavelet-decomposed and compressed signal. Several robustness tests are performed on male voice, female voice, and music files, color and gray level images. The algorithm is tested under white Gaussian noise and against JPEG compression and it is observed to be robust even when exposed to high levels of corruption.
Information empowerment through mobile learning
Authors: Raymond Koon Chuan Koh, Henry Xin Liong Tan, Henry Been-Lirn Duh
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Information empowers those who make sense from its successful interpretation; this is especially true on the subject of weather where the recipient is required to have prior forms of fundamental understanding towards the natural occurring phenomenon and its effects. This study facilitates the learning of complex weather phenomena for children using a unique educational approach using mobile technology. The initiative runs under Singapore's National Weather Study Project (NWSP), which already operates a network of mini weather stations in schools across the state to promote environmental awareness and support dynamic interactions with real time data. Its data is accessible via Web, Microsoft SensorMap and Google Earth interfaces. IWIS, an application for the recent Google Android mobile platform taps onto the fusion of mapping and the weather project server's data to present to children accessible local multi-variate weather data depicted using visual metaphors and propagates the development of mobile learning applications in the imminent future.
A New Embedded Encryption Algorithm for Wireless Sensor Networks
Authors: Liang Wei, Xu Jianbo, Tang Mingdong, Huang Li
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

The traditional ideas and solutions focusing on network security problems are unsuitable for wireless sensor networks in which storage space and computing power are limited. In order to reduce cost in processor of sensor node, this paper proposes a new embedded encryption algorithm (AEEA) based on linear feedback shift register (LFSR). Because the algorithm is only composed by some basic operations such as the XOR and displacement, FPGA coprocessor with high performance and price ratio is adopted, through which our algorithm can achieve low cost and high speed in FPGA implementation. The experimental results show, compared with other known encryption algorithms for wireless sensor networks, our algorithm has better performance on the whole, in particular the safety performance ratio reaches 0.757, greatly outperforming other algorithms.
Adaptive natural language interaction
Authors: Stasinos Konstantopoulos, Athanasios Tegos, Dimitris Bilidas, Ion Androutsopoulos, Gerasimos Lampouras, Prodromos Malakasiotis, Colin Matheson, Olivier Deroo
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session (2009)

The subject of this demonstration is natural language interaction, focusing on adaptivity and profiling of the dialogue management and the generated output (text and speech). These are demonstrated in a museum guide use-case, operating in a simulated environment. The main technical innovations presented are the profiling model, the dialogue and action management system, and the text generation and speech synthesis systems.
Fuzzy Rules Extraction from Support Vector Machines for Multi-class Classification with Feature Selection
Authors: Adriana Costa F. Chaves, Marley Vellasco, Ricardo Tanscheit
Venue: Advances in Neuro-Information Processing: 15th International Conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008, Revised Selected Papers, Part II (2009)

Although Support Vector Machines (SVMs) have been successfully applied to many problems, they are considered "black box models". Some methods have been developed to reduce this limitation, among them the FREx_SVM, which extracts fuzzy rules from trained SVMs for multi-class problems. This work deals with an extension to the FREx_SVM method, including a wrapper feature subset selection algorithm for SVMs. The method was evaluated in four benchmark databases. Results show that the proposed extension improves the original FREX_SVM, providing better rule coverage and a lower number of rules, which is a considerable gain in terms of interpretability.
A platform to automatically generate and incorporate documents into an ontology-based content repository
Authors: Matthias Heinrich, Antje Boehm-Peters, Martin Knechtel
Venue: Proceedings of the 9th ACM symposium on Document engineering (2009)

In order to access large information pools efficiently data has to be structured and categorized. Recently, applying ontologies to formalize information has become an established approach. In particular, ontology-based search and navigation are promising solutions which are capable to significantly improve state of the art systems (e.g. full-text search engines). However, the ontology roll-out and maintenance are costly tasks. Therefore, we propose a documentation generation platform that automatically derives content and incorporates generated content into an existing ontology. The demanding task of classifying content as concept instances, setting data type and object properties is accomplished by the documentation generation platform. Eventually, our approach results in a semantically enriched content base. Note that no manual effort is required to establish links between content objects and the ontology.
An evolutionary algorithm with advanced goal and priority specification for multi-objective optimization
Authors: Kay Chen Tan, Eik Fun Khor, Tong Heng Lee, Ramasubramanian Sathikannan
Venue: Journal of Artificial Intelligence Research (2003)

This paper presents an evolutionary algorithm with a new goal-sequence domination scheme for better decision support in multi-objective optimization. The approach allows the inclusion of advanced hard/soft priority and constraint information on each objective component, and is capable of incorporating multiple specifications with overlapping or non-overlapping objective functions via logical "OR" and "AND" connectives to drive the search towards multiple regions of trade-off. In addition, we propose a dynamic sharing scheme that is simple and adaptively estimated according to the on-line population distribution without needing any a priori parameter setting. Each feature in the proposed algorithm is examined to show its respective contribution, and the performance of the algorithm is compared with other evolutionary optimization methods. It is shown that the proposed algorithm has performed well in the diversity of evolutionary search and uniform distribution of non-dominated individuals along the final trade-offs, without significant computational effort. The algorithm is also applied to the design optimization of a practical servo control system for hard disk drives with a single voice-coil-motor actuator. Results of the evolutionary designed servo control system show a superior closed-loop performance compared to classical PID or RPT approaches.
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
Authors: Jos Bruijn, Stijn Heymans
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with negation under the stable model semantics. We consider both possible and certain answers and both closed- and open-world interpretation of C-databases with and without conditions. By reduction to stable models of logic programs we find that, under closed-world interpretation, adding negation to (disjunctive) Datalog does not increase the complexity of the considered problems for C-databases, but certain answers for databases without conditions are easier for Datalog without than with negation. Under open-world interpretation, adding negation to non-recursive Datalog already leads to undecidability, but the complexity of certain answers for negation-free queries is the same as under closed-world interpretation.
Research on the AID Measurement Based on Improved SVM Algorithm
Authors: Ling Zhang, Junchen Jiang, Zhibin Liu
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

The agricultural information level is on the initial stage in Hebei province, so we should pay more attention to its construction. And on this basis we can find out the influencing factors and corresponding countermeasures. To evaluate the agricultural information degree in Hebei province scientifically and accurately, this paper establish the agricultural information degree (AID) evaluation model based on self-adapting regression SVM, through establishing agricultural information degree index system, use several SVM classifier series portfolio, solve the problems that the training samples’ category and quantity are imbalance, and the data is interfered. Experimental results show that the method improved the evaluating accuracy and efficiency of the agricultural information degree.
Quadratic features and deep architectures for chunking
Authors: Joseph Turian, James Bergstra, Yoshua Bengio
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics, Companion Volume: Short Papers (2009)

We experiment with several chunking models. Deeper architectures achieve better generalization. Quadratic filters, a simplification of a theoretical model of V1 complex cells, reliably increase accuracy. In fact, logistic regression with quadratic filters outperforms a standard single hidden layer neural network. Adding quadratic filters to logistic regression is almost as effective as feature engineering. Despite predicting each output label independently, our model is competitive with ones that use previous decisions.