ppxscal/embedding_network huggingface dataset:
EFM: A Model for Educational Game Design
Authors: Minzhu Song, Sujing Zhang
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

The research and development of educational game in our country is still in a primary stage, and effective models and ideas for educational game design are of great lack. The educational game can not only be considered as a kind of instructional media, but also as a games-learning environment. The paper proposed the EFM model for educational game design through describing the internal connection of motivation, flow, effective learning environment and educational game. Toward creating an effective learning environment, the EFM model aims at inspiring motivation through flow. Based on this model, some ideas are suggested, intending to provide some design guidelines for researchers and developers of educational game.
Distinguishing between FE and DDoS Using Randomness Check
Authors: Hyundo Park, Peng Li, Debin Gao, Heejo Lee, Robert H. Deng
Venue: Proceedings of the 11th international conference on Information Security (2008)

Threads posed by Distributed Denial of Service (DDoS) attacks are becoming more serious day by day. Accurately detecting DDoS becomes an important and necessary step in securing a computer network. However, Flash Event (FE), which is created by legitimate requests, shares very similar characteristics with DDoS in many aspects and makes it hard to be distinguished from DDoS attacks. In this paper, we propose a simple yet effective mechanism called FDD (FE and DDoS Distinguisher) to distinguish FE and DDoS. To the best of our knowledge, this is the first effective and practical mechanism that distinguishes FE and DDoS attacks. Our trace-driven evaluation shows that FDD distinguishes between FE and DDoS attacks accurately and efficiently by utilizing only memory of a very small size, making it possible to be implemented on high-speed networking devices.
The Role of Hierarchies in Exploratory Data Mining
Authors: Raghu Ramakrishnan
Venue: Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I (2008)

In a broad range of data mining tasks, the fundamental challenge is to efficiently explore a very large space of alternatives. The difficulty is two-fold: first, the size of the space raises computational challenges, and second, it can introduce data sparsity issues even in the presence of very large datasets. In this talk, well consider how the use of hierarchies (e.g., taxonomies, or the OLAP multidimensional model) can help mitigate the problem.
On the Joint Use of a Structural Signature and a Galois Lattice Classifier for Symbol Recognition
Authors: Mickaël Coustaty, Stéphanie Guillas, Muriel Visani, Karell Bertet, Jean-Marc Ogier
Venue: Graphics Recognition. Recent Advances and New Opportunities: 7th International Workshop, GREC 2007, Curitiba, Brazil, September 20-21, 2007. Selected Papers (2008)

In this paper, we propose a new approach for symbol recognition using structural signatures and a Galois Lattice as classifier. The structural signatures are based on topological graphs computed from segments which are extracted from the symbol images by using an adapted Hough transform. These structural signatures, which can be seen as dynamic paths which carry high level information, are robust towards various transformations. They are classified by using a Galois Lattice as a classifier. The performances of the proposed approach are evaluated on the GREC03 symbol database and the experimental results we obtain are encouraging.
Common Format for Quantum Chemistry Interoperability: Q5Cost Format and Library
Authors: Anthony Scemama, Antonio Monari, Celestino Angeli, Stefano Borini, Stefano Evangelisti, Elda Rossi
Venue: Proceeding sof the international conference on Computational Science and Its Applications, Part I (2008)

A particular data format for interchange, specifically designed for Quantum Chemistry programs, was proposed within a COST activity. The new features of the recent version 1.0 are presented, together with the Q5Cost library that makes it possible to use the data format within a user program. The problem of a general description of the wave function is presented as well as the adopted strategy for including it into the data format. Several utilities have been delivered for the use of the developers and the users of the library, as well as various converters for well known Quantum Chemistry codes.
Trading Infinite Memory for Uniform Randomness in Timed Games
Authors: Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
Venue: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (2008)

We consider concurrent two-player timed automaton games with ¿-regular objectives specified as parity conditions. These games offer an appropriate model for the synthesis of real-time controllers. Earlier works on timed games focused on pure strategies for each player. We study, for the first time, the use of randomized strategies in such games. While pure (i.e., nonrandomized) strategies in timed games require infinite memory for winning even with respect to reachability objectives, we show that randomized strategies can win with finite memory with respect to all parity objectives. Also, the synthesized randomized real-time controllers are much simpler in structure than the corresponding pure controllers, and therefore easier to implement. For safety objectives we prove the existence of pure finite-memory winning strategies. Finally, while randomization helps in simplifying the strategies required for winning timed parity games, we prove that randomization does not help in winning at more states.
Video Object Segmentation Using Graphs
Authors: Salvador B. Mármol, Nicole M. Artner, Adrian Ion, Walter G. Kropatsch, Csaba Beleznai
Venue: Proceedings of the 13th Iberoamerican congress on Pattern Recognition: Progress in Pattern Recognition, Image Analysis and Applications (2008)

This paper presents an approach for video object segmentation. The main idea of our approach is to generate a planar, triangulated, and labeled graph that describes the scene, foreground objects and background. With the help of the Kanade-Lucas-Tomasi Tracker, corner points are tracked within a video sequence. Then the movement of the points adaptively generates a planar triangulation. The triangles are labeled as rigid, articulated, and separating depending on the variation of the length of their edges.
Microcomputer Graphics and Applications with NAPLPS Videotex
Authors: Keith Chang
Venue: IEEE Computer Graphics and Applications (1985)

The microcomputer-based videotex decoder terminal could be just what the videotex industry has been looking for. Is it too soon to predict wedding bells for these converging technologies?
Stakeholder involvement in the design and development of a domestic well-being indicator system
Authors: Nubia M. Gil, Nicolas A. Hine, John L. Arnott
Venue: Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility (2008)

Older people living in their own dwelling may be at increasing risk of loss of well-being and quality of life as a result of changes in health or personal circumstances. Processing the information gathered from sensors in the home and presenting it in the form of functional and practical interfaces to users might help decision-making before a critical situation arises in the older adult's life. The objectives of this study were to understand how to include various stakeholders in the design process and how to design intuitive and self-explanatory interfaces for older people and carers.
List edge and list total colorings of planar graphs without short cycles
Authors: Bin Liu, Jianfeng Hou, Guizhen Liu
Venue: Information Processing Letters (2008)

Let G be a planar graph with maximum degree @D(G). We use @g"l^'(G) and @g"l^''(G) to denote the list edge chromatic number and list total chromatic number of G, respectively. In this paper, it is proved that @g"l^'(G)=@D(G) and @g"l^''(G)=@D(G)+1 if @D(G)>=6 and G has neither C"4 nor C"6, or @D(G)>=7 and G has neither C"5 nor C"6, where C"k is a cycle of length k.
Herbrand Sequent Extraction
Authors: Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo
Venue: Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics (2008)

Computer generated proofs of interesting mathematical theorems are usually too large and full of trivial structural information, and hence hard to understand for humans. Techniques to extract specific essential information from these proofs are needed. In this paper we describe an algorithm to extract Herbrand sequents from proofs written in Gentzen's sequent calculus LK for classical first-order logic. The extracted Herbrand sequent summarizes the creative information of the formal proof, which lies in the instantiations chosen for the quantifiers, and can be used to facilitate its analysis by humans. Furthermore, we also demonstrate the usage of the algorithm in the analysis of a proof of the equivalence of two different definitions for the mathematical concept of lattice, obtained with the proof transformation system CERES.
An Optimization of System for Automatic Recognition of Ischemic Stroke Areas in Computed Tomography Images
Authors: Darius Grigaitis, Vaida Bartkutė, Leonidas Sakalauskas
Venue: Informatica (2007)

The paper considers application of stochastic optimization to system of automatic recognition of ischemic stroke area on computed tomography (CT) images. The algorithm of recognition depends on five inputs that influence the results of automatic detection. The quality of recognition is measured by size of conjunction of ethalone image and the image calculated by the program of automatic detection. The method of Simultaneous Perturbation Stohastic Approximation algorithm with the Metropolis rule has been applied to the optimization of the quality of image recognition. The Monte-Carlo simulation experiment was performed in order to evaluate the properties of developed algorithm.
Energy Efficiency and Productivity of China: Compared with Other Countries
Authors: X. P. Xu, L. Liang
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

Energy intensity (EI) is a commonly used index to estimate energy efficiency (EE) for countries, but it neglects the specific structure of energy consumption. We present a new index named weighted energy intensity (WEI), where weights are computed by a linear programming model named weighted energy intensity model (WEIM) and prove that it is equal to CCR model in DEA with one-output system. A comparison between WEI and EI is demonstrated. Results show that EI has underestimated EE of China and WEI is more accordant with real situation. We also use malmquist index (MI) to analyze changes of EE, frontier technology and total factor productivity of China over period 2000-2003.
Fairness Emergence through Simple Reputation
Authors: Adam Wierzbicki, Radoslaw Nielek
Venue: Proceedings of the 5th international conference on Trust, Privacy and Security in Digital Business (2008)

Trust Management is widely used to support users in making decisions in open, distributed systems. If two sellers on e-Bay have similar goods and service, similar marketing, they should also have similar income and reputation. Such an expectation can be formulated as a hypothesis: in realistic reputation (or trust management) systems, fairness should be an emergent property. The notion of fairness can be precisely defined and investigated based on the theory of equity. In this paper, we investigate the Fairness Emergence hypothesis in reputation systems and prove that in realistic circumstances, the hypothesis is valid. However, Fairness Emergence is not a universal phenomenon: in some circumstances it would be possible for one of two similar sellers to be better off. We study the sensitivity of Fairness Emergence to various aspects of a reputation systems.
Research and Implementation of Web-Based E-Learning Course Auto-generating Platform
Authors: Zhijun Wang, Xue Wang, Xu Wang
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

Aiming at the actuality that it is difficult and high-cost to teachers whose professions are non-computer to develop web-based E-Learning courses in traditional way, the research developed a platform of auto-generating web-based E-Learning courses by adopting systemic and scientific method and technology of ASP.NET 2.0. In the platform, through some simple operations, for instance, selecting function modules of teaching activities and editing teaching contents according to instructional strategies, an independent web-based E-Learning course which is in accordance with characters of students and subject and teaching regulations of E-Learning can be generated and the instructional design philosophy of teachers can be realized. The web-based course generated by the platform can be maintained easily and updated again and again.
Haar Wavelets and Edge Orientation Histograms for On---Board Pedestrian Detection
Authors: David Gerónimo, Antonio López, Daniel Ponsa, Angel D. Sappa
Venue: Proceedings of the 3rd Iberian conference on Pattern Recognition and Image Analysis, Part I (2007)

On---board pedestrian detection is a key task in advanced driver assistance systems. It involves dealing with aspect---changing objects in cluttered environments, and working in a wide range of distances, and often relies on a classification step that labels image regions of interest as pedestrians or non---pedestrians. The performance of this classifier is a crucial issue since it represents the most important part of the detection system, thus building a good classifier in terms of false alarms, missdetection rate and processing time is decisive. In this paper, a pedestrian classifier based on Haar wavelets and edge orientation histograms (HW+EOH) with AdaBoost is compared with the current state---of---the---art best human---based classifier: support vector machines using histograms of oriented gradients (HOG). The results show that HW+EOH classifier achieves comparable false alarms/missdetections tradeoffs but at much lower processing time than HOG.
A Novel Multi-robot Coordination Method Based on Reinforcement Learning
Authors: Jian Fan, Minrui Fei, Likang Shao, Feng Huang
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

Focusing on multi-robot coordination, role transformation and reinforcement learning method are combined in this paper. Under centralize control framework, the distance nearest rule which means that the nearest robot ranges from obstacles is selected to be the master robot for controlling salve robots is presented. Meanwhile, different from traditional way which reinforcement learning is applied in online learning of multi-robot coordination, this paper proposed a novel behavior weight method based on reinforcement learning, the robot behavior weights are optimized through interacting with environment and the coordination policy based on maximum behavior value is presented to plan the collision avoidance behavior of robot. The learning method proposed in this paper is applied to the application related to collaboration movement of mobile robots and demonstrated by the simulation results presented in this paper.
An Effective Data Processing Method for Fast Clustering
Authors: Hyun-Joo Moon, Sangheon Kim, Jongbae Moon, Eun-Ser Lee
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

Because of the extensive diffusion of Internet usage, heterogeneous computing platforms, and ubiquitous computing technologies, Web data that are usually written in XML format are explosively increased. With the growth of Web data and the importance of their clustering, we need similarity detection method because it is a fundamental technology for efficient document management. In this paper, we introduce a similarity detection method that can check both semantic similarity and structural similarity between XML DTDs. For semantic checking, we adopt ontology technology, and we apply longest common string and longest nesting common string methods for structural checking. Our similarity detection method uses multi-tag sequences instead of traversing XML schema trees, so that it gets fast and reasonable results.
Source Norms and Self-regulated Institutions
Authors: Rossella Rubino, Giovanni Sartor
Venue: Computable Models of the Law: Languages, Dialogues, Games, Ontologies (2008)

In this paper we shall focus on an important class of constitutive norms, which we shall call source-norms, namely those norms establishing what norms, on basis of what properties, validly belong to a normative system. Institutions including their own source-norms --- here called Self-Regulated Institutions --- are able to incorporate dynamically and autonomously new norms in their normative systems. After describing these concepts, we shall present a formal model of source-norms built by exploiting the PRATOR system for defeasible argumentation and we shall try to apply it to electronic institutions.
Learning with Lq < 1 vs L1-Norm Regularisation with Exponentially Many Irrelevant Features
Authors: Ata Kabán, Robert J. Durrant
Venue: Proceedings of the 2008 European Conference on Machine Learning and Knowledge Discovery in Databases - Part I (2008)

We study the use of fractional norms for regularisation in supervised learning from high dimensional data, in conditions of a large number of irrelevant features, focusing on logistic regression. We develop a variational method for parameter estimation, and show an equivalence between two approximations recently proposed in the statistics literature. Building on previous work by A.Ng, we show the fractional norm regularised logistic regression enjoys a sample complexity that grows logarithmically with the data dimensions and polynomially with the number of relevant dimensions. In addition, extensive empirical testing indicates that fractional-norm regularisation is more suitable than L1 in cases when the number of relevant features is very small, and works very well despite a large number of irrelevant features.
Abstracting Complex Data Structures by Hyperedge Replacement
Authors: Stefan Rieger, Thomas Noll
Venue: Proceedings of the 4th international conference on Graph Transformations (2008)

We present a novel application of hyperedge replacement grammars, showing that they can serve as an intuitive formalism for abstractly modeling dynamic data structures. The aim of our framework is to extend finite-state verification techniques to handle pointer-manipulating programs operating on complex dynamic data structures that are potentially unbounded in their size. The idea is to represent both abstraction mappings on user-defined dynamic data structures and the (abstract) semantics of pointer-manipulating operations using graph grammars, supporting a smooth integration of the two aspects. We demonstrate how our framework can be employed for analysis and verification purposes, e.g., to prove that a procedure preserves structural invariants of the heap.
Topology optimization-based distribution design of actuation voltage in static shape control of plates
Authors: Zhan Kang, Liyong Tong
Venue: Computers and Structures (2008)

This paper investigates the optimal spatial distribution of single-channel actuation voltage in static structural shape control problem. It is pointed out that single-channel actuation voltage input for shape control applications is of practical importance due to its ease of implementation. The Mindlin plate theory is used in the finite element modeling of laminates with piezoelectric layers. The optimal distribution of the single-channel actuation voltage is formulated as a discrete optimization problem with tri-level design variables, where a least-square function measuring the structural shape error is to be minimized under a constraint on the control effort. Such a problem is then transformed into a continuous one by introducing element-wise artificial design variables defining the topological feature of the control voltage distribution. A power-law function relating the design variables and the applied voltages is proposed to penalize intermediate values of the design variables. Based on the sensitivity analysis, the problem is solved effectively using the MMA algorithm tailored for constrained least-square problems. Numerical examples presented demonstrate the validity of the proposed problem formulation and numerical approaches.
Using internet multimedia to promote the local business: a case study of Alishan
Authors: Tingsheng Weng
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

Values created by business and individual activities, such as e-commerce, digitalized lifestyle, and online learning, have gained high expectations with the worldwide popularity of information and network technologies. As a result, the digitalized society has been vigorously created. In this study, we used the keyword "Alishan" to search related information via Yahoo and Google, and did not found any websites built by 3D digital technique. The rise of globalization has caused the reproduction of foreign culture and sightseeing areas as well as the competition of tourism in the world, which urges the promotions of tourism in Taiwan. People have become aware of the importance of tourism, and the government has started to promote local cultural and recreational activity. By using the internet and multi-language to present local history, humanities, and nature, the government can sufficiently present local county's abundant features and effectively attract tourists. This paper combines the multi-media technology to build an interactive 2D/3D website for Alishan tour guide. It offers multi-languages options, including Chinese, English, and Japanese. This website presents the sunrise by dynamics 3D technology, and provides 3D guidance of each Alishan railway station. It also offers e-book to introduce the indigenous Tsou people's festivals and particular eco-sightseeing source. By introducing Alishan to the world on the Internet, we also provide e-book that enhances the e-learning activity, and information about digital life. The richness of information will promote Taiwan in international culture development and tourist market.
Topology Preserving Tetrahedral Decomposition of Trilinear Cell
Authors: Bong-Soo Sohn
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

We describe a method to decompose a cube with trilinear interpolation into a set of tetrahedra with linear interpolation, where isosurface topology is preserved during decomposition for all isovalues. This method is useful for converting from a rectilinear grid into a tetrahedral grid in scalar data with topological correctness. We apply our method to topologically and geometrically accurate isosurface extraction.