ppxscal/embedding_network huggingface dataset:
Mapping problem-space to solution-space features: a feature interaction approach
Authors: Frans Sanen, Eddy Truyen, Wouter Joosen
Venue: Proceedings of the eighth international conference on Generative programming and component engineering (2009)

Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as generating the most optimal combination of software features given a requirements specification and given a set of configuration rules. Current approaches however provide little support for expressing complex configuration rules between problem and solution space that support incomplete requirements specifications. In this paper, we propose an approach to model complex configuration rules based on a generalization of the concept of problem-solution feature interactions. These are interactions between solution-space features that only arise in specific problem contexts. The use of an existing tool to support our approach is also discussed: we use the DLV answer set solver to express a particular configuration problem as a logic program whose answer set corresponds to the optimal combinations of solution-space features. We motivate and illustrate our approach with a case study in the field of managing dynamic adaptations in distributed software, where the goal is to generate an optimal protocol for accommodating a given adaptation.
Socioeconomic and Legal Implications of Electronic Intrusion, 1st edition
Authors: Dionysios Politis, Phaedon Kozyris, Ioannis Iglezakis, Dionysios Politis, Phaedon Kozyris
Venue:  (2009)

In the information society, electronic intrusion has become a new form of trespassing often causing significant problems and posing great risks for individuals and businesses. Socioeconomic and Legal Implications of Electronic Intrusion focuses on abusive and illegal practices of penetration in the sphere of private communications. A leading international reference source within the field, this book provides legal and political practitioners, academicians, and intrusion researchers with expert knowledge into global theft and spam perspectives, identity theft and fraud, and electronic crime issues.
Performance analysis of non-preemptive GE/G/1 priority queueing of LER system with bulk arrivals
Authors: Yunlung Chen, Chienhua Chen
Venue: Computers and Electrical Engineering (2009)

M^X/G/1 non-preemptive priority queue with bulk arrivals has already been analysed in many papers. Two problems are known in this area: first, when the number of priorities is greater than 2, the analysis for priority processes is obviously very difficult to handle. Therefore, the earlier work on the subject was restricted mostly to two priority classes; and second, although analytically explicit results are available, they require sophisticated closed-form expressions of the mean queue length. One particular bulk size distribution - the GE distribution - is motivated by an ME (Maximum Entropy) formulation for the behavior of a G/G/1 queue. The choice of a GE distribution is motivated by the fact that measurements of actual inter-arrival traffic or service times may be generally limited and so only few parameters, such as mean and variance, can be computed reliably. Thus this paper we can obtain very simple and analytic closed-form expression for the mean queue length of a GE/G/1 priority queue and a significant increase in performance evaluation has been achieved. We present the four-class priority queues, performance analysis and simulation of the LER (Label Edge Router) system in the ATM-based MPLS (Multiprotocol Label Switching) network. We wish to obtain the boundary conditions of the mean queue lengths and the mean queueing delays for each priority class, since this metric is one of the most important in performance evaluation parameters for improving QoS and system performance of the LER system in ATM-based MPLS network. A significant numerical example is presented and discussed as well. In order to obtain optimizing the performance analysis for EF flow, AF 1 flow, AF 2 flow and BE flow, the optimum ratios of COV (Coefficient of Variation) can be found via many numerical experiments carried out by the authors for queueing network model with HOL (Head of Line) priority rules. However, the ratios of COV value constraints exist. Furthermore, we find that each service class gradually begins to deteriorate when SQVs (Squared Coefficient of Variations), C"a"i^2>15.524, C"s"i^2>12.96 and traffic intensity is greater than 0.95. We also find the values of maximum allowed burst size for EF flow and AF 1 flow and perform necessary policing actions on EF flow and AF 1 flow at the boundary node of the network. Finally, the four-class GE/G/1 priority queues and performance analysis of the LER system are shown accurate and robust after the comparison between theoretical evaluates and computer simulation results.
Preliminary lexical framework for English-Arabic semantic resource construction
Authors: Anne R. Diekema
Venue: Proceedings of the Workshop on Computational Approaches to Arabic Script-based Languages (2004)

This paper describes preliminary work concerning the creation of a Framework to aid in lexical semantic resource construction. The Framework consists of 9 stages during which various lexical resources are collected, studied, and combined into a single combinatory lexical resource. To evaluate the general Framework it was applied to a small set of English and Arabic resources, automatically combining them into a single lexical knowledge base that can be used for query translation and disambiguation in Cross-Language Information Retrieval.
Intelligent Systems in Oil Field Development under Uncertainty, 1st edition
Authors: Marco A. C. Pacheco, Marley M. B. R. Vellasco
Venue:  (2009)

The decision to invest in oil field development is an extremely complex problem, even in the absence of uncertainty, due to the great number of technological alternatives that may be used, to the dynamic complexity of oil reservoirs - which involves multiphase flows (oil, gas and water) in porous media with phase change, and to the complicated combinatorial optimization problem of choosing the optimal oil well network, that is, choosing the number and types of wells (horizontal, vertical, directional, multilateral) required for draining oil from a field with a view to maximizing its economic value. The present book is a result of about 4 years of research in this area through a partnership between the Applied Computational Intelligence Laboratory (ICA) of the Department of Electrical Engineering at PUC-Rio, and Petrobras, through its R&D (research and development) program called PRAVAP (Advanced Oil Recovery Program), which is linked to its research center (CENPES). The book makes use of computational intelligence techniques, especially genetic algorithms, genetic programming, neural networks, fuzzy logic and neuro-fuzzy systems for purposes of solving this investment under uncertainty problem. These techniques are combined with modern finance theory, particularly with the real options theory, also known as the investment under uncertainty theory, in such a way as to provide practical as well as theoretically rigorous solutions. This partnership, through which countless master's and doctoral theses were produced at PUC-Rio and computational methodologies and programs were developed for Petrobras, has been summarized in this original and comprehensive work, now available to a wider audience of researchers and interested readers.
Computer-Aided Diagnosis in Brain Computed Tomography Screening
Authors: Hugo Peixoto, Victor Alves
Venue: Proceedings of the 9th Industrial Conference on Advances in Data Mining. Applications and Theoretical Aspects (2009)

Currently, interpretation of medical images is almost exclusively made by specialized physicians. Although, the next decades will most certainly be of change and computer-aided diagnosis systems will play an important role in the reading process. Assisted interpretation of medical images has become one of the major research subjects in medical imaging and diagnostic radiology. From a methodological point of view, the main attraction for the resolution of this kind of problem arises from the combination of the image reading made by the radiologists, with the results obtained from using Artificial Intelligence based applications that will contribute to the reduction and eventually the elimination of perception errors. This article describes how machine learning algorithms can help distinguish normal readings in brain Computed Tomography from all its variations. The goal is to have a system that is able to detect normal appearing structures, thus identifying normal studies, making the reading by the radiologist unnecessary for a large proportion of the brain Computed Tomography scans.
On accurate and asymmetry-aware measurement of link quality in wireless mesh networks
Authors: Kyu-Han Kim, Kang G. Shin
Venue: IEEE/ACM Transactions on Networking (TON) (2009)

This paper presents a highly efficient and accurate link-quality measurement framework, called Efficient and Accurate link-quality monitoR (EAR), for multihop wireless mesh networks (WMNs) that has several salient features. First, it exploits three complementary measurement schemes: passive, cooperative, and active monitoring. By adopting one of these schemes dynamically and adaptively, EAR maximizes the measurement accuracy, and its opportunistic use of the unicast application traffic present in the network minimizes the measurement overhead. Second, EAR effectively identifies the existence of wireless link asymmetry by measuring the quality of each link in both directions of the link, thus improving the utilization of network capacity by up to 114%. Finally, its cross-layer architecture across both the network layer and the IEEE 802.11-based device driver makes EAR easily deployable in existing multihop wireless mesh networks without system recompilation or MAC firmware modification. EAR has been evaluated extensively via both ns-2-based simulation and experimentation on our Linux-based implementation in a real-life testbed. Both simulation and experimentation results have shown EAR to provide highly accurate link-quality measurements with minimum overhead.
On the design of an global intrusion tolerance network architecture against the internet catastrophes
Authors: Wen-Chen Sun, Yi-Ming Chen
Venue: Journal of Systems and Software (2009)

Today's security communities face a daunting challenges - how to protect the Internet from new, unknown zero day worms. Due to their innovation, these worms are hard to be stopped by traditional security mechanisms. Therefore, instead of trying to prevent the intrusion of every such a thread, this paper proposes a new system architecture, named Virtual Machine based Intrusion Tolerance Network (VMITN), which will tolerate the new worm attack until administrators remove the vulnerability leveraged by the worm. The VMITN adopts a rough-set based recognition mechanism to detect zero day worms and a virtual machine based overlay network to mitigate attacks. We have implemented a concept proof prototype system and use NS-2 simulations to study the performance of the VMITN in a large scale network. The behavior of the famous Witty worm is simulated within the NS-2 module and the simulations result showed that our VMITN architecture can provide the reliability and survivability under severe worm attacks.
Ontological representation of tactile information for software development
Authors: Eirini V. Myrgioti, Vasilios G. Chouvardas Amalia N. Miliou
Venue: Applied Ontology (2009)

The last years a growing body of research has been developed on tactile displays and interfaces, which can give physical form to digital information. In spite of the numerous tactile devices that have been constructed, the development of formal definition for tactile information still remains an open issue. In order for the software to better enhance the tactile information sensation, flow and perception and also drive tactile interfaces we need a formal representation of tactile information. The tactile information ontology proposed in this article analyzes the existing knowledge in tactile information domain, specifies the conceptual structure, and defines the processes that take part in the tactile information flow. Furthermore, the developed ontological representation encodes knowledge into computer understandable form and will allow the sharing and reuse of this knowledge by software tools. The proposed model will be used to identify how tactile displays can improve human-computer interaction, set the principles that are required to design effective user interfaces and assist the development of software for tactile displays. Along with the ontological model, a case study relative to the perception of roughness, generated by a tactile device, has been described.
Efficient event-based resource discovery
Authors: Wei Yan, Songlin Hu, Vinod Muthusamy, Hans-Arno Jacobsen, Li Zha
Venue: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems (2009)

The ability to find services or resources that satisfy some criteria is an important aspect of distributed systems. This paper presents an event-based architecture to support more dynamic discovery scenarios, including efficient discovery of resources whose attributes can change, and continuous monitoring for resources that satisfy a set of constraints. Furthermore, algorithms are developed to optimize the discovery cost by reusing results among similar concurrent discovery requests. Detailed evaluations under various workload distributions demonstrate the feasibility of the architecture and show significant benefits of the optimizations in terms of network traffic and discovery processing time.
Morphological analysis and generation for Arabic dialects
Authors: Nizar Habash, Owen Rambow, George Kiraz
Venue: Proceedings of the ACL Workshop on Computational Approaches to Semitic Languages (2005)

We present Magead, a morphological analyzer and generator for the Arabic language family. Our work is novel in that it explicitly addresses the need for processing the morphology of the dialects. Magead provides an analysis to a root+pattern representation, it has separate phonological and orthographic representations, and it allows for combining morphemes from different dialects.
On the Capability Compliance of Annotated Process Model
Authors: Ping Gong, Keqing He
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

Currently, semantic technology is believed as a promising approach to overcome the limitations suffered by Business Process Management(e.g. poor flexibility, low level of automation, etc). Based on the ontology, the semantic annotation can enhance relevant semantics of process model and hence enable process model has the potentials of facilitating process discovery, deployment and maintenance, and thereby bridging the gap between business design and IT implementation.Verifying process model is a necessary step before process deployment to ensure the soundness of process model. Soundness of annotated process model is beyond the soundness of process model, since it is only considered on syntactical level. In the paper, we extend considering the soundness and address the capability compliance of the annotated process model, where process model and inner activities are annotated with IOPE(i.e.Input, Output, Precondition, and Effect). Capability compliance concerns with whether the annotation of process model can be soundly fulfilled by its activities’ annotations. To address it,based on domain ontology, we first present a formal definition of annotated process model. Afterwards, we formally define the capability compliance following the state-and-change approach.Furthermore, motivated by the predicate abstraction technique,an algorithm is proposed to verify the capability compliance.
Bi-directional Joint Inference for Entity Resolution and Segmentation Using Imperatively-Defined Factor Graphs
Authors: Sameer Singh, Karl Schultz, Andrew Mccallum
Venue: Proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases: Part II (2009)

There has been growing interest in using joint inference across multiple subtasks as a mechanism for avoiding the cascading accumulation of errors in traditional pipelines. Several recent papers demonstrate joint inference between the segmentation of entity mentions and their de-duplication, however, they have various weaknesses: inference information flows only in one direction, the number of uncertain hypotheses is severely limited, or the subtasks are only loosely coupled. This paper presents a highly-coupled, bi-directional approach to joint inference based on efficient Markov chain Monte Carlo sampling in a relational conditional random field. The model is specified with our new probabilistic programming language that leverages imperative constructs to define factor graph structure and operation. Experimental results show that our approach provides a dramatic reduction in error while also running faster than the previous state-of-the-art system.
Coverage and inheritance in the preposition project
Authors: Ken Litkowski, Orin Hargraves
Venue: Proceedings of the Third ACL-SIGSEM Workshop on Prepositions (2006)

In The Preposition Project (TPP), 13 prepositions have now been analyzed and considerable data made available. These prepositions, among the most common words in English, contain 211 senses. By analyzing the coverage of these senses, it is shown that TPP provides potentially greater breadth and depth than other inventories of the range of semantic roles. Specific inheritance mechanisms are developed within the preposition sense inventory and shown to be viable and provide a basis for the rationalization of the range of preposition meaning. In addition, this rationalization can be used for developing a data-driven mapping of a semantic role hierarchy. Based on these findings and methodology, the broad structure of a WordNet-like representation of preposition meaning, with self-contained disambiguation tests, is outlined.
Real Time Tracking of Moving Pedestrians
Authors: Juan Li, Chunfu Shao, Wangtu Xu, Hao Yue
Venue: Proceedings of the 2009 International Conference on Measuring Technology and Mechatronics Automation - Volume 03 (2009)

Pedestrian detection is an important part of Intelligent Transportation Systems (ITS) application. Many researches have been contributed to apply image processing technologies to pedestrian detection. A new robust method for pedestrian tracking is proposed in this paper. Pedestrian tracking is achieved by using feature fusion and prediction methodology. The proposed method integrates spatial position, shape and color information to track pedestrians. The trajectories obtained from camera are incorporated by the Kalman filter to determine the search area. The presented tracking method is tested under real traffic scenarios. Elaborate experiment results show that integrating simple features makes the tracking effective and the Kalman filter improves the tracking accuracy and efficiency.
Enhancing the Ability of Creative Expression and Intercultural Understanding through Visual Story
Authors: Wahju Agung Widjajanto, Michael Lund, Heidi Schelhowe
Venue: Proceedings of the 8th International Conference on Advances in Web Based Learning (2009)

In our web-based platform "Wayang Authoring" children with different cultural backgrounds can create and share stories, and make experiences in culturally different storytelling. The idea of Wayang Authoring is based on the Indonesian ancient art form Wayang. The research question focuses on if and how the design of our system can support children to enhance understanding of story grammar, creative storytelling and self-expression as well as help to share cultural diversity. In this article the Wayang Authoring platform and its background is presented.
Describing User Interactions in Adaptive Interactive Systems
Authors: Matthias Bezold
Venue: Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH (2009)

The description of the user-system interaction plays a crucial role in adaptive interactive systems, since the adaptations depend on this description. User actions in interactive systems can be described as a sequence of events, which are created by input through input devices as well as by the system as reactions to these inputs. An interactive system can observe these events and thus extract information about the user's behavior. This paper presents a two-step approach for describing user behavior from sequences of basic events. First, user actions are recognized in the sequence of interaction events by means of previously trained probabilistic automata. Second, a task model describes the higher-level user activity as a hierarchical composition of these actions. Different kinds of adaptive support can be derived from this description of user behavior, such as recommending next interaction steps to the user.
Integrating testing with reliability
Authors: Norman Schneidewind
Venue: Software Testing, Verification Reliability (2009)

The activities of software testing and reliability are integrated for the purpose of demonstrating how the two activities interact in achieving testing efficiency and the reliability resulting from these tests. Integrating means modeling the execution of a variety of tests on a directed graph representation of an example program. A complexity metric is used to construct the nodes, edges, and paths of the example program. Models are developed to represent the efficiency and achieved reliability of black box and white box tests. Evaluations are made of path, independent path, node, program construct, and random tests to ascertain which, if any, is superior with respect to efficiency and reliability. Overall, path testing has the edge in test efficiency. The results depend on the nature of the directed graph in relation to the type of test. Although there is no dominant method, in most cases the tests that provide detailed coverage are better. For example, path testing discovers more faults than independent path testing. Predictions are made of the reliability and fault correction that results from implementing various test strategies. It is believed that these methods can be used by researchers and practitioners to evaluate the efficiency and reliability of other programs. Copyright &copy; 2008 John Wiley & Sons, Ltd.
Formal Semantic of Component-Based Reconfiguration Router Unit's Software Model
Authors: Liu Qiang, Wang Bingqiang, Huang Wanwei, Wang Xianhui
Venue: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03 (2009)

In recent years, the research on the routers has paid more attention to improve the router's function and flexibility. According to this principle, this paper gave the formal semantic of component-based reconfiguration router unit's software model. And based on the need of multi-network integration, multi-business integration, this paper gave 3 relationships of the components. Based on these relationships and the characters of router unit, the paper introduced the flow burst mode, gave algorithm 1 and 2 to construct the component chain and router model, and accomplish the model. Based on the model we made a component-based reconfiguration router unit. This model made the component-based reconfiguration router unit more open, programmable and high-reconfigurable. At last the paper analysed and evaluated the scalability and adoption of the component-based reconfiguration router unit.