ppxscal/embedding_network huggingface dataset:
A Traffic Resource Diffusion Scheme in Vehicular Networks
Authors: Zhu Xinjuan, Xu Bo
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

In this paper we study a feasible resource diffusion scheme for disseminating queries and reports about real-time traffic conditions in vehicular networks, where both ad-hoc communication and infrastructure communication are available. Each disseminated report represents information about a spatial-temporal event, such as a video clip of a cross traffic or the availability of a parking slot at a particular time. We propose a model in which both queries and reports are disseminated via the ad-hoc communication and when a match occurs the report is returned to the query owner via the infrastructure communication. The excepted system delay is analyzed theoretically and validated by simulations in the STRAW/SWANS simulator. Further applications of our analytical model in resource diffusion strategies are discussed. The proposed analytic model along with the numeric results provides a deep insight into the performance characteristics for VANET with report and query delivery scheme. We expect that this model will become a useful analytic tool not only for VANET but also for future research and development of delay tolerant mobile networks in general.
An Improved Horizons Method for 3D Geological Modeling from Boreholes
Authors: Jing Ming, Mao Pan
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

3D geological modeling is often used to build solids for spatial information systems addressing environmental and geological problems. The paper presents some improvements and extensions based on the original horizons method, so as to optimize and extend the method for building solids directly from boreholes. When preparing the numbered boreholes, each horizon is constructed by moving upward the points of the initial bottommost horizon. The contracts are numbered when such an elevated horizon passes them. A virtual contract is added if a contract with a given number is absent on a borehole. In this way the resultant solids pinch out between boreholes. Unnecessary intersection lines are excluded so that the redundancy of solid data is reduced. The successful application of the presented method to the practical modeling of some area in Beijing demonstrates that the improved horizons method has eliminated the flaws of the original method, ensured the correctness as well as accelerated the modeling process.
Democratic group signatures with collective traceability
Authors: Xiangxue Li, Dong Zheng, Kefei Chen, Jianhua Li
Venue: Computers and Electrical Engineering (2009)

Recently, democratic group signatures (DGSs) particularly catch our attention due to their great functionalities, i.e., no group manager, anonymity, and individual traceability. In existing DGS schemes, individual traceability says that any member in the group can reveal the actual signer's identity from a given signature. In this paper, we strengthen the security notions of DGS by taking insider attack against anonymity into account, and present a concrete DGS construction with collective traceability. The idea behind collective traceability is that a sender can first choose (ad-hoc) a set of n members (including himself), and then sign a message by using the public keys of all the members, in such a way that his identity would be recovered, in case of disputes, if and only if all n members collectively cooperate. The security properties of our scheme are formally proved under reasonable assumptions.
Cross-lingual propagation for morphological analysis
Authors: Benjamin Snyder, Regina Barzilay
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Multilingual parallel text corpora provide a powerful means for propagating linguistic knowledge across languages. We present a model which jointly learns linguistic structure for each language while inducing links between them. Our model supports fully symmetrical knowledge transfer, utilizing any combination of supervised and unsupervised data across language barriers. The proposed non-parametric Bayesian model effectively combines cross-lingual alignment with target language predictions. This architecture is a potent alternative to projection methods which decompose these decisions into two separate stages. We apply this approach to the task of morphological segmentation, where the goal is to separate a word into its individual morphemes. When tested on a parallel corpus of Hebrew and Arabic, our joint bilingual model effectively incorporates all available evidence from both languages, yielding significant performance gains.
Solving mathematical programs with fuzzy equilibrium constraints
Authors: Cheng-Feng Hu, Fung-Bao Liu
Venue: Computers Mathematics with Applications (2009)

This work deals with mathematical programs with fuzzy equilibrium constraints. It shows that solving the fuzzy MPEC is equivalent to solving a fuzzy complementarity constrained optimization problem. By using the tolerance approach, we show that the fuzzy complementarity constrained optimization problem can be converted to a regular nonlinear programming problem. A new smoothing approach based on entropic regularization is developed for solving the resulting optimization problem. Numerical examples are also included to illustrate the solution procedure.
Expanding SNS Features with CE Devices: Space, Profile, Communication
Authors: Youngho Rhee, Hyunjoo Kang, Yeojin Kim, Juyeon Lee, Ilku Chang
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

A social network service (SNS) beginning in online increasingly penetrates everyday life deeper and represents new business opportunity with expanded network. Indeed, many SNSs are being served with mobile devices via broadband network. However, there are enormous challenges that must be overcome to provide seamless experience on these mobile devices because of context of use. In the present paper, new definition of SNS is proposed with focus on CE devices building on general features and definition. Accordingly the novel concept and scenarios are presented to compensate users' needs and service business insights.
Keep It Simple! Assisting Older People with Mental and Physical Training
Authors: Herbert Plischke, Niko Kohls
Venue: Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Addressing Diversity. Part I: Held as Part of HCI International 2009 (2009)

The demographic change is having a strong impact upon Europe's societies and upon our financial and social security systems. To avoid cost intensive retirement homes, one main goal for European governments is to build up and maintain a socio-technological infrastructure that allows elderly people to stay in their familiar surroundings and cultivate their social networks as long as possible, with support of assistive technologies. However, when deployed in real-life settings, i.e. "in the wild", it has been shown that these will only be accepted and therefore effective, when integrated into an environment that aims at enhancing people's health and well-being in general. Although it is well known that moderate physical training as well as mental exercising are crucial for maintaining health and well-being, lack of motivation frequently prevents individuals from exercising regularly. We introduce a simple way to motivate elderly people for mental jogging and physical training with assistive indoor and outdoor technology.
Clustering and matching headlines for automatic paraphrase acquisition
Authors: Sander Wubben, Antal van den Bosch, Emiel Krahmer, Erwin Marsi
Venue: Proceedings of the 12th European Workshop on Natural Language Generation (2009)

For developing a data-driven text rewriting algorithm for paraphrasing, it is essential to have a monolingual corpus of aligned paraphrased sentences. News article headlines are a rich source of paraphrases; they tend to describe the same event in various different ways, and can easily be obtained from the web. We compare two methods of aligning headlines to construct such an aligned corpus of paraphrases, one based on clustering, and the other on pairwise similarity-based matching. We show that the latter performs best on the task of aligning paraphrastic headlines.
Text categorization with knowledge transfer from heterogeneous data sources
Authors: Rakesh Gupta, Lev Ratinov
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 2 (2008)

Multi-category classification of short dialogues is a common task performed by humans. When assigning a question to an expert, a customer service operator tries to classify the customer query into one of N different classes for which experts are available. Similarly, questions on the web (for example questions at Yahoo Answers) can be automatically forwarded to a restricted group of people with a specific expertise. Typical questions are short and assume background world knowledge for correct classification. With exponentially increasing amount of knowledge available, with distinct properties (labeled vs unlabeled, structured vs unstructured), no single knowledge-transfer algorithm such as transfer learning, multi-task learning or selftaught learning can be applied universally. In this work we show that bag-of-words classifiers performs poorly on noisy short conversational text snippets. We present an algorithm for leveraging heterogeneous data sources and algorithms with significant improvements over any single algorithm, rivaling human performance. Using different algorithms for each knowledge source we use mutual information to aggressively prune features. With heterogeneous data sources including Wikipedia, Open Directory Project (ODP), and Yahoo Answers, we show 89.4% and 96.8% correct classification on Google Answers corpus and Switchboard corpus using only 200 features/class. This reflects a huge improvement over bag of words approaches and 48-65% error reduction over previously published state of art (Gabrilovich et. al. 2006).
A Framework for Supporting the Software Architecture Evaluation Process in Global Software Development
Authors: Muhammad Ali Babar
Venue: Proceedings of the 2009 Fourth IEEE International Conference on Global Software Engineering (2009)

Software Architecture (SA) evaluation process requires a large number of stakeholders to be collocated for evaluation sessions. Given the increasing trend of using globally distributed software development teams, organizations are likely to be discouraged from introducing disciplined architectural evaluation practices that require stakeholders to be collocated. To address this issue, we propose that SA evaluation can be carried out using suitable groupware systems. In this paper, we present a framework for supporting the SA evaluation process using groupware systems. The framework highlights the changes required in the existing SA evaluation processes. We provide an illustrated example of modeling and mapping the activities of the proposed process on electronic workspaces provided by a groupware system. We have also identified some of the features a groupware system should have to successfully support the process.
Page Hunt: using human computation games to improve web search
Authors: Hao Ma, Raman Chandrasekar, Chris Quirk, Abhishek Gupta
Venue: Proceedings of the ACM SIGKDD Workshop on Human Computation (2009)

There has been a lot of work on evaluating and improving the relevance of web search engines, primarily using human relevance judgments or using clickthrough data. Both of these approaches look at the problem of learning the mapping from queries to web pages. In contrast, Page Hunt is a single-player human computation game which seeks to learn a mapping from web pages to queries. In particular, Page Hunt is used to elicit data from players about web pages that can be used to improve search. The data that we elicit from players has several applications including providing metadata for pages, providing query alterations for use in query refinement, and identifying ranking issues. The demo has features which make the game fun, while eliciting useful data.
Inapproximability of Vertex Cover and Independent Set in Bounded Degree Graphs
Authors: Per Austrin, Subhash Khot, Muli Safra
Venue: Proceedings of the 2009 24th Annual IEEE Conference on Computational Complexity (2009)

We study the inapproximability of Vertex Cover and Independent Set on degree $d$ graphs. We prove that: \begin{itemize} \item Vertex Cover is Unique Games-hard to approximate to within a factor $2 - (2+o_d(1)) \frac{ \log\log d}{ \log d}$. This exactly matches the algorithmic result of Halperin \cite{halperin02improved} up to the $o_d(1)$ term. \item Independent Set is Unique Games-hard to approximate to within a factor $O(\frac{d}{\log^2 d})$. This improves the $\frac{d}{\log^{O(1)}(d)}$ Unique Games hardness result of Samorodnitsky and Trevisan \cite{samorodnitsky06gowers}. Additionally, our result does not rely on the construction of a query efficient PCP as in \cite{samorodnitsky06gowers}. \end{itemize}
Using Psychophysiological Measurements in Physically Demanding Virtual Environments
Authors: Domen Novak, Matjaž Mihelj, Marko Munih
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I (2009)

Psychophysiological evaluation of mental workload in human-computer interaction has generally been limited to situations with little physical load. This paper examines the viability of using heart rate, skin conductance, respiration and peripheral skin temperature as psychophysiological indicators in a physically demanding task performed in a simple virtual environment. Respiratory rate was found to be a good indicator of arousal while respiratory rate variability and skin temperature indicated changes in valence.
In-Situ 3D Indoor Modeler with a Camera and Self-contained Sensors
Authors: Tomoya Ishikawa, Kalaivani Thangamani, Masakatsu Kourogi, Andrew P. Gee, Walterio Mayol-Cuevas, Keechul Jung, Takeshi Kurata
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

We propose a 3D modeler for supporting in-situ indoor modeling effectively. The modeler allows a user easily to create models from a single photo by interaction techniques taking advantage of features in indoor space and visualization techniques. In order to integrate the models, the modeler provides automatic integration functions using Visual SLAM and pedestrian dead-reckoning (PDR), and interactive tools to modify the result. Moreover, for preventing shortage of texture images to be used for the models, our modeler automatically searches from 3D models created by the user for un-textured regions and intuitively visualizes shooting positions to take a photo for the regions. These functions make it possible that the user easily create photorealistic indoor 3D models that have enough textures on the fly.
Numerical Simulation and Testing Analysis of Adaptive Heave Motion Measurements
Authors: Wenlin Yang, Sufen Wei, Zhuying Zhang, Aiqun Zhang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 02 (2009)

Accurate heave measurements are important in the application of marine field to actively compensate for wave motion of a ship. An MTi unit is used to measure the heave motion of the ship in this paper. The primary error of heave measurements come from white noise and constant or slowly varying bias. The process of time integral of acceleration eliminates the white noise and a highpass filter is used to remove the bias. Then the first time integral of acceleration get the heave speed. The bilinear transformation is used to design IIR digital filter based on the conversion of analog prototype filter. Numerical simulation gets a conclusion that the mean absolute errors of heave speed measurements have relation to the cutoff frequencies of the filter. The cutoff frequency which depends proportionally to heave motion frequencies calls suboptimal cutoff frequency. The numerical simulation proves that the adaptive highpass filter with suboptimal cutoff frequency improves the precision of heave measurements. The test of heave motion measurements certifies the usefulness and correctness of the heave motion measurements with MTi unit and adaptive filter.
A Middleware Family for VANETs
Authors: Flávia C. Delicato, Lidia Fuentes, Nadia Gámez, Paulo F. Pires
Venue: Proceedings of the 8th International Conference on Ad-Hoc, Mobile and Wireless Networks (2009)

Vehicular Ad-hoc Networks are an important application domain of ubiquitous computing and Wireless Sensor Networks are a key technology for enabling such applications. The development of ubiquitous applications poses challenges as dealing with the low-level programming abstractions and the heterogeneity of hardware and software. Middleware facilitates application development by hiding the heterogeneity and complexity of the underlying hardware and software. We argue that a single middleware is not able to meet the heterogeneity of ubiquitous systems, and propose a Software Product Line approach to design a middleware family. The family is customized according to constraints imposed by three viewpoints: device, network and application. We customize the family considering the variability of the VANETs domain.
MAPO: Mining and Recommending API Usage Patterns
Authors: Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei
Venue: Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming (2009)

To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those API methods, however, are often complex and not well documented. To get familiar with how those API methods are used, programmers often exploit a source code search tool to search for code snippets that use the API methods of interest. However, the returned code snippets are often large in number, and the huge number of snippets places a barrier for programmers to locate useful ones. In order to help programmers overcome this barrier, we have developed an API usage mining framework and its supporting tool called MAPO (Mining API usage Pattern from Open source repositories) for mining API usage patterns automatically. A mined pattern describes that in a certain usage scenario, some API methods are frequently called together and their usages follow some sequential rules. MAPO further recommends the mined API usage patterns and their associated code snippets upon programmers' requests. Our experimental results show that with these patterns MAPO helps programmers locate useful code snippets more effectively than two state-of-the-art code search tools. To investigate whether MAPO can assist programmers in programming tasks, we further conducted an empirical study. The results show that using MAPO, programmers produce code with fewer bugs when facing relatively complex API usages, comparing with using the two state-of-the-art code search tools.
The Czech Broadcast Conversation Corpus
Authors: Jáchym Kolář, Jan Švec
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

This paper presents the final version of the Czech Broadcast Conversation Corpus released at the Linguistic Data Consortium (LDC). The corpus contains 72 recordings of a radio discussion program, which yield about 33 hours of transcribed conversational speech from 128 speakers. The release not only includes verbatim transcripts and speaker information, but also structural metadata (MDE) annotation that involves labeling of sentence-like unit boundaries, marking of non-content words like filled pauses and discourse markers, and annotation of speech disfluencies. The annotation is based on the LDC's MDE annotation standard for English, with changes applied to accommodate phenomena that are specific for Czech. In addition to its importance to speech recognition, speaker diarization, and structural metadata extraction research, the corpus is also useful for linguistic analysis of conversational Czech.
Abstract Interpretation of Symbolic Execution with Explicit State Updates
Authors: Richard Bubel, Reiner Hähnle, Benjamin Weiß
Venue: Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures (2009)

Systems for deductive software verification model the semantics of their target programming language with full precision. On the other hand, abstraction based approaches work with approximations of the semantics in order to be fully automatic. In this paper we aim at providing a uniform framework for both fully precise and approximate reasoning about programs. We present a sound dynamic logic calculus that integrates abstraction in the sense of abstract interpretation theory. In the second part of the paper, we apply the approach to the analysis of secure information flow.
Foreground Focus: Unsupervised Learning from Partially Matching Images
Authors: Yong Jae Lee, Kristen Grauman
Venue: International Journal of Computer Vision (2009)

We present a method to automatically discover meaningful features in unlabeled image collections. Each image is decomposed into semi-local features that describe neighborhood appearance and geometry. The goal is to determine for each image which of these parts are most relevant, given the image content in the remainder of the collection. Our method first computes an initial image-level grouping based on feature correspondences, and then iteratively refines cluster assignments based on the evolving intra-cluster pattern of local matches. As a result, the significance attributed to each feature influences an image's cluster membership, while related images in a cluster affect the estimated significance of their features. We show that this mutual reinforcement of object-level and feature-level similarity improves unsupervised image clustering, and apply the technique to automatically discover categories and foreground regions in images from benchmark datasets.
New Application of Reed-Solomon Codes in China Mobile Multimedia Broadcasting System
Authors: Meng Jie, Shen Min, Zhang Min
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

A (240,K) Reed-Solomon decoding algorithm for CMMB (China Mobile Multimedia Broadcasting) application is presented. A modified Euclid's algorithm (MEA) Reed-Solomon decoding method was implemented for the Key Equation Solver. And an improved Forney algorithm is also proposed. The modified algorithm was analyzed and compared with BM algorithm. The simulation result shows that the modified algorithm has such advantages as high efficiency and low complexity with good decoding performance. It meets the need of real- time communication.
SQL Privacy Model for Social Networks
Authors: Maryam Majedi, Kambiz Ghazinour, Amir H. Chinaei, Ken Barker
Venue: Proceedings of the 2009 International Conference on Advances in Social Network Analysis and Mining (2009)

This is a preliminary work to extend SQL to support user privacy in social networks. The proposal is to extend the data definition and data manipulation languages to capture privacy-preserved mandatory and discretionary access controls, respectively. Here, we focus on common user privacy requirements, such as purpose, generalization, and retention, used by social networks desiring to support privacy. Hence, each user can discretionarily control the set of privileges over the view representing their profile. We plan to support the extended language with underlying catalogues, algorithms, and prototypes. The objective is to develop a low-cost mechanism to preserve privacy in databases,with applications in social networks, e-health, e-business, e-government, etc.