ppxscal/embedding_network huggingface dataset:
Certifying algorithms for recognizing proper circular-arc graphs and unit circular-arc graphs
Authors: Haim Kaplan, Yahav Nussbaum
Venue: Discrete Applied Mathematics (2009)

We give two new linear-time algorithms, one for recognizing proper circular-arc graphs and the other for recognizing unit circular-arc graphs. Both algorithms provide either a model for the input graph, or a certificate that proves that such a model does not exist and can be authenticated in O(n) time. No other previous algorithm for each of these two graph classes provides a certificate for its result.
A Novel Algorithm for Extraction of the Layers of the Cornea
Authors: Justin Eichel, Akshaya Mishra, Paul Fieguth, David Clausi, Kostadinka Bizheva
Venue: Proceedings of the 2009 Canadian Conference on Computer and Robot Vision (2009)

Accurate corneal layer boundary extraction from optical coherence tomograms can provide precise layer thickness measurements required in the analysis of corneal disease. This paper establishes a novel approach to precisely obtain the five primary corneal layer boundaries. The proposed method determines correspondence relationships between the layer boundaries to facilitate robust boundary extraction in the presence of noise and artifacts. The first phase of the method applies morphological operators to enhance the prominent structural features of the cornea. The second phase uses a semi-automated segmentation algorithm to extract the upper and lower boundaries of the cornea; these boundaries are used to register the corneal image. The final phase extracts all five boundaries using a global optimization method exploiting the medial correspondence relationship between each layers.The proposed method is tested and verified using a representative set of optical coherence tomography images and compared against several state of the art methods. The proposed method is demonstrated to be more robust to noise, to provide more accurate segmentation results, and to require fewer user interactions than the other published methods.
Proceedings of the Workshop on Multiword Expressions: Identifying and Exploiting Underlying Properties
Venue: ACL Workshops (2006)

This volume contains the papers accepted for presentation at the Workshop on Multiword Expressions: Identifying and Exploiting Underlying Properties. The workshop is endorsed by the Association for Computational Linguistics Special Interest Group on the Lexicon (SIGLEX) and is hosted in conjunction with the COLING/ACL 2006 on July 23rd, 2006 in Sydney, Australia. There has been a growing awareness in the NLP community of the problems that multiword expressions (MWEs) pose. Developments in areas such as machine translation, text summarization, paraphrasing, grammar development and parsing, information retrieval, and question answering (to mention a few) have acknowledged difficulties due to the idiosyncratic nature of multiword expressions. This workshop continues a tradition of ACL workshops on Collocations (2001) and Multiword Expressions (2003 and 2004). Its specific objective is to focus on the underlying properties of MWEs. The call for papers expressed our interest in several topics such as the definition of MWEs, properties of MWEs and their impact on NLP applications, representation and treatment of the different classes of MWEs, linguistic and psycholinguistic analyses of MWEs, evaluation of extraction techniques and the importance of (non-)compositionality. We received 23 submissions in total. Each submission was reviewed by (at least) three members of the program committee who not only judged each submission but also gave detailed comments to the authors. Among the received papers, 10 were selected for presentation at the workshop. After 3 papers have been withdrawn by their authors, seven papers are included in these proceedings. The intention of this workshop is to focus on some fundamental questions on the nature of MWEs. To do this we will allow plenty of time for discussion to pursue some of the interesting, open and difficult questions that MWEs raise. As well as a discussion period after each session of papers, we will be organising group discussions at the end of the workshop. These will focus on problems of defining, characterising and evaluating MWEs, given what we know about the range of phenomena that they encompass as well as any important questions that have arisen during the workshop.
Phenological event detection from multitemporal image data
Authors: Ranga Raju Vatsavai
Venue: Proceedings of the Third International Workshop on Knowledge Discovery from Sensor Data (2009)

Monitoring biomass over large geographic regions for seasonal changes in vegetation and crop phenology is important for many applications. In this paper we a present a novel clustering based change detection method using MODIS NDVI time series data. We used well known EM technique to find GMM parameters and Bayesian Information Criteria (BIC) for determining the number of clusters. KL Divergence measure is then used to establish the cluster correspondence across two years (2001 and 2006) to determine changes between these two years. The changes identified were further analyzed for understanding phenological events. This preliminary study shows interesting relationships between key phenological events such as onset, length, end of growing seasons.
SemEval-2007 task 11: English lexical sample task via English-Chinese parallel text
Authors: Hwee Tou Ng, Yee Seng Chan
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

We made use of parallel texts to gather training and test examples for the English lexical sample task. Two tracks were organized for our task. The first track used examples gathered from an LDC corpus, while the second track used examples gathered from a Web corpus. In this paper, we describe the process of gathering examples from the parallel corpora, the differences with similar tasks in previous SENSEVAL evaluations, and present the results of participating systems.
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics
Authors: Pavel Klinov, Bijan Parsia
Venue: Proceedings of the 3rd International Conference on Scalable Uncertainty Management (2009)

This paper presents an approach aimed at improving scalability reasoning in the probabilistic description logic P-$\mathcal{SHIQ}$(D). The satisfiability problem is currently intractable as the existing algorithm generates exponentially large linear optimization systems. To cope with this, we employ advanced optimization techniques that do not require the systems to be fully generated before starting to solve them. One such technique, namely, column generation, can be applied by exploiting the structure of the reasoning problems in P-$\mathcal{SHIQ}$(D) analogously to how it has been used for solving such large optimization problems as constrained shortest path, cutting stock and many others. We present the formulation of the linear systems for the satisfiability problems in the column generation form, describe methods for solving them, discuss their difference from the known column generation approaches to propositional probabilistic logic, and finally show preliminary experimental results that demonstrate a useful improvement of scalability.
High-order Variation of Active Contours and Its Application
Authors: Guohua Chen, Guoqiang Han
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Two central questions in medical image segmentation raised by C. A. Davatyikos and J. L. Prince are: will an active contour algorithm converges to a unique solution, and if so, will this solution be near the truth? This paper had showed a way to calculate the second order variation of the energy functional of an active contour, which was used to determine the convexity of the energy functional and partially answered the above questions, because a sufficient condition for ensuring a critical path to be a true minimizer of the energy functional is such that ensures the energy functional to be convex near the path. This paper had also pointed out that a solution to the Euler-Lagrange equation of an energy functional may not be a minimizer of the functional, but it was taken for granted as the minimizer in many papers about medical image segmentations. In addition, this paper had introduced a general formula for the calculation of the Hesse of an energy functional and showed by example how to use it to induce other conditions for the case of normal geodesics.
Influence of processing parameters on micro injection molded weld line mechanical properties of polypropylene (PP)
Authors: Lei Xie, Gerhard Ziegmann
Venue: Microsystem Technologies (2009)

As a hot fabrication technology for micro scale parts, micro injection molding is receiving increasing market attention. Improving mechanical properties of micro parts should be an important issue in the micro injection molding process. The relation between weld line strength in micro injection molding parts and processing parameters is investigated. A visual mold with variotherm unit is designed and constructed, in which the micro tensile specimen with weld line are prepared. Polypropylene (PP) is used as the research material in this study, and six processing parameters were chosen as investigating factors, which were melt temperature, mold temperature, injection pressure, packing pressure, ejection temperature and injection speed. In order to achieve optimized processing parameters and their order of significance, Taguchi experiment method was applied in this presented study. The prediction formulation of the strength of micro weld line was built up by multiple regression analysis based on Chebyshev orthogonal polynomial. The results showed the influencing significance order of parameters from strong to week separately are mold temperature, melt temperature, injection speed, ejection temperature, packing pressure and injection pressure. And the tolerance of micro weld line prediction formulation was found to be lower than 21% through confirmation experiments.
Layered Task Allocation in Multi-robot Systems
Authors: Ping Li, Yi-min Yang, Jia-le Lian
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 01 (2009)

A layered task allocation method is presented for multi-robot systems in a collaboration and adversarial, dynamic, real-time environment with unreliable communication in this paper. The process of task allocation is divided into three layers: task decomposition layer, task evaluation layer and task selection layer. In task decomposition layer, robots categorize their environments into corresponding modes, and fix subtasks in every mode as experts do, in order to reduce candidate tasks and decrease the complexity of task allocation. Q-Learning based on Adaptive Neuro Fuzzy Inference System (ANFIS) is adopted to compute utilities of candidate tasks in task evaluation layer. This can not only avoid the complicated opponent modeling but also make the learning more efficient. In task selection layer, task with the maximum utility is selected in application, but in learning, task is selected according to randomized Boltzmann exploration tactics in order to get more information for optimization. Simulation experiments implemented on simulated robotic soccer show that this approach improves performances of multi-robot systems greatly.
Assessment of Snow Drifting Hazard along Railway A Case Study of JYH Railway in Xinjiang, China
Authors: Shouyun Liang, Zhangli Huo, Yanning Niu
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 01 (2009)

Snow drifting is a typical disaster which blocks traffic lines in cold regions. The occurrence of snow drifting disaster is frequently influenced by topography, but the original topography is transformed to some extent owing to the construction of railway, and the wind flow field of this region thus changed, moreover, the accumulated region of drifting snow and the characteristics of its distribution changes correspondingly. Taking the DK174-184 section of Jinghe-Yining-Huocheng (JYH) railway under construction in Xinjiang for example, an AHP model has been constructed to assess snow drifting hazard along railway after considering the relation between its forming, moving and terrain, ground feature; furthermore, this model has been applied to determine the weights of assessment factors. With the support of GIS, a comprehensive assessment has been conducted. The results agree with the actual situation on the whole, and which can offer scientific references for the prevention and control of snow drifting disaster. This method also provides new ideas for the assessment of snow drifting hazard.
A Cross-Cultural Study on the Perception of Sociability within Human-Computer Interaction
Authors: Fang-Wu Tung, Keiichi Sato, Yi-Shin Deng, Tsai-Yi Lin
Venue: Proceedings of the 3rd International Conference on Internationalization, Design and Global Development: Held as Part of HCI International 2009 (2009)

This study tries to use speech and dynamic emoticons as social cues to create a more sociable human-computer interaction. A cross-cultural study was conducted to investigate the influence of cultural backgrounds (Taiwan and America) on children's perceptions of sociability within human-computer interaction and explore how the management of social cues affects their engagement in e-learning environments. A 2x2 (Taiwan/America, speech/dynamic emoticon) quasi experiment was conducted to investigate the effects of the independent variables on children's perception of social presence and intrinsic motivation. Cultural differences in the perception of social presence are observed. American children reported higher perceived social presence than Taiwanese children did. No differences of effects of speech and dynamic emoticons on children's feelings of social presence and motivation are found. It suggests that children's social responses and learning motivations are triggered equally strongly by the two social cues. These findings suggest that designers of educational technology could use speech or dynamic emoticons to build more sociable interfaces that could boost children's motivation in learning.
Bidding strategies for realistic multi-unit sealed-bid auctions
Authors: Ioannis A. Vetsikas, Nicholas R. Jennings
Venue: Proceedings of the 23rd national conference on Artificial intelligence - Volume 1 (2008)

When autonomous agents decide on their bidding strategies in real world auctions, they have a number of concerns that go beyond the models that are normally analyzed in traditional auction theory. Oftentimes, the agents have budget constraints and the auctions have a reserve price, both of which restrict the bids the agents can place. In addition, their attitude need not be risk-neutral and they may have uncertainty about the value of the goods they are buying. Some of these issues have been examined individually for single-unit sealed-bid auctions. In this paper, we extend this analysis to the multi-unit case, and also analyze the multi-unit sealed-bid auctions in which a combination of these issues are present, for unit-demand bidders. This analysis constitutes the main contribution of this paper. We then demonstrate the usefulness in practice of this analysis; we show in simulations that taking into account all these issues allows the bidders to maximize their utility. Furthermore, using this analysis allows a seller to improve her revenue, Le. by selecting the optimal reserve price.
Fault Diagnosis of Rolling Bearing Based on Wavelet Packet Transform and Support Vector Machine
Authors: Zhengyou Yang, Tao Peng, Jianbao Li, Huibin Yang, Haiyan Jiang
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

In this paper, fault diagnosis approach to rolling bearing based on wavelet packet transform and support vector machine is proposed. At first, feature vectors are extracted from the non-stationary vibration signals by means of wavelet packet transform. Then support sector sachine algorithm is used to fault identification and classification of rolling bearing. The experiments show that, as for limited fault samples, support vector machine classifier has a better classification efficiency than BP neural network classifier.
Casual game design values
Authors: Annakaisa Kultima
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

In this article, I examine the phenomenon of casual games and the underlying transformation of digital play which the rise of this particular segment of the games industry is exposing. I argue that instead of a genuinely new phenomenon, we are facing a change that can be more accurately characterized as "the normalization of digital play". The expansion of the player basis as well as the instrumental and functional approaches to games concurs with the transformations of other digital environments. As digital environments have become more accessible to large populations and are increasingly part of everyday lives, the ways and means of using them are becoming multifaceted and part of wider experiences. In order to respond to the changes, I propose a framework of casual games design values. Transformation in the games cultures requires transformation in design approaches.
Research on Web2.0-Based Anti-Cheating Mechanism for Witkey e-Commerce
Authors: Chunhui Piao, Xufang Han, Xiangyang Jing
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Web2.0 brings lots of amazing Web applications. As a typical Web2.0 application, Witkey is an innovative e-commerce model. However, problems such as cheating and intellectual property seriously influence the sound development of Witkey e-commerce. Based on brief introduction to Witkey model and its operational processes, this paper analyzes cheating phenomena on Witkey websites in depth. After introducing current credit evaluation methods used by existing Witkey websites and their problems, a new credit evaluation model adopting Web2.0 concept for Witkeys is explored. Based on Digg voting mechanism and RSS technique, an anti-cheating mechanism for Witkey e-commerce is proposed, which is combined with Witkey credit evaluation system.
A General 3D Campus Navigator System
Authors: Jing Wang, Zhi Lin
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

This paper is to practice the art of three-dimensional map based on a university campus which can be used for tourism. The spatial elements and animated character are initially built in Maya, and exported into Virtools. This paper explores ways to make the system interactive and view in the web using Virtools. This paper also presents a general system architecture which is able to be reused in other three-dimensional maps with a little modification.
Modeling Clinical Protocols Using Semantic MediaWiki: The Case of the Oncocure Project
Authors: Claudio Eccher, Antonella Ferro, Andreas Seyfang, Marco Rospocher, Silvia Miksch
Venue: Knowledge Management for Health Care Procedures: ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers (2009)

A computerized Decision Support Systems (DSS) can improve the adherence of the clinicians to clinical guidelines and protocols. The building of a prescriptive DSS based on breast cancer treatment protocols and its integration with a legacy Electronic Patient Record is the aim of the Oncocure project. An important task of this project is the encoding of the protocols in computer-executable form -- a task that requires the collaboration of physicians and computer scientists in a distributed environment. In this paper, we describe our project and how semantic wiki technology was used for the encoding task. Semantic wiki technology features great flexibility, allowing to mix unstructured information and semantic annotations, and to automatically generate the final model with minimal adaptation cost. These features render semantic wikis natural candidates for small to medium scale modeling tasks, where the adaptation and training effort of bigger systems cannot be justified. This approach is not constrained to a specific protocol modeling language, but can be used as a collaborative tool for other languages. When implemented, our DSS is expected to reduce the cost of care while improving the adherence to the guideline and the quality of the documentation.
Robust Double Clustering: A Method Based on Alternating Concentration Steps
Authors: Alessio Farcomeni
Venue: Journal of Classification (2009)

We propose two algorithms for robust two-mode partitioning of a data matrix in the presence of outliers. First we extend the robust k-means procedure to the case of biclustering, then we slightly relax the definition of outlier and propose a more flexible and parsimonious strategy, which anyway is inherently less robust. We discuss the breakdown properties of the algorithms, and illustrate the methods with simulations and three real examples.
Effective Keyword Search for Precise Return Information over XML Documents
Authors: Ying Lou, Zhanhuai Li, Meng Han, Juan Xu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

Meaningful and useful return information is extraordinary important for information retrieval and XML keyword search. In this work, based on analysis the structure of XML document, we propose an algorithm to classify return matched nodes, we present formal analysis on LCA (lowest common ancestor)nodes ranking and LCA sub-tree refining to obtain precise return information. Experimental studies show the effectiveness of the proposed algorithm.
Open vehicular data interfaces for in-car context inference
Authors: Matthias Kranz, Eduard Weber, Korbinian Frank, Daniel Hermosilla Galceran
Venue: Proceedings of the 1st International Conference on Automotive User Interfaces and Interactive Vehicular Applications (2009)

In this paper, we present a concept for an open vehicular data interface and describe it's components and architecture. We discuss the enabled applications in the context of advanced driver assistance systems with a focus on human-machine interfaces, vehicle-to-x (V2X) communication and context inference systems. We conclude by a presentation of the initial implementation and deployed system.
An Immune-Inspired Approach to Qualitative System Identification of the Detoxification Pathway of Methylglyoxal
Authors: Wei Pang, George M. Coghill
Venue: Proceedings of the 8th International Conference on Artificial Immune Systems (2009)

In this paper, a qualitative model learning (QML) system is proposed to qualitatively reconstruct the detoxification pathway of Methylglyoxal. First a converting algorithm is implemented to convert possible pathways to qualitative models. Then a general learning strategy is presented. To improve the scalability of the proposed QML system and make it adapt to future more complicated pathways, an immune-inspired approach, a modified clonal selection algorithm, is proposed. The performance of this immune-inspired approach is compared with those of exhaustive search and two backtracking algorithms. The experimental results indicate that this approach can significantly improve the search efficiency when dealing with some complicated pathways with large-scale search spaces.