ppxscal/embedding_network huggingface dataset:
Bridging the Gap: Enabling CBIR in Medical Applications
Authors: Sameer Antani, L. Rodney Long, George R. Thoma
Venue: Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems (2008)

Content-based Image Retrieval (CBIR) for medical images has received a significant research interest over the past decade as a promising approach to address the data management challenges posed by the rapidly increasing volume of medical image data in use. Articles published in the literature detail the benefits and present impressive results to substantiate potential impact of the technology. However, the benefits have yet to make it to mainstream clinical, biomedical research, or educational use. No major commercial software tools are available for use in medical imaging products, although several are available for commercial stock photo collections. CBIR has had some success in isolated instances in applications on limited data sets addressing specialized medical problems and at biomedical research laboratories and hospitals that are tightly coupled with software developers. This article explores some possible causes of this "gap" in the lack of translation of research into widespread biomedical use and provides some directions to alleviate the problem.
On the Purpose of Event-B Proof Obligations
Authors: Stefan Hallerstede
Venue: Proceedings of the 1st international conference on Abstract State Machines, B and Z (2008)

Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges on the fact that any particular model has an appropriate semantics. In Event-B this semantics is provided implicitly by proof obligations associated with a model. There is no fixed semantics though. In this article we argue that this approach is beneficial to modelling because we can use similar proof obligations across a variety of modelling domains. By way of two examples we show how similar proof obligations are linked to different semantics. A small set of proof obligations is thus suitable for a whole range of modelling problems in diverse modelling domains.
Environment-Supported Roles to Develop Complex Systems
Authors: Giacomo Cabri
Venue: Engineering Environment-Mediated Multi-Agent Systems: International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers (2008)

Interactions represent an important issue to be faced in the development of complex agent systems, and deserve for appropriate support. In this context, roles have been successfully exploited to design and deal with agent interactions. In this paper we explain how the role management can be supported by the environment and which the related advantages are. We will also present an infrastructure, RoleX, that can be exploited to accomplish this task.
Knowledge organization trends in library and information studies: a preliminary comparison of the pre- and post-web eras
Authors: Kristie Saumure, Ali Shiri
Venue: Journal of Information Science (2008)

Qualitative analyses were used to launch a preliminary exploration of the dominant knowledge organization (KO) trends in the pre- and post-web eras. Data for this study was assembled by searching the Library, Information Science, and Technology Abstracts database for articles that have used the term `knowledge organization' or `information organization' in their titles, abstracts, or descriptors. Taken as a whole, these preliminary results suggest that the content of the KO literature has shifted since the advent of the web. Although classic KO principles remain prominent throughout both eras, the presence of new content areas, such as metadata, denotes a shift in KO trends. In the pre-web era, the literature was related in large part to indexing and abstracting. In contrast, cataloging and classification issues dominate the landscape in the post-web era. The findings from this paper will be of particular use to those interested in learning about upcoming trends in the KO literature.
Word Sense Disambiguation as the Primary Step of Ontology Integration
Authors: Marko Banek, Boris Vrdoljak, A Min Tjoa
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

The recommendable primary step of ontology integration is annotation of ontology components with entries from WordNet or other dictionary sources in order to disambiguate their meaning. This paper presents an approach to automatically disambiguating the meaning of OWL ontology classes by providing sense annotation from WordNet. A class name is disambiguated using the names of the related classes, by comparing the taxonomy of the ontology with the portions of the WordNet taxonomy corresponding to all possible meanings of the class. The equivalence of the taxonomies is expressed by a probability function called affinity function. We apply two different basic techniques to compute the affinity coefficients: one based on semantic similarity calculation and the other on analyzing overlaps between word definitions and hyponyms. A software prototype is provided to evaluate the approach, as well as to determine which of the two disambiguation techniques produces better results.
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages
Authors: Daniel A. Sadilek, Guido Wachsmuth
Venue: Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications (2008)

This paper is about visual and executable domain-specific modelling languages (DSMLs) that are used at the platform independent level of the Model-Driven Architecture. We deal with DSMLs that are new or evolve rapidly and, as a consequence, have to be prototyped cheaply. We argue that for prototyping a DSML on the platform independent level, its semantics should not only be described in a transformational but also in an operational fashion. For this, we use standard modelling means, i.e. MOF and QVT Relations. We combine operational semantics descriptions with existing metamodel-based editor creation technology. This allows for cheap prototyping of visual interpreters and debuggers. We exemplify our approach with a language for Petri nets and assess the manual work necessary. Finally, we present EProvide, an implementation of our approach based on the Eclipse platform, and we identify missing features in the Eclipse tools we used.
A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems
Authors: Yunan Cao, Zili Shao, Meng Wang, Chun Jason Xue, Youdong Chen, Hongxing Wei, Tianmiao Wang
Venue: Proceedings of the 2008 The 28th International Conference on Distributed Computing Systems (2008)

As a distributed computing system, a CNC system needs to be operated reliably, dependably and safely. How to design reliable and dependable software and perform effective verification for CNC systems becomes an important research problem. In this paper, we propose a new modeling method called TTM/ATRTTL (Timed Transition Models/All-Time Real-Time Temporal Logics) for specifying CNCsystems. TTM/ATRTTL provides full supports for specifying hard real-time and feedback that are needed for modeling CNC systems. We also propose averification framework with verification rules and theorems and implement it with STeP and SF2STeP. The proposed verification framework can check reliability, dependability and safety of systems specified by our TTM/ATRTTL method. We apply our modeling and verification techniques on an open architecture CNC (OAC) system and conduct comprehensive studies on modeling and verifying a logical controller that is the key part of OAC. The results show that our method can effectively model and verify CNC systems and generate CNC software that can satisfy system requirements in reliability, dependability and safety.
Justified and Common Knowledge: Limited Conservativity
Authors: Evangelia Antonakos
Venue: Proceedings of the international symposium on Logical Foundations of Computer Science (2007)

We consider the relative strengths of three formal approaches to public knowledge: "any fool" knowledge by McCarthy (1970), Common Knowledge by Halpern and Moses (1990), and Justified Knowledge by Artemov (2004). Specifically, we show that epistemic systems with the Common Knowledge modality C are conservative with respect to Justified Knowledge systems on formulas ¿ ¿ Cφ¿¿, where ¿, φ, and ¿ are C-free.
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Authors: Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
Venue: Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems (2007)

The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these applications does not only depend on the behavior of each component in isolation, but the interactions among components and the delivery infrastructure play key roles. This paper presents the first results on considering the validation of these applications in a probabilistic setting. We use probabilistic model checking techniques on stochastic models to tackle the uncertainty that is embedded in these systems. The communication infrastructure (i.e., the transmission channels and the publish-subscribe middleware) are modeled directly by means of probabilistic timed automata. Application components are modeled by using statechart diagrams and then translated into probabilistic timed automata. The main elements of the approach are described through an example.
DC bus implemented damping control-part I: STATCOM
Authors: W. Du, H. F. Wang
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

Damping torque analysis is a technique developed based on classical control theory for the excitation implemented damping control in power generation, which has been widely used in engineering practice since it was proposed. This paper proposes the damping torque analysis for DC bus implemented damping control in power transmission networks and presents two practical examples. The first example is the investigation of damping effect of shunt VSC (Voltage Source Converter) based FACTS voltage control, i.e., STATCOM (Static Synchronous Compensator) voltage control. It is shown in the paper that STATCOM voltage control only contributes synchronous torque and hence imposes no effect on the damping of power system oscillations. The second example is the damping control implemented by battery Energy Storage Systems (ESS). It is established in the paper that both the interaction between battery ESS damping and voltage control and the robustness of battery ESS damping control to the variations of power flow conditions is different when it is implemented via active and reactive power regulation respectively. In the paper, all conclusions obtained are demonstrated by simulation results of example power systems installed with a STATCOM and a battery ESS separately. The paper is presented in two parts. This is the first part of the paper.
Investigating on results of a newly engineered e-learning survey
Authors: S. Campanella, G. Dimauro, A. Ferrante, D. Impedovo, S. Impedovo, M. G. Lucchese, R. Modugno, G. Pirlo, L. Sarcinella, E. Stasolla, C. A. Trullo
Venue: Proceedings of the WSEAS International Conference on Applied Computing Conference (2008)

This paper deals with quality evaluation of e-learning university courses. It considers a newly engineered survey that evaluates not only quality in use but also quality in learning. The quality of the interface, the friendliness of the contents, the quality of concepts and the capability to transfer new knowledge are all considered. Through the paper, the various aspects concerning the evaluation of e-learning products are addressed. The results, obtained during university teaching activities, show the usefulness of the survey in discriminating the relevant factors and in understanding learners' needing.
Self-healing Information Systems
Authors: Barbara Pernici
Venue: Proceedings of the 18th International Conference on Database and Expert Systems Applications (2007)

Information systems in highly dynamic collaborative environments are based on the composition of services and processes from different organizations and systems. In most cases, such an environment is not under the control of a single organization and therefore requires a particular attention to its management to ensure correct functionalities. Different types of faults can occur in the system, both at the functional level and in terms of reduced quality of service. Such faults may cause failures in one or more participating processes, which are hindering the correct completion of business processes towards their required goals. In the presentation, the management of cooperating processes will be discusses, following the approach being proposed within the WS-DIAMOND European project: management of failures is driven by the diagnosis of causes that are leading to the failures, and repair actions are performed on processes and services coordinating repair actions on services. Such an approach allows an autonomic behavior of information systems, reducing the need of design efforts to anticipate possible combinations of predicted exceptions. Business process management is based on the SH-BPEL (Self-healing Business Process Language) approach proposed at Politecnico di Milano to manage and repair business processes in a flexible service-oriented framework.
Long Tail Attributes of Knowledge Worker Intranet Interactions
Authors: Peter Géczy, Noriaki Izumi, Shotaro Akaho, Kôiti Hasida
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

Elucidation of human browsing behavior in electronic spaces has been attracting substantial attention in academic and commercial spheres. We present a novel formal approach to human behavior analysis in web based environments. The framework has been applied to analyzing knowledge workers' browsing behavior on a large corporate Intranet. Analysis indicates that users form elemental and complex browsing patterns and achieve their browsing objectives via few subgoals. Knowledge workers know their targets and exhibit diminutive exploratory behavior. Significant long tail attributes have been observed in all analyzed features. A novel distribution that accurately models it has been introduced.
Dimensionality Reduction Method Applied for Multi-view Face Database Recognition
Authors: Hui-Ming Huang, Zhi-Kai Huang
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

Faces under varying illumination, pose and non-rigid deformation are empirically thought of as a highly nonlinear manifold in the observation space. How to discover intrinsic low-dimensional manifold is important to characterize meaningful face distributions and classify them using some classifiers. In this paper, we use the Locally Linear Embedding (LLE) algorithm to reduce the dimensionality of face image. The LLE algorithm is the fast dimensionality reduction algorithm that finds local geometry in high dimensional space, and produces a projection to low dimensional space which preserves the original geometry. So, we use the Locally Linear Embedding (LLE) algorithm to reduce the dimensionality of face image for face recognition. Both frontal head images and rotated head images are investigated. Experiments on The UMIST Face Database that is a multi-view database show that the advantages of our proposed approach.
Nonparametric Classification Based on Local Mean and Class Mean
Authors: Zeng Yong, Wang Bing, Zhao Liang, Yu-Pu Yang
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

The k-nearest neighbor classification rule (k-NNR) is a very simple, yet powerful nonparametric classification method. As a variant of the k-NNR, a nonparametric classification method based on the local mean vector has achieved good classification performance. In this paper, a new variant of the k-NNR, a nonparametric classification method based on the local mean vector and the class mean vector has been proposed. Not only the information of the local mean of the k nearest neighbors of the unlabeled pattern in each individual class but also the knowledge of the ensemble mean of each individual class are taken into account in this new classification method. The proposed classification method is compared with the k-NNR, and the local mean-based nonparametric classification in terms of the classification error rate on the unknown patterns. Experimental results confirm the validity of this new classification approach.
Environment Support to the Management of Context Awareness Information
Authors: Marco P. Locatelli, Giuseppe Vizzari
Venue: Engineering Environment-Mediated Multi-Agent Systems: International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers (2008)

Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of the research in the Multi---Agent System (MAS) area, and in particular on MAS environments, can be used to model, design and engineer CUEs, with specific reference to the management of context---awareness information. The CUE reference scenario will be introduced, then the Multilayered Multi---Agent Situated System model will be briefly described and applied to represent and to manage several types of awareness information (both physical and logical contextual information). Finally, the paper introduces a prototypal framework based on DJess supporting the definition and management of MMASS based CUEs.
Trivium
Authors: Christophe Cannière, Bart Preneel
Venue: New Stream Cipher Designs: The eSTREAM Finalists (2008)

In this chapter, we propose a new stream cipher construction based on block cipher design principles. The main idea is to replace the building blocks used in block ciphers by equivalent stream cipher components. In order to illustrate this approach, we construct a very simple synchronous stream cipher which provides a lot of flexibility for hardware implementations, and seems to have a number of desirable cryptographic properties.
Using Problems to Learn Service-Oriented Computing
Authors: Sandeep Purao, Vijay Vaishnavi, John Bagby, Faye Borthick, Brian Cameron, Lisa Lenze, Steve Sawyer, Hoi Suen, Richard Welke
Venue: Proceedings of the 2008 IEEE Congress on Services - Part I (2008)

Service-oriented computing and the ensuing science of services represent significant challenges to academia. As we come to grips with its many implications, we are slowly beginning to realize the challenges of introducing service-orientation in research. The change also requires a rethinking of strategies used for educating computing professionals. Service-orientation questions the traditional vision of the IT professional as a toolsmith. Instead, it requires shifting the role of the IT professional to that of a participant in a multidisciplinary team of diverse professionals. We describe one specific strategy that is a core part of an ongoing experiment to support such pedagogical practices, and reflect on its usefulness and limitations.
Probabilistic Application-Level Connection Scheduling in Web Servers
Authors: Ramkumar Ramaswamy
Venue: IEEE Distributed Systems Online (2001)

A Web server running a popular Web site might simultaneously service hundreds or even thousands of requests. Many traditional Web servers let the operating system decide the connection scheduling--that is, the order in which requests are serviced--and, in fact, most imply do so on a first-come, first-served basis. In many cases, however, it can be extremely useful, if not downright necessary, to have application-level control over scheduling policies. Application-level connection scheduling lets server administrators specify the scheduling rules they want to impose, rather than relying on programmers to do it.
Free search in tracking time dependent optima
Authors: Kalin Penev
Venue: Proceedings of the 9th WSEAS International Conference on Evolutionary Computing (2008)

The article presents an adaptive method, called Free Search. It implements ideas different from other evolutionary algorithms such as Genetic Algorithms, Particle Swarm Optimisation, Differential Evolution and Ant Colony Optimisation. Free Search is based on original concepts for individual intelligence and independence of the population members. It is applied to optimisation of time dependent data and tries to find and to track optimal solutions, which change their locations during the period of search. The aim is to find an answer to the question - how Free Search behaves when the global optimum leaves the search space. The achieved experimental results are presented and discussed.
End-to-end delay control of multimedia applications over multihop wireless links
Authors: Wenbo He, Klara Nahrstedt, Xue Liu
Venue: ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP) (2008)

The proliferation of multimedia applications over mobile, resource-constrained wireless networks has raised the need for techniques that adapt these applications both to clients' Quality of Service (QoS) requirements and to network resource constraints. This article investigates the upper-layer adaptation mechanisms to achieve end-to-end delay control for multimedia applications. The proposed adaptation approach spans application layer, middleware layer and network layer. In application layer, the requirement adaptor dynamically changes the requirement levels according to end-to-end delay measurement and acceptable QoS requirements for the end-users. In middleware layer, the priority adaptor is used to dynamically adjust the service classes for applications using feedback control theory. In network layer, the service differentiation scheduler assigns different network resources (e.g., bandwidth) to different service classes. With the coordination of these three layers, our approach can adaptively assign resources to multimedia applications. To evaluate the impact of our adaptation scheme, we built a real IEEE 802.11 ad hoc network testbed. The test-bed experiments show that the proposed upper-layer adaptation for end-to-end delay control successfully adjusts multimedia applications to meet delay requirements in many scenarios.
Physical Simulation of the Dynamical Behavior of Three-Wheeled Omni-directional Robots
Authors: Hamid Rajaie, Reinhard Lafrenz, Oliver Zweigle, Uwe-Philipp Käppeler, Frank Schreiber, Thomas Rühr, Andreas Tamke, Paul Levi
Venue: RoboCup 2007: Robot Soccer World Cup XI (2008)

Hardware simulation is a very efficient way for parameter tuning. We developed a Simulink-based simulator for the navigation components of our robotic soccer team. This physical simulation has interfaces to be interconnected with the higher levels of the real control software and is therefore able to perform an overall simulation of single robots.
Mapped Separation Logic
Authors: Rafal Kolanski, Gerwin Klein
Venue: Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments (2008)

We present Mapped Separation Logic, an instance of Separation Logic for reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover and it allows reasoning on properties about page tables, direct physical memory access, virtual memory access, and shared memory. Mapped Separation Logic fully supports all rules of abstract Separation Logic, including the frame rule.