ppxscal/embedding_network huggingface dataset:
A new mixed integer linear programming model for product development using quality function deployment
Authors: Elif Kılıç Delice, Zülal Güngör
Venue: Computers and Industrial Engineering (2009)

Quality function deployment (QFD) is a product development process performed to maximize customer satisfaction. In the QFD, the design requirements (DRs) affecting the product performance are primarily identified, and product performance is improved to optimize customer needs (CNs). For product development, determining the fulfillment levels of design requirements (DRs) is crucial during QFD optimization. However, in real world applications, the values of DRs are often discrete instead of continuous. To the best of our knowledge, there is no mixed integer linear programming (MILP) model in which the discrete DRs values are considered. Therefore, in this paper, a new QFD optimization approach combining MILP model and Kano model is suggested to acquire the optimized solution from a limited number of alternative DRs, the values of which can be discrete. The proposed model can be used not only to optimize the product development but also in other applications of QFD such as quality management, planning, design, engineering and decision-making, on the condition that DR values are discrete. Additionally, the problem of lack of solutions in integer and linear programming in the QFD optimization is overcome. Finally, the model is illustrated through an example.
Moving Object Detection Based on the Cellular Automata
Authors: Yuyong Cui, Zhiyuan Zeng, Sizhe Zhang
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

A moving object detection method based on the cellular automata is presented in this paper. The method set the initial condition based on the Frame subtract ,then use the current frame grayscale value of the image to define the Moore neighborhood and a simple transform rule of cellular automata. At last, an experiment is given and it shows the method is relatively effective and has advantages in detecting the moving object.
Context-based speech recognition error detection and correction
Authors: Arup Sarma, David D. Palmer
Venue: Proceedings of HLT-NAACL 2004: Short Papers on XX (2004)

In this paper we present preliminary results of a novel unsupervised approach for high-precision detection and correction of errors in the output of automatic speech recognition systems. We model the likely contexts of all words in an ASR system vocabulary by performing a lexical co-occurrence analysis using a large corpus of output from the speech system. We then identify regions in the data that contain likely contexts for a given query word. Finally, we detect words or sequences of words in the contextual regions that are unlikely to appear in the context and that are phonetically similar to the query word. Initial experiments indicate that this technique can produce high-precision targeted detection and correction of misrecognized query words.
Generation of hard non-clausal random satisfiability problems
Authors: Juan A. Navarro, Andrei Voronkov
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 1 (2005)

We present the results from experiments with a new family of random formulas for the satisfiability problem. Our proposal is a generalisation of the random k-SAT model that introduces non-clausal formulas and exhibits interesting features such as experimentally observed sharp phase transition and the easy-hard-easy pattern. The experimental results provide some insights on how the use of different clausal translations can affect the performance of satisfiability solving algorithms. We also expect our model to provide diverse and challenging benchmarks for developers of SAT procedures for non-clausal formulas.
Subjectivity recognition on word senses via semi-supervised mincuts
Authors: Fangzhong Su, Katja Markert
Venue: Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics (2009)

We supplement WordNet entries with information on the subjectivity of its word senses. Supervised classifiers that operate on word sense definitions in the same way that text classifiers operate on web or newspaper texts need large amounts of training data. The resulting data sparseness problem is aggravated by the fact that dictionary definitions are very short. We propose a semi-supervised minimum cut framework that makes use of both WordNet definitions and its relation structure. The experimental results show that it outperforms supervised minimum cut as well as standard supervised, non-graph classification, reducing the error rate by 40%. In addition, the semi-supervised approach achieves the same results as the supervised framework with less than 20% of the training data.
HotSpots: visualizing edits to a text
Authors: Srinivas Bangalore, David Smith
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

Compared to the telephone, email based customer care is increasingly becoming the preferred channel of communication for corporations and customers. Most email-based customer care management systems provide a method to include template texts in order to reduce the handling time for a customer's email. The text in a template is suitably modified into a response by a customer care agent. In this paper, we present two techniques to improve the effectiveness of a template by providing tools for the template authors. First, we present a tool to track and visualize the edits made by agents to a template which serves as a vital feedback to the template authors. Second, we present a novel method that automatically extracts potential templates from responses authored by agents. These methods are investigated in the context of an email customer care analysis tool that handles over a million emails a year.
Integrating Search and Sharing: User-Centric Collaborative Information Seeking
Authors: Roman Y. Shtykh, Qun Jin
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

User-centeredness has become an essential feature of information systems directly interacting with a user. In this paper we emphasize the importance of a user as an active content creator and contributor, community, and their synergy to achieve better user-centeredness in personalized Web search services. For this, we realize individual-community collaborative scheme integrating information search and sharing, and thus benefiting from both individual and community activities. Here we show the details of the scheme, including expertise-based information co-evaluation and collaborative search.
Aperiodicity Measure for Infinite Sequences
Authors: Yuri Pritykin, Julya Ulyashkina
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

We introduce the notion of aperiodicity measure for infinite symbolic sequences. Informally speaking, the aperiodicity measure of a sequence is the maximum number (between 0 and 1) such that this sequence differs from each of its non-identical shifts in at least fraction of symbols being this number. We give lower and upper bounds on the aperiodicity measure of a sequence over a fixed alphabet. We compute the aperiodicity measure for the Thue---Morse sequence and its natural generalization the Prouhet sequences, and also prove the aperiodicity measure of the Sturmian sequences to be 0. Finally, we construct an automatic sequence with the aperiodicity measure arbitrarily close to 1.
Secure Method Calls by Instrumenting Bytecode with Aspects
Authors: Xiaofeng Yang, Mohammad Zulkernine
Venue: Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII (2009)

Today most mobile devices embed Java runtime environment for Java programs. Java applications running on mobile devices are mainly MIDP (Mobile Information Device Profile) applications. They can be downloaded from the Internet and installed directly on the device. Although the virtual machine performs type-safety checking or verifies bytecode with signed certificates from third-party, the program still has the possibility of containing risky code. Inappropriate use of sensitive method calls may cause loss of personal assets on mobile devices. Moreover, source code is not accessible for most installed applications, making it difficult to analyze the behavior at source-code level. To better protect the device from malicious code, we propose an approach of bytecode instrumentation with aspects at bytecode level. The instrumentation pinpoints the location of statements within methods, rather than at the interface of method calls. The aspects are woven around the statement for tracking. The weaving is performed at bytecode level without requiring source code of the program.
Target Detection Using Radar with Dynamic Programming Approach
Authors: Lina Fan, Jinkuan Wang, Dongmei Yan, Bin Wang
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

Dim point target from an image sequence has been merged into the clutter. So the image has a low SNR and the detection of the dim point target under the low conditions becomes the sticking point. We introduce a novel tracking system based on dynamic programming algorithm (DPA). This algorithm can detect the dim point targets under the condition of low SNR. The dynamic programming technique can detect the trace of the point target which is moving with straight line and reduce the calculation amount. With the result of simulation test, it can be shown that the introduced algorithm can effectively detect moving point target trajectory in image sequences than previously developed algorithm.
Determination of Material Properties of Functionally Graded Hollow Cylinders Using Artificial Neural Network
Authors: Jiangong Yu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Using guided circumferential wave dispersion characteristics, an inverse method based on artificial neural network (ANN) is presented to determine the material properties of Functionally Graded Materials (FGM) pipes. The group velocities of several lowest modes at several lower frequencies are used as the inputs of the ANN model; the outputs of the ANN are the distribution function of the volume fraction of the FGM pipe. The Legendre polynomials method is used to calculate the dispersion curves for the FGM pipe. The internally recurrent neural network is used to improve the convergence speed.
Multicore Programming Challenges
Authors: Michael Perrone
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

The computer industry is facing fundamental challenges that are driving a major change in the design of computer processors. Due to restrictions imposed by quantum physics, one historical path to higher computer processor performance - by increased clock frequency - has come to an end. Increasing clock frequency now leads to power consumption costs that are too high to justify. As a result, we have seen in recent years that the processor frequencies have peaked and are receding from their high point. At the same time, competitive market conditions are giving business advantage to those companies that can field new streaming applications, handle larger data sets, and update their models to market conditions faster. The desire for newer, faster and larger is driving continued demand for higher computer performance.The industry's response to address these challenges has been to embrace "multicore" technology by designing processors that have multiple processing cores on each silicon chip. Increasing the number of cores per chip has enable processor peak performance to double with each doubling of the number of cores. With performance doubling occurring at approximately constant clock frequency so that energy costs can be controlled, multicore technology is poised to deliver the performance users need for their next generation applications while at the same time reducing total cost of ownership per FLOP.The multicore solution to the clock frequency problem comes at a cost: Performance scaling on multicore is generally sub-linear and frequently decreases beyond some number of cores. For a variety of technical reasons, off-chip bandwidth is not increasing as fast as the number of cores per chip which is making memory and communication bottlenecks the main barrier to improved performance. What these bottlenecks mean to multicore users is that precise and flexible control of data flows will be crucial to achieving high performance. Simple mappings of their existing algorithms to multicore will not result in the naive performance scaling one might expect from increasing the number of cores per chip. Algorithmic changes, in many cases major, will have to be made to get value out of multicore. Multicore users will have to re-think and in many cases re-write their applications if they want to achieve high performance. Multicore forces each programmer to become a parallel programmer; to think of their chips as clusters; and to deal with the issues of communication, synchronization, data transfer and nondeterminism as integral elements of their algorithms. And for those already familiar with parallel programming, multicore processors add a new level of parallelism and additional layers of complexity.This talk will highlight some of the challenges that need to be overcome in order to get better performance scaling on multicore, and will suggest some solutions.
A Tangible Mixed Reality Interface for the AMI Automated Meeting Assistant
Authors: Jochen Ehnes
Venue: Proceedings of the Symposium on Human Interface 2009 on ConferenceUniversal Access in Human-Computer Interaction. Part I: Held as Part of HCI International 2009 (2009)

In this paper we describe our approach to support ongoing meetings with an automated meeting assistant. We propose an alternative user interface for the AMIDA Content Linking Device. In order for the system to be less distractive and more collaborative than the original laptop screen based one, we developed a system that projects documents onto the table tops right in front of the meeting participants. This way they appear as if they were printed on paper, lying in front of the participants. We describe our setup as well as the user interface we built to handle and share these documents.
Scavenging with a laptop robot
Authors: Alan Davidson, Mac Mason, Susanna Ricco, Ben Tribelhorn, Zachary Dodds
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 4 (2005)

This synopsis presents Harvey Mudd College's entry into the 2005 AAAI scavenger hunt competition. We are submiting a lap-controlled robot which uses commodity parts and limited sensors to localize itself and perform arrow following and object recognition.
Preventive diagnosis of pulse power converter dynamics
Authors: Yu. V. Kolokolov, A. V. Monovskaya
Venue: Automation and Remote Control (2009)

For the pulse power converters, consideration was given to the preventive diagnosis of their anomalous modes caused by the nonlinear evolutionary processes of multiple period variations. Proposed was a variant of solution based on the symbolic models of periodic and transient processes generated by the geometric treatment of the invariants of the phase images. Developed was a procedure of continuous transformation of the time series enabling estimation of the direction of convergence of the transient process before its completion.
Generating multilingual descriptions from linguistically annotated OWL ontologies: the NaturalOWL system
Authors: Dimitrios Galanis, Ion Androutsopoulos
Venue: Proceedings of the Eleventh European Workshop on Natural Language Generation (2007)

We introduce NaturalOWL, an open-source multilingual natural language generator that produces descriptions of instances and classes, starting from a linguistically annotated ontology. The generator is heavily based on ideas from ILEX and M-PIRO, but it is in many ways simpler and it provides full support for OWL DL ontologies with RDF linguistic annotations. NaturalOWL is written in Java, and it is supported by M-PIRO's authoring tool, as well as an alternative plug-in for the Prot&eacute;g&eacute; ontology editor.
A By-Level Analysis of Multiplicative Exponential Linear Logic
Authors: Marco Gaboardi, Luca Roversi, Luca Vercelli
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

We study the relations between Multiplicative Exponential Linear Logic (mELL) and Baillot-Mazza Linear Logic by Levels (mL 3). We design a decoration-based translation between propositional mELL and propositional mL 3. The translation preserves the cut elimination. Moreover, we show that there is a proof net ${\it \Pi}$ of second order mELL that cannot have a representative ${\it \Pi'}$ in second order mL 3 under any decoration. This suggests that levels can be an analytical tool in understanding the complexity of second order quantifier.
Adventures of an IT Leader
Authors: Robert D. Austin, Richard L. Nolan, Shannon O'Donnell
Venue:  (2009)

Becoming an effective IT manager presents a host of challenges--from anticipating emerging technology to managing relationships with vendors, employees, and other managers. A good IT manager must also be a strong business leader.This book invites you to accompany new CIO Jim Barton to better understand the role of IT in your organization. You'll see Jim struggle through a challenging first year, handling (and fumbling) situations that, although fictional, are based on true events.You can read this book from beginning to end, or treat is as a series of cases. You can also skip around to address your most pressing needs. For example, need to learn about crisis management and security? Read chapters 10-12. You can formulate your own responses to a CIO's obstacles by reading the authors' regular "Reflection" questions.You'll turn to this book many times as you face IT-related issues in your own career.
An optimized Java based software package for biomedical images and volumes processing
Authors: Alfredo Maurizi, Danilo Franchi, Giuseppe Placidi
Venue: Proceedings of the 2009 IEEE International Workshop on Medical Measurements and Applications (2009)

Digital image processing is fundamental for several biomedical applications. In this paper, we describe an efficient software package, developed in Java, for advanced visualization and processing of biomedical images and volumes. Actually, a great part of biomedical applications is covered by specific software packages: they have a lot of graphical and processing functions in common and not any has been really optimized. The novelty of our system, when compared to other software developed to deal with biomedical applications, is that it is designed to provide a unifying software solution for potentially all biomedical applications. Another important point is the accurate choice of the development tools which we used for our project: ImageJ and Visualization Toolkit. A detailed description of the usage of these tools into the project is reported. Moreover, a case study is presented and discussed.
Bench Scale Study on the Adsorption and Regeneration of Clinoptilolite for Ammonia Removal
Authors: Zuo Jinlong, Li Junsheng
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

In order to tackle the problem for remove ammonia from polluted water, clinoptilolite is used for adsorbing the ammonia from wastewater, and biochemical regeneration for ammonia removal was investigated. The results showed that the data were fit to Langmuir isotherms for ammonium ion uptake onto clinoptilolite. For biochemical regeneration experiment, it was stable for the removal of NH3-N by clinoptilolite with removal efficiency over 80% after two months biochemical regeneration using the NaHCO3 regenerant with Na+ concentration of 2000mg/L and air-water ratio 5:1 at 15ºC～26.5ºC. The clinoptilolite was suggested as a suitable material for adsorbing ammonia.
Bytecode Generation for XQuery Compiler
Authors: Yue Chen, Fei Yuan, Husheng Liao
Venue: Proceedings of the 2009 First International Workshop on Database Technology and Applications (2009)

This paper represents a compiler for XQuery that obtains a more efficient performance by translating its programs to Java bytecode. It gives an overview of the system design with multi-phase translation structure, and describes the translation algorithm in detail. According to the result of performance experiments, running programs in Java bytecodes generated by the compiler have better performance than the interpretation of their source programs.
Analysis of Topic Evolution Based on Subtopic Similarity
Authors: Nan Lv, Junyong Luo, Yao Liu, Qiang Wang, Yan Liu, Huijie Yang
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

In the area of topic tracking, topic is developing with time. Actually speaking, traditional topic tracking approaches could track the relevant stories. However, the relation between events occurred during the topic development process could not be learned with traditional approaches. Furthermore, the whole history of the topic tracking could not be acquired either. Based on these disadvantages in traditional approaches, we propose anew method based on the calculation of the subtopic similarity.This method utilizes the idea of time partition so as to analyze the developing history of the topic. Our method concerned the time characteristic of a event as well as the location characteristic. Moreover, we use it to manipulate the information. In the experiment applying the practical data, it shows our method works more efficiently .
Studying multi-user settings for pervasive games
Authors: Karin Leichtenstern, Elisabeth André
Venue: Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services (2009)

Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with an adequate multi-user setting, unintended situations can emerge, such as a single user can dominate the game while the other users are bored and disinterested. In our research we approach that problem by investigating various multi-user settings that are characterized by a different distribution of interaction devices. We describe three multi-user settings, a pervasive game which we used as a test bed, and a user study with 18 children to find out how the multiuser settings influence the children's social behaviour as expressed by the level of activity for all group members, the off-task behaviour and the level of task-related conversations.
A mobile health and fitness companion demonstrator
Authors: Olov Ståhl, Björn Gambäck, Markku Turunen, Jaakko Hakulinen
Venue: Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics: Demonstrations Session (2009)

Multimodal conversational spoken dialogues using physical and virtual agents provide a potential interface to motivate and support users in the domain of health and fitness. The paper presents a multimodal conversational Companion system focused on health and fitness, which has both a stationary and a mobile component.