ppxscal/embedding_network huggingface dataset:
Using more reasoning to improve #SAT solving
Authors: Jessica Davies, Fahiem Bacchus
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

Many real-world problems, including inference in Bayes Nets, can be reduced to #SAT, the problem of counting the number of models of a propositional theory. This has motivated the need for efficient #SAT solvers. Currently, such solvers utilize a modified version of DPLL that employs decomposition and caching, techniques that significantly increase the time it takes to process each node in the search space. In addition, the search space is significantly larger than when solving SAT since we must continue searching even after the first solution has been found. It has previously been demonstrated that the size of a DPLL search tree can be significantly reduced by doing more reasoning at each node. However, for SAT the reductions gained are often not worth the extra time required. In this paper we verify the hypothesis that for #SAT this balance changes. In particular, we show that additional reasoning can reduce the size of a #SAT solver's search space, that this reduction cannot always be achieved by the already utilized technique of clause learning, and that this additional reasoning can be cost effective.
The ORD Speech Corpus of Russian Everyday Communication "One Speaker's Day": Creation Principles and Annotation
Authors: Alexander Asinovsky, Natalia Bogdanova, Marina Rusakova, Anastassia Ryko, Svetlana Stepanova, Tatiana Sherstinova
Venue: Proceedings of the 12th International Conference on Text, Speech and Dialogue (2009)

The main aim of the ORD speech corpus is to fix Russian spontaneous speech in natural communicative situations. The corpus presents the unique linguistic material, allowing to perform fundamental research in many scientific aspects and to solve different practical tasks, especially in speech technologies. The paper concerns methodology and description of the ORD corpus creating and presents the system of annotations.
A Neighborhood Search Method for Link-Based Tag Clustering
Authors: Jianwei Cui, Pei Li, Hongyan Liu, Jun He, Xiaoyong Du
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Recently tagging has been a flexible and important way to share and categorize web resources. However, ambiguity and large quantities of tags restrict its value for resource sharing and navigation. Tag clustering could help alleviate these problems by gathering relevant tags. In this paper, we introduce a link-based method to measure the relevance between tags based on random walk on graphs. We also propose a new clustering method which could address several challenges in tag clustering. The experimental results based on del.icio.us show that our methods achieve good accuracy and acceptable performance on tag clustering.
3D Object Reconstruction Using Full Pixel Matching
Authors: Yuichi Yaguchi, Kenta Iseki, Nguyen Tien Viet, Ryuichi Oka
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

This paper proposes an approach to reconstruct 3D object from a sequence of 2D images using 2D Continuous Dynamic Programming algorithm (2DCDP) as full pixel matching technique. To avoid using both calibrated images and fundamental matrix in reconstructing 3D objects, the study uses the same approach with Factorization but aims to demonstrate the effectiveness in pixel matching of 2DCDP compared with other conventional methods such as Scale-Invariant Feature Transform (SIFT) or Kanade-Lucas-Tomasi tracker (KLT). The experiments in this study use relatively few uncalibrated images but still obtain accurate 3D objects, suggesting that our method is promising and superior to conventional methods. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Toolipse: An IDE for Development of JIAC Applications
Authors: Erdene-Ochir Tuguldur, Axel Hessler, Benjamin Hirsch, Sahin Albayrak
Venue: Programming Multi-Agent Systems: 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers (2009)

Developing agent-based applications without an integrated development environment (IDE) is difficult and error-prone. Providing good IDEs to the developers eases agent programming and enhances the quality of the output, which perhaps helps the agent-oriented paradigm to become more widely accepted. To achieve this important objective, we have developed Toolipse, a fully featured IDE prototype, based on the Eclipse platform, for the development of JIAC applications. Toolipse has been used and evaluated in teaching and a number of projects in different domains and helped their users creating pinpoint solutions.
Inspecting a Set of Strips Optimally
Authors: Tom Kamphans, Elmar Langetepe
Venue: Proceedings of the 11th International Symposium on Algorithms and Data Structures (2009)

We consider a set of axis-parallel nonintersecting strips in the plane. An observer starts to the left of all strips and ends to the right, thus visiting all strips in the given order. A strip is inspected as long as the observer is inside the strip. How should the observer move to inspect all strips? We use the path length outside a strip as a quality measure which should be minimized. Therefore, we would like to find a directed path that minimizes the maximal measure among all strips. We present an optimal algorithm designed according to the structural properties of the optimal solution.
Study on LAI Estimation of Broadleaf Forests in Arid Areas Using Digital Hemispherical Photography - A Case Study in the Tarim River Basin, China
Authors: Zhongguo Ma, Xi Chen, Guli Japper, Cun Chang
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 02 (2009)

The values of leaf area index (LAI) were optically measured with digital hemispherical photography in deciduous Populus euphratica Oliv forests in the Tarim River Basin, China, and then they are estimated and analyzed. Circular fisheye photography was compared with another alternative indirect method (cover photography) for estimating LAI. The purpose of the study was to develop a practical estimation mode for measuring and estimating LAI in arid areas. The results derived by the rapid and automatic analysis of cover images using WinSCANOPY 2006 are similar to that derived by the manual image analysis using Adobe Photoshop. Estimated results of LAI from cover photography are more ideal than that from circular fisheye photography to correlate with LAI from destructive sampling.
Context-Free Categorical Grammars
Authors: Michel Bauderon, Rui Chen, Olivier Ly
Venue: Proceedings of the 3rd International Conference on Algebraic Informatics (2009)

We define generic categorical notions of rewriting and grammar, using two basic operations, pullback and pushout, and show that these categorical grammars are intrinsically context-free in the sense of Courcelle. We then specialise to various settings, including classical word grammars, hyperedge replacement grammars or node-replacement grammars. We show that some languages which are classical counter-example to context-freeness become context-free within this new framework.
Detecting artifact anomalies in business process specifications with a formal model
Authors: Ching-Huey Wang, Feng-Jian Wang
Venue: Journal of Systems and Software (2009)

Many business process analysis models have been proposed, however there are few discussions for artifact usages in workflow specifications. A well-structured business process with sufficient resources might fail or yield unexpected results dynamically due to inaccurate artifact specification, e.g. an inconsistency between artifact and control flow, or contradictions between artifact operations. This paper, based on our previous work, presents a model for describing the input/output of a workflow process and analyzes the artifact usages upon the model. This work identifies and formulates thirteen cases of artifact usage anomalies affecting process execution and categorizes the cases into three types. Moreover, the methods for detecting these anomalies with time complexities O(n^2), less than O(n^3) in previous methods, are presented. Besides, the paper uses an example to demonstrate the processing of them.
Parsing conversational speech using enhanced segmentation
Authors: Jeremy G. Kahn, Mari Ostendorf, Ciprian Chelba
Venue: Proceedings of HLT-NAACL 2004: Short Papers on XX (2004)

The lack of sentence boundaries and presence of disfluencies pose difficulties for parsing conversational speech. This work investigates the effects of automatically detecting these phenomena on a probabilistic parser's performance. We demonstrate that a state-of-the-art segmenter, relative to a pause-based segmenter, gives more than 45% of the possible error reduction in parser performance, and that presentation of interruption points to the parser improves performance over using sentence boundaries alone.
Image Steganography Using Pixel-Value Differencing
Authors: Zhang Hanling, Geng Guangzhi, Xiong Caiqiong
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

To increase the capacity of the hidden secret information and to provide a stego-image imperceptible for human vision, a novel steganographic approach based on pixel-value differencing is presented .This approach uses the largest difference value between the other three pixels close to the target pixel to estimate how many secret bits will be embedded into the pixel. The theoretical estimation and experimental results demonstrate that the proposed scheme can provide a superior embedding. Besides, the embedded confidential information can be extracted from stego-images without the assistance of original images.
Quantifying content consistency improvements through opportunistic contacts
Authors: Kin-Wah Kwong, Augustin Chaintreau, Roch Guerin
Venue: Proceedings of the 4th ACM workshop on Challenged networks (2009)

Contacts between mobile users provide opportunities for data updates that supplement infrastructure-based mechanisms. While the benefits of such opportunistic sharing are intuitive, quantifying the capacity increase they give rise to is challenging because both contact rates and contact graphs depend on the structure of the social networks users belong to. Furthermore, social connectivity influences not only users' interests, i.e., the content they own, but also their willingness to share data with others. All these factors can have a significant effect on the capacity gains achievable through opportunistic contacts. This paper's main contribution is in developing a tractable model for estimating such gains in a content update system, where content originates from a server along multiple channels, with blocks of information in each channel updated at a certain rate, and users differ in their contact graphs, interests, and willingness to share content, e.g., only to the members of their own social networks. We establish that the added capacity available to improve content consistency through opportunistic sharing can be obtained by solving a convex optimization problem. The resulting optimal policy is evaluated using traces reflecting contact graphs in different social settings and compared to heuristic policies. The evaluation demonstrates the capacity gains achievable through opportunistic sharing, and the impact on those gains of the structure of the underlying social network.
Sensing Directionality in Tangential Haptic Stimulation
Authors: Greg Placencia, Mansour Rahimi, Behrokh Khoshnevis
Venue: Proceedings of the 8th International Conference on Engineering Psychology and Cognitive Ergonomics: Held as Part of HCI International 2009 (2009)

Few studies have explored haptic sensing on a finger pad as a means of transferring complex directional information. Stimuli presentation using Braille or tactile vibrators use binary ("on/off") signals which require large areas to adequately represent data. Our research seems to support that tangential motion on a finger pad is a promising means of transmitting tactile information more compactly at equal or better rates than current methods. The index fingertips of 62 subjects were stimulated using random pattern of tangential motion in eight directions over two distances. An ANOVA found that distance was statistically significant, and direction was significant for 0.5 mm displacements, but not at 1.5 mm. Age also significantly affected perception of tangential motion. These results suggest tangential motion could transmit certain type of haptic information effectively; but its effectiveness may decrease with user age.
Regular expression learning for information extraction
Authors: Yunyao Li, Rajasekar Krishnamurthy, Sriram Raghavan, Shivakumar Vaithyanathan, H. V. Jagadish
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

Regular expressions have served as the dominant workhorse of practical information extraction for several years. However, there has been little work on reducing the manual effort involved in building high-quality, complex regular expressions for information extraction tasks. In this paper, we propose ReLIE, a novel transformation-based algorithm for learning such complex regular expressions. We evaluate the performance of our algorithm on multiple datasets and compare it against the CRF algorithm. We show that ReLIE, in addition to being an order of magnitude faster, outperforms CRF under conditions of limited training data and cross-domain data. Finally, we show how the accuracy of CRF can be improved by using features extracted by ReLIE.
Measuring Effectiveness of Pedestrian Facilities Using a Pedestrian Simulation Model
Authors: Seunjae Lee, Seunjun Lee, Shinhae Lee
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part I (2009)

Transport planners are increasingly focusing on pedestrian facilities in order to enhance public transportation usage and thereby develop sustainable transport systems. Despite becoming a key policy requirement, no tool is yet available to measure the effectiveness of pedestrian facilities, particularly in terms of their interaction with pedestrian movements. In this study, we have developed a pedestrian simulation model based on cellular automata (CA) techniques. This model has sufficient flexibility to measure the effectiveness of pedestrian facilities in terms of a level of service index based on their interaction with pedestrian movements. We investigated the model's ability to evaluate the effectiveness of different types of fence in a subway station, with the goal of reducing conflicting pedestrian movements in some highly congested areas.
Fuzzy-adapted linear interpolation algorithm for image zooming
Authors: Hsiang-Chieh Chen, Wen-June Wang
Venue: Signal Processing (2009)

This work presents a novel fuzzy linear interpolation algorithm with application in image zooming. Fuzzy logics are employed to derive suitable weights for the neighboring samples in the interpolation formulae. By considering local gradients to calculate the weights, the accuracy of the interpolated value is improved. Additionally, a modification of the proposed algorithm based on the interpolation error theorem is developed to deal with images containing ridges and valleys. Both quantitative results obtained by measuring the peak signal-to-noise ratio (PSNR) and perceptual observations assessed the superior performance of the proposed algorithm and its modified version with respect to the state-of-the-art interpolation methods.
Regional Innovation Efficiency Study Based on Super-Efficiency Evaluation Model -- Technological Innovation Efficiency Analysis of 11 Provinces and Cities in Eastern China
Authors: Jie Liu, Li-Ping Fu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

The imbalance of regional economic development in China is increasingly intensifying in recent years. The gap of regional technological innovation efficiency is the important appearance and deep reason of the regional economic development imbalance.C2R model of DEA and super-efficiency model are used to calculate the technological innovation efficiency of eleven provinces and cities in eastern China. The results show that super-efficiency model can evaluate and rank all decision making units sufficiently. Hainan, Shanghai and Beijing etc. 7 provinces and cities are DEAeffective and Fujian, Shandong, Liaoning and Hebei areDEA non-effective. The low resource utilization is the main reason of DEAnon-availability. Inputs and outputs should be coordinated to improve technological innovation efficiency.
Scalable spatial information discovery over Distributed Hash Tables
Authors: Faraz Memon, Daniel Tiebler, Frank Dürr, Kurt Rothermel, Marco Tomsu, Peter Domschitz
Venue: Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE (2009)

In this paper, we present a Peer-to-Peer (P2P) spatial information discovery system that enables spatial range queries over Distributed Hash Tables (DHTs). Our system utilizes a less-distorting octahedral map projection in contrast to the quadrilateral projections used by majority of the previously proposed systems, to represent the spatial information. We also introduce a Space-Filling Curve (SFC)-based data placement strategy that reduces the probability of data hot-spots in the network. Moreover, we show that our system achieves scalable resolution of location-based range queries, by utilizing a tree-based query optimization algorithm. Compared to the basic query resolution algorithm, the query optimization algorithm reduces the average number of parallel messages used to resolve a query, by a factor of 96%.
A scalable micro wireless interconnect structure for CMPs
Authors: Suk-Bok Lee, Sai-Wang Tam, Ioannis Pefkianakis, Songwu Lu, M. Frank Chang, Chuanxiong Guo, Glenn Reinman, Chunyi Peng, Mishali Naik, Lixia Zhang, Jason Cong
Venue: Proceedings of the 15th annual international conference on Mobile computing and networking (2009)

This paper describes an unconventional way to apply wireless networking in emerging technologies. It makes the case for using a two-tier hybrid wireless/wired architecture to interconnect hundreds to thousands of cores in chip multiprocessors (CMPs), where current interconnect technologies face severe scaling limitations in excessive latency, long wiring, and complex layout. We propose a recursive wireless interconnect structure called the WCube that features a single transmit antenna and multiple receive antennas at each micro wireless router and offers scalable performance in terms of latency and connectivity. We show the feasibility to build miniature on-chip antennas, and simple transmitters and receivers that operate at 100-500 GHz sub-terahertz frequency bands. We also devise new two-tier wormhole based routing algorithms that are deadlock free and ensure a minimum-latency route on a 1000-core on-chip interconnect network. Our simulations show that our protocol suite can reduce the observed latency by 20% to 45%, and consumes power that is comparable to or less than current 2-D wired mesh designs.
An Integrated Approach to Emotion Recognition for Advanced Emotional Intelligence
Authors: Panagiotis D. Bamidis, Christos A. Frantzidis, Evdokimos I. Konstantinidis, Andrej Luneski, Chrysa Lithari, Manousos A. Klados, Charalambos Bratsas, Christos L. Papadelis, Costas Pappas
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

Emotion identification is beginning to be considered as an essential feature in human-computer interaction. However, most of the studies are mainly focused on facial expression classifications and speech recognition and not much attention has been paid until recently to physiological pattern recognition. In this paper, an integrative approach is proposed to emotional interaction by fusing multi-modal signals. Subjects are exposed to pictures selected from the International Affective Picture System (IAPS). A feature extraction procedure is used to discriminate between four affective states by means of a Mahalanobis distance classifier. The average classifications rate (74.11%) was encouraging. Thus, the induced affective state is mirrored through an avatar by changing its facial characteristics and generating a voice message sympathising with the user's mood. It is argued that multi-physiological patterning in combination with anthropomorphic avatars may contribute to the enhancement of affective multi-modal interfaces and the advancement of machine emotional intelligence.
Supporting order picking with Augmented Reality
Authors: Bjorn Schwerdtfeger, Gudrun Klinker
Venue: Proceedings of the 7th IEEE/ACM International Symposium on Mixed and Augmented Reality (2008)

We report on recent progress in the iterative process of exploring, evaluating and refining Augmented Reality-based methods to support the order picking process. We present our findings from three user studies and from demonstrations at several exhibitions. The resulting setup is a combined visualization to precisely and efficiently guide the user, even if the augmentation is not always in the field of view of the HMD.
Agility from First Principles: Reconstructing the Concept of Agility in Information Systems Development
Authors: Kieran Conboy
Venue: Information Systems Research (2009)

Awareness and use of agile methods has grown rapidly among the information systems development (ISD) community in recent years. Like most previous methods, the development and promotion of these methods have been almost entirely driven by practitioners and consultants, with little participation from the research community during the early stages of evolution. While these methods are now the focus of more and more research efforts, most studies are still based on XP, Scrum, and other industry-driven foundations, with little or no conceptual studies of ISD agility in existence. As a result, this study proposes that there are a number of significant conceptual shortcomings with agile methods and the associated literature in its current state, including a lack of clarity, theoretical glue, parsimony, limited applicability, and naivety regarding the evolution of the concept of agility in fields outside systems development. Furthermore, this has significant implications for practitioners, rendering agile method comparison and many other activities very difficult, especially in instances such as distributed development and large teams that are not conducive to many of the commercial agile methods. This study develops a definition and formative taxonomy of agility in an ISD context, based on a structured literature review of agility across a number of disciplines, including manufacturing and management where the concept originated, matured, and has been applied and tested thoroughly over time. The application of the texonomy in practice is then demonstrated through a series of thought trials conducted in a large multinational organization. The intention is that the definition and taxonomy can then be used as a starting point to study ISD method agility regardless of whether the method is XP or Scrum, agile or traditional, complete or fragmented, out-of-the-box or in-house, used as is or tailored to suit the project context.