ppxscal/embedding_network huggingface dataset:
Robust multimodal medical image registration and statistical cerebrovascular segmentation
Authors: Albert C. Chung
Venue:  (2006)

In this thesis, we focus on two important medical image processing and analysis problems: multimodal image registration and cerebrovascular segmentation. First, for the purpose of improving the robustness of image registration, we propose two novel registration objective functions and a new technique for better optimization performance. The first novel objective function is a combination of the multi-dimensional mutual information and an angle measure on the maximum distance-gradient (MDG) vector field. The MDG vector field is a new spatial feature field designed for registration tasks. It encodes both local edge information and globally defined spatial information related to the intensity difference, the distance, and the direction of a voxel to a certain object boundary point. This objective function then integrates both the magnitude and the orientation information of the MDG feature into the image registration process. The other novel objective function can be obtained if the statistical joint intensity mappings estimated from the pre-aligned training image pairs are available. This a priori knowledge can then be used as reference to guide the multi-resolution based registration process, by minimizing a new Kullback-Leibler distance (KLD) based similarity measure between the observed joint intensity distribution and the reference joint intensity distribution. To achieve better optimization, which evidently affects the robustness of a registration process, we propose a general technique based on random transformation disturbance to assist optimization procedures to avoid local optima, and hence to achieve robust optimization results. The technique is based on different properties of the local neighborhood of a global optimum and those of local optima.Second, this thesis presents a statistical segmentation technique for the extraction of vasculatures in three-dimensional rotational angiography (3D-RA). This method uses maximum intensity projections (MIP) to improve the accuracy and robustness of threshold estimation using the expectation maximization (EM) algorithm. It is fully automatic and computationally efficient.Finally, encouraging experimental results of the proposed approaches on both synthetic and clinical medical images are presented in the thesis.
Constructing Usage Scenarios for API Redocumentation
Authors: Juanjuan Jiang, Johannes Koskinen, Anna Ruokonen, Tarja Systa
Venue: Proceedings of the 15th IEEE International Conference on Program Comprehension (2007)

Software development relies heavily on reusable li- braries and software components. For correct use of the provided API, proper documentation is needed. API usage is often demonstrated by giving example applications and code samples. In this paper we propose an approach for mining such usage scenarios from run-time communication between sample applications and the API. This is done au- tomatically by first monitoring the API usage of sample ap- plications, then filtering the generated traces, and finally synthesizing the sequence diagrams and illustrating them in a well-formed way as UML2 sequence diagrams. Such usage scenarios support the software engineer in compre- hending the usage of the API. With proper tool support they can also be used for validating other applications' API us- age and for generating code for a new application using the same API.
Improved modeling of OOV words in spontaneous speech
Authors: P. Fetter, A. Kaltenmeier, T. Kuhn, P. Regel-Brietzmann
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 01 (1996)

This paper presents an analysis of the out-of-vocabulary (OOV) word problem and results of experiments in language modeling of OOV words. In particular, we introduce the method of iterative substitution for correcting distortions caused by OOV words in the language model. We evaluate the results on two well known spontaneous speech tasks: Verbmobil and ATIS. We show that perplexity as well as error rate reductions can be achieved using iterative substitution. Further, we present preliminary results in combining newspaper texts with the Verbmobil (spontaneous speech) corpus. We could reduce the perplexity of the Verbmobil test set by augmenting the training corpus with newspaper texts. Preliminary recognition results show only slight improvements in the word accuracy and detection of OOV words.
Is E-Government Ready for Prime Time?
Authors: Stephen Ruth, Soogwan Doh
Venue: IEEE Internet Computing (2007)

Every nation has some form of e-government process, but there's considerable debate aboutwhether it's even close to its potential. In spite of flashy and multifaceted implementations indeveloped nations, considerable evidence suggests that even the most technologicallyadvanced countries aren't getting the full return yet for their e-government investments.Poorer nations fare even worse.
The morphological pyramid concept as a tool for multi-resolution data fusion in remote sensing
Authors: Florence Laporterie, Guy Flouzat
Venue: Integrated Computer-Aided Engineering (2003)

This paper presents the morphological pyramid concept, a new approach which can be used for both image analysis and fusion in remote sensing. After a review on multi-sources images fusion methods in Earth observation from space, the morphological pyramid is presented. Its properties are described and then the principle of spatial and temporal fusion of remotely sensed images is shown through two examples. The first one deals with multi-date images, the second one combines in an original way two types of images coming from two sensors onboard the same satellite SPOT 4: the HRVIR one provides high resolution images (10 or 20 m) but coarse temporal frequency, and the VEGETATION sensor provides high frequency images with coarse spatial resolution (1 km). Finally, exploitation and analysis of merged images through the pyramid are shown.
Enriched Diagnosis and Investigation Models for Security Event Correlation
Authors: Veronique Legrand, Stephane Ubeda
Venue: Proceedings of the Second International Conference on Internet Monitoring and Protection (2007)

This paper describes a diagnosis model and architecture for enterprise level security event correlation called DIM (Diagnostic and Investigation Models). Our work is motivated by the existing limits of holistic Information System security surveillance solutions suited to monitoring information systems. We address this issue in this paper and propose an architectural foundation. Our approach is based on an ontology-driven diagnosis process coupled with enriched CIM (Common Information Model) derived information model and a policy model.
Process-labeled kernel profiling: a new facility to profile system activities
Authors: Shingo Nishioka, Atsuo Kawaguchi, Hiroshi Motoda
Venue: Proceedings of the 1996 annual conference on USENIX Annual Technical Conference (1996)

Profiling tools that empirically measure the resource usage of a program have been widely used in program development. These tools have traditionally focused on the behavior of the target program. The target program, however, actually performs its job in collaboration with other programs, such as servers and an operating system kernel, in a modern system environment. Process-labeled kernel profiling is a novel facility that measures and attributes the kernel resource consumption of programs benefiting from it. This facility, in conjunction with a conventional profiler, enables a programmer to grasp the resource consumption of programs from an overall system point of view. Using this information, the programmer is better able to reduce overall resource consumption.
Joint 2D-pilot-symbol-assisted-modulation and decision-directed frequency synchronization schemes for coherent OFDM
Authors: M. J. Fernandez-Getino Garcia
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 05 (2000)

A new frequency offset tracking approach for OFDM has been addressed. Two-dimensional pilot-symbol assisted modulation (2D-PSAM) is employed in coherent OFDM for channel estimation and it is based on inserting known symbols spread out through the 2D time-frequency grid. We show that these scattered symbols can also be employed to perform frequency synchronization. Maximum likelihood estimation has been derived for both time and frequency domains. Also, if a decision-guided strategy is used jointly with the 2D-PSAM signalling, an improvement in performance can be attained.
Secure Software Engineering: A New Paradigm
Authors: Wm. Arthur Conklin, Glenn Dietrich
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Software defects lead to security vulnerabilities, which are costing businesses millions of dollars each year and threaten the security of individuals and the nation. It can be demonstrated that changes to the software engineering process can help to reduce the number of defects in new or changed software. Universities play a major role in the education and training of software engineers. This paper proposes a new way of teaching software development. The changes in curricula are designed to be time neutral, to not increase the length of courses, yet still significantly improve the outcome.
Producing Software Architecture Documentation to Suit Your Needs
Authors: Judith Stafford, Paul Clements
Venue: Proceedings of the Sixth Working IEEE/IFIP Conference on Software Architecture (2007)

Software architecture has become a widely-accepted conceptual basis for the development of non-trivial software in all application areas and by organizations of all sizes. Effectively documenting an architecture is as important as crafting it; if the architecture is not understood, or worse, is misunderstood, it cannot meet its goals as the unifying vision for software development. Development-based architecture strategies, such as Rational's Unified Process, stop short of prescribing documentation standards.
The Contemporary Software Security Landscape
Authors: David Ahmad
Venue: IEEE Security and Privacy (2007)

Microsoft's release of Windows Vista marks the arrival of a new era for software security. Fundamental, important changes have gradually occurred, bringing us to a point now where the threat landscape no longer resembles what it was just a few years ago. Vista's release is ideal to consider as a culmination point because it's from this point that software attack strategies will move into new directions. This article examines some of these new directions, as well as the changes related to Vista that most encapsulate the current threat landscape for software security.
The state of SAT
Authors: Henry Kautz, Bart Selman
Venue: Discrete Applied Mathematics (2007)

The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the current state of satisfiability testing and places the papers in this issue in context.
A Distributed Query Execution Engine in a Grid Environment
Authors: Gustavo G. Trevisol, Cristiano Biancardi, Alvaro C. P. Barbosa, Jose G. Pereira Filho, Ramon G. Costa, Evellin S. Cardoso
Venue: Proceedings of the Seventh IEEE International Symposium on Cluster Computing and the Grid (2007)

Grid is a computational environment in which applications can use multiple distributed computational resources in a safe, coordinated, efficient and transparent way. Data Integration Middleware Systems (DIMS) are originally distributed systems that can make use of Grid environments to obtain a better performance and a rational use of available resources. This work describes a Distributed Query Execution Engine (DQEE) inserted in a Grid environment for executing sub-queries and operators in a distributed and parallel way. We present an approach to obtain an efficient distributed query execution with a reduced response time by the use of the DQEE.
Implications of a segmentation-based motion compensation scheme for the case of a block transform encoder
Authors: M. Sipitca
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 04 (1996)

Sipitca and Madisetti (see VCIP '96, Orlando, Florida, 1996) have proposed the use of analog position sensors for a more accurate motion compensation on videoconferencing sequences. We investigate the results of including such a motion compensation scheme in a transform based encoder. The more successful motion compensation makes the resulting displaced frame difference (DFD) less correlated. In fact, the autocorrelation function goes practically to zero for a lag larger than 4-5 pels. Therefore, the 4/spl times/4 DCT can be used instead of the 8/spl times/8 DCT. This helps in dealing better with the relatively small regions where the DFD takes on larger values-on the border regions and in the new information regions. Finally, a block swapping algorithm and an appropriate error measure are introduced. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Quantification of neural images using grey difference
Authors: Donggang Yu, Tuan D. Pham, Hong Yan, Denis I Crane
Venue: Proceedings of the 2006 workshop on Intelligent systems for bioinformatics - Volume 73 (2006)

We present new algorithms for segmenting neuron images which are taken from cells being grown in culture with oxidative agents. Information from changing images can be used to compare changes in neurons from the Zellweger mice to those from normal mice. Image segmentation is the first and major step for the study of these different types of processes in neuron cells. It is difficult to do it as these neuron cell images from stained fields and unimodal histograms. In this paper we develop an innovative strategy for the segmentation of neuronal cell images which are subjected to stains and whose histograms are unimodal. The proposed method is based on logical analysis of grey difference. Two key parameters, window width and logical threshold, are automatically extracted to be used in logical thresholding method. Spurious regions are detected and removed by using hierarchical filtering window. Experiment and comparison results show the efficient of our algorithms.
Channel equalization using radial basis function network
Authors: J. Lee
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 03 (1996)

We discuss the application of a radial basis function (RBF) network to the channel equalization problem. In particular, the purpose of the paper is to improve the previously developed RBF equalizer with training using K-means and LMS methods; reducing the RBF network size by considering a lesser number of RBF centers, and developing new techniques for determining channel order which is required to specify the structure of an RBF equalizer. A linear regression model was used for estimating the channel order. The basic idea of reducing the network size is to select the centers, based on the channel lag. This work includes the comparison of the limits of mean square error (MSE) convergence of both a linear equalizer and an RBF equalizer.
Variable-gain up-converter with current reuse for 5-GHz WLAN applications
Authors: Calogero D. Presti, Francesco Carrara, Giuseppe Palmisano
Venue: Analog Integrated Circuits and Signal Processing (2007)

A variable-gain up-conversion mixer for 5-GHz WLAN applications is presented, whose input stage is based on a novel variable gain transconductor. The proposed topology features reduced power consumption by exploiting dc current reuse for mixer biasing. Moreover, a new low-consumption control circuit is introduced, which achieves a temperature-stable and linear-in-dB characteristic, providing a 40-dB dynamic range within ±1 dB gain error.
Evaluating pedagogical classification frameworks for learning objects: A case study
Authors: Elena García-Barriocanal, Miguel-Angel Sicilia, Miltiadis Lytras
Venue: Computers in Human Behavior (2007)

The use of toolkits and reference frameworks for the design and evaluation of learning activities enables the systematic application of pedagogical criteria in the elaboration of learning resources and learning designs. Pedagogical classification as described in such frameworks is a major criterion for the retrieval of learning objects, since it serves to partition the space of available learning resources depending either on the pedagogical standpoint that was used to create them, or on the interpreted pedagogical orientation of their constituent learning contents and activities. However, pedagogical classification systems need to be evaluated to assess their quality with regards to providing a degree of inter-subjective agreement on the meaning of the classification dimensions they provide. Without such evaluation, classification metadata, which is typically provided by a variety of contributors, is at risk of being fuzzy in reflecting the actual pedagogical orientations, thus hampering the effective retrieval of resources. This paper describes a case study that evaluates the general pedagogical dimensions proposed by Conole et al. to classify learning resources. Rater agreement techniques are used for the assessment, which is proposed as a general technique for the evaluation of such kind of classification schemas. The case study evaluates the degree of coherence of the pedagogical dimensions proposed by Conole et al. as an objective instrument to classify pedagogical resources. In addition, the technical details on how to integrate such classifications in learning object metadata are provided.
SE and CS Collaboration: Training Students for Engineering Large, Complex Systems
Authors: Mohammad Nauman, Muhammad Uzair
Venue: Proceedings of the 20th Conference on Software Engineering Education & Training (2007)

Today's software industry is characterized by fast growth and diversity. To engineer software in such an environment, software engineers are required to work with large teams and handle large complex systems, involving common off-the-shelf components, open source software and outsourced resources. This poses a serious challenge for software engineering institutions. In this paper, we outline a framework for collaboration among computer science and software engineering programmes within a university with the goal of training students for engineering large, complex systems. We chart a three phase layout for the framework in which students of both programmes work together to simulate the industry's practices by designing, building, integrating and testing a large, complex system. We consider the issue of evaluating students in such a framework and give alternatives for certain variables so as to fit the framework in different environments.
A new, studio based, multimedia dynamic systems course: does it really work?
Authors: M. T. Glinkowski
Venue: Proceedings of the Frontiers in Education Conference,1997. on 27th Annual Conference. Teaching and Learning in an Era of Change. - Volume 01 (1997)

In the Fall of 1996, a new course in dynamic systems was offered in an interactive studio environment using multimedia computer software and a variety of other interactive activities. The course results were assessed and the students' progress and scores were compared with the regular, lecture-based sections of the course. The students for the studio section were selected at random and did not have any prior knowledge about the new format. The results show an improvement of about 10% in favor of the studio type instruction. Students were also surveyed at the end of the semester and indicated that they preferred the studio-based learning environment. Although the multimedia software plays an important role in the course, the authors postulate that this is only one of the decisive factors responsible for the improvement. All modes of interactions, human-to-human as well as human-to-computer, contributed to the new experience in this studio. Computer based multimedia is only a new tool in the arsenal of old teaching and learning techniques that the educators should be incorporating into their efforts to improve a global educational experience of the students.
Computing with subspaces
Authors: Sergio Antoy, Bernd Braßel
Venue: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007)

We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restricts the validity of the argument of getAllValues. This restriction ensures that essential language features like the call-time choice semantics, the independence of the order of evaluation, and the referential transparency of the language are preserved when getAllValues is executed. Up to now, conflicts between these language features and primitives like getAllValues have been seen as one of the main problems for employing such primitives in functional logic languages.
Seven factors that influence ICT student achievement
Authors: Catherine Lang, Judy McKay, Sue Lewis
Venue: ACM SIGCSE Bulletin (2007)

In the process of establishing an audit of student achievement by gender as part of a Women in IT project, seven factors were identified that affect student success. These seven factors had minimal effect when they occurred in isolation within a unit of study, but certain combinations of factors created a learning environment that was detrimental to all students, and in other instances a learning environment that was particularly unfavourable for female students. The impact of these findings has resulted in a set of recommendations to improve the teaching of IT in universities in general.
Open Pluggable Edge Services: An Architecture for Networked Content Services
Authors: Markus Hofmann, Leland R. Beaumont
Venue: IEEE Internet Computing (2007)

The IETF's Open Pluggable Edge Services (OPES) working group focuses on rule-based, in-line transformation services of data flows between Internet endpoints, such as Web servers and Web clients. The group has developed an architectural framework to authorize, invoke, and trace such application-level services. The framework follows a one-party consent model, which requires that at least one of the application-layer endpoints explicitly authorize each service. OPES services must also be reversible by request of the application endpoints.