ppxscal/embedding_network huggingface dataset:
Decomposition of Quadratic Variational Problems
Authors: Florian Becker, Christoph Schnörr
Venue: Proceedings of the 30th DAGM symposium on Pattern Recognition (2008)

Variational problems have proved of value in many image processing and analysis applications. However increase of sensor resolution as occurred in medical imaging and experimental fluid dynamics demand for adapted solving strategies to handle the huge amount of data.In this paper we address the decomposition of the general class of quadratic variational problems, which includes several important problems, such as motion estimation and image denoising. The basic strategy is to subdivide the originally intractable problem into a set of smaller convex quadratic problems. Particular care is taken to avoid ill-conditioned sub-problems. We demonstrate the approach by means of two relevant variational problems.
Benefits of Constrained Interactivity in Using a Three-Dimensional Diagram
Authors: Peter Khooshabeh, Mary Hegarty, Madeleine Keehner, Cheryl Cohen
Venue: Proceedings of the 5th international conference on Diagrammatic Representation and Inference (2008)

In four experiments participants were allowed to manipulate a virtual 3-D object in order to infer and draw 2-D cross sections of it. Key differences between the experiments were the interface and degree of interactivity available. Two experiments used a three degrees-of-freedom inertia tracking device allowing unconstrained interactions and the other two experiments used a slider bar that allowed only one degree-of-freedom movement at a time. Somewhat counter-intuitively, we found that the constrained interface allowed people to access task-relevant information more effectively and resulted in better performance on the task.
A New Constitutive Model for the Analysis of Semi-flexible Polymers with Internal Viscosity
Authors: Jack Xiao-Dong Yang, Roderick V. Melnik
Venue: Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007 (2007)

The analysis of dynamics of semi-flexible polymers, such as DNA molecules, is an important multiscale problem with a wide range of applications in science and bioengineering. In this contribution, we show how accounting for internal viscosity in dumbbell-type models may render physically plausible results with minimal computational cost. We focus our attention on the cases of steady shear and extensional flows of polymeric solutions. First, the tensors with moments other than the second order moment are approximated. Then, the nonlinear algebraic equation for the second moment conformation tensor is solved. Finally, substituting the resulting conformation tensor into the Kramers equation of Hookean spring force, the constitutive equations for the model are obtained. The shear material properties are discussed in the context of different internal viscosities and our computational results are compared with the results of other methods applicable for high shear or extensional rates.
Classification Techniques of Neural Networks Using Improved Genetic Algorithms
Authors: Ming Chen, Zhengwei Yao
Venue: Proceedings of the 2008 Second International Conference on Genetic and Evolutionary Computing (2008)

Classification is an important problem in data mining. This paper focuses on a method of optimizing classifiers of neural network by Genetic Algorithm based on principle of gene reconfiguration, and implement classification by training the weight. The paper uses shift reverse logic crossover operation and the improved genetic algorithm The article using the typical method for optimizing BP neural network weight is BP algorithm, which has such disadvantages as slow practice speed and easy for running into local minimum. The article uses genetic algorithm based on gene reconfiguration to largely resolve the problem. Genetic algorithm optimizes neural network, mainly including neural network structure evolvement and neural network connection weight evolvement. The article firstly uses Simple Genetic Algorithm (SGA) for network structure evolvement and then adopts genetic algorithm based on gene reconfiguration for network weight practice. Experiment results show that Improved Genetic Algorithm (IGA) improve classifying veracity.
Insourcing or Outsourcing? That is the Question
Authors: Sorel Reisman
Venue: IT Professional (2004)

Open competition would reduce the cost of enterprise-wide IT systems for higher-education institutions.
A User Modeling Using Implicit Feedback for Effective Recommender System
Authors: Jehwan Oh, Seunghwa Lee, Eunseok Lee
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

An amount of information on the Web has been increased explosively with the growth of information technology. In the area of electronic commerce, the recommender systems that provide personalized content are crucial research issue. The analysis of efficient user preference is important for improving the recommendation accuracy. Existing recommendation system has used implicit feedback for analyzing user preference. But, when the collected user information is lack, it is not fit. This paper proposes a personalized recommendation system which is based on information built by analyzing implicit feedback. The proposed system monitors the various user behaviors comprehensively to analyze user intention more precisely. The system also deduces the most important attribute for the user among various attribute of a product based on ID3 algorithm, and applies the result to analyzing user preference. Therefore, proposed system is able to recommend items in the situation that user behavior information is lack. Empirical results show that the effectiveness of the system is confirmed.
Managing software quality through a hybrid defect content and effectiveness model
Authors: Michael Kläs, Frank Elberzhager, Haruka Nakao
Venue: Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement (2008)

Quality assurance (QA) plays a crucial role in today's software development. However, methods and models proposed in literature to support QA management suffer from several drawbacks. Many are specialized to certain activities like system test or inspections. They commonly support only one application purpose, e.g., planning or controlling, and are often applicable only after measurement data has been collected for several historical applications. To overcome these drawbacks, we developed a method that can be applied to QA activities during any phase, and which supports comprehensive quality management related tasks: improvement, planning, and controlling. To be applicable in practice, the method combines the available measurement data with expert judgment to build context-specific models. In addition, the method provides early benefits, while motivating the collection of measurement data by presenting possible improvement directions. The paper presents the general concepts behind the method and research questions to be answered in upcoming empirical studies.
Variable Selection for Optimal Decision Making
Authors: Lacey Gunter, Ji Zhu, Susan Murphy
Venue: Proceedings of the 11th conference on Artificial Intelligence in Medicine (2007)

This paper discusses variable selection for medical decision making; in particular decisions regarding which treatment to provide a patient. Current variable selection methods were designed for use in prediction applications. These techniques often leave behind small but important interaction variables that are critical when the goal is decision making rather than prediction. This paper presents a new method designed to find variables that aid in decision making and demonstrates the method on data from a clinical trial for treatment of depression.
Towards Ontology-Based Chinese E-Government Digital Archives Knowledge Management
Authors: Ying Jiang, Hui Dong
Venue: Proceedings of the 12th European conference on Research and Advanced Technology for Digital Libraries (2008)

This paper focuses on the problem of e-Government digital archives management in China. It firstly depicts the background of e-Government progress of China, and then points out the knowledge utilization challenge of e-Government digital archives. What's following is an introduction of a project, which aims at making digital archives in a provincial archives bureau easy to use for civil servants. The main approach of this project is ontology related technology, including the building of knowledge base and the realization of knowledge retrieval system. It's actually a knowledge management solution for digital archives.
Power Controlled Uplink Performance Analysis under Soft Handover in DS-CDMA Systems along with Convolutional Coding Scheme
Authors: Z. Mobini, MA. Mohammadi, H. A. Rohi, M. Ardebilipour
Venue: Proceedings of the 2008 ISECS International Colloquium on Computing, Communication, Control, and Management - Volume 02 (2008)

Power control and soft handover are two important technologies in radio resource management that ensure the capacity and performance of a DS-CDMA system. Using these technologies along with Rake Receiver and error correction coding for interference limited DS-CDMA systems results in reducing interference while increasing capacity and coverage. In this paper, the performance of power controlled uplink under soft handover in DS-CDMA systems which uses error correction coding, has been evaluated. Then the performance improvement due to macro selection diversity has been calculated. It is shown that system under soft handover has less sensitivity against incrementing the power control error (PCE) and number of users. Finally it is pointed out that by using convolutional error correction coding scheme an additional gain is obtained.
Supporting Lexical Ontology Learning by Relational Exploration
Authors: Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Venue: Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications (2007)

Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those tasks will determine the future success of ontologies in practice. In this paper we describe a way for ontology creation and refinement by combining techniques from natural language processing (NLP) and formal concept analysis (FCA). We point out how synergy between those two fields can be established thereby overcoming each other's shortcomings.
Automatic Detection of Vascular Bifurcations and Crossovers from Color Retinal Fundus Images
Authors: Alauddin Bhuiyan, Baikunth Nath, Joselito Chua, Kotagiri Ramamohanarao
Venue: Proceedings of the 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (2007)

Identifying the vascular bifurcations and crossovers in the retinal image is helpful for predicting many cardiovascular diseases and can be used as biometric features and for image registration. In this paper, we propose an efficient method to detect vascular bifurcations and crossovers based on the vessel geometrical features. We segment the blood vessels from the color retinal RGB image, and apply the morphological thinning operation to find the vessel centerline. Applying a filter on this centreline image we detect the potential bifurcation and crossover points. The geometrical and topological properties of the blood vessels passing through these points are utilized to identify these points as the vessel bifurcations and crossovers. We evaluate our method against manually measured bifurcation and crossover points by an expert, and achieved the detection accuracy of 95.82%.
Towards OntoClean 2.0: A framework for rigidity
Authors: Christopher Welty, William Andersen
Venue: Applied Ontology (2005)

The OntoClean methodology was based on a set of formal meta-properties whose semantics were specified in S5 modal logic. One of these metaproperties, Rigidity, has come under more focused scrutiny by the ontology community, and several problems with the formalization have been discussed along with several solutions. In this paper, we attempt to reconcile these results in a larger framework that exposes different kinds of rigidity, as well as two new metaproperties, actuality and permanence, which deal more specifically with the behavior of properties with respect to time and existence.
Preferred Database Repairs Under Aggregate Constraints
Authors: Sergio Flesca, Filippo Furfaro, Francesco Parisi
Venue: Proceedings of the 1st international conference on Scalable Uncertainty Management (2007)

A framework for computing preferred repairs in numerical databases violating a given set of strong and weak aggregate constraints is introduced, which is based on a transformation into an Integer Linear Programming (ILP) instance. Aggregate constraints are linear inequalities on aggregates retrieved from the input data. While strong constraints express mandatory conditions, weak constraints define conditions which are expected to be satisfied, even if this is not mandatory. Thus, preferred repairs are repairs which make the data satisfy all the given strong constraints and as many weak constraints as possible. An experimental validation of the proposed approach is provided, proving its effectiveness.
The Strong Property of Morphological Connected Alternated Filters
Authors: Jose Crespo, Victor Maojo
Venue: Journal of Mathematical Imaging and Vision (2008)

This paper studies connectivity aspects that arise in image operators that process connected components. The focus is on morphological image analysis (i.e., on increasing image operators) and, in particular, on a robustness property satisfied by certain morphological filters that is denominated the strong property. The behavior of alternated compositions of openings and closings is investigated under certain assumptions, particularly connectedness and a connected component preserving condition. It is shown that these conditions cannot in general guarantee the strong property of certain connected alternated filters because of issues related to the locality of the filters. As treated in the paper, there have been a series of misunderstandings in the literature concerning this topic, and it is important to clarify them. The root cause of those problems is discussed, and a solution is indicated. The class of connected openings and closings used to build connected alternated filters should therefore be defined to avoid such situations, since the strong property of alternated filters should be a distinctive characteristic of this class.
Identifying pedagogical, technological and organizational barriers in virtual learning environments
Authors: Maria Galofré, Julià Minguillón
Venue: Proceedings of the 10th international ACM SIGACCESS conference on Computers and accessibility (2008)

Virtual learning environments are online spaces where learners interact with other learners, teachers, resources and the environment in itself. Although technology is meant to enhance the learning process, there are important issues regarding pedagogical and organizational aspects that must be addressed. In this paper we review the barriers detected in a virtual university which exclusively uses Internet as the main channel of communication, with no face-to-face requirements except those related to final evaluation.
A System to Make Signs Using Collaborative Approach
Authors: Mohamed Jemni, Oussama Elghoul
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

The generation of gestures is essential for the creation and the development of applications dedicated to deaf persons, in particular the illiterates. In most cases, these application need to store gestures codification/description in data bases or dictionaries in order to process sign language, to translate text from or to sign language, to play sign in a 3D scene and so on. The system WebSign we have developed in our laboratory during the last years, is a translator from written text to sign language. It is based on a multi-community approach to respond to the needs of the locality of sign language. To do so, our system allows using specific dictionary for each community and a common dictionary shared by all communities. In this context it is fundamental to define an expressive language which allows describing signs. In order to facilitate the addition of new words without any programming skills, we have developed a web based human-software interface which allows the generation of words described by the defined language.
An Energy-Efficient Scheduling Algorithm for Real-Time Tasks
Authors: Youlin Ruan, Gan Liu, Jianjun Han, Qinghua Li
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

Based on maximal slack first, this paper proposes a novel energy-efficient scheduling algorithm for periodic real time tasks. The scheduling solution combines static priority and dynamic speed adjustment mechanism to save energy. Simulation results show that the proposed algorithm outperforms other major scheduling schemes.
Digitalized Image Analysis Based Measurement and Calculation of Fractal Characteristic and Fractal Dimension of Pore Structure of Sesame Cake
Authors: Xiao Zheng, Jingzhou Wang, Guoxiang Lin, Nong Wan, Yaxin Zhang
Venue: Proceedings of the 2008 International Symposiums on Information Processing (2008)

The microstructures of sesame cake under five applied pressures were measured using stereo light microscope and Image-pro software. Fractal dimensions of pore section border and pore size distribution were measured and calculated by the slit island process. Regression method was used to analyse the correlation between the fractal dimension and applied pressure. Results showed that the fractal characteristic of pore structure of sesame cake was obvious, the pore structure and its fractal dimension were significantly affected by applied pressure. There existed good linear correlations between applied pressure and fractal dimensions of the pore section border and pore size distribution. Their fractal dimension values decreased significantly with increasing applied pressure. It was concluded that with increasing applied pressure the pore section border is further twisty, the pore wall further rough, the pore shape further irregular and the pore size distribution further complicated.
Programming Environment for a High-Performance Parallel Supercomputer with Intelligent Communication
Authors: A. Gunzinger, B. BÄUMLE, M. Frey, M. Klebl, M. Kocheisen, P. Kohler, R. Morel, U. MÜLLER, M. Rosenthal
Venue: Scientific Programming (1996)

At the Electronics Laboratory of the Swiss Federal Institute of Technology (ETH) in Z&uuml;rich, the high-performance parallel supercomputer MUSIC (MUlti processor System with Intelligent Communication) has been developed. As applications like neural network simulation and molecular dynamics show, the Electronics Laboratory supercomputer is absolutely on par with those of conventional supercomputers, but electric power requirements are reduced by a factor of 1,000, weight is reduced by a factor of 400, and price is reduced by a factor of 100. Software development is a key issue of such parallel systems. This article focuses on the programming environment of the MUSIC system and on its applications.
The Unified Web Evaluation Methodology (UWEM) 1.2 for WCAG 1.0
Authors: Annika Nietzio, Christophe Strobbe, Eric Velleman
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Checking of web accessibility can be carried out in several ways along the same international standards. The evaluation methodologies used by evaluation and certification organizations in several European countries (such as AccessiWeb in France, Technosite in Spain and AnySurfer in Belgium) are different in subtle but meaningful ways, even though they are usually based on the Web Content Accessibility Guidelines 1.0 (WCAG 1.0). The Unified Web Evaluation Methodology (UWEM) is developed by European expert organisations and offers test descriptions to evaluate WCAG 1.0 conformance covering level AA, a clear sampling scheme, several reporting options, including score cards and other instruments to help communicate the results of evaluations. The aim is to establish the UWEM as the basis for web accessibility evaluation, policy support and possible certification in Europe.
Streamline Flows for White Matter Fibre Pathway Segmentation in Diffusion MRI
Authors: Peter Savadjiev, Jennifer S. Campbell, G. Bruce Pike, Kaleem Siddiqi
Venue: Proceedings of the 11th international conference on Medical Image Computing and Computer-Assisted Intervention - Part I (2008)

We introduce a fibre tract segmentation algorithm based on the geometric coherence of fibre orientations as indicated by a streamline flow model. The inference of local flow approximations motivates a pairwise consistency measure between fibre ODF maxima. We use this measure in a recursive algorithm to cluster consistent ODF maxima, leading to the segmentation of white matter pathways. The method requires minimal seeding compared to streamline tractography-based methods, and allows multiple tracts to pass through the same voxels. We illustrate the approach with a segmentation of the corpus callosum and one of the cortico-spinal tract, with each example seeded at a single voxel.
Computer-aided-design methods for emerging quantum computing technologies
Authors: Mitchell A. Thornton
Venue:  (2008)

Emerging quantum computing technologies are poised to replace standard CMOS logic when the exponential size reduction reaches sub-atomic dimensions. Quantum circuits are reversible and therefore promise the potential of computation without energy loss. This research considers computer aided design (CAD) methods for all major aspects of quantum computing circuit design including logic synthesis, simulation, verification, and testing. The technologies we investigate include quantum cell automata (QCA) and general quantum circuits (QC), with significantly more emphasis on the later. The recently introduced quantum multi-valued decision diagram (QMDD) provides an efficient method to represent and simulate quantum (and other classical reversible) circuits. A major contribution of this dissertation is the development of a sift-like minimization as well as structure metrics based minimization techniques for QMDD. We have used the enhanced QMDD to efficiently simulate quantum circuits as well as quantum vectors. Our early investigation of reversible logic is concerned with a virtual implementation that uses a direct translation of relatively complex binary functions into circuits composed of Fredkin reversible gates. This allowed us to project size and speed complexity of complex reversible circuits, although this direct translation approach fails to minimize garbage inputs and outputs. To achieve proper garbage minimization, one must synthesize reversible logic using gate cascades with appropriate optimization methods embedded that attempt to minimize the total number of lines in the circuit. To that end, we developed a novel QMDD-based tool for cascade logic synthesis that utilizes the QMDD minimized variable order for lexicographical synthesis with garbage minimization included as an optimization criterion. We developed a synthesis tool that investigates the QCA native 3-input majority gates ability to implement complex logic circuits. In particular, we explore the benefit of transforming the logic description into exclusive sum of products (ESOP) forms prior to implementation in the majority gates. We survey recent efforts in establishing the foundation for QC testing and fault tolerant QC. We project the potential use of random tests as well as built in self test (BIST) techniques for future QC. A major contribution of this dissertation is the investigation of partially redundant reversible logic. Detection of partially redundant logic within any design, reversible or irreversible, has ramifications for logic synthesis, for design verification, and for design for test (DFT) issues.