ppxscal/embedding_network huggingface dataset:
Effective Skyline Cardinality Estimation on Data Streams
Authors: Yang Lu, Jiakui Zhao, Lijun Chen, Bin Cui, Dongqing Yang
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

In order to incorporate the skyline operator into the data stream engine, we need to address the problem of skyline cardinality estimation, which is very important for extending the query optimizer's cost model to accommodate skyline queries. In this paper, we propose robust approaches for estimating the skyline cardinality over sliding windows in the stream environment. We first design an approach to estimate the skyline cardinality over uniformly distributed data, and then extend the approach to support arbitrarily distributed data. Our approaches allow arbitrary data distribution, hence can be applied to extend the optimizer's cost model. To estimate the skyline cardinality in online manner, the live elements in the sliding window are sketched using Spectral Bloom Filters which can efficiently and effectively capture the information which is essential for estimating the skyline cardinality over sliding windows. Extensive experimental study demonstrates that our approaches significantly outperform previous approaches.
A new approach for understanding dominant design: The case of the ink-jet printer
Authors: Neil Clymer, Shigeru Asaba
Venue: Journal of Engineering and Technology Management (2008)

We study dominant design strategies concerning the allocation of technological resources for ink-jet printers. We find that the dominant design for each firm can be quantitatively represented by the number of ink-jet patents in nine categories of a matrix that distinguishes patents according to method of implementation and type of module. Further, we find that annual firm ink-jet revenue from 1990 through 2000 is positively correlated with a balanced dispersion of patents across the nine categories. Results suggest that higher revenues will accrue to firms in integrated industries when resources are balanced among important sub-technologies in the dominant design.
Neural networks letter: Energy minimization in the nonlinear dynamic recurrent associative memory
Authors: Sébastien Hélie
Venue: Neural Networks (2008)

Chartier and his colleagues have recently proposed a nonlinear synchronous attractor neural network. In the Nonlinear Dynamic Recurrent Associative Memory (NDRAM), learning has been shown to converge to a set of real-valued attractors in single-layered neural networks and bidirectional associative memories. However, the transmission is highly nonlinear and its global stability has never been analytically proven. In this article, it is shown that NDRAM is an instance of the Cohen-Grossberg class of models and its energy function is defined. Analysis of the energy function shows that the transmission is stable in the entire domain of NDRAM. Numerical simulations further support this analysis.
Local search with quadratic approximations into memetic algorithms for optimization with multiple criteria
Authors: Elizabeth F. Wanner, Frederico G. Guimarães, Ricardo H. C. Takahashi, Peter J. Fleming
Venue: Evolutionary Computation (2008)

This paper proposes a local search optimizer that, employed as an additional operator in multiobjective evolutionary techniques, can help to find more precise estimates of the Pareto-optimal surface with a smaller cost of function evaluation. The new operator employs quadratic approximations of the objective functions and constraints, which are built using only the function samples already produced by the usual evolutionary algorithm function evaluations. The local search phase consists of solving the auxiliary multiobjective quadratic optimization problem defined from the quadratic approximations, scalarized via a goal attainment formulation using an LMI solver. As the determination of the new approximated solutions is performed without the need of any additional function evaluation, the proposed methodology is suitable for costly black-box optimization problems.
Crosstalk Waveform Modeling Using Wave Fitting
Authors: Mini Nanua, David Blaauw
Venue: Proceedings of the 17th international workshop on Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (2007)

Crosstalk analysis has become an essential part of high performance design in nanometer technologies. Interconnects in nanometer technology have increased resistance and coupling capacitance due to process scaling. The crosstalk pulses are complex and require a new modeling approach. We show that current models such as triangular and Weibull exhibit as much as 31% error in propagated pulse for some crosstalk waves in nanometer technology. We present a methodology based on wave fitting as a model for crosstalk waves. We compare the accuracy of the wave fitting model proposed with existing wave models such as: Weibull, isosceles triangular and trapezoidal. We present the simulation results for different gates in 65nm Bulk CMOS technology and provide a comparison in error statistics for propagated crosstalk pulse. We demonstrate that our approach has a average propagated pulse error of less than 5% and improves the overall crosstalk analysis results by at least 67%.
Functional pearl: streams and unique fixed points
Authors: Ralf Hinze
Venue: Proceeding of the 13th ACM SIGPLAN international conference on Functional programming (2008)

Streams, infinite sequences of elements, live in a coworld: they are given by a coinductive data type, operations on streams are implemented by corecursive programs, and proofs are conducted using coinduction. But there is more to it: suitably restricted, stream equations possess unique solutions, a fact that is not very widely appreciated. We show that this property gives rise to a simple and attractive proof technique essentially bringing equational reasoning to the coworld. In fact, we redevelop the theory of recurrences, finite calculus and generating functions using streams and stream operators building on the cornerstone of unique solutions. The development is constructive: streams and stream operators are implemented in Haskell, usually by one-liners. The resulting calculus or library, if you wish, is elegant and fun to use. Finally, we rephrase the proof of uniqueness using generalised algebraic data types.
Extending MPML3D to Second Life
Authors: Sebastian Ullrich, Klaus Bruegmann, Helmut Prendinger, Mitsuru Ishizuka
Venue: Proceedings of the 8th international conference on Intelligent Virtual Agents (2008)

This paper describes an approach how to integrate virtual agents into the 3D multi-user online world Second Life. For this purpose we have implemented a new client software for Second Life that controls virtual agents ("bots") and makes use of the Multimodal Presentation Markup Language 3D (MPML3D) to define their behavior. The technical merits and limitations of Second Life are discussed and solutions are provided. A multi-user scenario serves as an example to illustrate our solutions to technical challenges and advantages of using the virtual environment of Second Life.
Tool Integration and Interoperability Challenges of a System-Level Design Flow: A Case Study
Authors: Andy D. Pimentel, Todor Stefanov, Hristo Nikolov, Mark Thompson, Simon Polstra, Ed F. Deprettere
Venue: Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (2008)

Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which design exploration, system-level synthesis, application mapping, and system prototyping of MP-SoC architectures are highly automated. In this paper, we describe Daedalus from a software perspective, explaining its supporting software infrastructure and the way the various tools interoperate. Moreover, we discuss the lack of support for achieving tool interoperability that we have encountered during the development of Daedalus, and present several ideas of future research directions to address this issue. More specifically, we argue that a so-called Common Design Flow Infrastructure (CDFI) for system-level design flows is needed to improve and stimulate research and development in the area of system-level design methodology.
Structure Learning of Probabilistic Relational Models from Incomplete Relational Data
Authors: Xiao-Lin Li, Zhi-Hua Zhou
Venue: Proceedings of the 18th European conference on Machine Learning (2007)

Existing relational learning approaches usually work on complete relational data, but real-world data are often incomplete. This paper proposes the MGDA approach to learn structures of probabilistic relational model (PRM) from incomplete relational data. The missing values are filled in randomly at first, and a maximum likelihood tree (MLT) is generated from the complete data sample. Then, Gibbs sampling is combined with MLT to modify the data and regulate MLT iteratively for obtaining a well-completed data set. Finally, probabilistic structure is learned through dependency analysis from the completed data set. Experiments show that the MGDA approach can learn good structures from incomplete relational data.
A Labelled System for IPL with Variable Splitting
Authors: Roger Antonsen, Arild Waaler
Venue: Proceedings of the 21st international conference on Automated Deduction: Automated Deduction (2007)

The paper introduces a free variable, labelled proof system for intuitionistic propositional logic with variable splitting. In this system proofs can be found without backtracking over rules by generating a single, uniform derivation. We prove soundness, introduce a construction that extracts finite countermodels from unprovable sequents, and formulate a branchwise termination condition. This is the first proof system for intuitionistic propositional logic that admits goal-directed search procedures without compromising proof lengths, compared to corresponding tableau calculi.
Integrating Delegation with the Formal Core RBAC Model
Authors: Ali E. Abdallah, Hassan Takabi
Venue: Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security (2008)

Role-based access control (RBAC) models are a powerful tool for describing and managing authorization, particularly, in large organizations. The benefits of using formal methods to describe RBAC models in a clear, consistent and rigorous manner have been recognized. Notable exemplars, that have been formulated in the formal specification notation Z, include NIST's reference RBAC model and the minimalist Core RBAC model. These models, however, do not support delegation, an important authorization feature which is often deployed in real access control systems. In RBAC, delegation empowers a user in a certain role to authorize another user to perform the tasks permissible to that role. This paper aims at integrating a version of role delegation, known as grant independent delegation, with the Core RBAC model. The paper introduces a state based model in which grant independent delegation and revocation operations are formally specified in Z. Integration with the Core RBAC model is achieved by simply combining the two models using the standard Z schema conjunction operator.
Time-Series Models of the EEG Wearing Overcorrected Glasses
Authors: Yohei Tomita, Shin-Ichi Ito, Yasue Mitsukura, Minoru Fukumi, Taketoshi Suzuki
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

Most people do not notice the overcorrected glasses in daily life. The overcorrected glasses have harmful effects on the eye. Then, these effects are thought to have harmful effects on the brain, too. Therefore, to reveal the effects on the brain by the overcorrection, we analyze electroencephalogram (EEG). At the experiment, the subject played the PC game for 30 minutes (techno-stress) with overcorrected glasses. As the results for time-series analysis and average-variance analysis, the differences of the EEG feature between the correction and the overcorrection are confirmed.
An On-Line Learning Radial Basis Function Network and Its Application
Authors: Nini Wang, Xiaodong Liu, Jianchuan Yin
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks (2008)

To improve the on-line predictive capability of radial basis function (RBF) networks, a novel sequential learning algorithm is developed referred to as sequential orthogonal model selection (SOMS) algorithm. The RBF network is adapted on-line for both network structure and connecting parameters. Based on SOMS algorithm, a multi-step predictive control strategy is introduced and applied to ship control. Simulation results of ship course control experiment demonstrate the applicability and effectiveness of the SOMS algorithm.
The Origin of Volatility Cascade of the Financial Market
Authors: Chunxia Yang, Yingchao Zhang, Hongfa Wu, Peiling Zhou
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

Based on the self-organized dynamical evolutionary of the investors structure, a refined dissipation market model is constructed. Unlike multifractal cascade-like ideas, this model provides a realistic (agent based) description of financial markets and reproduces the same multifractal scaling properties of price changes as the real, which indicate that the self-organized dynamical evolutionary of the investors structure may be the origin of the volatility statistical structure.
A New Speech Enhancement Method Based On Wavelet Packet Transform
Authors: Jizeng Wang, Chanfei Wang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

In this paper, a new speech enhancement algorithm based on the wavelet packet transform is proposed to suppress the noise. Before decomposing the noisy speech into componets by the wavelet space, we select and construct a new window function, which is smoother than the Hamming window in frequency domain to process the frame's partition, in order to improve the wavelet thresholding performance in the wavelet domain, we define a new parameter to adapt in time the thresholds according to a nonlinear function of the wavelet coefficient energies. Experimental results show that the proposed approach improves the naturalness, and does not cause annoying residual noise in the enhanced speech. Visual inspection of spectrograms and listening experiments are used to support the results.
3D Modelling for Metamorphosis for Animation
Authors: Li Bai, Yi Song, Yangsheng Wang
Venue: Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment (2008)

In this paper, we propose a novel 3D B-Spline surface reconstruction technique for 3D metamorphosis for animation and entertainment. The approach allows one-to-one mapping between the object space and a parameter space, and therefore automatic correspondence between a pair of reconstructed objects. B-Spline-based shape representation also has the advantages of: 1) easy shape editing, 2) level of detail control, and 3) compact storage.
Scenario-Based Comparison of Clone Detection Techniques
Authors: Chanchal K. Roy, James R. Cordy
Venue: Proceedings of the 2008 The 16th IEEE International Conference on Program Comprehension (2008)

Over the last decade many techniques for software clone detection have been proposed. In this paper, we provide a comprehensive survey of the capabilities of currently available clone detection techniques. We begin with an overall survey based on criteria that capture the main features of detection techniques. We then propose a set of hypothetical editing scenarios for different clone types, and evaluate the techniques based on their estimated potential to accurately detect clones that may be created by those scenarios.
Lifting Transformational Models of Product Lines: A Case Study
Authors: Greg Freeman, Don Batory, Greg Lavender
Venue: Proceedings of the 1st international conference on Theory and Practice of Model Transformations (2008)

Model driven development (MDD) of software product lines (SPLs) merges two increasing important paradigms that synthesize programs by transformation. MDD creates programs by transforming models, and SPLs elaborate programs by applying transformations called features. In this paper, we present the design and implementation of a transformational model of a product line of scalar vector graphics and JavaScript applications. We explain how we simplified our implementation by lifting selected features and their compositions from our original product line (whose implementations were complex) to features and their compositions of another product line (whose specifications were simple). We used operators to map higher-level features and their compositions to their lower-level counterparts. Doing so exposed commuting relationships among feature compositions in both product lines that helped validate our model and implementation.
Identifying Semantic Constructs in Web Documents to Improve Web Site Accessibility
Authors: Mathias Koehnke, Temenushka Ignatova, Martina Weicht, Ilvio Bruder
Venue: Proceedings of the 2008 international workshops on Web Information Systems Engineering (2008)

Misleading user interfaces and overloaded web sites are some of the reasons why users avoid certain web sites while searching for information on the world wide web. In order to improve the usability and accessibility of web sites, techniques which take the semantic structure of the web documents into account have to be employed. The semantic analysis approach described in this paper aims at recognizing those parts within web documents that are particularly relevant for a specific usage scenario. Different combinations of syntactical constructs are mapped to different analysis classes whose semantic constructs correspond to concrete interaction tasks predefined in task models. The task models are used as a workflow guiding the user through the shopping procedure, whereby for each identified task a corresponding semantic concept on the web site is identified. The described techniques will be embedded in a so called screen reader application for visually impaired people who do not have the ability to use a graphical display.
Ensemble of One-Class Classifiers for Network Intrusion Detection System
Authors: Anazida Zainal, Mohd Aizaini Maarof, Siti Mariyam Shamsuddin, Ajith Abraham
Venue: Proceedings of the 2008 The Fourth International Conference on Information Assurance and Security (2008)

To achieve high accuracy while lowering false alarm rates are major challenges in designing an intrusion detection system. In addressing this issue, this paper proposes an ensemble of one-class classifiers where each uses different learning paradigms. The techniques deployed in this ensemble model are; Linear Genetic Programming (LGP), Adaptive Neural Fuzzy Inference System (ANFIS) and Random Forest (RF). The strengths from the individual models were evaluated and ensemble rule was formulated. Empirical results show an improvement in detection accuracy for all classes of network traffic; Normal, Probe, DoS, U2R and R2L. RF, which is an ensemble learning technique that generates many classification trees and aggregates the individual result was also able to address imbalance dataset problem that many of machine learning techniques fail to sufficiently address it.
OMEGA: An Automatic Ontology Metadata Generation Algorithm
Authors: Rachanee Ungrangsi, Elena Simperl
Venue: Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns (2008)

At present, ontologies, independently of their location on the Web, are poorly documented, while additional descriptive information is spread across the Web in various forms, thus not being optimally accessible to potential users. State-of-the-art ontology location services offer a minimal set of search and navigation features, typically over a simple Web interface to the ontological resources administrated. Their retrieval functionality is significantly influenced by the absence of ontology metadata information. A first step towards the alleviation of this situation is the development of a feasible metadata schema for the systematic description of ontologies to allow a more effective access and exchange of ontologies across the Web. A second step, which is addressed in this paper, is the generation of the metadata information, particularly the mechanization of the process, as the only feasible means to scale at the number of ontologies constantly being developed in various sectors. We introduce OMEGA (Ontology MEtadata GenerAtion), an algorithm, which, as the name says, generates metadata about arbitrary ontologies on the Web in an automatic manner. The algorithm uses OMV (Ontology Metadata Vocabulary), as basic metadata schema capturing information about ontologies in a structured, machine-understandable form, and is available as Web application and REST Web service. It has been evaluated in terms of coverage, precision and recall, and overall user-perceived quality in several studies with positive results, providing thus a core building block for the realization of fully fledged ontology location services.
4/R/I/T distribution logistics network 0-1 programming model and application
Authors: Wang Zhuan, Zhang Qinghua, Yang bo, He Wenwen
Venue: Computers and Industrial Engineering (2008)

With the intensification of competition, enterprises pay more and more attention to logistics network construction and improvement. Optimizing logistics network is regarded as the key way to raise supply chain efficiency. This paper focuses on the definition and analysis of 4/R/I/T logistics network structure which is widely used in distribution logistics system, and puts forward 0-1 programming model to minimize logistics cost based on 4/R/I/T network structure. The model takes into the restriction of service time limit and sole service characteristics account. This optimization model can be solved by Lingo. An example is given in the end, which introduces the application of this model in a medicine distribution logistics network planning.
Depth Estimation by Finding Best Focused Points Using Line Fitting
Authors: Aamir Saeed Malik, Tae-Sun Choi
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

This paper presents a method for depth estimation using image focus based on the linear regression model. For each pixel, we select two datasets based on the maximum value which is calculated using Laplacian operator. Then linear regression model is used to find lines that approximate these datasets. The best fit lines are found using least squares method. After approximating the two lines, their intersection point is calculated and weights are assigned to calculate the new value for the depth map. The proposed method is compared with four depth estimation algorithms.
How to Program Organizations and Roles in the JADE Framework
Authors: Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert Torre
Venue: Proceedings of the 6th German conference on Multiagent System Technologies (2008)

The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles, and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and offer new abilities (powers) in the context of organizations to the agents which satisfy the requirements necessary to play the roles. To program organizations and roles, we provide primitives which enable an agent to enact a new role in an organization to invoke powers.