ppxscal/embedding_network huggingface dataset:
A Structural and Semantic Probabilistic Model for Matching and Representing a Set of Graphs
Authors: Albert Solé-Ribalta, Francesc Serratosa
Venue: Proceedings of the 7th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern Recognition (2009)

This article presents a structural and probabilistic framework for representing a class of attributed graphs with only one structure. The aim of this article is to define a new model, called Structurally-Defined Random Graphs. This structure keeps together statistical and structural information to increase the capacity of the model to discern between attributed graphs within or outside the class. Moreover, we define the match probability of an attributed graph respect to our model that can be used as a dissimilarity measure. Our model has the advantage that does not incorporate application dependent parameters such as edition costs. The experimental validation on a TC-15 database shows that our model obtains higher recognition results, when there is moderate variability of the class elements, than several structural matching algorithms. Indeed in our model fewer comparisons are needed.
Pull and Push: Proximity-Aware User Interface for Navigating in 3D Space Using a Handheld Camera
Authors: Mingming Fan, Yuanchun Shi
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part III: Ubiquitous and Intelligent Interaction (2009)

In the 3D object controlling or virtual space wandering tasks, it is necessary to provide the efficient zoom operation. The common method is using the combination of the mouse and keyboard. This method requires users familiar with the operation which needs much time to practice. This paper presents two methods to recognize the zoom operation by sensing users' pull and push movement. People only need to hold a camera in hand and when they pull or push hands, our approach will sense the proximity and translate it into the zoom operation in the tasks. By user studies, we have compared different methods' correct rate and analyzed the factors which will affect the approach's performance. The results show that our methods are real-time and high accurate.
Automatically generating hypertext in newspaper articles by computing semantic relatedness
Authors: Stephen J. Green
Venue: Proceedings of the Joint Conferences on New Methods in Language Processing and Computational Natural Language Learning (1998)

We discuss an automatic method for the construction of hypertext links within and between newspaper articles. The method comprises three steps: determining the lexical chains in a text, building links between the paragraphs of articles, and building links between articles. Lexical chains capture the semantic relations between words that occur throughout a text. Each chain is a set of related words that captures a portion of the cohesive structure of a text. By considering the distribution of chains within an article, we can build links between the paragraphs. By computing the similarity of the chains contained in two different articles, we can decide whether or not to place a link between them. We also describe the results of an evaluation performed to test the methodology.
Flow field simulation calculation and Analysis for Cavitation Jet Nozzle
Authors: Li Zhao-jie, Deng Song-sheng, Wu Jian-jun, Zhang Pan-feng, Shen Yin-hua, Feng Jian
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 03 (2009)

Mathematical model of cavitation jet flow is studied, hydraulic characters of the designed conical nozzle and angle nozzle are simulated in developed cavitation jet flow experimental equipment, the simulated velocity of flow field, pressure and cavity density is analyzed, which guiding the design of nozzle, and providing data fundmenatal for further cavitation jet flow field simulation and experimental study.
Columbia Newsblaster: multilingual news summarization on the web
Authors: David Kirk Evans, Judith L. Klavans, Kathleen R. McKeown
Venue: Demonstration Papers at HLT-NAACL 2004 on XX (2004)

We present the new multilingual version of the Columbia Newsblaster news summarization system. The system addresses the problem of user access to browsing news from multiple languages from multiple sites on the internet. The system automatically collects, organizes, and summarizes news in multiple source languages, allowing the user to browse news topics with English summaries, and compare perspectives from different countries on the topics.
Research on Used Electric and Electronic Equipment in China
Authors: Huang Chao, Ma Xiuqin, Hidetaka Hayashi
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

The production of electric and electronic equipment is one of the fastest growing areas. This development has resulted in an increase of waste electric and electronic equipment. In view of the environmental problems involved in the management of wasted EEE, many counties and organizations have drafted national legislation to improve the reuse, recycling and other forms of recovery of such wastes so as to reduce disposal. The existing recycling system (direct way to material recycling) is one solution for both saving materials and reducing environmental impact. But the recycled value is very limited [1] [2] and loosing values of used EEE. The purpose of this paper is intended to have clear picture on the demand of second hand market of used EEE to propose optimal recycling system in China.
Multi-band Gradient Component Pattern (MGCP): A New Statistical Feature for Face Recognition
Authors: Yimo Guo, Jie Chen, Guoying Zhao, Matti Pietikäinen, Zhengguang Xu
Venue: Proceedings of the 16th Scandinavian Conference on Image Analysis (2009)

A feature extraction method using multi-frequency bands is proposed for face recognition, named as the Multi-band Gradient Component Pattern (MGCP). The MGCP captures discriminative information from Gabor filter responses in virtue of an orthogonal gradient component analysis method, which is especially designed to encode energy variations of Gabor magnitude. Different from some well-known Gabor-based feature extraction methods, MGCP extracts geometry features from Gabor magnitudes in the orthogonal gradient space in a novel way. It is shown that such features encapsulate more discriminative information. The proposed method is evaluated by performing face recognition experiments on the FERET and FRGC ver 2.0 databases and compared with several state-of-the-art approaches. Experimental results demonstrate that MGCP achieves the highest recognition rate among all the compared methods, including some well-known Gabor-based methods.
Computing the Local Continuity Order of Optical Flow Using Fractional Variational Method
Authors: K. Kashu, Y. Kameda, A. Imiya, T. Sakai, Y. Mochizuki
Venue: Proceedings of the 7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition (2009)

We introduce variational optical flow computation involving priors with fractional order differentiations. Fractional order differentiations are typical tools in signal processing and image analysis. The zero-crossing of a fractional order Laplacian yields better performance for edge detection than the zero-crossing of the usual Laplacian. The order of the differentiation of the prior controls the continuity class of the solution. Therefore, using the square norm of the fractional order differentiation of optical flow field as the prior, we develop a method to estimate the local continuity order of the optical flow field at each point. The method detects the optimal continuity order of optical flow and corresponding optical flow vector at each point. Numerical results show that the Horn-Schunck type prior involving the n + ¿ order differentiation for 0 < ¿< 1 and an integer n is suitable for accurate optical flow computation.
3D polyomino puzzle
Authors: Kui-Yip Lo, Chi-Wing Fu, Hongwei Li
Venue: ACM SIGGRAPH Asia 2009 papers (2009)

This paper presents a computer-aided geometric design approach to realize a new genre of 3D puzzle, namely the 3D Polyomino puzzle. We base our puzzle pieces on the family of 2D shapes known as polyominoes in recreational mathematics, and construct the 3D puzzle model by covering its geometry with polyominolike shapes. We first apply quad-based surface parametrization to the input solid, and tile the parametrized surface with polyominoes. Then, we construct a nonintersecting offset surface inside the input solid and shape the puzzle pieces to fit inside a thick shell volume. Finally, we develop a family of associated techniques for precisely constructing the geometry of individual puzzle pieces, including the ring-based ordering scheme, the motion space analysis technique, and the tab and blank construction method. The final completed puzzle model is guaranteed to be not only buildable, but also interlocking and maintainable.
Spatial Variation of Plant Diversity and Vegetation-Environment Relationships in the South Part of Gurbantunggut Desert, Xinjiang, China
Authors: Huai-bao Zhao, Tong Liu, Ye Tao, Long-de Sun
Venue: Proceedings of the 2009 International Conference on Environmental Science and Information Application Technology - Volume 03 (2009)

This study provides an analysis of environmental factors, vegetation types as well as species distribution in 46 sites in the southern part of Gurbantunggut desert, and focuses on the vegetation-environment relationships. A total of 104 species belonging to 80 genera, 27 families of the vascular plants are recorded. The largest families were Compositae, Chenopodiaceae, Cruciferae and Leguminosae. Hemicryptophytes and therophytes were the most abundant life-form. The woody perennials constitute only 19.2% of the recorded species, while grasses are highly dominated (80.8%).The distribution relative frequency of majority species were lower; Species distribution reveal obvious heterogeneity of aspect of the longitude , latitude and slope position. Classification of the vegetation is analyzed using two-way indicator species analysis (TWINSPAN) techniques resulted in the recognition of eight vegetation groups. Ordination techniques as detrended correspondence analysis (DCA) and detrended canonical correspondence analysis (DCCA) are used to examine the relationship between the vegetation and environmental parameters. The first two axes explaining 36.98% of the cumulative variance. As a whole, the macro-environment factors including PRE, ELEV, LAT and LONG are primary environmental factors affecting spatial variation of plant diversity, in which PRE is the most important factor, soil factors are relatively weak. These findings provide a fundamental step in selecting different vegetation types and focusing on the main limiting factors in management and ecological restoration in the desert.
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Authors: Geoff Sutcliffe, Christoph Benzmüller, Chad E. Brown, Frank Theiss
Venue: Proceedings of the 22nd International Conference on Automated Deduction (2009)

The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-order Automated Theorem Proving (ATP) systems. Recently, the TPTP has been extended to include problems in higher-order logic, with corresponding infrastructure and resources. This paper describes the practical progress that has been made towards the goal of TPTP support for higher-order ATP systems.
Formalisms for Specifying Markovian Population Models
Authors: Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf
Venue: Proceedings of the 3rd International Workshop on Reachability Problems (2009)

We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages --matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, and guarded command models-- all describe continuous-time Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, ease of use, and the support they provide for checking the well-formedness of a model and for analyzing a model.
Automating Microsoft Office Word in Visual Basic
Authors: Hongqi Gong, Lihua Li, Guangyong Sun, Hongyu Zhao
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 01 (2009)

With its worldwide popularity, Microsoft Word has become the leading word-processing program on earth. Microsoft Word, like the other components in the Microsoft Office suite, provides an abundant set of ActiveX controls that can be utilized in most programming languages. The five chief ActiveX controls from the Microsoft Word object library are Application, Windows, Documents, Selection and Range. Methods and properties of those objects form the base stone of Word automation. A sample Visual Basic program exemplifies the automation of routine procedures, such as starting Word, adding, saving and closing documents, copying and pasting text. Familiarity with ActiveX controls from Microsoft Word will effectively boost the efficiency of office work.
Automatic lexical acquisition from raw corpora: an application to Russian
Authors: Antoni Oliver, Irene Castellón, Lluís Màrquez
Venue: Proceedings of the 2003 EACL Workshop on Morphological Processing of Slavic Languages (2003)

This paper presents a methodology for the automatic acquisition of lexical and morpho-syntactic information from raw corpora. The system uses information about the inflectional morphology declared by rules and is based on the co-occurrence of different forms of the same paradigm in the corpus. A direct application of this methodology gives very poor precision rates due to rule interaction between paradigms. We present a rule analysis algorithm that solves this problem, giving quite better precision rates, although recall decreases dramatically. Finally, we investigate some techniques to raise the recall, achieving recall rates around 67% with a precision of 92%.
The Application of Membership Degree Transformation New Algorithm in Military Transportation Performance Evaluation
Authors: Kai-di Liu, Jin Wang, Jun-hu Ruan
Venue: Proceedings of the 2009 IITA International Conference on Control, Automation and Systems Engineering (case 2009) (2009)

The core of performance fuzzy evaluation is membership degree transformation. But the transformation methods should be questioned, because redundant data in index membership degree is also used to compute object membership degree, which is not useful for object classification. The new algorithm is: using data mining technology based on entropy to mine knowledge information about object classification hidden in every index, affirm the relationship of object classification and index membership, eliminate the redundant data in index membership for object classification by defining distinguishable weight and extract valid values to compute object membership. The paper applied the new algorithm in the fuzzy evaluation on military transportation performance.
The Roles of Profession and Gender in Some PIM Tasks
Authors: Guangfeng Song, Chen Ling
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, the roles of selected individual difference factors were examined in some personal information management (PIM) tasks. A questionnaire was completed by 295 participants regarding their personal characteristics, retrieval of previously saved information, and selective use of multiple computers. Clustering of individual difference factors suggested further analysis of profession and gender as classifiers. Profession seemed to modulate the behaviors and attitudes of users in these PIM tasks. And certain gender difference in PIM tasks could be explained by different expectations or standards.
Multi-Meanings Image Synthesis System
Authors: Wenzhao Liu, Minyong Shi
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 02 (2009)

A system for multi-meanings image synthesis based on wavelet transform is presented. The multi-meanings image was produced by two target images with different interpretations and two viewing distances or angles of view presented by user. The two target images were decomposed by wavelet transform with the scale which was selected by visual angles. The multi-meanings image viewed in two angles was reconstructed by elective fusion algorithms and variable weight. Compare and analysis was taken between the synthesis technique based on wavelet transform and two methods ago. Experimental results show that the images produced by the system had better characteristics of multi-meanings and compelling visible effect, and the images contained sufficient color and details of original images. The results were averaged for denoising.
A Computational Implementation of a Human Attention Guiding Mechanism in MIDAS v5
Authors: Brian F. Gore, Becky L. Hooey, Christopher D. Wickens, Shelly Scott-Nash
Venue: Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009 (2009)

In complex human-machine systems, the human operator is often required to intervene to detect and solve problems. Given this increased reliance on the human in these critical human-machine systems, there is an increasing need to validly predict how operators allocate their visual attention. This paper describes the information-seeking (attention-guiding) model within the Man-machine Integration Design and Analysis System (MIDAS) v5 software - a predictive model that uses the Salience, Effort, Expectancy and Value (SEEV) of an area of interest to guide a person's attention. The paper highlights the differences between using a probabilistic fixation approach and the SEEV approach in MIDAS to drive attention.
The Effects of Prior Knowledge on the Use of Adaptive Hypermedia Learning Systems
Authors: Freddy Mampadi, Sherry Chen, Gheorghita Ghinea
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

Prior knowledge and cognitive styles are considered important determinants in adaptive hypermedia learning systems (AHLSs) as they influence how learners select information to put into memory. However, there is a need to investigate how they influence learner performance and perceptions prior to comparing them and establishing if they can be used together to maximise learning in AHLSs. To this end, this study investigated the effects of prior knowledge on the use of AHLSs to set the foundation for the comparison. 60 students participated in this study. The results showed that, in general, adapting to prior knowledge improves learner performance and perceptions, especially for users with low prior knowledge. However, the results also indicated that the relative improvement in learner performance is significantly higher than that of perceptions when using the AHLS. The implications of the design of AHLSs are discussed by the paper.
Inferring tutorial dialogue structure with hidden Markov modeling
Authors: Kristy Elizabeth Boyer, Eun Young Ha, Robert Phillips, Michael D. Wallis, Mladen A. Vouk, James C. Lester
Venue: Proceedings of the Fourth Workshop on Innovative Use of NLP for Building Educational Applications (2009)

The field of intelligent tutoring systems has seen many successes in recent years. A significant remaining challenge is the automatic creation of corpus-based tutorial dialogue management models. This paper reports on early work toward this goal. We identify tutorial dialogue modes in an unsupervised fashion using hidden Markov models (HMMs) trained on input sequences of manually-labeled dialogue acts and adjacency pairs. The two best-fit HMMs are presented and compared with respect to the dialogue structure they suggest; we also discuss potential uses of the methodology for future work.
Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata
Authors: Martin Fränzle, Mani Swaminathan
Venue: Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems (2009)

We investigate the optimum reachability problem for Multi-Priced Timed Automata (MPTA) that admit both positive and negative costs on edges and locations, thus bridging the gap between the results of Bouyer et al. (2007) and of Larsen and Rasmussen (2008). Our contributions are the following: (1) We show that even the location reachability problem is undecidable for MPTA equipped with both positive and negative costs, provided the costs are subject to a bounded budget, in the sense that paths of the underlying Multi-Priced Transition System (MPTS) that operationally exceed the budget are considered as not being viable. This undecidability result follows from an encoding of Stop-Watch Automata using such MPTA, and applies to MPTA with as few as two cost variables, and even when no costs are incurred upon taking edges. (2) We then restrict the MPTA such that each viable quasi-cyclic path of the underlying MPTS incurs a minimum absolute cost. Under such a condition, the location reachability problem is shown to be decidable and the optimum cost is shown to be computable for MPTA with positive and negative costs and a bounded budget. These results follow from a reduction of the optimum reachability problem to the solution of a linear constraint system representing the path conditions over a finite number of viable paths of bounded length.
Bounded edge-connectivity and edge-persistence of Cartesian product of graphs
Authors: You Lu, Jun-Ming Xu, Xin-Min Hou
Venue: Discrete Applied Mathematics (2009)

The bounded edge-connectivity @l"k(G) of a connected graph G with respect to k(>=d(G)) is the minimum number of edges in G whose deletion from G results in a subgraph with diameter larger than k and the edge-persistence D^+(G) is defined as @l"d"("G")(G), where d(G) is the diameter of G. This paper considers the Cartesian product G"1xG"2, shows @l"k"""1"+"k"""2(G"1xG"2)>=@l"k"""1(G"1)+@l"k"""2(G"2) for k"1>=2 and k"2>=2, and determines the exact values of D^+(G) for G=C"nxP"m, C"nxC"m, Q"nxP"m and Q"nxC"m.
Development of a Method for Evaluating the Usability of In-Vehicle Information Systems (IVISs)
Authors: Catherine Harvey
Venue: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II (2009)

This project involves the development of a model-based method for the evaluation of design concepts for In-Vehicle Information Systems (IVISs). The evaluation method is aimed specifically at assessing the usability of the Human Machine Interface (HMI) associated with these systems. It is aimed at the very early stages of design and is intended to provide designers with a quick and easy method of evaluating HMI concepts. The evaluation method will be validated and refined using the results from user trials conducted in a driving simulator and on-road, in an instrumented vehicle.