ppxscal/embedding_network huggingface dataset:
Decomposition, reformulation, and diving in university course timetabling
Authors: Edmund K. Burke, Jakub Mareček, Andrew J. Parkes, Hana Rudová
Venue: Computers and Operations Research (2010)

In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of resource. Often, each component is associated with different sets of soft constraints, and so with different measures of soft constraint violation. The goal is then to minimise a linear combination of such measures. This paper studies an approach to such problems, which can be thought of as multiphase exploitation of multiple objective-/value-restricted submodels. In this approach, only one computationally difficult component of a problem and the associated subset of objectives is considered at first. This produces partial solutions, which define interesting neighbourhoods in the search space of the complete problem. Often, it is possible to pick the initial component so that variable aggregation can be performed at the first stage, and the neighbourhoods to be explored next are guaranteed to contain feasible solutions. Using integer programming, it is then easy to implement heuristics producing solutions with bounds on their quality. Our study is performed on a university course timetabling problem used in the 2007 International Timetabling Competition (ITC), also known as the Udine Course Timetabling problem. The goal is to find an assignment of events to periods and rooms, so that the assignment of events to periods is a feasible bounded colouring of an associated conflict graph and the linear combination of the numbers of violations of four soft constraints is minimised. In the proposed heuristic, an objective-restricted neighbourhood generator produces assignments of periods to events, with decreasing numbers of violations of two period-related soft constraints. Those are relaxed into assignments of events to days, which define neighbourhoods that are easier to search with respect to all four soft constraints. Integer programming formulations for all subproblems are given and evaluated using ILOG CPLEX 11. The wider applicability of this approach is analysed and discussed.
Modelling of cubic Bézier curves by electronic circuits
Authors: Sarbast Rasheed
Venue: Analog Integrated Circuits and Signal Processing (2009)

In this paper, analog techniques have been utilized to translate the mathematical formulation of arbitrary functions into electronic circuits which embody instantaneous DC relationships between sets of voltages having a limited dynamic range of variation. Suitable building blocks and electronic circuits have been designed to implement some of the basic functional operations. These functional operations were used to embody an analog modelling technique for the generation of free-form curves based on Bézier curve generation method. To draw a specified curve, the control parameters represented by a group of variable resistors are set at specified positions. These positions correspond to values of the control polygon vertices coordinates that uniquely define the curve shape. To change curve shape, the only requirement is to vary the control parameters represented by the variable resistors, and therefore, the user can use this electronic generation method as a shape designer. Using this analog modelling technique, one can generate curves at speed much more comparable to the alternative software modelling on a digital computer.
Syntactic Query Models for Restatement Retrieval
Authors: Niranjan Balasubramanian, James Allan
Venue: Proceedings of the 16th International Symposium on String Processing and Information Retrieval (2009)

We consider the problem of retrieving sentence level restatements. Formally, we define restatements as sentences that contain all or some subset of information present in a query sentence. Identifying restatements is useful for several applications such as multi-document summarization, document provenance, text reuse and novelty detection. Spurious partial matches and term dependence become important issues for restatement retrieval in these settings. To address these issues, we focus on query models that capture relative term importance and sequential term dependence. In this paper, we build query models using syntactic information such as subject-verb-objects and phrases. Our experimental results on two different collections show that syntactic query models are consistently more effective than purely statistical alternatives.
On the Power of the Semi-Separated Pair Decomposition
Authors: Mohammad Ali Abam, Paz Carmi, Mohammad Farshi, Michiel Smid
Venue: Proceedings of the 11th International Symposium on Algorithms and Data Structures (2009)

A Semi-Separated Pair Decomposition (SSPD), with parameter s > 1, of a set $S\subset {\mathbb R}^d$ is a set {(A i ,B i )} of pairs of subsets of S such that for each i, there are balls $D_{A_i}$ and $D_{B_i}$ containing A i and B i respectively such that $d(D_{A_i},D_{B_i}) \geq s \cdot$min ( radius$(D_{A_i}$) , radius$(D_{B_i})$ ), and for any two points p, q ¿ S there is a unique index i such that p ¿ A i and q ¿ B i or vice-versa. In this paper, we use the SSPD to obtain the following results: First, we consider the construction of geometric t-spanners in the context of imprecise points and we prove that any set $S\subset {\mathbb R}^d$ of n imprecise points, modeled as pairwise disjoint balls, admits a t-spanner with ${\mathcal O}(n\log n/(t-1)^d)$ edges which can be computed in ${\mathcal O}(n\log n/(t-1)^d)$ time. If all balls have the same radius, the number of edges reduces to ${\mathcal O}(n/(t-1)^d)$. Secondly, for a set of n points in the plane, we design a query data structure for half-plane closest-pair queries that can be built in ${\mathcal O}(n^2\log^2 n)$ time using ${\mathcal O}(n\log n)$ space and answers a query in ${\mathcal O}(n^{1/2+\epsilon})$ time, for any ¿> 0. By reducing the preprocessing time to ${\mathcal O}(n^{1+\epsilon})$ and using ${\mathcal O}(n\log^2 n)$ space, the query can be answered in ${\mathcal O}(n^{3/4+\epsilon})$ time. Moreover, we improve the preprocessing time of an existing axis-parallel rectangle closest-pair query data structure from quadratic to near-linear. Finally, we revisit some previously studied problems, namely spanners for complete k-partite graphs and low-diameter spanners, and show how to use the SSPD to obtain simple algorithms for these problems.
Technical Communication: SimuRed: A flit-level event-driven simulator for multicomputer network performance evaluation
Authors: Fernando Pardo, Jose A. Boluda
Venue: Computers and Electrical Engineering (2009)

The interconnection network is one of the most important multicomputer components, since it has a great impact on global system performance. Many models and simulators have been proposed to evaluate network performance. This paper presents SimuRed, an event-driven flit-level, cycle-accurate simulator to evaluate different orthogonal network configurations. The core of the simulator has been designed to be expandable and portable to different situations. Some of the advantages of this simulator over other similar tools are its visual interface, its fast execution and its simplicity. Moreover, it is multiplatform and its source code versions (C++ and Java) are freely available under GNU open-source license. The performance of this simulator has been evaluated, including a performance impact study of injection channels and deterministic/adaptive routing for meshes and hypercubes.
Augmented Practice Mirror: A Self-learning Support System of Physical Motion with Real-Time Comparison to Teacher's Model
Authors: Itaru Kuramoto, Yoshikazu Inagaki, Yu Shibuya, Yoshihiro Tsujino
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

An effective way to learn some physical motions such as dancing, playing sports, making traditional crafts, and so on, is to mimic teacher's motion. In this style of learning, it is important for the learner to recognize the difference between the teacher's motion and his/her one. We propose Augmented Practice Mirror (APM) learning support system. APM shows the mirror image of learner's motion overlapped teacher's one, and the difference between them. These three images are shown simultaneously on a large screen as virtual mirror in real time. As a result of the experimental evaluations, it was found that APM was better in recognizing the difference between the participant's motion and the teacher's one than two common methods, and that the hybrid interface of voice recognition and gesture was better than the single interface of voice recognition or gesture for operating APM.
Pressure-based text entry for mobile devices
Authors: Stephen A. Brewster, Michael Hughes
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

This paper describes the design and evaluation of a touch screen-based pressure keyboard to investigate the possibilities of pressure as a new method of input for mobile devices. A soft press on the touchscreen generated a lowercase letter, a hard press an uppercase one. The aim was to improve input performance when entering mixed-case text, or shifted characters often used for emoticons, etc. An experiment compared two different forms of pressure input (Dwell and Quick Release) against a standard shift key keyboard, with users both sitting and walking. Results showed that Quick Release was the fastest for input of mixed case text with Dwell being the most accurate, even when users were mobile. The results demonstrate that pressure input can outperform a standard shift-key keyboard design for mobile text entry.
Adaptive Control and Synchronization of a New Uncertain Hyperchaotic Lorenz System Based on Parameter Identification
Authors: Wang Shuhua, Liu Huaishan, Cui Kai
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

In this paper, the problems of control and synchronization of a new hyperchaotic Lorenz system with uncertain parameters are studied. Based on the Lyapunov stability theory and the adaptive control theory, this new uncertain hyperchaotic Lorenz system is suppressed to its unstable equilibrium. Furthermore, synchronization between two identical uncertain hyperchaotic systems is achieved by proposing an adaptive control law and a parameter estimation update law. Numerical simulations are presented to demonstrate the analytical results
The New BMW iDrive --- Applied Processes and Methods to Assure High Usability
Authors: Bernhard Niedermaier, Stephan Durach, Lutz Eckstein, Andreas Keinath
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

With iDrive the BMW Group introduced in 2001 a revolutionary HMI concept, which was firstly able to cope with the constantly increasing number of functions in the automobile. It was designed to optimally support drivers in their various tasks while driving. The basic iDrive concept can be described as separating driving functions from comfort functions as well as separating displays from controls. This basic concept together with a highly mounted display ensures that controls can be reached with no need looking at them and that the central display is easy and quick to access. The trendsetting iDrive idea has been widely adopted in the automotive industry. The following article outlines the iterative design and evaluation process that led to the new generation iDrive introduced in 2008 with the new BMW 7 Series. The basic challenge was to come up with an evolution of the iDrive concept by improving it without loosing the revolutionary approach to automotive HMI design.
A hypergeometric problem
Authors: Wadim Zudilin
Venue: Journal of Computational and Applied Mathematics (2009)

We conjecture a hypergeometric identity related to Apery-like rational approximations to @z(4).
Error analysis of variational integrators of unconstrained Lagrangian systems
Authors: George W. Patrick, Charles Cuell
Venue: Numerische Mathematik (2009)

An error analysis of variational integrators is obtained, by blowing up the discrete variational principles, all of which have a singularity at zero time-step. Divisions by the time step lead to an order that is one less than observed in simulations, a deficit that is repaired with the help of a new past&#x2013;future symmetry.
Exploiting a generic approach for constructing mobile device applications
Authors: Jó Ueyama, Vítor P. V. Pinto, Edmundo R. M. Madeira, Paul Grace, Thienne M. M. Jonhson, Raphael Y. Camargo
Venue: Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE (2009)

We are witnessing increasing demand for applications that are runnable on a wide range of mobile devices (e.g. wireless laptops, mobile phones, sensors). In addition, the emergence of new software technologies (e.g. component approaches, publish subscribe bindings, web services, service discovery protocols) has demanded that such applications face heterogeneous software platforms. However, existing approaches for building mobile device applications are often targeted to a particular platform (e.g. mobile phones, PDAs, sensors) and software technology (Web Services, Microsoft COM, Java components). This paper discusses the use of a generic component approach for the construction of adaptive applications that can integrate and re-use technologies (e.g. middleware and legacy components) and deploy them across heterogeneous devices. We have implemented a Java prototype for J2ME virtual machines and evaluated the potential benefits using development case-studies and performance measures. We show that we can address a wide range of heterogeneity with minimal resource overheads.
A System Design for the Testing Platform of Robot Teleoperation with Enhanced Reality Based on Binocular Vision
Authors: Wang Chensheng, Wang Fei, Chen Liang, Zhang Cong
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 01 (2009)

Robot Teleoperation is one of the cutting-edge research topics in the study of robot technologies, among which the Internet-based robot teleoperation attracts more and more attention from researchers working in this field. In this paper, based on a critical analysis we will propose a system design for the testing platform of robot teleoperation with enhanced reality based on binocular vision. The proposed platform is based on Internet. One of the innovative points in our system design is the introduction of a binocular vision system, by which the positioning of an object of interest in the teleoperation environment could be calculated in a real time by means of the parallax. In addition, an enhanced reality environment has been designed incorporating with the User Interface (UI), so that a highly immersive interaction could be achieved in the teleoperation.
Divvy: An ATP Meta-system Based on Axiom Relevance Ordering
Authors: Alex Roederer, Yury Puzis, Geoff Sutcliffe
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

This paper describes two syntactic relevance orderings on the axioms available for proving a given conjecture, and an ATP meta-system that uses the orderings to select axioms to use in proof attempts. The system has been evaluated, and the results show that it is effective.
Development of Sensitive, Specific, and Deployable Methods for Detecting and Discriminating mTBI and PTSD
Authors: Robin R. Johnson, Djordje Popvic, Deborah Perlick, Dennis Dyck, Chris Berka
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

This paper presents a theoretical framework for the development of non-invasive methods for detection and discrimination between mild traumatic brain injury (mTBI) and post-traumatic stress disorder (PTSD). Growing use of IEDs and increased pace of multiple deployment cycles in current conflicts has lead to significant increases in exposure to risks for these conditions. Co-morbidity of these conditions is common, diagnostically challenging, and controversial. Development of easy to use, deployable diagnostic tools would allow for accurate early identification and intervention. Early intervention increases the potential for positive outcomes for both the individual and their families. In addition, the appropriately designed system could be used epidemiologically to screen returning soldiers for these conditions that may otherwise not be appropriately assessed until much later, if at all. The framework presented here proposes that a wireless, portable EEG/EKG based device may be an appropriate platform upon which to develop such an assessment tool.
The Whuffie Factor: Using the Power of Social Networks to Build Your Business
Authors: Tara Hunt
Venue:  (2009)

The book that catches the crest of Web 2.0 and shows how any business can harness its power by increasing whuffie, the store of social capital that is the currency of the digital world. Everyone knows about blogs and social networks such as Facebook and Twitter, and has heard about someone who has used them to grow a huge customer base. Everyone wants to be hands-on, grassroots, and interactive, but what does this mean? And more to the point, how do you do it?As one who has actually launched a company using the power of online communities, and who now advises large and small companies, Tara Hunt (named by the San Francisco Chronicle, along with luminaries Jimmy Wales and Tim OReilly, as a digital Utopian) is the perfect person to do this book.While The Whuffie Factor will traverse the landscape of Web 2.0 and show how to become a player, it is not just another book about online marketing. People see the huge business potential of the online world and the first impulse is: Lets throw a bunch of money at it. To which Tara Hunt says: Stop! Money isnt the capital of choice in online communities, it is whuffiesocial capitaland how to raise it is at the heart of this book. In the Web 2.0 world, market capital flows from having high social capital. Without whuffie you lose your connections and any recommendations you make will be seen as spammet with negative reactions and a loss of social capital.The Whuffie Factor provides businesspeople with a strategic map and specific tactics for the constantly evolving, elusive, and, to some, strange world of online communities. By connecting with your customers through community interaction, youll raise your social capital, create demand, and sell more product. Consumer loyalty is a direct result of whuffie. With great stories of online business successes and cautionary tales of major misstepsrecording industry, anyone?Tara Hunt reveals how social networking has more influence over buying decisions than any other marketing tool and how your business can tap into the vast world of Web 2.0 to build an unshakable foundation for twenty-first-century-style online success.For those without millionseven thousandsto throw around, here is a fresh perspective for using social networks to help build a business whether you are a start-up or a Fortune 500 giant. Even those in big rich companies need to learn how to be effective and not waste their money. For themas well as the entrepreneurThe Whuffie Factor is an eye-opening guide to a world they probably dont understand all that well. 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
An iterative reinforcement approach for fine-grained opinion mining
Authors: Weifu Du, Songbo Tan
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

With the in-depth study of sentiment analysis research, finer-grained opinion mining, which aims to detect opinions on different review features as opposed to the whole review level, has been receiving more and more attention in the sentiment analysis research community recently. Most of existing approaches rely mainly on the template extraction to identify the explicit relatedness between product feature and opinion terms, which is insufficient to detect the implicit review features and mine the hidden sentiment association in reviews, which satisfies (1) the review features are not appear explicit in the review sentences; (2) it can be deduced by the opinion words in its context. From an information theoretic point of view, this paper proposed an iterative reinforcement framework based on the improved information bottleneck algorithm to address such problem. More specifically, the approach clusters product features and opinion words simultaneously and iteratively by fusing both their semantic information and co-occurrence information. The experimental results demonstrate that our approach outperforms the template extraction based approaches.
Knowledge compilation properties of tree-of-BDDs
Authors: Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 1 (2007)

We present a CNF to Tree-of-BDDs (ToB) compiler with complexity at most exponential in the tree width. We then present algorithms for interesting queries on ToB. Although some of the presented query algorithms are in the worst case exponential in the tree width, our experiments show that ToB can answer non-trivial queries like clausal entailment in reasonable time for several realistic instances. While our ToB-tool compiles all the used 91 instances, d-DNNF compilation failed for 12 or 8 of them based on the decomposition heuristic used. Also, on the succeeded instances, a d-DNNF is up to 1000 times larger than the matching ToB. The ToB compilations are often an order of magnitude faster than the d-DNNF compilation. This makes ToB a quite interesting knowledge compilation form.
Research on the Hierarchical Architecture of MES Based on Component and Driven by Ontology
Authors: Long Wen
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

The paper analyzes the function of MES software and the traditional software development flow as well as the defects of the traditional software development method. To overcome the difficulties of traditional software development method, component and ontology technology are applied in MES and the hierarchical architecture of MES based on component and driven by ontology is put forward to prompt development efficiency and performance of MES, which can be more reconstructing, reuse, expansion and integration. The MES with the hierarchical architecture based on component and driven by ontology is feasible and efficiency through developing a pharmaceutics MES which applied in a pharmaceutics manufacturing factory.