ppxscal/embedding_network huggingface dataset:
Towards Universal Access to Home Monitoring for Assisted Living Environment
Authors: Rezwan Islam, Sheikh I. Ahamed, Chowdhury S. Hasan, Mohammad Tanviruzzaman
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

The improvement of the conditions of daily life at home and work, promoted by the socio-economic progression, best quality private living environments and the immense development in healthcare and biomedical technologies has extended the average age of life beyond 70. According to recent surveys this "population aging" phenomenon will contribute to reach the record number of 1 billion people over 60 years on earth by the year 2020. Due to a variety of reasons such as convenience or a need for security and privacy these elderly people generally prefer to avail healthcare facilities at their home. This is time to break through the physical boundaries of hospitals and bring healthcare facilities to the homes. Wireless and internet-based healthcare devices can play a vital role in this regard given that reliable, individualized systems with user-friendly interfaces are developed to enable elderly people feel comfortable with making use of novel technology. This paper presents a remote home monitoring application called Living Assistant that could be utilized to continuously monitor and control a wide range of electronic appliances and ambient parameters. Basically it has been designed to function as a healthcare aide for elderly patients suffering from restricted mobility or other chronic diseases. The advanced ways of user interfaces presented in this paper are simple, generic and universally applicable. With little customization the application can be used to accommodate other user groups as well.
Applying Research of Data Mining Technology on the Analysis of Vehicles Report-Stop Fraud
Authors: Qian Zhou, Yin-sheng Liu
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

Vehicles report-stop fraud is an important factor of highway fees loss, which is more than the proportion of 20% of the total loss in statistics. The paper uses data mining and data warehouse technology to resolve the deficiencies of traditional data management information system onthe analysis of vehicles report-stop fraud. The significance of the issue and mining goal were described, and the correlational database used to integrate was analysed. what's moer, the analysis model and arithmetic of data mining on the report-stop fraud of vehicles were expatiated. Chaperonaging the process, a practical example was demonstratedby using the data mining technology, which shows it has a better application value in the analysis of vehicles report-stop fraud.
Tamper Detection and Self-Recovery of Image Based on Self-Embedding
Authors: Song Qiang, Wang Jiawen, Zhang Hongbin
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

This paper presents a novel image watermarking scheme for both tamper detection and tampered image recovery. The basic principle of this scheme is to compress per block of the original image using SPIHT (Set Partitioning in Hierarchical Trees), then scramble and embed the bit stream into LSBs (Least Significant Bit) of corresponding offset block. Experimental results show that the proposed scheme can detect and locate tamper accurately, and recover tampered block data with satisfied image visual quality.
A Design of Air-Condition Remote Control for Visually Impaired People
Authors: Cherng-Yee Leung, Yan-Ting Yao, Su-Chen Chuang
Venue: Proceedings of the 5th International on ConferenceUniversal Access in Human-Computer Interaction. Part II: Intelligent and Ubiquitous Interaction Environments (2009)

Air condition is operated by a remote control presented mainly with visual cues. Individuals with visual impairment have difficult to use it. This research aims to design an air condition remote control for them. Based on investigation, literature review, and discussion among 4 experts, a set of design principles emphasizing on consistency, discrimination, efficiency, label, and feedback has been set up. 6 main functions each having 2~4 alternatives were modeled by ABS accordingly. 20 visually impaired people volunteered in two experiments: within function and between function. By Friedman test and LSD method, the 6 functions have been classified into three groups: (power switch, temperature setting), (wind speed selection, wind direction selection), and (sleeping mode, time setting) arranging form top to bottom on a remote control. Through discussion, the braille labels have been decided placed at the left side of the function buttons. The implications were discussed in the conclusion.
Communications Surveillance: Privacy and Security at Risk
Authors: Whitfield Diffie, Susan Landau
Venue: Queue (2009)

As the sophistication of wiretapping technology grows, so too do the risks it poses to our privacy and security.
Counting Patterns in Degenerated Sequences
Authors: Grégory Nuel
Venue: Proceedings of the 4th IAPR International Conference on Pattern Recognition in Bioinformatics (2009)

Biological sequences like DNA or proteins, are always obtained through a sequencing process which might produce some uncertainty. As a result, such sequences are usually written in a degenerated alphabet where some symbols may correspond to several possible letters (ex: IUPAC DNA alphabet). When counting patterns in such degenerated sequences, the question that naturally arises is: how to deal with degenerated positions ? Since most (usually 99%) of the positions are not degenerated, it is considered harmless to discard the degenerated positions in order to get an observation, but the exact consequences of such a practice are unclear. In this paper, we introduce a rigorous method to take into account the uncertainty of sequencing for biological sequences (DNA, Proteins). We first introduce a Forward-Backward approach to compute the marginal distribution of the constrained sequence and use it both to perform a Expectation-Maximization estimation of parameters, as well as deriving a heterogeneous Markov distribution for the constrained sequence. This distribution is hence used along with known DFA-based pattern approaches to obtain the exact distribution of the pattern count under the constraints. As an illustration, we consider a EST dataset from the EMBL database. Despite the fact that only 1% of the positions in this dataset are degenerated, we show that not taking into account these positions might lead to erroneous observations, further proving the interest of our approach.
Some remarks on sequences of binomial type
Authors: Xie-Hua Sun
Venue: Computers Mathematics with Applications (2009)

A paper by D.L. Reiner researched function sequences of binomial type and established many interesting theorems. But because of an oversight in a lemma, some theorems in his paper need to be revised. This paper will revise these theorems and establish some new results on sequences of binomial type.
Music Information Retrieval System Using Lyrics and Melody Information
Authors: Tao Wang, Dong-Ju Kim, Kwang-Seok Hong, Jeh-Seon Youn
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

Multimedia content can be described in versatile ways as its essence is not limited to one side. For music data these multiple fields could be a song’s audio features as well as its lyrics. But most recent research revolves around melody information for retrieval. Therefore, we proposed an MIR system that utilizes the user’s acoustic signal from a singing voice and retrieves the music information using both lyrics and melody information. The lyrics recognition module uses a keyword spotting system based on text-content of the lyrics by an HMM comparison engine. The melody recognition module extracts pitch and MFCC features from the user singing input and then retrieves music by a GMM comparison engine. Consequently, the proposed MIR system consists of fusing the lyrics and melody recognition module in which the melody recognition especially operates to restrict recognition candidates. Experiments show that the proposed MIR system has recognition rate of 72.72% to 83.64% when the numbers of restricted recognition candidates are from 10 to 50.
Path-Bicolorable Graphs
Authors: Andreas Brandstädt, Martin C. Golumbic, Van Bang Le, Marina Lipshteyn
Venue: Graph Theory, Computational Intelligence and Thought: Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday (2009)

In this paper, we introduce the notion of path-bicolorability that generalizes bipartite graphs in a natural way: For k ¿ 2, a graph G = (V,E) is P k -bicolorable if its vertex set V can be partitioned into two subsets (i.e., colors) V 1 and V 2 such that for every induced P k (i.e., path with exactly k ¿ 1 edges and k vertices) in G, the two colors alternate along the P k , i.e., no two consecutive vertices of the P k belong to the same color V i , i = 1,2. Obviously, a graph is bipartite if and only if is P 2-bicolorable, every graph is P k -bicolorable for some k and if G is P k -bicolorable then it is P k + 1-bicolorable. The notion of P k -bicolorable graphs is motivated by a similar notion of cycle-bicolorable graphs introduced in connection with chordal probe graphs. Moreover, P 3- and P 4-bicolorable graphs are closely related to various other concepts such as 2-subcolorable graphs, P 4-bipartite graphs and alternately orientable graphs.We give a structural characterization of P 3-bicolorable graphs which also implies linear time recognition of these graphs. Moreover, we give a characterization of P 4-bicolorable graphs in terms of forbidden subgraphs.
An ASP-Based Data Integration System
Authors: Nicola Leone, Francesco Ricca, Giorgio Terracina
Venue: Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (2009)

The task of an information integration system is to combine data residing at different sources, providing the user with a unified view of them, called global schema. Simple data integration scenarios have been widely studied and efficient systems are already available. However, when some constraints are imposed on the quality of the global data, the integration process becomes difficult and, often, it may provide ambiguous results. Important research efforts have been spent in this area, but no actual system efficiently implementing the corresponding techniques is available yet. This paper is intended to be a step forward in this direction; it proposes a new data integration system, based on Answer Set Programming (ASP) and many optimizations, allowing to carry out consistent query answering (CQA) over massive amounts of data.
The Presentation of a Class of Orthogonal Vector-Valued Multivariate Wavelet Packets Associated with an Integer-Valued Dilation Matrix
Authors: Qingjiang Chen, Yongfeng Pang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

The notion of vector-valued multiresolution analysis of space of vector-valued higher-dimensional functions is introduced. An approach for constructing orthogonal vector-valued higher-dimensional wavelet packets is presented and their properties are discussed by means of time-frequency analysis method, matrix theory and functional analysis method. Three orthogonality formulas concerning these wavelet packets are obtained. Finally, one new orthonormal bases of L^2(R^p,C^{r}) are obtained by constructing a series of subspaces of orthogonal matrix-valued wavelet packets.
Detection of Database Intrusion Using a Two-Stage Fuzzy System
Authors: Suvasini Panigrahi, Shamik Sural
Venue: Proceedings of the 12th International Conference on Information Security (2009)

This paper presents a novel approach for detecting intrusions in databases based on fuzzy logic, which combines evidences from user's current as well as past behavior. A first-order Sugeno fuzzy model is used to compute an initial belief for each transaction. Whether the current transaction is genuine, suspicious or intrusive is first decided based on this belief. If a transaction is found to be suspicious, its posterior belief is computed using the previous suspicion score and the fuzzy evidences obtained from the history databases by applying fuzzy-Bayesian inferencing. Final decision is made about a transaction according to its current suspicion score. Evaluation of the proposed method clearly shows that the application of fuzzy logic significantly reduces the number of false alarms, which is one of the core problems of existing database intrusion detection systems.
On Testing 1-Safe Petri Nets
Authors: Guy-Vincent Jourdan, Gregor V. Bochmann
Venue: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering (2009)

Formal models are often considered for software systems specification, and are helpful for verifying that certain properties are respected, or for automatically generating the implementation code corresponding to the model, or again for conformance testing, for the automatic generation of test cases to check an implementation against the formal specification. Variations of Finite State Machine (FSM) models have been mostly used for conformance testing, while the otherwise very popular formal model of Petri Nets is seldom mentioned in this context. In this paper, we look at the question of conformance testing when the model is provided in the form of a 1-safe Petri Net. We provide a general framework for conformance testing, and give algorithms for deriving test cases under different assumptions: Besides the adaptation of methods originally developed for FSMs which lead to exponentially long test sequences, we have identified cases for which polynomial testing algorithms for free-choice Petri nets can be provided. These results are significant when modeling concurrent systems, as exemplified by workflow modeling.
Relating declarative hypermedia objects and imperative objects through the NCL glue language
Authors: Luiz Fernando Gomes Soares, Marcelo Ferreira Moreno, Francisco Sant'Anna
Venue: Proceedings of the 9th ACM symposium on Document engineering (2009)

This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declarative code content specifying hypermedia documents). NCL is the declarative language of the Brazilian Terrestrial Digital TV System (SBTVD) supported by its middleware called Ginga. NCL and Ginga are part of ISDB standards and also of ITU-T Recommendations for IPTV services. The main contribution of this paper is the seamless way NCL integrates imperative and declarative language paradigms with no intrusion, maintaining a clear limit between embedded objects, independent of their coding content, and defining a behavior model that avoids side effects from one paradigm use to another.
A novel portable device for pathological voice analysis
Authors: A. Palumbo, F. Amato, B. Calabrese, M. Cannataro, P. Veltri, A. Garozzo, N. Lombardo
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

This paper presents a novel implementation of a DSP based acquisition and elaboration system for vocal signals. The proposed system performs real time spectro-acustic analysis of acquired voice samples and gives a visual feedback to patients alerting them about the eventual presence of anomalies. The prototype will be used for rehabilitation purpose (after medical treatment or surgery) or prevention purpose (early diseases detection).
Dense Registration with Deformation Priors
Authors: Ben Glocker, Nikos Komodakis, Nassir Navab, Georgios Tziritas, Nikos Paragios
Venue: Proceedings of the 21st International Conference on Information Processing in Medical Imaging (2009)

In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method consists of representing deformation through a set of control points and an interpolation strategy. Then, using a training set of images and the corresponding deformations we seek for a weakly connected graph on the control points where edges define the prior knowledge on the deformation. This graph is obtained using a clustering technique which models the co-dependencies between the displacements of the control points. The resulting classification is used to encode regularization constraints through connections between cluster centers and cluster elements. Additionally, the global structure of the deformation is encoded through a fully connected graph on the cluster centers. Then, registration of a new pair of images consists of displacing the set of control points where on top of conventional image correspondence costs, we introduce costs that are based on the relative deformation of two control points with respect to the learned deformation. The resulting paradigm is implemented using a discrete Markov Random Field which is optimized using efficient linear programming. Promising experimental results on synthetic and real data demonstrate the potential of our approach.
New Construction of Fuzzy Identity-Based Encryption
Authors: XiMing Li, Bo Yang, MingWu Zhang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 01 (2009)

In this paper the concept of Fuzzy Identity-Based Encryption schemes with dynamic threshold (DT-FIBE) is proposed and one construction of it is presented. DT-FIBE scheme can be viewed as a variant of SW scheme described by Amit Sahai and Brent Waters in EUROCRYPT 2005 in which the threshold is fixed.The scheme are both error-tolerant and secure against collusion attacks in the fuzzy selective-ID attack model.Under a new complexity assumption: k-BDH assumption, a comprehensive secure proof is given.
Efficient Approximate Algorithm for Hardware/Software Partitioning
Authors: Wu Jigang, Ting Lei, Thambipillai Srikanthan
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Hardware/software (HW/SW) partitioning is one of the crucial steps of co-design systems. It determines which components of the systems are implemented in hardware and which ones are in software. In this paper the computing model is extended to cater for the path-based HW/SW partitioning with the fine granularity in which communication penalties between system components must be considered. On the new computing model an efficient heuristic algorithm is developed, in which both speedup in hardware and communication penalty are taken into account. Simulation results show that the heuristic algorithm runs fast and is able to produce high-quality approximate solutions.The difference between the approximate solutions and the optimal ones is bounded by $3.5\%$, and it hardly increases with the increase in the problem size.
An Error Propagation Algorithm for Ad Hoc Wireless Networks
Authors: Martin Drozda, Sven Schaust, Sebastian Schildt, Helena Szczerbicka
Venue: Proceedings of the 8th International Conference on Artificial Immune Systems (2009)

We were inspired by the role of co-stimulation in the Biological immune system (BIS). We propose and evaluate an algorithm for energy efficient misbehavior detection in ad hoc wireless networks. Besides co-stimulation, this algorithm also takes inspiration from the capability of the two vital parts of the BIS, the innate and the adaptive immune system, to react in a coordinated way in the presence of a pathogen. We demonstrate that this algorithm is also applicable in situations when a (labeled) data set for learning the normal behavior and misbehavior is unavailable.
High sensitivity and small size MEMS capacitive microphone using a novel slotted diaphragm
Authors: Bahram Azizollah Ganji, Burhanuddin Yeop Majlis
Venue: Microsystem Technologies (2009)

A novel single-chip microelectromechanical systems (MEMS) capacitive microphone with a slotted diaphragm for sound sensing is developed to minimize the microphone size and improve the sensitivity by decreasing the mechanical stiffness of the diaphragm. The behaviors of the microphones with clamped and slotted diaphragms are analyzed using the finite element method (FEM). According to the results, a clamped microphone with a 2.43&#x00a0;&#x00d7;&#x00a0;2.43&#x00a0;mm2 diaphragm and a slotted one with a 1.5&#x00a0;&#x00d7;&#x00a0;1.5&#x00a0;mm2 diaphragm have the same mechanical sensitivity, but the size of slotted microphone is at least 1.62 times smaller than clamped structure. The results also yield a sensitivity of 5.33&#x00a0;&#x00d7;&#x00a0;10&#x2212;6&#x00a0;pF/Pa for the clamped and 3.87&#x00a0;&#x00d7;&#x00a0;10&#x2212;5&#x00a0;pF/Pa for the slotted microphone with a 0.5&#x00a0;&#x00d7;&#x00a0;0.5&#x00a0;mm2 diaphragm. The sensitivity of the slotted diaphragm is increased 7.27 times. The pull-in voltage of the clamped microphone is 105&#x00a0;V, and slotted one is 49&#x00a0;V. The pull-in voltage of the slotted microphone is about 53% decreased.
Demo abstract: The Sensor Andrew infrastructure for large-scale campus-wide sensing and actuation
Authors: Anthony Rowe, Mario Berges, Gaurav Bhatia, Ethan Goldman, Ragunathan Rajkumar, Lucio Soibelman
Venue: Proceedings of the 2009 International Conference on Information Processing in Sensor Networks (2009)

We demonstrate Sensor Andrew, an infrastructure for Internet-scale sensing and actuation across a wide range of heterogeneous devices. The goal of Sensor Andrew is to enable a variety of ubiquitous large-scale monitoring and control applications in a way that is extensible, easy to use, and secure while maintaining privacy. The core architecture is built around the eXtensible Messaging and Presence Protocol (XMPP) where transducers are modeled as event nodes in a push-based publish-subscribe architecture. Sensor Andrew allows for easy integration of new sensors as well as support for legacy systems. A data handler provides registration, discovery and data logging facilities for each device. The major elements of this architecture have been deployed in five buildings at Carnegie Mellon University, and are comprised of over 1000 sensing points reporting data from multiple communication interfaces. Our demonstration will showcase already active sensor systems on campus using Sensor Andrew through a web interface as well as the ability to locally configure sensor and actuator interactions as an example of how larger-scale applications could be built.
A Method of Evaluating the Signal to Noise Ratio Based on Duffing Time Series
Authors: Ke Lv, Jianping Xu, Dongmei Kang, Na Zhu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In order to evaluate the signal to noise ratio quickly in the Duffing time series which contains noise, reconstructed phase space, which is based on Duffing time series, is adopted to overcome the difficulty. Calculate the statistics which is got from, then study the relationship between and, at last find a kind of effective evaluated method. Through the data imitation, the result is that average divergence distance attenuates with signal to noise ratio in the style of exponent. Through the simulation verification, proportional error of the evaluated SNR is no more than 1%. It is very important to detect weak signal in the field of signal disposal.