ppxscal/embedding_network huggingface dataset:
Conic mixed-integer rounding cuts
Authors: Alper Atamt&#x00fc;rk, Vishnu Narayanan
Venue: Mathematical Programming: Series A and B (2009)

A conic integer program is an integer programming problem with conic constraints. Many problems in finance, engineering, statistical learning, and probabilistic optimization are modeled using conic constraints. Here we study mixed-integer sets defined by second-order conic constraints. We introduce general-purpose cuts for conic mixed-integer programming based on polyhedral conic substructures of second-order conic sets. These cuts can be readily incorporated in branch-and-bound algorithms that solve either second-order conic programming or linear programming relaxations of conic integer programs at the nodes of the branch-and-bound tree. Central to our approach is a reformulation of the second-order conic constraints with polyhedral second-order conic constraints in a higher dimensional space. In this representation the cuts we develop are linear, even though they are nonlinear in the original space of variables. This feature leads to a computationally efficient implementation of nonlinear cuts for conic mixed-integer programming. The reformulation also allows the use of polyhedral methods for conic integer programming. We report computational results on solving unstructured second-order conic mixed-integer problems as well as mean&#x2013;variance capital budgeting problems and least-squares estimation problems with binary inputs. Our computational experiments show that conic mixed-integer rounding cuts are very effective in reducing the integrality gap of continuous relaxations of conic mixed-integer programs and, hence, improving their solvability.
A corpus-based lexical resource of German idioms
Authors: G. Neumann, C. Fellbaum, A. Geyken, A. Herold, C. Hümmer, F. Körner, U. Kramer, K. Krell, A. Sokirko, D. Stantcheva, E. Stathi
Venue: Proceedings of the Workshop on Enhancing and Using Electronic Dictionaries (2004)

In this paper, we present the design of a lexical resource focusing on German verb phrase idioms. The entry for a given idiom combines appropriate corpus examples with rich linguistic and lexicographic annotations, giving the user access to linguistic information coupled with the appropriate attested data and laying the groundwork for empirical, reproducible research.
A fast ensemble pruning algorithm based on pattern mining process
Authors: Qiang-Li Zhao, Yan-Huang Jiang, Ming Xu
Venue: Data Mining and Knowledge Discovery (2009)

Ensemble pruning deals with the reduction of base classifiers prior to combination in order to improve generalization and prediction efficiency. Existing ensemble pruning algorithms require much pruning time. This paper presents a fast pruning approach: pattern mining based ensemble pruning (PMEP). In this algorithm, the prediction results of all base classifiers are organized as a transaction database, and FP-Tree structure is used to compact the prediction results. Then a greedy pattern mining method is explored to find the ensemble of size k. After obtaining the ensembles of all possible sizes, the one with the best accuracy is outputted. Compared with Bagging, GASEN, and Forward Selection, experimental results show that PMEP achieves the best prediction accuracy and keeps the size of the final ensemble small, more importantly, its pruning time is much less than other ensemble pruning algorithms.
A casual conversation system using modality and word associations retrieved from the web
Authors: Shinsuke Higuchi, Rafal Rzepka, Kenji Araki
Venue: Proceedings of the Conference on Empirical Methods in Natural Language Processing (2008)

In this paper we present a textual dialogue system that uses word associations retrieved from the Web to create propositions. We also show experiment results for the role of modality generation. The proposed system automatically extracts sets of words related to a conversation topic set freely by a user. After the extraction process, it generates an utterance, adds a modality and verifies the semantic reliability of the proposed sentence. We evaluate word associations extracted form the Web, and the results of adding modality. Over 80% of the extracted word associations were evaluated as correct. Adding modality improved the system significantly for all evaluation criteria. We also show how our system can be used as a simple and expandable platform for almost any kind of experiment with human-computer textual conversation in Japanese. Two examples with affect analysis and humor generation are given.
A New Model of Rough-Fuzzy Sets
Authors: Yang Lingxiao, Zhou Xiaoyan, Du Weifeng, Gao Yan
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

Fuzzy-rough sets of existing mode are too abstract to the practical problems. It is not of much practical significance. But, the rough-fuzzy sets of existing mode for dynamic data processing capability are poor. This paper proposes new rough-fuzzy sets, which have integrated the advantages of the rough sets and fuzzy sets of data processing better, and have more practical significance for the settlement of the problems. The cut sets of data can be better in the equivalent class of analysis in the decision-making.
CAPTCHA-based image labeling on the Soylent Grid
Authors: Peter Faymonville, Kai Wang, John Miller, Serge Belongie
Venue: Proceedings of the ACM SIGKDD Workshop on Human Computation (2009)

We introduce an open labeling platform for Computer Vision researchers based on Captchas, creating as a byproduct labeled image data sets while supporting web security. For the two different tasks of annotation and detection, we explore usability issues. We present the interfaces used by researchers and users and experimental results obtained using the platform. Finally, we discuss system sustainability issues in the context of a broader "ecosystem" for the platform.
SteamTables: An approach of multiple variable sets
Authors: Mahendra P. Verma
Venue: Computers Geosciences (2009)

Using the IAPWS-95 formulation, an ActiveX component SteamTablesIIE in Visual Basic 6.0 is developed to calculate thermodynamic properties of pure water as a function of two independent intensive variables: (1) temperature (T) or pressure (P) and (2) T, P, volume (V), internal energy (U), enthalpy (H), entropy (S) or Gibbs free energy (G). The second variable cannot be the same as variable 1. Additionally, it calculates the properties along the separation boundaries (i.e., sublimation, saturation, critical isochor, ice I melting, ice III to ice IIV melting and minimum volume curves) considering the input parameter as T or P for the variable 1. SteamTablesIIE is an extension of the ActiveX component SteamTables implemented earlier considering T (190 to 2000K) and P (3.23x10^-^8 to 10000MPa) as independent variables. It takes into account the following 27 intensive properties: temperature (T), pressure (P), fraction, state, volume (V), density (Den), compressibility factor (Z"0), internal energy (U), enthalpy (H), Gibbs free energy (G), Helmholtz free energy (A), entropy (S), heat capacity at constant pressure (C"p), heat capacity at constant volume (C"v), coefficient of thermal expansion (CTE), isothermal compressibility (Z"i"s"o), speed of sound (VelS), partial derivative of P with T at constant V (dPdT), partial derivative of T with V at constant P (dTdV), partial derivative of V with P at constant T (dVdP), Joule-Thomson coefficient (JTC), isothermal throttling coefficient (IJTC), viscosity (Vis), thermal conductivity (ThrmCond), surface tension (SurfTen), Prandtl number (PrdNum) and dielectric constant (DielCons).
A Comparison of NoTA and GENESYS
Authors: Bernhard Huber, Roman Obermaisser
Venue: Proceedings of the 9th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2009)

In the field of embedded systems, the trend of converging application systems (e.g., multimedia systems entering the automotive domain) is observable. Undertakings to tackle the challenges introduced by this digital convergence have been started by the European Union in the last years. GENESYS is such a European project that aims at developing a cross-domain architecture for embedded systems, which facilitates this digital convergence. This paper compares the GENESYS architecture with the Network on Terminal Architecture (NoTA), which is primarily targeted to the consumer applications domain, and elaborates on their major commonalities and differences such as service-orientation, component-based design, or the need for rigorous interface specifications.
Interactants' Most Intimate Self-disclosure in Interactions with Virtual Humans
Authors: Sin-Hwa Kang, Jonathan Gratch
Venue: Proceedings of the 9th International Conference on Intelligent Virtual Agents (2009)

Recent studies have shown that virtual humans can facilitate social interactions among people who have difficulty in forming social bonds or help develop their social skills by interaction with virtual practice. Virtual human research tends to focus exclusively on appearance or behavior in assessing agent effectiveness, whereas other studies of human social interaction emphasize aspects of the social context, such as anticipated future interaction (AFI) which has been implicated as a key moderator of people's behavior in virtual interactions. It has been reported that anonymity [2] or interactants' AFI with their interaction partners [4,5] have a critical role in entailing greater self-disclosure. However, no studies of virtual humans have investigated the impact of the combination of interactants' visual appearance and AFI on their social responses, specifically revealing their intimate information. In this study, we examined the impact of different visual realism of virtual humans and interactants' AFI on interactants' self-disclosure, when their anonymity is secured and future interaction may be anticipated.
Development of Event-Driven Dialogue System for Social Mobile Robot
Authors: Jiang Ridong, Tan Yeow Kee, Li Haizhou, Wong Chern Yuen, Dilip Kumar Limbu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 02 (2009)

This paper is a part of an ongoing project designed to develop a multimodal mobile social robot for office and home environment. An event driven dialogue system architecture is proposed to integrate different components of spoken dialogue system as well as various agents for vision understanding, navigation and radio-frequency identification (RFID) through a number of events and messages. Speech recognition is powered by our in-house developed multilingual, speaker independent phonetic speech recognition engine. A template-based cum rule-based language generation paradigm is proposed to render the interaction so that the dialogue can be evolved based on the context and task domain. Three levels of error recovery strategy are employed to deal with different types of errors. The successful implementation of the proposed system on our experimental social mobile robot is a good showcase toward the integration of spoken language technology with other modalities.
Emergent Design: Serendipity in Digital Educational Games
Authors: Michael D. Kickmeier-Rust, Dietrich Albert
Venue: Proceedings of the 3rd International Conference on Virtual and Mixed Reality: Held as Part of HCI International 2009 (2009)

Using computer games for educational purposes is a fascinating idea that is getting increasingly popular amongst educators, researchers, and developers. From a technical as well as psycho-pedagogical viewpoint, today's educational games are at an early stage. Most products cannot compete with non-educational, commercial games and not with conventional educational software. Research must address fundamental challenges such as methods for convincing learning-game design or individualization of gaming experiences. An important key factor is development costs. To enter the market successfully requires reducing development costs significantly, however, without reducing gaming or learning quality. In this paper we introduce an approach of using existing methods for educational adaptation and personalization together with ideas of emergent game design.
Research on Radar Product Life Circle Management System Based on B/S Mode
Authors: Liu Changhua, Li Yaqin, Zhu Jongzhe
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Product lifecycle management (PLM) is recognized as one of the leading technologies to facilitate companies overcome ever-increasing challenges. The concept and implementation of Product Lifecycle Management have drawn much attention in both industry and academia. This technology offers companies a novel way to rapidly plan the research, manufacture, sale of the production. So the enterprise can deliver up new products and services much faster and cheaper in an integrated way. This paper introduces the conception of PLM into the project of the RADAR management system and provides the solution according to the demand of Radar Corporation. In this PLM system, we can manage every process of the life circle that includes making, running, repairing, maintenance, destroying by designing serial code, it also establish a stable foundation for CIMS (Computer Integrated Manufacturing System) integrate of corporation in the future.
Development of a PLC Virtual Machine Orienting IEC 61131-3 Standard
Authors: Chunjie Zhou, Hui Chen
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Programmable Logic Controller (PLC) plays a more and more important role in the field of industry. To deal with the heterogeneity of manufacture-dependent programming languages, IEC 61131-3 international standard has promoted the PLC openness to developing. In this paper, we present a proposal to implement the IEC 61131-3 standard in a PLC virtual machine (VM), which is a new kind of high-level language VM and takes Instruction List (IL) as the intermediate code. We discuss the syntax and semantics of IL, and show the design architecture for the emulation engine using both interpretation and translation methods. The PLC VM enables developers to rapidly porting an IEC-61131-3 application onto different platforms. We have implemented the PLC VM on a C51 based embedded PLC platform.
Trend Analysis of Surface Water Quality in Hunan Province
Authors: Xing Yin, Guohua Hu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

The trend of the surface water quality of Hunan province is analyzed by the seasonal Kendall test method, basing on the main pollutants during 2001-2005.The conclusions are as follows: The pollutions of BOD5 and NH3-N of Xiangjiang river, TP of Yuanjiang river, As and CYN of Lishui river, As,FN and TP of Dongting lake have an obvious upward trend; the pollutions of Cd, Pb, TP and petroleum of Zijiang river, petroleum of Dongting lake have an obvious downward trend.
Seize the (intra)day: Features selection and rules extraction for tradings on high-frequency data
Authors: Marina Resta
Venue: Neurocomputing (2009)

We describe a method to develop trading rules based on the responses of self-organizing maps (SOMs), trained under various distance metrics. The effectiveness of the procedure is examined on 5min data of S&P MIB financial index, and its performances compared with those of classical buy and hold trading technique. The noticeable innovations of the paper include the methodology itself, which brings SOMs into a decision making tool to operate into the market; the focus on intraday tradings bars; the systematic study of how changes in the distance metrics employed to train the maps may affect the overall performances, and, finally, the discussion of system performances both in the absence and in the presence of commission fees. At the current stage the results, evaluated with both financial and statistical indicators, bring us to the following conclusions: (a) self-organizing maps can be helpful to localize profitable intraday patterns, achieving more stable performances than common trading rules; (b) working with proper metrics may enhance the overall performances; (c) trading strategies based on unsupervised neural networks make exploitable with profits almost continuous trades, until commission fees maintain below suitable thresholds.
An Overview of 3D Video and Free Viewpoint Video
Authors: Aljoscha Smolic
Venue: Proceedings of the 13th International Conference on Computer Analysis of Images and Patterns (2009)

An overview of 3D video and free viewpoint video is given in this paper. Free viewpoint video allows the user to freely navigate within real world visual scenes, as known from virtual worlds in computer graphics. 3D video provides the user with a 3D depth impression of the observed scene, which is also known as stereo video. In that sense as functionalities, 3D video and free viewpoint video are not mutually exclusive but can very well be combined in a single system. Research in this area combines computer graphics, computer vision and visual communications. It spans the whole media processing chain from capture to display and the design of systems has to take all parts into account. The conclusion is that the necessary technology including standard media formats for 3D video and free viewpoint video is available or will be available in the future, and that there is a clear demand from industry and user side for such new types of visual media.
Solo: a cognitive orthosis
Authors: Richard Simpson, Edmund LoPresti, Debra Schreckenghost, Ned Kirsch, Steve Hayashi
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 4 (2005)

Solo is a cognitive assistive device which provides support in remembering when to perform tasks, executing the steps in a task, and recovering from unexpected events. The system includes an interface for clients to receive reminders, an interface for caregivers to enter information about the client's scheduled tasks, and a Cognition Manager which provides reminders and task guidance at appropriate times.
Personalization Service Research of the E-Learning System Based on Clustering Coefficient Partition Algorithm
Authors: Hong Liu, Xiaojun Li
Venue: Advances in Web and Network Technologies, and Information Management: APWeb/WAIM 2009 International Workshops: WCMT 2009, RTBI 2009, DBIR-ENQOIR 2009, PAIS 2009, Suzhou, China, April 2-4, 2009, Revised Selected Papers (2009)

In recent years, network-based education has been growing rapidly in size and complexity. Therefore, knowledge clustering becomes more and more important in personalized information retrieval for e-learning. This paper introduces a clustering coefficient partition algorithm for providing e-learning personalization service after the learners' knowledge has been classified with clustering. Through automatic analysis of learners' behaviors, their partition with similar knowledge level and interests can be discovered in order to provide learners with contents that best match their educational needs for collaborative learning. Experimental results show that our algorithm is efficient and effective in extracting clusters from large set of contents.
Exact phase transitions in random constraint satisfaction problems
Authors: Ke Xu, Wei Li
Venue: Journal of Artificial Intelligence Research (2000)

In this paper we propose a new type of random CSP model, called Model RB, which is a revision to the standard Model B. It is proved that phase transitions from a region where almost all problems are satisfiable to a region where almost all problems are unsatisfiable do exist for Model RB as the number of variables approaches infinity. Moreover, the critical values at which the phase transitions occur are also known exactly. By relating the hardness of Model RB to Model B, it is shown that there exist a lot of hard instances in Model RB.
Non-verbal Communication System Using Pictograms
Authors: Makiko Okita, Yuki Nakaura, Hidetsugu Suto
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

A system is described that uses pictograms to support interactive non-verbal communication. While pictograms are typically used with objects, this system uses them for events as well. Moreover, whereas communication systems using pictograms are generally designed for people with disabilities, this system is designed for people in general. It can thus be used between a non-disabled person and a person with a disability, between an adult and a child, between a Japanese person and an American person, and so on.
Interference management via rate splitting and HARQ over time-varying fading channels
Authors: Marco Levorato, Osvaldo Simeone, Urbashi Mitra
Venue: Proceedings of the 2009 ACM workshop on Cognitive radio networks (2009)

The coexistence of two unlicensed links is considered, where one link interferes with the transmission of the other, over a time-varying, block-fading channel. In the absence of fading, standard information-theoretic results for the scenario at hand prove the sum-rate optimality of single-user detection or joint decoding at the interfered receiver, depending on the instantaneous value of the interference power. These results hinge critically on the presence of full channel state information at some of the nodes. In this paper, the problem is revisited with quasi-static fading and in the absence of channel state information at the nodes by assuming that: (i) HARQ type-I is used at both links; (ii) the channels exhibit Markovian memory over the time-slots; (iii) ACK/ NACK messages of the two HARQ processes are received at the interfering transmitter and used to adapt the current access strategy and transmission parameters. The problem is formulated as a Partially Observable Markov Decision Process (POMDP) and a greedy solution is proposed. Numerical results highlight, on the one hand, the differences between the optimal design with or without channel state information and, on the other, the advantages of exploiting channel memory for interference management.
Surface Roughness Prediction and Cutting Parameters Optimization in High-Speed Milling AlMn1Cu Using Regression and Genetic Algorithm
Authors: Z. H. Wang, J. T. Yuan, X. Q. Hu, W. Deng
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Surface roughness is an important indicator of the surface quality of machined workpieces. In this study, in order to find the functional relation between cutting parameters and surface roughness, a series of cutting experiments for AlMn1Cu are conducted to obtain surface roughness values in high-speed peripheral milling. Firstly, this paper presents the predictive mathematic model of surface roughness based on the cutting parameters. Secondly, the optimization model of cutting parameters in order to achieve the maximum material removal rate is built in this paper, and the genetic algorithm is employed to find the optimum cutting parameters leading to maximum material removal rate in the different range of surface roughness’s values.
Using eye-tracking data for high-level user modeling in adaptive interfaces
Authors: Cristina Conati, Christina Merten Saleema Amershi, Kasia Muldner
Venue: Proceedings of the 22nd national conference on Artificial intelligence - Volume 2 (2007)

In recent years, there has been substantial research on exploring how AI can contribute to Human-Computer Interaction by enabling an interface to understand a user's needs and act accordingly. Understanding user needs is especially challenging when it involves assessing the user's high-level mental states not easily reflected by interface actions. In this paper, we present our results on using eye-tracking data to model such mental states during interaction with adaptive educational software. We then discuss the implications of our research for Intelligent User Interfaces.