ppxscal/embedding_network huggingface dataset:
Paraphrasing OCL Expressions with SBVR
Authors: Raquel Pau, Jordi Cabot
Venue: Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems (2008)

A conceptual schema (CS) should be explained to the stakeholders to validate that it is an appropriate representation of all knowledge of the domain. One of the best ways to explain the CS is to describe it by means of natural language expressions (paraphrasing). Even though paraphrasing has been studied for the most typical elements of a CS, current methods are, in general, unable to cope with the textual business rules that complement the CS. In this paper, we cover this gap by presenting a method that generates natural language explanations for business rules expressed in OCL (Object Constraint Language), the standard language to specify business rules on UML-based CSs. As an intermediate step, our method translates the OCL expression into a SBVR (Semantics of Business Vocabulary and Business Rules) representation.
VARDA Rule Design and Visualization Tool-Chain
Authors: Grzegorz J. Nalepa, Igor Wojnicki
Venue: Proceedings of the 31st annual German conference on Advances in Artificial Intelligence (2008)

A prototype design tool-chain (VARDA) for the ARD hierarchical rule design method is presented in the paper. It is implemented in the Unix environment using Prolog and Graphviz for design visualization.
Multi-Criterion Assessment of Preferences for Communication Alternatives of Wind Power Park Information System
Authors: Antanas Nemura, Arturas Klementavičius
Venue: Informatica (2008)

This paper presents the application of multi-criterion approach to the analysis and comparison of reference alternatives of wind power park information system (WPPIS) which complies with the standard IEC 61400-25. The comparison is based on multi-criterion preferences measured in domination rate (index). The reference alternatives include centralized, mixed and seamless communication topologies. The major features of these alternatives are discussed as well as the multi-criterion methodology applied covering pair comparison, Pareto sets and fuzzy sets methods. The current investigation described is an extension of the preceding investigation of the same reference alternatives of WPPIS. As we have showed, the transition from the concerted experts view as it was a case in previous investigation to the conflicting expert views in the current investigation proved the high robustness of solution made for the case of concerted expert views: the rank of preferences for alternatives remained the same, with seamless communication topology on the top the rank.
A Novel Text Classification Approach Based on Enhanced Association Rule
Authors: Jiangtao Qiu, Changjie Tang, Tao Zeng, Shaojie Qiao, Jie Zuo, Peng Chen, Jun Zhu
Venue: Proceedings of the 3rd international conference on Advanced Data Mining and Applications (2007)

The current research on association rule based text classification neglected several key problems. First, weights of elements in profile vectors may have much impact on generating classification rules. Second, traditional association rule lacks semantics. Increasing semantic of association rule may help to improve the classification accuracy. Focusing on the above problems, we propose a new classification approach. This approach include: (1) Mining frequent item-sets on item-weighted transactions; (2) Generating enhanced association rule that has richer semantics than traditional association rule. Experiments show that new approach outperforms CMAR, S-EM and NB algorithms on classification accuracy.
Dimensionless Monocular SLAM
Authors: Javier Civera, Andrew J. Davison, J. M. Montiel
Venue: Proceedings of the 3rd Iberian conference on Pattern Recognition and Image Analysis, Part II (2007)

It has recently been demonstrated that the fundamental computer vision problem of structure from motion with a single camera can be tackled using the sequential, probabilistic methodology of monocular SLAM (Simultaneous Localisation and Mapping). A key part of this approach is to use the priors available on camera motion and scene structure to aid robust real-time tracking and ultimately enable metric motion and scene reconstruction. In particular, a scene object of known size is normally used to initialise tracking.In this paper we show that real-time monocular SLAM can be initialised with no prior knowledge of scene objects within the context of a powerful new dimensionless understanding and parameterisation of the problem. When a single camera moves through a scene with no extra sensing, the scale of the whole motion and map is not observable, but we show that up-to-scale quantities can be robustly estimated.Further we describe how the monocular SLAM state vector can be partitioned into two parts: a dimensionless part, representing up-to-scale scene and camera motion geometry, and an extra metric parameter representing scale. The dimensionless parameterisation permits tuning of the probabilistic SLAM filter in terms of image values, without any assumptions about scene scale, but scale information can be put back into the estimation if it becomes available.Experimental results with real image sequences showing SLAM without an initialisation object, different image tuning examples and scenes with the same underlying dimensionless geometry are presented.
Dynamic Source Selection in Large Scale Mediation Systems
Authors: Alexandra Pomares, Claudia Roncancio, José Abásolo, Pilar Villamil
Venue: Proceedings of the 1st international conference on Data Management in Grid and Peer-to-Peer Systems (2008)

This paper proposes ORS, an original strategy to reduce the number of data sources to access during query evaluation in large scale mediation systems. ORS proceeds first selecting sources using extensional (data) information to discard useless sources and then validates the intentional (schema) information that each one is able to provide. The first step is based on location queries on some "well chosen" data sources, that previously had made a consolidation integration effort. This paper proposes ORS to improve querying semantic virtual objects whose instances are distributed across numerous data sources. Cost analysis and implementation in a grid context are also presented.
Design and Evaluation of a Service Oriented Architecture-Based Application to Support the Collaborative Edition of UML Class Diagrams
Authors: Victor M. Penichet, Jose A. Gallud, Ricardo Tesoriero, Maria Lozano
Venue: Proceedings of the 8th international conference on Computational Science, Part III (2008)

Developers in modern and geographically distributed software companies need to collaborate because most of them are part of big development teams involved in large projects. CASE tools are commonly used to model software applications. However, most of them are not really prepared to support collaboration in the sense that they do not provide developers with a real collaborative environment. In this paper, we show the design and the implementation of a cooperative CASE tool called CE4WEB to support the edition of UML diagrams using the Service Oriented Architecture (SOA) paradigm. The tool described in this paper demonstrates the successful use of groupware tools and Software Engineering techniques. An evaluation method is also presented to show the validity of the proposal.
Adaptive Mosaicing: Principle and Application to the Mosaicing of Large Image Data Sets
Authors: Conrad Bielski, Pierre Soille
Venue: Proceedings of the 8th international conference on Adaptive and Natural Computing Algorithms, Part II (2007)

Automatic image compositing of very large data sets is necessary for the creation of extensive mosaics based on high spatial resolution remotely sensed imagery. A novel morphological image compositing algorithm has been developed which adapts to salient images edges. This technique produces seam lines that are difficult to identify by the naked eye which is also a characteristic to measure the quality of the resulting seam line. This paper begins with a description of the methodology and results based on Landsat 7 ETM+ imagery. It is also shown how updates to an already composited image data set can be easily made without having to reprocess the entire data set. Finally, ways of quantifying the quality of an automatically delineated cut line and future research directions are discussed.
New E-Payment Scenarios in an Extended Version of the Traditional Model
Authors: Mildrey Carbonell, Joaquin Torres, Antonio Izquierdo, Diego Suarez
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

Most of the security proposals in commerce scenarios have been based on a classical e-payment system definition. This definition basically represents a client who sends a payment order to obtain some goods/services from the merchant, which the intentions of the real money transaction carry on between his financial institutions. Nevertheless, these definitions are not sufficiently robust when new aspects appear in the electronic payment transaction. We can identify some of those new aspects (such as: smart card with network capabilities, business mediator with advantage services, handheld devices with constrained connectivity, and multiparty scenarios) that could subordinate the design of current and future commerce scenarios. In this paper we extended the traditional e-payment system definition, in order to include these new aspects. Additionally, we describe two new payment models, where such aspects are involved, and where the secure solution needs to consider new security requirements.
Combinatorics in Computing
Authors: Isabel Beichl, Francis Sullivan
Venue: Computing in Science and Engineering (2008)

Guest editors Isabel Beichl and Francis Sullivan discuss the field of combinatorics in general and the articles in this special issue in particular, highlighting the recent upsurge in research in this area as well as some interesting applications of it (such as in solving Sudoku puzzles).
The impact of independent model formation on model-based service interoperability
Authors: Teun Hendriks
Venue: Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases (2008)

In many domains, raw (sensory) data forms the input to a highly complex abstraction process that yields an abstract conceptualization of a domain, i.e. a semantic information model. Whilst these conceptual domain models are often subject to standardization, the underlying abstraction policies to create such models are invariably left proprietary for competitive differentiation. In this paper, we present a model for domain conceptualization, and show the impact of variation in model formation on the resulting interoperability of semantic information models in a system-of-systems context.
Cheshire at GeoCLEF 2007: Retesting Text Retrieval Baselines
Authors: Ray R. Larson
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

In this paper we will briefly describe the approaches taken by Berkeley for the main GeoCLEF 2007 tasks (Mono and Bilingual retrieval). The approach this year was to use probabilistic text retrieval based on logistic regression and incorporating blind relevance feedback for all of the runs. Our intent was to establish a baseline result without explicit geographic processing for comparision with future geographic processing approaches. All translation for bilingual tasks was performed using the LEC Power Translator machine translation system.
Acoustic Modeling for Speech Recognition in Telephone Based Dialog System Using Limited Audio Resources
Authors: Rok Gajšek, Janez Žibert, France Mihelič
Venue: Proceedings of the 11th international conference on Text, Speech and Dialogue (2008)

In the article we evaluate different techniques of acoustic modeling for speech recognition in the case of limited audio resources. The objective was to build different sets of acoustic models, the first was trained on a small set of telephone speech recordings and the other was trained on a bigger database with broadband speech recordings and later adapted to a different audio environment. Different adaptation methods (MLLR, MAP) were examined in combination with different parameterization features (MFCC, PLP, RPLP). We show that using adaptation methods, which are mainly used for speaker adaptation purposes, can increase the robustness of speech recognition in cases of mismatched training and working acoustic environment conditions.
ANEMONA: a programming language for network monitoring applications
Authors: Elias Procópio Duarte,  Jr., Martin A. Musicante, Henrique H. Fernandes
Venue: International Journal of Network Management (2008)

This work presents ANEMONA: A language for programming NEtwork MONitoring Applications. The compilation of an ANEMONA program generates code for configuring a policy repository and the corresponding policy deployment and event monitoring. The language allows the definition of expressions of managed objects that are monitored, as well as triggers that when fired may indicate the occurrence of associated events, which are also defined by the language. A translator for the language was implemented that generates code for configuring both the policy repository and deployment. The current implementation of the language employs the Expression MIB and Event MIB. Experimental results are presented, including an ANEMONA program that detects TCP Syn Flooding attacks, and a program for detecting steep variations in the utilization of monitored links.
Flow Patterns of Cross-Flow around a Varicose Cylinder
Authors: F. H. Wang, G. D. Jiang, K. Lam
Venue: Journal of Visualization (2005)

The near wake of a varicose cylinder has been experimentally investigated using Laser Induced Fluorescence (LIF) and Digital Particle Imaging Velocimetry (DPIV). The work aims to provide understanding to the mechanism of the cross flow around varicose cylinder as well as to comprehend why the introduction of relatively small degrees of spanwise waviness can have a significant effect on drag reduction and suppression of the cylinder vibration. The evolution of the flow patterns and the corresponding vortex interactions are obtained. The experimental results indicated that the wake width and the formation length vary along the span of the varicose cylinder. A wider wake and a longer formation length were observed in the saddle plane. In addition, an interpretation of the three-dimensional wake structures is postulated and conceptually shown. The numerical simulation by 3-D finite volume method is successful in predicting the flow features found by the experiments.
News
Authors: Greg Goth, Benjamin J. Alfonsi
Venue: IEEE Security and Privacy (2003)

Addressing The Monoculture, Greg GothA new term has bubbled out of the specialized arena of academic nomenclature and into the mainstream, from daily newspaper columns to transcripts of Congressional hearings. That term is "monoculture." According to some of the leading computer-security experts in the United States, the dominance of Microsoft's Windows operating system has created an unsafe monoculture, in which critical networks and applications are tied together by one OS, all vulnerable to the same attacks. And, in a spate of activities regarding Windows' place in critical operating environments, elected officials, engineers and advocates, and Microsoft defenders and detractors, have begun debating anew how-or if-stakeholders should hold Microsoft accountable for security flaws in its software.Hacker Study: Aiding Security Measures Development?, Benjamin J. AlfonsiA new research initiative, the Hacker Wargame Research Project, is trying to get inside the hacker's mind. The initiative focuses on the factors that determine how hackers make their choices. This concentration on the hacker's internal decision-making process is equal parts technology and psychology, and represents a novel approach to studying how hackers think.
Wave Variables and the 4 Channel Architecture for Haptic Teleoperation
Authors: Göran A. Christiansson
Venue: Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios (2008)

This paper expresses the "Wave variable" and the Lawrence/Salcudean "4-Channel" architectures in a unified MIMO framework in the frequency domain. This illustrates how these popular control architectures are related, and in which way they are equivalent. Furthermore, it is shown that the information communicated between master and slave is very similar in both cases. It is suggested to use the term "control effort" instead of "wave-variable", to clarifiy the mechanism of the controllers.
Effectiveness and efficiency of RFID technology in supply chain management: strategic values and challenges
Authors: Asghar Sabbaghi, Ganesh Vaidyanathan
Venue: Journal of Theoretical and Applied Electronic Commerce Research (2008)

In this study, we examine the fundamental components of RFID technology in a comprehensive supply chain strategy that directly support the effectiveness and efficiency of supply chain management. We examine the appropriate business processes affected by the RFID technology, the required planning and examination for successful implementation, and many potential impacts on effectiveness and efficiency of supply chain management. We emphasize on business values and strategic advantages of RFID technology as well as the challenges and recommendations in adoption of the technology particularly when a company extends its supply chain to upstream suppliers and downstream customers, as their external integration needs to gain in capacity planning and in efficiency. Using four major supply chain processes, we highlight economic opportunities and challenges when planning and implementing RFID technology within an existing supply chain framework. We will focus on the capabilities of RFID in providing security, privacy, and integrity of supply chain processes while facilitating sharing information with upstream suppliers and downstream customers, developing alliances, establishing strategic alliances, and gaining competitive advantages.
Smart Photo Sticking
Authors: Sebastiano Battiato, Gianluigi Ciocca, Francesca Gasparini, Giovanni Puglisi, Raimondo Schettini
Venue: Adaptive Multimedial Retrieval: Retrieval, User, and Semantics: 5th International Workshop, AMR 2007, Paris, France, July 5-6, 2007 Revised Selected Papers (2007)

Smart photo sticking is a novel strategy to automatically arrange a collection of photos in a pleasant collage. The proposed approach improves previous solutions both considering a self-adaptive image cropping algorithm, exploitingvisual and semantic information, and introducing an optimization process based on a genetic algorithm. Preliminary results confirm the effectiveness of the proposed strategy on a heterogeneous collection of non professional photos.
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
Authors: Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli
Venue: Proceedings of the 21st international conference on Automated Deduction: Automated Deduction (2007)

Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problems for the class of reactive systems. Theories in FOL model the (possibly infinite) data structures used by a reactive system while LTL specifies its (dynamic) behavior. In this paper, we derive undecidability and decidability results for both the satisfiability of (quantifier-free) formulae and the model-checking of safety properties by lifting combination methods for (non-disjoint) theories in FOL. The proofs of our decidability results suggest how decision procedures for the constraint satisfiability problem of theories in FOL and algorithms for checking the satisfiability of propositional LTL formulae can be integrated. This paves the way to employ efficient Satisfiability Modulo Theories solvers in the model-checking of infinite state systems. We illustrate our techniques on two examples.
Linked Bernoulli Synopses: Sampling along Foreign Keys
Authors: Rainer Gemulla, Philipp Rösch, Wolfgang Lehner
Venue: Proceedings of the 20th international conference on Scientific and Statistical Database Management (2008)

Random sampling is a popular technique for providing fast approximate query answers, especially in data warehouse environments. Compared to other types of synopses, random sampling bears the advantage of retaining the dataset's dimensionality; it also associates probabilistic error bounds with the query results. Most of the available sampling techniques focus on table-level sampling, that is, they produce a sample of only a single database table. Queries that contain joins over multiple tables cannot be answered with such samples because join results on random samples are often small and skewed. On the contrary, schema-level sampling techniques by design support queries containing joins. In this paper, we introduce Linked Bernoulli Synopses, a schema-level sampling scheme based upon the well-known Join Synopses. Both schemes rely on the idea of maintaining foreign-key integrity in the synopses; they are therefore suited to process queries containing arbitrary foreign-key joins. In contrast to Join Synopses, however, Linked Bernoulli Synopses correlate the sampling processes of the different tables in the database so as to minimize the space overhead, without destroying the uniformity of the individual samples. We also discuss how to compute Linked Bernoulli Synopses which maximize the effective sampling fraction for a given memory budget. The computation of the optimum solution is often computationally prohibitive so that approximate solutions are needed. We propose a simple heuristic approach which is fast and seems to produce close-to-optimum results in practice. We conclude the paper with an evaluation of our methods on both synthetic and real-world datasets.
Computational Sciences Learning Project for Pre-university Students
Authors: Mustafa Murat Inceoglu, Burak Galip Aslan
Venue: Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007 (2007)

It is quite useful for high school students to study on computational sciences, especially for those who are planning to have a higher education in engineering. This paper proposes a pilot study on 9 th and 10 th grade students for teaching them the basic aspects of computer sciences. This study focuses on a schedule consisting two consecutive courses --- first one theoric and the second one is applied --- for student volunteers from science high schools.
A Characterization of 2-Player Mechanisms for Scheduling
Authors: George Christodoulou, Elias Koutsoupias, Angelina Vidali
Venue: Proceedings of the 16th annual European symposium on Algorithms (2008)

We study the mechanism design problem for scheduling unrelated machines and we completely characterize the decisive truthful mechanisms for two players when the domain contains both positive and negative values. We show that the class of truthful mechanisms is very limited: A decisive truthful mechanism partitions the tasks into groups so that tasks in each group are allocated independently of the other groups. Tasks in a group of size at least two are allocated by an affine minimizer and tasks in singleton groups by a task-independent mechanism. This characterization is about all truthful mechanisms, including those with unbounded approximation ratio.A direct consequence of this approach is that the approximation ratio of mechanisms for two players is 2, even for two tasks. In fact, it follows that for two players, VCG is the unique algorithm with optimal approximation 2.