ppxscal/embedding_network huggingface dataset:
Controllability in Temporal Conceptual Workflow Schemata
Authors: Carlo Combi, Roberto Posenato
Venue: Proceedings of the 7th International Conference on Business Process Management (2009)

Workflow technology has emerged as one of the leading technologies in modelling, redesigning, and executing business processes. Currently available workflow management systems (WfMS) and research prototypes offer a very limited support for the definition, detection, and management of temporal constraints over business processes. In this paper, we propose a new advanced workflow conceptual model for expressing time constraints in business processes and, in particular, we introduce and discuss the concept of controllability for workflow schemata and its evaluation at process design time. Controllability refers to the capability of executing a workflow for any possible duration of tasks. Since in several situations durations of tasks cannot be decided by WfMSs, even tough the minimum and the maximum durations for each task are known, checking controllability is stronger than verifying the consistency of the workflow temporal constraints.
SemEval-2010 task 13: evaluating events, time expressions, and temporal relations (TempEval-2)
Authors: James Pustejovsky, Marc Verhagen
Venue: Proceedings of the Workshop on Semantic Evaluations: Recent Achievements and Future Directions (2009)

We describe the TempEval-2 task which is currently in preparation for the SemEval-2010 evaluation exercise. This task involves identifying the temporal relations between events and temporal expressions in text. Six distinct subtasks are defined, ranging from identifying temporal and event expressions, to anchoring events to temporal expressions, and ordering events relative to each other.
Evaluating the Effectiveness and the Efficiency of a Vector Image Search Tool
Authors: Patrizia Marco, Tania Mascio, Daniele Frigioni, Massimo Gastaldi
Venue: Proceedings of the Symposium on Human Interface 2009 on Human Interface and the Management of Information. Information and Interaction. Part II: Held as part of HCI International 2009 (2009)

In this paper we develop VISTO (Vector Images Search TOol), along two directions: (1) we present a new interface for VISTO which is more sophisticated than the original one, since it has been developed having in mind the users and their retrieval requests; (2) we provide a much deeper evaluation of the effectiveness and the efficiency of VISTO in the specific domain of the Blissymbolic images.
Study on the Information Service System of Cooperative Marketing of Tobacco Industry Based on SaaS
Authors: Wang Bin, Bao Liwei, Ye Yong
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

The application framework and implementing pattern of the SaaS have been analyzed to meet the demands of information technology application of cooperative marketing system for cigarette manufactories and commerce enterprises of tobacco industry of China in this paper. Under the framework and pattern of the SaaS, the MVC design pattern has been improved to satisfy the application requirement of the cooperative marketing system. With the improved MVC pattern, the Information System of Cooperative Marketing of Tobacco Industry (ISCMTI) as a common information service platform has been designed in the paper.
Enterprise Architecture Create Business Value
Authors: Takaaki Kamogawa, Hitoshi Okada
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

Since Japan is currently facing to some environment change like global competition, deregulations, highly developed Information Technology (IT) and so on, Japanese companies are need to get their productivities more up ever than before, and have flexible information systems to be survived by themselves. Historically, the biggest challenge facing to companies is “adaptation” to any environment. The flexibility of the information systems to create business values has been discussed for a long time as one of critical problems among ICT communities. One of potential solutions is increasing the ability of organizations to adapt to business change by using Enterprise Architecture (EA) as a foundation of ICT. This paper deals with the primary influence of EA on the creation of business value.
A Grid Based Graphics Rendering Design
Authors: Zhou Zhurong, Deng Wei, Qiu Yuhui, Lu Linrui
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

Using the Internet for distributed graphics rendering has long been a dream of many image and animation producers. In this paper, the Alchemi and blender are combined to construct a grid-based graphics rendering system. A grid scheduling using Ant Colony Optimization (ACO) algorithm and Fuzzy Reputation (FR) Aggregation to improve the decision of scheduling is proposed, and a SAH-based kd-Tree used for the rendering process of blender as well. This method, which optimizes rendering with less time spent in the rendering process, in most cases does not affect the final quality of images obtained.
An Algorithm of Predictions for Chaotic Time Series Based on Volterra Filter
Authors: Gu Jirong, Chen Xianwei, Zhou Jieming
Venue: Proceedings of the 2009 Second International Symposium on Electronic Commerce and Security - Volume 02 (2009)

Based on the Takens' delay-coordinate phase reconstruct, A third-order Volterra filter which is used to detect weak target signal in chaos is researched. A large class of Nonlinear systems have been successfully modeled using Volterra series techniques. The key to system modeling by means of a Volterra series is capturing the Volterra kernels that represent the system. Once the kernels are known, the system response to any arbitrary input can be predicted with relative ease. Therefore the success of nonlinear Volterra system modeling is dependant on the ability to accurately identify Volterra kernels. According this sense, this paper presents a new SVD- PARAFAC approach for Volterra filters with a very good performance characteristic. The method of using the singular value decomposition (SVD) and PARALLEL Factor (PARAFAC) decomposition to factor second and third order kernels is introduced. Numerical simulations illustrate the usefulness of the proposed approach. The experimental results show this method has much better prediction performance for chaotic flow than least mean square (LMS) adaptive Volterra filter and can detect out a very weak target signal in chaos when SCR gets to–70 dB. (Abstract)
A method to simulate linear stability of impulsively accelerated density interfaces in ideal-MHD and gas dynamics
Authors: Ravi Samtaney
Venue: Journal of Computational Physics (2009)

We present a numerical method to solve the linear stability of impulsively accelerated density interfaces in two dimensions such as those arising in the Richtmyer-Meshkov instability. The method uses an Eulerian approach, and is based on an upwind method to compute the temporally evolving base state and a flux vector splitting method for the perturbations. The method is applicable to either gas dynamics or magnetohydrodynamics. Numerical examples are presented for cases in which a hydrodynamic shock interacts with a single or double density interface, and a doubly shocked single density interface. Convergence tests show that the method is spatially second-order accurate for smooth flows, and between first and second-order accurate for flows with shocks.
Multilingual extension of a temporal expression normalizer using annotated corpora
Authors: E. Saquete, P. Martínez-Barco, R. Muñoz, M. Negri, M. Speranza, R. Sprugnoli
Venue: Proceedings of the International Workshop on Cross-Language Knowledge Induction (2006)

This paper presents the automatic extension to other languages of TERSEO, a knowledge-based system for the recognition and normalization of temporal expressions originally developed for Spanish. TERSEO was first extended to English through the automatic translation of the temporal expressions. Then, an improved porting process was applied to Italian, where the automatic translation of the temporal expressions from English and from Spanish was combined with the extraction of new expressions from an Italian annotated corpus. Experimental results demonstrate how, while still adhering to the rule-based paradigm, the development of automatic rule translation procedures allowed us to minimize the effort required for porting to new languages. Relying on such procedures, and without any manual effort or previous knowledge of the target language, TERSEO recognizes and normalizes temporal expressions in Italian with good results (72% precision and 83% recall for recognition).
Mobile Social Service Design for Large-Scale Exhibition
Authors: Huanglingzi Liu, Ying Liu, Wei Wang, Bin Wang
Venue: Proceedings of the 3d International Conference on Online Communities and Social Computing: Held as Part of HCI International 2009 (2009)

In order to improve the exhibition service, technology enhanced visitor experience is gradually gaining more attention. In this paper, we follow user-centered design to explore the possibility of building a mobile social service for a large-scale exhibition. User data from interviews, questionnaires and field studies have been analyzed. Five factors influencing visitor's social engagement are analyzed and implications for new mobile social service designs in large-scale exhibitions are discussed: personal requirement on the knowledge of exhibits, time cost of social interaction, exhibitor's requirement on information distribution and collection, the maintenance of a temporary social network and coordination with the exhibition environment.
Cognitive load in ecommerce applications: measurement and effects on user satisfaction
Authors: Peter Schmutz, Silvia Heinz, Yolanda Métrailler, Klaus Opwis
Venue: Advances in Human-Computer Interaction (2009)

Guidelines for designing usable interfaces recommend reducing short termmemory load. Cognitive load, that is, working memory demands during problem solving, reasoning, or thinking, may affect users' general satisfaction and performance when completing complex tasks. Whereas in design guidelines numerous ways of reducing cognitive load in interactive systems are described, not many attempts have been made to measure cognitive load in Web applications, and few techniques exist. In this study participants' cognitive load was measured while they were engaged in searching for several products in four different online book stores. NASA-TLX and dual-task methodology were used to measure subjective and objective mental workload. The dual-task methodology involved searching for books as the primary task and a visual monitoring task as the secondary task. NASA-TLX scores differed significantly among the shops. Secondary task reaction times showed no significant differences between the four shops. Strong correlations between NASA-TLX, primary task completion time, and general satisfaction suggest that NASA-TLX can be used as a valuable additional measure of efficiency. Furthermore, strong correlations were found between browse/search preference and NASA-TLX as well as between search/browse preference and user satisfaction. Thus we suggest browse/search preference as a promising heuristic assessment method of cognitive load.
Emotions and Messages in Simple Robot Gestures
Authors: Jamy Li, Mark Chignell, Sachi Mizobuchi, Michiaki Yasumura
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

Understanding how people interpret robot gestures will aid design of effective social robots. We examine the generation and interpretation of gestures in a simple social robot capable of head and arm movement using two studies. In the first study, four participants created gestures with corresponding messages and emotions based on 12 different scenarios provided to them. The resulting gestures were then shown in the second study to 12 participants who judged which emotions and messages were being conveyed. Knowledge (present or absent) of the motivating scenario (context) for each gesture was manipulated as an experimental factor. Context was found to assist message understanding while providing only modest assistance to emotion recognition. While better than chance, both emotion (22%) and message understanding (40%) accuracies were relatively low. The results obtained are discussed in terms of implied guidelines for designing gestures for social robots.
Extensions of Information Systems: The Rough Set Perspective
Authors: Krzysztof Pancerz
Venue: Transactions on Rough Sets X (2009)

In the paper, we consider the extensions of information systems from the rough set perspective. A consistent extension of a given information system includes only objects corresponding to the known attribute values which satisfy all minimal rules extracted from the original information system. A partially consistent extension of a given information system includes objects corresponding to the known attribute values which are consistent, to a certain degree with the knowledge represented by all minimal rules extracted from the original information system. Using adequately defined lower approximations of sets of objects in the original information system we can test membership of a new object added to the system to its consistent extension without computing any rules. If a given object does not belong to a consistent extension, then we can calculate a degree of the partial membership of the object to the consistent extension. This degree is expressed by the so-called consistency factor. Consistent and partially consistent extensions of information systems are useful in discovering or predicting new states of concurrent systems described by information systems.
A Hybrid Statistical Data Pre-processing Approach for Language-Independent Text Classification
Authors: Yanbo J. Wang, Frans Coenen, Robert Sanderson
Venue: Proceedings of the 5th International Conference on Advanced Data Mining and Applications (2009)

Data pre-processing is an important topic in Text Classification (TC). It aims to convert the original textual data in a data-mining-ready structure, where the most significant text-features that serve to differentiate between text-categories are identified. Broadly speaking, textual data pre-processing techniques can be divided into three groups: (i) linguistic, (ii) statistical, and (iii) hybrid (i) (ii). With regard to language-independent TC, our study relates to the statistical aspect only. The nature of textual data pre-processing includes: Document-base Representation (DR) and Feature Selection (FS). In this paper, we propose a hybrid statistical FS approach that integrates two existing (statistical FS) techniques, DIAAF (Darmstadt Indexing Approach Association Factor) and GSSC (Galavotti(Sebastiani(Simi Coefficient). Our proposed approach is presented under a statistical "bag of phrases" DR setting. The experimental results, based on the well-established associative text classification approach, demonstrate that our proposed technique outperforms existing mechanisms with respect to the accuracy of classification.
Comparative Analysis of Motifs in Giant Strong Component of Metabolic Networks
Authors: Wei Liu, Dewu Ding
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

In this paper, comparison of network motifs in giant strong component (GSC) of metabolic networks is proposed and presented. Firstly, the use of metabolic reaction data to generate metabolic networks of 10 organisms from different categories is achieved. Subsequently, the GSC of each metabolic network was extracted and the network motifs of these GSCs are studied. The results showed that the motifs found are different among taxonomies, but quite consistent within the taxonomy. It suggested that analysis of network motifs in GSCs might more helpful to understand fundamental organizational principles of metabolic networks.
Parameter-Less GA Based Crop Parameter Assimilation with Satellite Image
Authors: Shamim Akhter, Keigo Sakamoto, Yann Chemin, Kento Aida
Venue: Proceedings of the International Conference on Computational Science and Its Applications: Part I (2009)

Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant (SWAP) agro-hydrological model and Genetic Algorithm (GA) to estimate inversely the model parameters. In CAM-DLGA, initially the GA parameters are required to set in advanced, and this replicates an evolutionary searching issue. In this paper, we are presenting a new methodology to use Parameter-Less GA (PLGA), so that the GA initial parameters will be generated and assigned automatically. Numerous experiments have been accomplished to analyze the performance of the proposed model. Additionally, the effectiveness of PLGA on the assimilation has been traced on both synthetic and real satellite data. The experimental study proved that the PLGA approach provides relatively better result on the assimilation.
Knowledge integration for description logics
Authors: Thomas Meyer, Kevin Lee, Richard Booth
Venue: Proceedings of the 20th national conference on Artificial intelligence - Volume 2 (2005)

Description logic reasoners are able to detect incoherences (such as logical inconsistency and concept unsatisfiability) in knowledge bases, but provide little support for resolving them. We propose to recast techniques for propositional inconsistency management into the description logic setting. We show that the additional structure afforded by description logic statements can be used to refine these techniques. Our focus in this paper is on the formal semantics for such techniques, although we do provide high-level decision procedures for the knowledge integration strategies discussed.
A General Class of Models of $\mathcal{H}^*$
Authors: Giulio Manzonetto
Venue: Proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science 2009 (2009)

We provide sufficient conditions for categorical models living in arbitrary cpo-enriched cartesian closed categories to have the maximal consistent sensible λ-theory as their equational theory. Finally, we prove that a model of pure λ-calculus we have recently introduced in a cartesian closed category of sets and (multi-)relations fulfils these conditions.
A New Implement Method for Maximizing Autocorrelation in Blind Signal Separation
Authors: Ming Li, Yadong Liu, Dewen Hu
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 01 (2009)

Separating signal sources by maximizing the autocorrelation (also called the time delay correlation) of the interesting signal is a group of important blind source separation methods (BSS). Relying on the fact that the interesting practical sources vary more smoothly than noise, they made inspiring success in analysis of brain mapping data. However, by well investigating these algorithms, we find that they made an unnoticed assumption in maximizing the autocor- relation of signal source. Unfortunately, this assump- tion, which believes that the time delayed covariance matrix is symmetrical, is not well met in general. In the present study, a new method to maximize autocorrela- tion is proposed. It does not rely on such assumption, and shows a better performance than traditional algorithm in the compare experiment. It is also proved that, the traditional algorithms and our method are equal to each other if the assumption is met.
Adaptive Learning via Social Cognitive Theory and Digital Cultural Ecosystems
Authors: Joseph W. Juhnke, Adam R. Kallish
Venue: Proceedings of the 5th International Conference on Foundations of Augmented Cognition. Neuroergonomics and Operational Neuroscience: Held as Part of HCI International 2009 (2009)

This paper will look at the human predisposition to oral tradition and its effectiveness as a learning tool to convey mission-critical information. After exploring the effectiveness of the conveyance of information, the paper will examine current adaptive learning research and develop a system that will marry the strengths of oral tradition with those of an optimal adaptive learning environment. Emphasis will be made in the area of military service personnel stationed in contested cultures, the aiding of their arrival and once established their continual improvement processes. This paper will then illustrate a digital cultural ecosystem that leverages the strengths of current industry thinking in digital community development and social architecture combining the adaptive learning models discussed earlier to create a dynamic digital social ecology that could significantly improve the transition process by exposing service personnel to the collective learning of all of the personnel currently and previously deployed to a particular region. It will illustrate tools and techniques that can be used to filter the quality of the collective intelligence, the dynamic categorization of new narrative and the selective recommendation of content as an adaptive learning technique. This system will incorporate a virtual environment to test the quality of learning before the military personnel are deployed and a capture and debrief system that will enable the continual improvement of service personnel as they complete missions during their deployment.
Robust peak-to-peak filtering for Markov jump systems
Authors: Shuping He, Fei Liu
Venue: Signal Processing (2010)

The peak-to-peak filtering problem is studied for a class of Markov jump systems with uncertain parameters. By re-constructing the system, the dynamic filtering error system is obtained. The objective is to design a peak-to-peak filter such that the induced L"~ gain from the unknown inputs to the estimated errors is minimized or guaranteed to be less or equal to a prescribed value. By using appropriate stochastic Lyapunov-Krasovskii functional, sufficient conditions are initially established on the existence of mode-dependent peak-to-peak filter which also guarantees the stochastic stability of the filtering error dynamic systems. The design criterions are presented in the form of linear matrix inequalities and then described as an optimization problem. Simulation results demonstrate the validity of the proposed approaches.
The Preprocess Research on Chinese Handwriting Identification
Authors: Wei Li, Zhen Peng Pang, Fei Sui
Venue: Proceedings of the 2009 International Conference on Computational Intelligence and Natural Computing - Volume 01 (2009)

Handwriting identification is one of the most important branches of computer vision and pattern recognition, and an effective means of identification that is important for surveillance and security, telecommunications, digital libraries, video meeting, and human-computer intelligent interactions.A deep research on pre-processing of Chinese handwriting identification is conducted in this paper. Computer can automatically find the threshold by using a new iteration algorithm in binarization, as it can retain more texture features of image. In noise eliminating, we also use an improved median filter to automatically determine the noise threshold, which is effective to get rid of the scattered noise. After experimentally repeated for many times in Matlab7.0, it’s proved that this preprocess is vary fast and stable.