ppxscal/embedding_network huggingface dataset:
Construction of Ontology-Based User Model for Web Personalization
Authors: Hui Zhang, Yu Song, Han-Tao Song
Venue: Proceedings of the 11th international conference on User Modeling (2007)

Personalized Web browsing and search hope to provide Web information that matches a user's personal interests. A key feature in developing successful personalized Web applications is to build user model that accurately represents a user's interests. This paper deals with the problem of modeling Web users by means of personal ontology. A Web log preparation system discovering user's semantic navigation sessions is presented first. Such semantic sessions could be used as the input of constructing ontology-based user model. Our construction of user model is based on a semantic representation of the user activity. We build the user model without user interaction, automatically monitoring the user's browsing habits, constructing the user ontology from semantic sessions. Each semantic session updates the user model in such a way that the conceptual behavior history of the user is recorded in user ontology. After building the initial model from visited Web pages, techniques are investigated to estimate model convergence. In particular, the overall performance of our ontology-based user model is also presented and favorably compared to other model using a flat, unstructured list of topics in the experimental systems.
A Multiphysics Model of Myoma Growth
Authors: Dominik Szczerba, Bryn A. Lloyd, Michael Bajka, Gábor Székely
Venue: Proceedings of the 8th international conference on Computational Science, Part II (2008)

We present a first attempt to create an in-silico model of a uterine leiomyoma, a typical exponent of a common benign tumor. We employ a finite element model to investigate the interaction between a chemically driven growth of the pathology and the mechanical response of the surrounding healthy tissue. The model includes neoplastic tissue growth, oxygen and growth factor transport as well as angiogenic sprouting. Neovascularisation is addressed implicitly by modeling proliferation of endothelial cells and their migration up the gradient of the angiogenic growth factor, produced in hypoxic regions of the tumor. The response of the surrounding healthy tissue in our model is that of a viscoelastic material, whereby a stress exerted by expanding neoplasm is slowly dissipated. By incorporating the interplay of four underlying processes we are able to explain experimental findings on the pathology's phenotype. The model has a potential to become a computer simulation tool to study various growing conditions and treatment strategies and to predict post-treatment conditions of a benign tumor.
Fast track article: Dynamic filter merging and mergeability detection for publish/subscribe
Authors: Sasu Tarkoma
Venue: Pervasive and Mobile Computing (2008)

Filter-based publish/subscribe and content-based routing have been proposed for flexible information dissemination in distributed environments. A content-based router is part of an overlay structure, in which each router forwards events to neighbouring routers and local clients based on their interests. Filter merging or summarization has been proposed as an optimization strategy in this environment. These techniques combine filters to reduce the number of propagated filters and thus the size of distributed state. In this paper, we present the algorithms for generic dynamic filter merging and filter mergeability detection, and discuss integration with routing tables. The algorithms are based on a formal framework of merging rules. Experimental results are examined and analyzed for both desktop systems and small devices. The results indicate that dynamic filter merging is feasible given that the workload is mergeable.
Focus and Attitude in Computer-Mediated Peer Assessment: ePortfolios Methods in Chinese Context
Authors: Youmei Wang
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

Peer-assessment has become more popular in the instructional assessment area.Eportfolios was used as an important tool to facilitate computer-mediated peer assessment in online instruction. This study adopted quantitative approaches to explore the focus and attitude of onymous or anonymous peer-assessment with WePS (Web-based ePortfolios System) in Chinese context. Findings showed that Onymous group members paid attention to the response of their learning peers,that the onymous group had more confidence in peer-assessing and they thought that their assessment was more effective than anonymous groups,and that Onymous groups members recognized peer's assessment on their learning more than the anonymous one.Compared with the realted studies in western context this findings is different in some aspects.
Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods
Authors: Johannes Wollbold, Reinhard Guthke, Bernhard Ganter
Venue: Proceedings of the 3rd international conference on Algebraic Biology (2008)

Our aim is to build a set of rules, such that reasoning over temporal dependencies within gene regulatory networks is possible. The underlying transitions may be obtained by discretizing observed time series, or they are generated based on existing knowledge, e.g. by Boolean networks or their nondeterministic generalization. We use the mathematical discipline of formal concept analysis (FCA), which has been applied successfully in domains as knowledge representation, data mining or software engineering. By the attribute exploration algorithm, an expert or a supporting computer program is enabled to decide about the validity of a minimal set of implications and thus to construct a sound and complete knowledge base. From this all valid implications are derivable that relate to the selected properties of a set of genes. We present results of our method for the initiation of sporulation in Bacillus subtilis. However the formal structures are exhibited in a most general manner. Therefore the approach may be adapted to signal transduction or metabolic networks, as well as to discrete temporal transitions in many biological and nonbiological areas.
Municipal wireless data network in Longmont, CO
Authors: Arunkaruppaiya Adaikalam, Mutaher Azad, Chiupin Chen, Jeesh Thomas, Thomas Schwengler
Venue: Proceedings of the third ACM international workshop on Wireless network testbeds, experimental evaluation and characterization (2008)

As municipalities study opportunities to build large Wi-Fi networks to cover their territory, it is interesting to compare these initiatives' coverage, performance, and cost to other existing cellular high-speed solutions. This paper examines one particular case in the city of Longmont, CO. Coverage and throughput measurements are performed in a residential area; cost analyses and consumer perceptions are examined as well.
Experimental Evaluation of Usage Pattern in Campus Mobile IP Network
Authors: Jaehyuk Ryu, Koji Okamura
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems Workshops (2008)

To understand user behavior and usage pattern is critical for not only the deployment, such as load balancing and development, but also the research and simulation of new technology. In this research, we traced and characterized the usage pattern of mobile IP in campus network. The data, which have generated by 1567 users from 228 access points and home agents in 85 buildings, have collected since March 2003. The research result showed the difference of the usage patterns of students, professors as well as the increasing rate of users and sessions. We also analyzed daily usage, roaming pattern, session length and error rate which are different from normal usage pattern of wireless LAN. The result also shows that the users with frequent roaming are the professors, and the student users are mainly staying within one or two places despite of a rapid growing rate in usage.
PE-PUC: A Graph Based PU-Learning Approach for Text Classification
Authors: Shuang Yu, Chunping Li
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

This paper presents a novel solution for the problem of building text classifier using positive documents (P) and unlabeled documents (U). Here, the unlabeled documents are mixed with positive and negative documents. This problem is also called PU-Learning. The key feature of PU-Learning is that there is no negative document for training. Recently, several approaches have been proposed for solving this problem. Most of them are based on the same idea, which builds a classifier in two steps. Each existing technique uses a different method for each step. Generally speaking, these existing approaches do not perform well when the size of P is small. In this paper, we propose a new approach aiming at improving the system when the size of P is small. This approach combines the graph-based semi-supervised learning method with the two-step method. Experiments indicate that our proposed method performs well especially when the size of P is small.
Note on: An optimal ordering and recovery policy for reusable items
Authors: I. Konstantaras, S. Papachristos
Venue: Computers and Industrial Engineering (2008)

This paper deals with a joint EOQ and EPQ model where the stationary demand can be satisfied by remanufactured and newly purchased products. The model assumes that a proportion of the already used products is collected from customers and later is recovered for reuse. The remanufactured products are regarded as perfect as new ones. For this model Koh et al. [Koh, S. -G., Hwang, H., Sohn, K. -I., & Ko, C. -S. (2002). An optimal ordering and recovery policy for reusable items. Computers and Industrial Engineering, 43, 59-73] found closed form expressions for the economic order quantity for new products and the optimal inventory level where the recovery process starts. Further they proposed a numerical procedure, which calculates the optimal number of set up in both recovery and ordering processes. In this paper, we revisit Koh et al.'s paper and following a different analysis we obtain closed form expressions for both optimal number of set up in the recovery and the ordering processes. The approach is explained by an example.
Do Dynamic Object Process Graphs Support Program Understanding? - A Controlled Experiment.
Authors: Jochen Quante
Venue: Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension (2008)

Using automatic program analysis techniques for extracting architectural information and its visualization is widely considered useful for program understanding. However, it has to be empirically validated if a given technique is beneficial in practice. This is usually done by performing a set of case studies. To find out for sure whether a technique really has any effect, controlled experiments have to be conducted. Dynamic object process graphs are one such technique. These graphs describe the control flow of an application from the perspective of a single object. In previous research, we conducted case studies which indicated that they may be useful for program understanding, but this assumption has not been validated so far. We report on a controlled experiment which investigated this question: Does the availability of such graphs support program understanding or not? We describe the research questions that were investigated, the hypotheses, experimental setup, conduction, and discuss the results and lessons learned.
SEDiL: Software for Edit Distance Learning
Authors: Laurent Boyer, Yann Esposito, Amaury Habrard, Jose Oncina, Marc Sebban
Venue: Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II (2008)

In this paper, we present SEDiL, a S oftware for E dit Di stance L earning. SEDiL is an innovative prototype implementation grouping together most of the state of the art methods [1,2,3,4] that aim to automatically learn the parameters of string and tree edit distances.
Expressing Complex Mental States Through Facial Expressions
Authors: Xueni Pan, Marco Gillies, Tevfik Metin Sezgin, Celine Loscos
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

A face is capable of producing about twenty thousand different facial expressions [2]. Many researchers on Virtual Characters have selected a limited set of emotional facial expressions and defined them as basic emotions, which are universally recognized facial expressions. These basic emotions have been well studied since 1969 and employed in many applications [3]. However, real life communication usually entails more complicated emotions. For instance, communicative emotions like "convinced", "persuaded" and "bored" are difficult to describe adequately with basic emotions. Our daily face-to-face interaction is already accompanied by more complex mental states, so an empathic animation system should support them. Compared to basic emotions, complex mental states are harder to model because they require knowledge of temporal changes in facial displays and head movements as opposed to a static snapshot of the facial expression. We address this by building animation models for complex emotions based on video clips of professional actors displaying these emotions.
Agile Knowledge Supply Chain for Emergency Decision-Making Support
Authors: Qingquan Wang, Lili Rong
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

Facing complex and changing emergencies decision makers need to obtain sufficient background knowledge to make effective decisions. We outline the characteristics of requirements for decision-making around knowledge sources, agility and the nature of knowledge products in quick responses to emergencies. We characterize the process of knowledge management in emergencies as quotation, manufacture and supply of a special product --- Emergency Knowledge Product. From the point of view of achieving agility, we draw on the operational mechanism of the Agile Supply Chain (ASC) to construct Agile Knowledge Supply Chain (AKSC), a first in this paper. According to Similarities between ASC and AKSC, here we depict definition and architecture of AKSC. AKSC can explore a new approach to knowledge-based quick responses in the emergency decision-making support.
HMIPv6 Applying User's Mobility Pattern in IP-Based Cellular Networks
Authors: Teail Shin, Hyungmo Kang, Youngsong Mun
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

Hierarchical Mobile IPv6 (HMIPv6) was proposed by the Internet Engineering Task Force (IETF) for efficient mobility management of Mobile IPv6 nodes. In HMIPv6, when a mobile node moves access router in the different MAP domain, such a movement is called macro mobility handover. In this situation, the mobile node creates new RCoA and LCoA and performs registrations with the new MAP and HA. Especially, until the address registrations with an MAP and HA are completed, the mobile node cannot receive IP packet and it is hard to actualize seamless services. Therefore, we need to execute the macro mobility handover in advance to reduce the handover latency and packet loss. We propose a scheme that is able to improve the macro mobility handover efficiently in HMIPv6. To do this we will adjust the user's mobility patterns to edge access routers between different MAP domains in the handover situation. In this paper, we compare cost of the macro mobility handover of the proposed scheme with that of the original HMIPv6. As a result, we can obtain the improved macro mobility handover in HMIPv6.
A Roadmap for the Rodin Toolset
Authors: Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
Venue: Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008)

Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.
Labelled Calculi for Łukasiewicz Logics
Authors: D. Galmiche, Y. Salhi
Venue: Proceedings of the 15th international workshop on Logic, Language, Information and Computation (2008)

In this paper, we define new decision procedures for Łukasiewicz logics. They are based on particular integer-labelled hypersequents and of logical proof rules for such hypersequents. These rules being proved strongly invertible our procedures naturally allow one to generate countermodels. From these results we define a "merge"-free calculus for the infinite version of Łukasiewicz logic and prove that it satisfies the sub-formula property. Finally we also propose for this logic a new terminating calculus by using a focusing technique.
GA-Based Adaptive Fuzzy-Neural Control for a Class of MIMO Systems
Authors: Yih-Guang Leu, Chin-Ming Hong, Hong-Jian Zhon
Venue: Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks (2007)

A GA-based adaptive fuzzy-neural controller for a class of multi-input multi-output nonlinear systems, such as robotic systems, is developed for using observers to estimate time derivatives of the system outputs. The weighting parameters of the fuzzy-neural controller are tuned on-line via a genetic algorithm (GA). For the purpose of on-line tuning the weighting parameters of the fuzzy-neural controller, a Lyapunov-based fitness function of the GA is obtained. Besides, stability of the closed-loop system is proven by using strictly-positive-real (SPR) Lyapunov theory. The proposed overall scheme guarantees that all signals involved are bounded and the outputs of the closed-loop system track the desired output trajectories. Finally, simulation results are provided to demonstrate robustness and applicability of the proposed method.
Interactive Cartoon Rendering and Sketching of Clouds and Smoke
Authors: Eduardo J. Álvarez, Celso Campos, Silvana G. Meire, Ricardo Quirós, Joaquin Huerta, Michael Gould
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

We present several techniques to generate clouds and smoke with cartoon style and sketching obtaining interactive speed for the graphical results. The proposed method allows abstracting the visual and geometric complexity of the gaseous phenomena using a particle system. The abstraction process is made using implicit surfaces, which are used later to calculate the silhouette and obtain the result image. Additionally, we add detail layers that allow improvement of the appearance and provide the sensation of greater volume for the gaseous effect. Finally, we also include in our application a simulator that generates smoke animations.
Two executable mobility design patterns: mfold and mmap
Authors: Zara Field, Rick Dewar, Phil Trinder, Andre Rauber Du Bois
Venue: Proceedings of the 2006 conference on Pattern languages of programs (2006)

We present two mobility design patterns, mfold and mmap. The patterns are equipped with corresponding coordination specifications, mobility skeletons, implemented on top of a host object-orientated mobile code language, Voyager. The mobility skeletons provide a high-level of abstraction and control all coordination aspects of the mobility design patterns. We conclude by demonstrating, through a simple yet concrete example, how the composite of these patterns and skeletons can be used in the development of a practical distributed application, a mobile meeting scheduler.
Enhance Algorithm of Hand's Skin Color Base on Multi-method Integration
Authors: Hao-kui Tang, Zhi-quan Feng, Tao Xu
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

Recognition system based on skin color is main method of character detection of face and hand. This paper analyzed some common method of transformation of image enhance on the basis of YCbCr skin color model. A enhance method which is integrated exponential and logarithm transformation is proposed. And according to the shortcoming of fixed threshold, an automatic threshold algorithm with the fisher estimate function is proposed. The experiment with this method proves that it can enhance the contrast of foreground and background, and has good robust. The algorithm in paper is more adaptive in the recognition and detection than the fixed threshold method.
Surfing citizens and floating voters: Results of an online survey of visitors to political web sites during the Dutch 2002 General Elections
Authors: Marcel Boogers, Gerrit Voerman
Venue: Information Polity (2003)

This article assesses the role of political web sites in the campaign for the Dutch parliamentary elections of 2002. It presents the results of an online survey of 18,000 visitors to political Web sites to examine how far, 1) political Web sites can engage people in politics and, 2) party Web sites in particular can reach floating voters. The results of the survey reveal that political Web sites are only partly able to involve people in politics who have thus far remained aloof. Yet, political Web sites are successful in reaching young people, a group which is usually less politically active but which uses the Internet more intensively. The use of political Web sites does not lead to a more active engagement in politics. For most people the primary reason for visiting a political Web site was finding information about the positions of political parties, about party organisations or about the election campaign. Not only party supporters, but also floating and undecided voters were interested in this information.
A Drum Machine That Learns to Groove
Authors: Axel Tidemann, Yiannis Demiris
Venue: Proceedings of the 31st annual German conference on Advances in Artificial Intelligence (2008)

Music production relies increasingly on advanced hardware and software tools that makes the creative process more flexible and versatile. The advancement of these tools helps reduce both the time and money required to create music. This paper presents research towards enhancing the functionality of a key tool, the drum machine. We add the ability to learn how to groove from human drummers, an important human quality when it comes to drumming. We show how the learning drum machine overcomes limitations of traditional drum machines.
Design and Implementation of Game-Based Learning Environment for Scientific Inquiry
Authors: Ruwei Yun, Meng Wang, Yi Li
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

Scientific Inquiry refers to the study that learners conduct with similar or simulated scientific research. It is a problem-oriented learning activity with quite rich contents and forms driven by curiosity. It is also a method by taking the initiative to acquire scientific knowledge and understand science. The game-based learning environment for scientific inquiry (GBLESI) can effectively expand the scope for learners. This article takes the NMR experiments as an example to introduce its Design and Implementation.
Computer Network Security: Report from MMM-ACNS
Authors: Nicolas Sklavos, Nikolay Moldovyan, Vladimir Gorodetsky, Odysseas Koufopavlou
Venue: IEEE Security and Privacy (2004)

The invited speakers focused on important security topics such as computational complexity, calculus and higher-order logic, behavior-based security, network forensics, and inside intruder attacks. Workshop attendees agreed that all the talks addressed issues of great interest.