ppxscal/embedding_network huggingface dataset:
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
Authors: Markus Voelter, Iris Groher
Venue: Proceedings of the 11th International Software Product Line Conference (2007)

Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The effectiveness of a software product line approach directly depends on how well feature variability within the portfolio is implemented and managed throughout the development lifecycle, from early analysis through maintenance and evolution. This paper presents an approach that facilitates variability implementation, management and tracing by integrating model-driven and aspect-oriented software development. Features are separated in models and composed by aspect-oriented composition techniques on model level. Model transformations support the transition from problem to solution domain. Aspect-oriented techniques enable the explicit expression and modularization of variability on model, code, and template level. The presented concepts are illustrated with a case study of a home automation system.
Bayesian networks for imputation in classification problems
Authors: Estevam R. Hruschka,  Jr., Eduardo R. Hruschka, Nelson F. Ebecken
Venue: Journal of Intelligent Information Systems (2007)

Missing values are an important problem in data mining. In order to tackle this problem in classification tasks, we propose two imputation methods based on Bayesian networks. These methods are evaluated in the context of both prediction and classification tasks. We compare the obtained results with those achieved by classical imputation methods (Expectation---Maximization, Data Augmentation, Decision Trees, and Mean/Mode). Our simulations were performed by means of four datasets (Congressional Voting Records, Mushroom, Wisconsin Breast Cancer and Adult), which are benchmarks for data mining methods. Missing values were simulated in these datasets by means of the elimination of some known values. Thus, it is possible to assess the prediction capability of an imputation method, comparing the original values with the imputed ones. In addition, we propose a methodology to estimate the bias inserted by imputation methods in classification tasks. In this sense, we use four classifiers (One Rule, Naïve Bayes, J4.8 Decision Tree and PART) to evaluate the employed imputation methods in classification scenarios. Computing times consumed to perform imputations are also reported. Simulation results in terms of prediction, classification, and computing times allow us performing several analyses, leading to interesting conclusions. Bayesian networks have shown to be competitive with classical imputation methods.
A comparison of two modelling paradigms in the Semantic Web
Authors: Peter F. Patel-Schneider, Ian Horrocks
Venue: Web Semantics: Science, Services and Agents on the World Wide Web (2007)

Classical logics and Datalog-related logics have both been proposed as underlying formalisms for conceptual modelling in the context of the Semantic Web. Although these two different formalism groups have some commonalities, and look similar in the context of expressively impoverished languages like RDF, their differences become apparent at more expressive language levels. After considering some of these differences, we argue that, although some of the characteristics of Datalog have their utility, the open environment of the Semantic Web is better served by standard logics.
Proceedings of the 3rd ACM/IEEE Symposium on Architecture for networking and communications systems
Venue: Symposium On Architecture For Networking And Communications Systems (2007)

On behalf of the program committee we are both pleased to welcome you to the third edition of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS) being held in Orlando, Florida. ANCS has become one of the premier research conferences in networking, and is dedicated to the design of the hardware and software components used to create communication networks. This year, we sought to expand the reach of ANCS to include novel architectures, architectural support for advanced communications systems, algorithms and protocols and emphasize hardware and software elements in the context of systems that enable networks to evolve and scale. We achieved that to a certain extent, and hope that in the future ANCS will be even more successful in addressing system issues for enabling high speed networks operating in large scale. There are many integral components and topics that inform the design of such networks, including switches, routers, optical and wireless networks, packet processing architectures, network processor design, scheduling and security, and this year's program includes papers in all these areas. We were fortunate to recruit an outstanding program committee of 32 members who graciously contributed their time and expertise towards the success of the conference. Every one of them was dedicated and thoroughly reviewed the papers they were assigned, and we are sure the authors will be greatly helped by the feedback provided in the reviews. The quality of any conference is derived from the quality of the submitted papers and the quality of the paper selection process. This conference is indebted to all authors who submitted their best work and to the program committee made of experts in the field. We received 70 submissions from all over the world. About 50% of the submitted papers were from the U.S., and about 28% from Europe, Middle East and Africa, and 20% were from Asia. Every paper received at least three reviews mostly from program committee members. The review process was "double-blind". Authors' identities were kept anonymous throughout the process. At the end the program committee accepted 20 papers which will be presented in a single track over the two days of the conference. We also chose 5 papers from the submitted papers to be presented as posters, with an associated 2 page abstract that is included in the Proceedings. We hope that all of you will find the program enjoyable, stimulating and useful to your career, for this would be the best reward for all the work that went into its preparation.
A Diagrammatic Notation for Abstract Syntax and Abstract Structured Objects
Authors: F. G. Pagan
Venue: IEEE Transactions on Software Engineering (1983)

The concept of abstract syntax is commonly applied to the formal specification of programming language semantics and is also useful in the broader context of software design. This paper proposes a scheme for the representation of abstract syntax specifications in the form of easily understood charts. The structuring primitives considered are those of scalar enumeration, heterogeneous aggregation, homogeneous lists and sets, disjunction, and partial functions. Secondarily, a related system of charts for depicting particular objects with a given structure is proposed. Examples are given to illustrate the use of these diagrammatic notations in the contexts of language description and software design and documentation.
Microprocessors and Education
Authors: J. T. Cain
Venue: Computer (1977)

The papers for this special issue of Computer were selected to be representative of those presented at the DISE Workshop on Microprocessors and Education held at Colorado State University, August 16-18, 1976. The workshop was sponsored by the DISE Committee (Digital Systems Education Committee-a project supported by the National Science Foundation) along with the Department of Electrical Engineering and Computer Science of Colorado State University. The workshop was intended to provide a forum both for the academic and industrial communities. For educators it was an opportunity to exchange ideas on how microporcessors should be integrated into the curriculum and to discuss microprocessor hardware, software, and system problems associated with the educational environment. For industry it was a chance to present its views on what skills will be required of graduating engineers, to provide an insight into the problems and design decisions encountered in designing and fabricating devices and systems, and to provide educators with a forecast of future developments in the industry.
An Extended TOPSIS for Belief Group Decision Making
Authors: Chao Fu, Shanlin Yang, Wenxing Lu
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

This paper extends TOPSIS (technique for order preference by similarity to ideal solution) to solve multiple attribute decision analysis (MADA) problems in the situation of belief group decision making (BGDM) where the evaluation of each decision maker (DM) is represented by the bba (basic belief assignment). In the extended TOPSIS, we combine group preferences with the pre-operation of external aggregation, the normalized Dempster's rule of combination. To differentiate from the original TOPSIS, the internal TOPSIS model, and some fuzzy TOPSIS models, we present the procedure of extended TOPSIS, mainly including the decision matrix normalization, the weights assignment, distance measures, and aggregation operators. A numerical example clearly illustrates the procedure of extended TOPSIS for BGDM.
Tunneling enhanced by web page content block partition for focused crawling: Research Articles
Authors: Tao Peng, Changli Zhang, Wanli Zuo
Venue: Concurrency and Computation: Practice Experience (2008)

The complexity of web information environments and multiple-topic web pages are negative factors significantly affecting the performance of focused crawling. A highly relevant region in a web page may be obscured because of low overall relevance of that page. Segmenting the web pages into smaller units will significantly improve the performance. Conquering and traversing irrelevant page to reach a relevant one (tunneling) can improve the effectiveness of focused crawling by expanding its reach. This paper presents a heuristic-based method to enhance focused crawling performance. The method uses a Document Object Model (DOM)-based page partition algorithm to segment a web page into content blocks with a hierarchical structure and investigates how to take advantage of block-level evidence to enhance focused crawling by tunneling. Page segmentation can transform an uninteresting multi-topic web page into several single topic context blocks and some of which may be interesting. Accordingly, focused crawler can pursue the interesting content blocks to retrieve the relevant pages. Experimental results indicate that this approach outperforms Breadth-First, Best-First and Link-context algorithm both in harvest rate, target recall and target length. Copyright &copy; 2007 John Wiley & Sons, Ltd.
Goal-Directed Program Transformation
Authors: B. Wegbreit
Venue: IEEE Transactions on Software Engineering (1976)

Program development often proceeds by transforming simple, clear programs into complex, involuted, but more efficient ones. This paper examines ways this process can be rendered more systematic. We show how analysis of program performance, partial evaluation of functions, and abstraction of recursive function definitions from recurring subgoals can be combined to yield many global transformations in a methodical fashion. Examples are drawn from compiler optimization, list processing, very high-evel languages, and APL execution.
Security Aspects in Networks-on-Chips: Overview and Proposals for Secure Implementations
Authors: Leandro Fiorin, Cristina Silvano, Mariagiovanna Sami
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

Security has gained increasing relevance in the develop- ment of embedded devices. Towards the aim of a secure sys- tem at each level of the design, in this paper we address se- curity aspects related to Networks-on-Chips (NoCs) archi- tectures. After presenting the attacks most likely to address NoCs, we survey existing academic and industrial secure architectures relevant to our case, focusing in particular on their communication infrastructure. We outline and propose possible solutions to contrast some of the attacks described and suggest the use of the NoC as a mean to monitor and detect unexpected system behaviors.
Image Steganalysis Based on Statistical Moments of Wavelet Subband Histograms in Different Frequencies and Support Vector Machine
Authors: Mohammad Ali Mehrabi, Karim Faez, Ali Reza Bayesteh
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 01 (2007)

This paper proposed a new image Steganalysis scheme based on statistical moments of histogram of multi-level wavelet subbands in frequency domain. Different frequencies of histogram have different sensitivity to various data embedding. Then we decompose the test image using three-level Haar discrete wavelet transform (DWT) into 13 subbands (here the image itself is considered as the LL0 subband).The DFT of each subband, is calculated. It is divided into low and high frequency bands. The first three statistical moments of each band are selected to form a 78-dimensional feature vector for Steganalysis. Support Vector Machines (SVM) classifier is then used to discriminate between stego-images and innocent images. Experimental results show that the proposed algorithm outperforms previously existing techniques.
Polyominoes with minimum site-perimeter and full set achievement games
Authors: Nándor Sieben
Venue: European Journal of Combinatorics (2008)

The site-perimeter of a polyomino is the number of empty cells connected to the polyomino by an edge. A formula for the minimum site-perimeter with a given cell size is found. This formula is used to show the effectiveness of a simple random strategy in polyomino set achievement games.
Video object segmentation and tracking using region-based statistics
Authors: Çiğdem Eroğlu Erdem
Venue: Image Communication (2007)

Two new region-based methods for video object tracking using active contours are presented. The first method is based on the assumption that the color histogram of the tracked object is nearly stationary from frame to frame. The proposed method is based on minimizing the color histogram difference between the estimated objects at a reference frame and the current frame using a dynamic programming framework. The second method is defined for scenes where there is an out-of-focus blur difference between the object of interest and the background. In such scenes, the proposed ''defocus energy'' can be utilized for automatic segmentation of the object boundary, and it can be combined with the histogram method to track the object more efficiently. Experiments demonstrate that the proposed methods are successful in difficult scenes with significant background clutter.
Impact ofWiener Phase Jitter Model on the Performance of Uplink OFDMA and Uplink MC-CDMA Systems
Authors: Nabila Soudani, Mounir Ben Salah, Ridha Bouallegue
Venue: Proceedings of the Second International Conference on Systems and Networks Communications (2007)

Performance degradation of uplink OFDMA and uplink MC-CDMA under Wiener phase jitter is pointed out in this paper using theoretical and simulation results. Beginning by characterizing the Wiener process, signal to noise degradation of presented waveforms is derived. Under the assumption of full load and small jitter, the degradation is shown to be varying with jitter variance and time. The main conclusion that can be achieved is the strong degradation that may occur to frequency locked multicarrier systems in the presence of Wiener phase jitter.
Analysis of hand gestures in remote collaboration: some design recommendations
Authors: Aiden Wickey, Leila Alem
Venue: Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces (2007)

This paper reports on a qualitative analysis of gestures performed during a remote collaboration in which two people are working together with physical objects. CSCW researchers have established the importance of supporting gesture when sharing and interacting from a distance. Recent work reports on a corpus of gestures phrases [3] and a set of gestures functions and roles [2] as observed in remote collaboration on physical tasks. While advances are being made in identifying these gestures, to date the design implications of remote gesture systems is still unclear. In this paper we describe a set of gestures phrases, which we have observed. These gesture phrases are composed of a number of individual gestures. We describe a specific gesture performed by the helper indicative of participant's natural/intuitive and preferred interaction practices. We also describe gestures performed by the helper going beyond pointing or showing a movement or a shape, gestures that suggest that the helper is acting as if manipulating the remote physical objects. We discuss the implications for supporting such more elaborated gesture phrases and present a set of design recommendations for designing remote gesture systems.
Cotransformation Provides Area and Accuracy Improvement in an HDL Library for LNS Subtraction
Authors: Panagiotis D. Vouzis, Sylvain Collange, Mark G. Arnold
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

The reduction of the cumbersome operations of multiplication, division, and powering to addition, subtraction and multiplication is what makes the Logarithmic Number System (LNS) attractive. Addition and subtraction, though, are the bottleneck of every LNS circuit, for which there are implementation techniques that tradeoff area, latency and accuracy. This paper reviews the methods of interpolation, multipartite tables and cotransformation for LNS addition and subtraction, but special focus is given on a novel version of cotransformation, for which a new special case is identified. Synthesis results compare an already published Hardware Description Language (HDL) library for LNS arithmetic that uses only multipartite tables or 2nd-order interpolation against a variation of the same library combined with cotransformation. Exhaustive simulation and a graphics example illustrate that the proposed library has smaller area requirements and is more accurate than the earlier library, at the cost of an increase in the latency of the hardware.
A qualitative analysis of reflective and defensive student responses in a software engineering and design course
Authors: Leslie Schwartzman
Venue: Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006 (2006)

For students encountering difficult material, reflective practice is considered to play an important role in their learning. However, students in this situation sometimes do not behave reflectively, but in less productive and more problematic ways. This paper investigates how educators can recognize and analyze students' confusion, and determine whether students are responding reflectively or defensively. Qualitative data for the investigation comes from an upper-level undergraduate software engineering and design course that students invariably find quite challenging. A phenomenological analysis of the data, based on Heidegger's dynamic of rupture, provides useful insight to students' experience. A clearer understanding of the concepts presented in this paper should enable faculty to bring a more sophisticated analysis to student feedback, and lead to a more informed and productive interpretation by both instructor and administration.
A Fuzzy Bayesian Learning Negotiation Model with Genetic Algorithms
Authors: Yuying Wu, Jinxuan Lu, Feng Yan
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 05 (2007)

An offer is accepted or rejected based on the utility function in the traditional automatic negotiation. Acceptability based on the fuzzy set theory and the membership function is used to evaluate offers. Since different issues have different effect on negotiators, the combined concession in the multi-issue negotiation, Bayesian learning mechanism and genetic algorithm are adopted to update its beliefs about incomplete information. The fuzzy negotiation model is a more practical than the traditional negotiation model.
Character Line Segmentation Based on Feature Clustering
Authors: Y. Xi, Y. Chen, Q. Liao, L. Winghong, F. Shunming, D. Jiangwen
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 01 (2007)

A novel character line segmentation method for degraded binary images based on feature clustering is proposed in this paper. The application of this research is to segment character lines on images of IC chip surfaces. First, several cutting lines are detected and every two neighbor cutting lines define a candidate character line (CCL). Second, the feature of each CCL is extracted and clustering is used to choose real character lines (RCL) from CCLs. Third, a post- processing step is applied to confirm or refine the character line segmentation results. Experiments have demonstrated that this novel method can find all the character lines in degraded document images of IC chip surfaces quickly and accurately and is robust to images with background noise and logo.
Direct Coherent Optical Fourier Transform of Curves
Authors: F. L. Lanzl
Venue: IEEE Transactions on Computers (1975)

A coherent optical Fourier transform system is studied for which masks of curves only are used as input. A general theory for this problem is discussed, resulting in the functional connection between input and output data and limitations due to thickness, curvature, and extension of the curve. The general result can be simplified for a curve which represents a signal modulated by a carrier. In this case the Fourier transform of the signal can be found optically in first-order diffraction. The method is applied to interferogram curves arising in Fourier spectroscopy.
An Efficient Method of Locating Vehicle License Plate
Authors: Zhigang Xu, Honglei Zhu
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 02 (2007)

License plate location is an important stage for vehicle license plate recognition. Basing on corner detection and edge extraction, a method is applied to license plate location of vehicle images. Thresholding method is adopted at first. Second, the image is operated by mathematical morphology in order to achieve the clear edge of vehicle licenses. Then, vehicle license plate is located by the improved method. Experimental results demonstrate the great robustness and efficiency of our method.