ppxscal/embedding_network huggingface dataset:
Formal Definition of MOF 2.0 Metamodel Components and Composition
Authors: Ingo Weisemöller, Andy Schürr
Venue: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems (2008)

The Meta Object Facility (MOF) is one of the most frequently used languages for the definition of a DSL's abstract syntax. However, its lack of sophisticated modularization concepts in comparison to GPLs such as Ada or component-oriented ADLs makes it hard to maintain a large number of complex metamodels. MOF 2.0 packages can be used to a certain extent to define, refine, and compose language descriptions, but do not offer appropriate support for information hiding as well as for the specification of parametrizable metamodeling components. Motivated by a running example we, therefore, extend MOF 2.0 with concepts for the specification of proper metamodel components with provided export and required import interfaces. Furthermore, we present a formalization of a metamodel component composition operator based on graph morphisms. The resulting component-oriented version of MOF allows language developers to describe reoccurring, parametrizable sublanguages once and instantiate them differently in several metamodels.
The application of blog and benchmarking-digital divide in education and future strategies
Authors: Rong-Jyue Fang, Hung-Jen Yang, Yao-Ming Chu, Chi-Jen Lee, Hua-Lin Tsai, Dai-Hua Li
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

A new star, blog, in digital learning times will be the most convenient method in the learning. The problems of benchmarking and digital divide have to urgently improve to strengthen the condition that students learn actively and raise education effect. Blog, this newly arisen dissemination influence, is coming. Bill Gates, Microsoft chief executive officer, says Blog becomes the fourth network killer application, except three big service networks, "E-mail", "BBS" and "Instant Messenger". The school education is starting a reform tide, containing like "school organization reconstruction", "school-based management" and "school accountability" and so on. The benchmarking learning will be a quite important key factor. The benchmarking learning emphasizes quality management, keeps on improvement, and achievements promotion...etc. These all will affect education reform. The newly arisen subject in "digital divide" has caused great concerns overseas in recent years. If the speed of information handling is slower than the others, the progress will fall behind in any ways. It will make the learners who are not able to acquire equal information sources be more placed in the position of bad situation.
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Authors: R. Grosu, E. Bartocci, F. Corradini, E. Entcheva, S. A. Smolka, A. Wasilewska
Venue: Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control (2008)

We address the problem of specifying and detecting emergent behavior in networks of cardiac myocytes, spiral electric waves in particular, a precursor to atrial and ventricular fibrillation. To solve this problem we: (1) Apply discrete mode-abstraction to the cycle-linear hybrid automata (clha) we have recently developed for modeling the behavior of myocyte networks; (2) Introduce the new concept of spatial-superposition of clha modes; (3) Develop a new spatial logic, based on spatial-superposition, for specifying emergent behavior; (4) Devise a new method for learning the formulae of this logic from the spatial patterns under investigation; and (5) Apply bounded model checking to detect (within milliseconds) the onset of spiral waves. We have implemented our methodology as the Emerald tool-suite, a component of our eha framework for specification, simulation, analysis and control of excitable hybrid automata. We illustrate the effectiveness of our approach by applying Emerald to the scalar electrical fields produced by our CellExcite simulator.
Analysis of Continuous Tracks of Online Aerial Handwritten Character Recognition
Authors: Kazutaka Ogura, Yoshihiro Nishida, Hirokazu Miura, Noriyuki Matsuda, Hirokazu Taki, Norihiro Abe
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III (2008)

This paper describes the on-line handwritten character recognition method in an arbitrary place without the information of up and down moving of the pen lifting. This method can be applied to the character interface (aerial handwritten character recognition device) with which the user moves the hand in the air. To realize the system, we selected the gyro sensor for the aerial handwritten character recognition device. This device can detect the moving direction. The advantage of this device is able to be used anytime and anywhere like a pen. It is not necessary to preparer the table in order to detect absolute position. We developed the blackboard model recognition system that includes 2 types DP matching recognition programs. The system is able to recognize the Japanese hiragana characters in 84% accuracy.
Issues in Architecture Evolution: Using Design Intent in Maintenance and Controlling Dynamic Evolution
Authors: Dewayne E. Perry
Venue: Proceedings of the 2nd European conference on Software Architecture (2008)

Issues in Architecture Evolution: 1) Using design intent in maintenance 2) Controlling dynamic evolution In this keynote talk I will address two issues in software architecture evolution. In Alex Wolf's and my original architecture model, we proposed rationale as one of the major components. Over the years very little has been explored about this issue. The primary purpose of rationale was to record architecture design intent: why are things the way they are? It is only recently that architecture researchers have become interested in capturing design intent. Unfortunately the focus has been (as it was in the 80's on capturing design decisions) on what can we capture and how. I will focus instead on the problem of what design intent do we need when we evolve the architecture design and discuss the work I am doing with my student Paul Grisham. There are a number of interesting contexts where the dynamic evolution of software architectures are of critical importance - for example, self-managing, self-adapting systems, etc. Another interesting context is that of simulating very large, very complex systems. In all these cases, the control of dynamic architecture evolution is a critical issue. In the case of complex simulations we have foreknowledge (indeed, control) of the desired architecture evolution. I will focus on our approach in handling this issue in this context. While this is a fairly narrow context, I believe our approach has applicability in a wider context.
Robust H∞ control for uncertain fuzzy systems with distributed delays via output feedback controllers
Authors: Xiaona Song, Shengyuan Xu, Hao Shen
Venue: Information Sciences: an International Journal (2008)

This paper investigates the problem of robust H"~ output feedback control for a class of uncertain fuzzy systems with distributed delays. The system is described by a state-space Takagi-Sugeno fuzzy model with distributed delays and norm-bounded parameter uncertainties. The aim is to design a fuzzy dynamic output feedback controller which ensures the robust asymptotic stability of the closed-loop system and guarantees an H"~ norm bound constraint on disturbance attenuation for all admissible uncertainties. In terms of linear matrix inequalities, a sufficient condition for the solvability of this problem is presented. Finally, simulation examples are provided to illustrate the effectiveness of the proposed design approach.
Predicting knowledge sharing practices through intention: A test of competing models
Authors: Feng-Yang Kuo, Mei-Lien Young
Venue: Computers in Human Behavior (2008)

In knowledge management (KM)-related research, effective knowledge sharing is considered to be one of the most critical components of KM success. For the present research, the authors conducted a longitudinal, two-phased study to evaluate if the Theory of Reasoned Action (TRA) and three variations of the Theory of Planned Behavior-namely, TPB, decomposed TPB (DTPB), and revised TPB (RTPB)-can adequately predict knowledge sharing behaviors. The first TRA-based study shows a severe limitation in the ability of the intention to predict actual knowledge sharing behaviors collected from a knowledge management platform. In a subsequent study, three variations of TPB-based models were employed to show that, although the independent variables (i.e., attitude, subjective norm, and perceived behavior control that is decomposed into controllability and self-efficacy) give satisfactory explanations of variance in intention (R^2>42%), the intention-behavior gap still exists in each of the three models. Only the perceived self-efficacy in the revised TPB can directly predict knowledge sharing behaviors. This gap highlights the importance of knowledge sharing as a fundamentally social activity for which the actualization of intention into actions may be interrupted due to barriers such as a mistake-free culture or others' deliberate misinterpretations that may in turn cause unanticipated negative consequences to the person. The theoretical implication of this study is that in applying TPB to study knowledge sharing practices, researchers must focus on control beliefs that reflect people's capacity to overcome possible environmental challenges encountered in carrying out their knowledge sharing intentions.
Routing Analysis Using Fuzzy Logic Systems in Wireless Sensor Networks
Authors: Shu-Yin Chiang, Jing-Long Wang
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

This paper presents a novel algorithm for routing analysis in wireless sensor networks utilizing a fuzzy logic system at each node to determine its capability to transfer data based on its relative energy levels, distance and traffic load to maximize the lifetime of the sensor networks. The fuzzy logic system helps for the selection of node to forward packets to the destination. The simulation results show that network lifetime can be improved by employing the proposed routing algorithm.
Leonard triples and hypercubes
Authors: Štefko Miklavič
Venue: Journal of Algebraic Combinatorics: An International Journal (2008)

Let V denote a vector space over ¿ with finite positive dimension. By a Leonard triple on V we mean an ordered triple of linear operators on V such that for each of these operators there exists a basis of V with respect to which the matrix representing that operator is diagonal and the matrices representing the other two operators are irreducible tridiagonal. Let D denote a positive integer and let Q D denote the graph of the D-dimensional hypercube. Let X denote the vertex set of Q D and let $A\in {\rm Mat}_{X}({\mathbb{C}})$ denote the adjacency matrix of Q D . Fix x¿X and let $A^{*}\in {\rm Mat}_{X}({\mathbb{C}})$ denote the corresponding dual adjacency matrix. Let T denote the subalgebra of ${\rm Mat}_{X}({\mathbb{C}})$ generated by A,A *. We refer to T as the Terwilliger algebra of Q D with respect to x. The matrices A and A * are related by the fact that 2i A=A * A ¿ ¿A ¿ A * and 2i A *=A ¿ A¿AA ¿ , where 2i A ¿ =AA *¿A * A and i 2=¿1. We show that the triple A, A *, A ¿ acts on each irreducible T-module as a Leonard triple. We give a detailed description of these Leonard triples.
Binary-Decision-Based Programnmable Controllers
Authors: Paul A. Zsombor-murray, Louis Vroomen, Robert Hudson, Tho Le-Ngoc, Peter Holck
Venue: IEEE Micro (1983)

In certain applications, a microcomputer system employing one or more peripheral binary-decision-based controllers can react more quickly than a system using conventional microprocessor-based controllers.
Fingerprint Classification by Ridgeline and Singular Point Analysis
Authors: Wei Liu, Yonghui Chen, Fang Wan
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

Fingerprint classification is an important indexing method for any large scale fingerprint recognition system or database as a method for reducing the number of fingerprints that need to be searched. Fingerprints are generally classified into broad categories based on global features. This paper describes a new fingerprint classification algorithm that uses some curve features of ridgelines. The algorithm mainly uses the total direction change of the ridgelines to classify the ridgelines. Using these information, classification is performed. The algorithm was tested on NIST-4 database and got a good accuracy for the 6 classes.
Coping with Uncertainty in a Location-Based Game
Authors: Steve Benford, Rob Anastasi, Martin Flintham, Adam Drozd, Andy Crabtree, Chris Greenhalgh, Nick Tandavanitj, Matt Adams, Ju Row-Farr
Venue: IEEE Pervasive Computing (2003)

Location-based games, a new form of entertainment, take place on the city streets. Players equipped with handheld or wearable interfaces move through the city. Sensors capture information about the players' current context, which the game uses to deliver an experience that changes according to their locations, actions, and, potentially, feelings. In collaborative games, you could transmit this information to other players, on the streets or online. The net result is a game that incorporates a player's everyday experience of the city.Moreover, location-based games offer exciting commercial prospects. They build directly on current wireless (but usually disconnected and location independent) games for mobile phones. Analysts predict the market will reach billions of dollars in the new few years, and that it represents a potentially significant income stream for third-generation mobile telephony. This article describes our experiences, focusing on uncertainty, in publicly deploying an experimental, mobile mixed-reality game called Can You See Me Now?. This involved collaboration between the Mixed Reality Laboratory at Nottingham, a partner in the UK's Equator project, and Blast Theory, an artists' group. We've staged CYSMN as an experimental public performance at two new-media festivals-Shooting Live Artists in Sheffield in 2001 and the Dutch Electronic Arts Festival in Rotterdam, 2003. We'll discuss how position and connectivity were subject to uncertainty and how we sought to deal with this, how game players experienced uncertainty, and how game designers might manage uncertainty.
On a parabolic inclusion with integral boundary conditions
Authors: Abdelkader Boucherif
Venue: Proceedings of the American Conference on Applied Mathematics (2008)

This paper deals with the investigation of a one-dimensional parabolic equation with a discontinuous nonlinearity and subjected to integral boundary conditions. The problem is transformed into an integral inclusion. We provide sufficient conditions that guarantee the existence of at least one solution.
Plenary lecture II: fractal time series and tele-traffic
Authors: Ming Li
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

Fractal time series gains applications in various fields of sciences and technologies ranging from financial engineering to network traffic. The speech will describe several models of fractal time series, such as fractional Gaussian noise, the generalized Cauchy process, and so on. Possible applications of fractal time series to networking will be discussed.
Mixed-Integer Vertex Covers on Bipartite Graphs
Authors: Michele Conforti, Bert Gerards, Giacomo Zambelli
Venue: Proceedings of the 12th international conference on Integer Programming and Combinatorial Optimization (2007)

Let A be the edge-node incidence matrix of a bipartite graph G = (U,V;E), I be a subset of the nodes of G, and b be a vector such that 2b is integral. We consider the following mixed-integer set: $$X(G,b,I)=\{x\,:\,Ax\geq b,\,x\geq 0,\,x_i\mbox{ integer for all }i\in I\}.$$ We characterize conv(X(G,b,I)) in its original space. That is, we describe a matrix (C,d) such that conv(X(G,b,I)) = {x : Cx ¿ d}. This is accomplished by computing the projection onto the space of the x-variables of an extended formulation, given in [1], for conv(X(G,b,I)). We then give a polynomial-time algorithm for the separation problem for conv(X(G,b,I)), thus showing that the problem of optimizing a linear function over the set X(G,b,I) is solvable in polynomial time.
Modelling Radial Basis Functions with Rational Logic Rules
Authors: Davide Sottara, Paola Mello
Venue: Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems (2008)

Connectionist systems such as Radial Basis Function Neural Networks and similar architectures are commonly applied to solve problems of learning relations from available examples. To overcome their limits in clarity of representation, they are often interfaced with symbolic rule-based systems, provided that the information they have memorized can be interpreted. In this paper, an automatic implementation of a RBF-like system is presented using only gradual fuzzy rules learned by induction directly from training data. It is then shown that the same formalism, used with type-II truth values, can learn second-order, fuzzy relations.
Artificial societies simulator
Authors: Monica Dascalu, Eduard Franti, Gheorghe Stefan, Lucian Milea, Marius Stoian
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

The new paradigm of artificial societies aims to simulate human societies and to study collective (social) phenomena from bottom up. The model of this new paradigm, introduced by Epstein and Axtell, is called "sugarscape". The sugarscape society simulates trade, but is not an industrialized world. The experiment described in this paper considers also production and trade (in a new way): some agents produce a new commodity (vitamins) that enhances agents' visibility for a time, while the other buy this new commodity. Simulations have shown that population dynamics is improved and clearly distinguished social classes appear.
A Fuzzy Discrete Event System for Air Conditioning System Energy-Saving Control and Optimization
Authors: Danmei Li, Weichun Lan, Hui Zhou, Shihuangi Shao
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

Air conditioning (AC) system is a system with asynchronous and uncertain nature. In this paper, the method of fuzzy discrete event systems (FDES) is introduced to the research of AC energy-saving control. A fuzzy automaton modeling is given for AC energy-saving control and effectiveness optimization is made. To facilitate the implement of the control and energy saving, priorities have been assigned to the major control steps based on logical reasoning, forward-looking tree modeling based on FDES has been simplified to help further optimization, a simple and concrete example has been put forward illustrating energy-saving control in air conditioning system.
Digital Terrestrial Television Broadcasting in China
Authors: Weiqiang Liang, Wenjun Zhang, Dazhi He, Yunfeng Guan, Yao Wang, Jun Sun
Venue: IEEE MultiMedia (2007)

Television audiences around the world want to enjoy high-quality digital programming. China, which has the world's largest TV market, recently established a Digital Terrestrial Television Broadcasting Standard.DTTB will not only allow improved digital broadcast delivery to rural and urban areas, but it will also support mobile TV, making possible television reception on buses, taxis, and even high-speed maglev mass-transit trains.DTTB will be used for HDTV broadcast during the 2008 Beijing Olympics, and China's large-scale transition to the DTTB standard will follow.
Uniqueness of meromorphic functions sharing one value
Authors: Yan Xu
Venue: Computers Mathematics with Applications (2008)

In this paper, we study the uniqueness of meromorphic (resp. entire) functions sharing one value, and obtain some results, which improve and generalize the related results due to Fang, Bhoosnurmath-Dyavanal, Yang-Hua, Fang-Hua, Bai-Han, etc.
Sentence recognition using artificial neural networks
Authors: Maciej Majewski, Jacek M. Zurada
Venue: Knowledge-Based Systems (2008)

The paper describes an application of artificial neural networks (ANN) for natural language text reasoning. The task of knowledge discovery in text from a database, represented with a database file consisting of sentences with similar meanings but different lexico-grammatical patterns, was solved with ANNs which recognize the meaning of the text using training files with limited dictionary. The paper features recognition algorithms of text meaning from a selected source using 3-layer ANNs. Tests of the new method have also been described.
An Emotional Model for Synthetic Characters with Personality
Authors: Karim Sehaba, Nicolas Sabouret, Vincent Corruble
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

In recent years, emotional computing has found an important application domain in the field of interactive synthetic characters. Interesting examples of this domain are computer games, interface agents, human-robot interaction, etc. However, few systems in this area include a model of personality, although it plays an important role in differentiating agents and determining the way they experience emotions and the way they behave.
Minimum Information Loss Cluster Analysis for Categorical Data
Authors: Jiří Grim, Jan Hora
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

The EM algorithm has been used repeatedly to identify latent classes in categorical data by estimating finite distribution mixtures of product components. Unfortunately, the underlying mixtures are not uniquely identifiable and, moreover, the estimated mixture parameters are starting-point dependent. For this reason we use the latent class model only to define a set of "elementary" classes by estimating a mixture of a large number components. We propose a hierarchical "bottom up" cluster analysis based on unifying the elementary latent classes sequentially. The clustering procedure is controlled by minimum information loss criterion.
Automatic Image Annotation Using a Visual Dictionary Based on Reliable Image Segmentation
Authors: Christian Hentschel, Sebastian Stober, Andreas Nürnberger, Marcin Detyniecki
Venue: Adaptive Multimedial Retrieval: Retrieval, User, and Semantics: 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers (2007)

Recent approaches in Automatic Image Annotation (AIA) try to combine the expressiveness of natural language queries with approaches to minimize the manual effort for image annotation. The main idea is to infer the annotations of unseen images using a small set of manually annotated training examples. However, typically these approaches suffer from low correlation between the globally assigned annotations and the local features used to obtain annotations automatically. In this paper we propose a framework to support image annotations based on a visual dictionary that is created automatically using a set of locally annotated training images. We designed a segmentation and annotation interface to allow for easy annotation of the traing data. In order to provide a framework that is easily extendable and reusable we make broad use of the MPEG-7 standard.