ppxscal/embedding_network huggingface dataset:
Semi-Automated Extraction of Ontological Knowledge from XML Datasources
Authors: Silvana Castano, Valeria De Antonellis, Sabrina De Capitani di Vimercati, Michele Melchiori
Venue: Proceedings of the 13th International Workshop on Database and Expert Systems Applications (2002)

In the paper we present a methodology for the semi-automated extraction of ontological knowledge from XML data sources in a given domain. We consider an interconnection scenario over the Web, where various independent organizations use XML as a data interchange language for conducting business activities. The resulting ontology is organizedinto concepts and concept relationships at different levels of detail. Semantic links within and between the different levels are studied in order to capture and formalize semantic relationships between concepts to support multiple views on the ontological knowledge.
Note: Rule-Based Forecasting Vs. Damped-Trend Exponential Smoothing
Authors: Everette S. Gardner,  Jr.
Venue: Management Science (1999)

This paper evaluates the ex ante performance of rule-based time series forecasting systems proposed in earlier research. The author shows that comparable performance can be obtained with a simpler alternative, a damped-trend version of exponential smoothing fitted to minimize the Mean-Absolute-Deviation (MAD) criterion. The results suggest that the performance of rule-based systems would be improved through this alternative and that time series forecasters should consider MAD fits in model development.
The I(q,w) classical orthogonal polynomials
Authors: P. Maroni, M. Mejri
Venue: Applied Numerical Mathematics (2002)

We introduce an operator giving a connection with the last condition of Hahn's programme and we investigate it to show that this condition characterizes a part of Hahn class. The integral representation of corresponding forms are given.
Being and Acting Rational
Authors: Michael N. Huhns
Venue: IEEE Internet Computing (2003)

Rational people tend to be more predictable and, therefore, understandable. Likewise, it is preferable to deal with agents that behave rationally as well.
Stabilization of the Korteweg-de Vries-Burgers equation with non-periodic boundary feedbacks
Authors: Mohammed Aassila
Venue: The Korean Journal of Computational Applied Mathematics (2003)

We consider the Korteweg-de Vries-Burgers (KdVB) equation on the domain [0,1]. We derive a control law which guarantees L2-global exponential stability, H3-global asymptotic stability, and H3-semiglobal exponential stability.
Dynamic Capacity Expansion Problem with Deferred Expansion and Age-Dependent Shortage Cost
Authors: Vernon Ning Hsu
Venue: Manufacturing Service Operations Management (2001)

Deferring capacity expansion may be a cost effective decision when there is anticipation of cheaper capacity in the near future and/or the current demand is too low to justify an immediate expansion. This paper studies a finite-horizon capacity expansion problem (CEP) with deferred capacity expansion. The operating cost and the cost of holding unused capacity in each period depend on the time when the capacity is acquired, and the shortage cost depends on the time when the shortage occurred. Our model is a generalization of the Wagner-Whitin formulation of the CEP and an extension (with deferred expansion) of two other polynomially solvable CEPs in the literature. We explore structural properties of the problem and develop an efficient dynamic programming algorithm to solve the problem in polynomial time.
Fast Fault Simulation for Nonlinear Analog Circuits
Authors: Nur Engin, Hans G. Kerkhoff
Venue: IEEE Design Test (2003)

A new method of transient fault simulation uses dc bias grouping of faulty circuits and decreases the number of Newton-Raphson iterations needed to reach a solution. An experimental tool implementing this method achieves a speedup of 20% to 30% on a flat netlist.
Case study: the role of mobile advertising in building a brand
Authors: Minna Pura
Venue: Mobile commerce: technology, theory, and applications (2003)

Building a brand in the fragmenting media environment is a challenging task. Advertising should be integrated and personalized, it should utilize different channels, and reach the customer at the right place, at the right time, through the right channel, and in the appropriate context. Mobile advertising should be used as a means of creating value to the customers and serving the customers better. This paper gives an insight into the practical possibilities and pitfalls of mobile advertising as a brand building and customer relationship management tool The case study describes how mobile advertising can be used to get the youth target group to give information about themselves to the company, and how this information can be utilized for future customer relationship management. The effectiveness of mobile advertising in a cross media context is analyzed through conversion and loyalty measures.
Which way is forward? direction and control in virtual space
Authors: Malcolm Warner, Morgen Witzel
Venue: Managing virtual web organizations in the 21st century: issues and challenges (2002)

The virtual organization offers many advantages, and can be a powerful strategic option for firms attempting to extend the scope and reach of their operations. However, it is by no means an easy option. Physical dispersal of the organization brings with it many associated problems of management and control. In this chapter, we look at some of these management issues and some of the options for managing more effectively in virtual space. In particular, we argue that management in virtual organizations still requires attention to the fundamentals of management. "Going virtual" should be seen as a strategic option which requires firms to achieve the optimal mix of physical and virtual elements and systems. In particular, we argue that a mastery of the skills of knowledge management is necessary in order to manage virtual systems and structures. Firms which fail to develop these skills run significant risks when taking the virtual option.
Predicting information flows in network traffic
Authors: Melvin J. Hinich, Robert E. Molyneux
Venue: Journal of the American Society for Information Science and Technology (2003)

In optimizing information flows in networks, it would be useful to predict aspects of the network traffic. Yet, the notion of predicting network traffic does not appear in the relevant literature reporting analysis of network traffic. This literature is both well developed and skeptical about the value of traditional time series analysis on network data. It has consistently reported three "traffic invariants" in the analysis of network and Internet traffic. This study uses such time series analysis on a day's worth of Internet log data and finds poor support for one of the invariants. In the preliminary analysis, evidence of nonlinearity was discovered in these data and the analysis presented here examines this question further. This study posits that nonlinear events may be a traffic invariant although this hypothesis would have to be investigated further. The appearance of nonlinear structures is important to the question of predicting network traffic because there are currently no methods to predict time series with nonlinear structures. The discovery of non-linear structures, then, may mean that developing a predictive model is impossible with current techniques. On the other hand, these nonlinearities may result from interactions from other OSI Layers than the one studied.
Smart hardware-accelerated volume rendering
Authors: Stefan Roettger, Stefan Guthe, Daniel Weiskopf, Thomas Ertl, Wolfgang Strasser
Venue: Proceedings of the symposium on Data visualisation 2003 (2003)

For volume rendering of regular grids the display of view-plane aligned slices has proven to yield both good quality and performance. In this paper we demonstrate how to merge the most important extensions of the original 3D slicing approach, namely the pre-integration technique, volumetric clipping, and advanced lighting. Our approach allows the suppression of clipping artifacts and achieves high quality while offering the fiexibility to explore volume data sets interactively with arbitrary clip objects. We also outline how to utilize the proposed volumetric clipping approach for the display of segmented data sets. Moreover, we increase the rendering quality by implementing efficient over-sampling with the pixel shader of consumer graphics accelerators. We give prove that at least 4-times over-sampling is needed to reconstruct the ray integral with sufficient accuracy even with pre-integration. As an alternative to this brute-force over-sampling approach we propose a hardware-accelerated ray caster which is able to perform over-sampling only where needed and which is able to gain additional speed by early ray termination and space leaping.
Numerical simulations and global existence of solutions of two-dimensional flows of fluids with pressure- and shear-dependent viscosities
Authors: J. Hron, J. Málek, J. Nečas, K. R. Rajagopal
Venue: Mathematics and Computers in Simulation (2003)

There is a considerable amount of experimental evidence that unequivocally shows that there are fluids whose viscosity depends on both the mean normal stress (pressure) and the shear rate. Recently, global existence of solutions for the flow of such fluids for the three-dimensional case was established by Málek, Necas and Rajagopal. Here, we present a proof for the global existence of solutions for such fluids for the two-dimensional case. After establishing the global-in-time existence, we discretize the equations via the finite element method, outline the Newton type iterative method to solve the non-linear algebraic equations and provide numerical computations of the steady flow of such fluids in geometries that have technological significance.
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times
Authors: Sorin Manolache, Petru Eles, Zebo Peng
Venue: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002)

This paper presents an approach to the analysis of task sets implemented on multiprocessor systems, when the task execution times are specified as generalized probability distributions. Because of the extreme complexity of the problem, an exact solution is practically impossible to be obtained even for toy examples. Therefore, our methodology is based on approximating the generalized probability distributions of execution times by Coxian distributions of exponentials. Thus, we transform the generalized semi-Markov process, corresponding to the initial problem, into a continuous Markov chain (CTMC) which, however, is extremely large and, hence, most often is impossible to be stored in memory. We have elaborated a solution which allows to generate and analyze the CTMC in an efficient way, such that only a small part has to be stored at a given time. Several experiments investigate the impact of various parameters on complexity, in terms of time and memory, as well as the trade-offs regarding the accuracy of generated results.
The moral and business value of information technology: what to do in case of a conflict?
Authors: Bernd C. Stahl
Venue: Creating business value with information technology: challenges and solutions (2003)

This chapter explores the question of the value of information technology from a wider angle than the usual financial perspective. The central thesis is that value is always more than just a financial notion, that it always includes a moral or ethical dimension. From this starting point, the paper investigates the different types of values that play a role in information technology. Due to the multitude of values that determine our dealing with information technology, it is clear that there can be conflicts between them. The paper, therefore, proceeds to introduce a framework that allows the conciliation of competing values by introducing values of a higher order, so-called option values and legacy values. It is then demonstrated that this framework can help solve the problem of value conflicts in IT.
Possibilistic causality consistency problem based on asymmetrically-valued causal model
Authors: Koichi Yamada
Venue: Fuzzy Sets and Systems (2002)

The paper addresses uncertain reasoning based on causal knowledge given by two layered networks, where nodes in one layer express possible causes and those in the other are possible effects. Uncertainties of the causalities are given by conditional causal possibilities, which were proposed to express the exact degrees of possibility of causalities. The expression of the uncertainty also has an advantage over the conventional conditional possibilities in the number of possibilistic values that should be given as a priori knowledge. The number of conditional causal possibilities given as knowledge is far smaller than that of conventional conditional possibilities.The paper starts with the definition of a causal model called asymmetrically-valued causal model. The conditional causal possibilities are defined on the causal model, and their mathematical properties are discussed. Then, the paper defines the possibilistic causality consistency problem based on the proposed model and shows how to solve the problem. The discussed problem is one to calculate the conditional possibility of a hypothesis about presence and absence of unknown events when the states of some other events are known.
"Unvoiced speech recognition using EMG - mime speech recognition"
Authors: Hiroyuki Manabe, Akira Hiraiwa, Toshiaki Sugimura
Venue: CHI '03 extended abstracts on Human factors in computing systems (2003)

We propose unvoiced speech recognition, "Mime Speech Recognition". It recognizes speech by observing the muscles associated with speech. It is not based on voice signals but electromyography (EMG). It will realize unvoiced communication, which is a new communication style. Because voice signals are not used, it can be applied in noisy environments; it also supports people without vocal-cords and aphasics. In preliminary experiments, we try to recognize the 5 Japanese vowels. EMG signals from the 3 muscles that contribute greatly to the utterance of Japanese vowels are input to a neural network. The recognition accuracy is over 90% for the three subjects tested.
A wavelet synthesis technique for creating realistic virtual environment sounds
Authors: Nadine E. Miner, Thomas P. Caudell
Venue: Presence: Teleoperators and Virtual Environments (2002)

This paper describes a new technique for synthesizing realistic sounds for virtual environments. The four-phase technique described uses wavelet analysis to create a sound model. Parameters are extracted from the model to provide dynamic sound synthesis control from a virtual environment simulation. Sounds can be synthesized in real time using the fast inverse wavelet transform. Perceptual experiment validation is an integral part of the model development process. This paper describes the four-phase process for creating the parameterized sound models. Several developed models and perceptual experiments for validating the sound synthesis veracity are described. The developed models and results demonstrate proof of the concept and illustrate the potential of this approach.
Improving the Sipp Approach for Staffing Service Systems That Have Cyclic Demands
Authors: Linda V. Green, Peter J. Kolesar, João Soares
Venue: Operations Research (2001)

This paper evaluates the practice of determining staffing requirements in service systems with random cyclic demands by using a series of stationary queueing models. We consider Markovian models with sinusoidal arrival rates and use numerical methods to show that the commonly used "stationary independent period by period" (SIPP) approach to setting staffing requirements is inaccurate for parameter values corresponding to many real situations. Specifically, using the SIPP approach can result in staffing levels that do not meet specified period by period probability of delay targets during a significant fraction of the cycle. We determine the manner in which the various system parameters affect SIPP reliability and identify domains for which SIPP will be accurate. After exploring several alternatives, we propose two simple modifications of SIPP that will produce reliable staffing levels in models whose parameters span a broad range of practical situations. Our conclusions from the sinusoidal model are tested against some empirical data.
Fast retrieval of isolated visual shapes
Authors: Boaz J. Super
Venue: Computer Vision and Image Understanding (2002)

Similarity-based retrieval from databases of isolated visual shapes has become an important information retrieval problem. The goal of the current work is to achieve high retrieval speed with reasonable retrieval effectiveness, and support for partial and occluded shape queries. In the proposed method, histograms of local shape parts are coded as index vectors. To increase retrieval accuracy, a rich set of parts at all scales of the shape is used; specifically, the parts are defined as connected sequences of regions in curvature scale space. To increase efficiency, structural indexing is used to compare the index vectors of the query and database shapes. In experimental evaluations, the method retrieved at least one similar shape in the top three retrieved items 99-100% of the time, depending on the database. Average retrieval times ranged from 0.7 ms on a 131-shape database to 7 ms on a 1310-shape database. The method is thus suitable for fast, approximate shape retrieval in comparison with more accurate but more costly structural matching.
On the edge-reconstruction of graphs embedded in surfaces IV
Authors: Yue Zhao
Venue: Discrete Mathematics (2003)

In this paper, by applying the discharging method, we give simple proofs that (1) every n-vertex graph with minimum degree at least 3 and girth at least 5 that is embeddable in a surface Σ of Euler characteristic at least -n/8 is edge-reconstructible, and (2) every n-vertex graph with minimum degree at least 4 that is embeddable without faces of length at most 3 in a surface Σ of Euler characteristic at least -n/6 is edge-reconstructible.
The rise of the intelligent enterprise
Authors: Kemal A. Delic, Umeshwar Dayal
Venue: Ubiquity (2002)

Mother Nature knows best -- How engineered organizations of the future will resemble natural-born systems.
Modelling and analysis of geoenvironmental problems using the finite element method
Authors: H. R. Thomas, P. J. Cleall, D. H. Owen
Venue: Civil and structural engineering computing: 2001 (2001)

This paper describes and presents developments in modelling of some geoenvironmental problems. This is achieved via a detailed description of the development of a model for the coupled thermal, hydraulic, chemical and mechanical (THCM) behaviour of partly saturated soil. Results of recent research work on validation of the thermal hydraulic and mechanical model and the inclusion of geochemical effects in thermal hydraulic mechanical (THM) behaviour are discussed. Also results of recent research work on a range of parallel preconditioned iterative solvers for coupled analyses are presented. Examples demonstrating the capability of the THM approach are also presented. Finally, research on the validation of the hydraulic-chemical component is presented with the work applied to simulate a series of experimental tests.
The Spectra of Cycle Prefix Digraphs
Authors: Francesc Comellas, Margarida Mitjana
Venue: SIAM Journal on Discrete Mathematics (2003)

Cycle prefix digraphs comprise a class of vertex symmetric digraphs with many interesting properties, such as large order for a given degree and diameter, Hamiltonicity, and hierarchical structure. From their known structural properties, we determine the spectra of the digraphs. We also show that, although cycle prefix digraphs are not distance regular according to the usual definition, they have properties that fully characterize, in the undirected case, distance regular graphs.
Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata
Authors: Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph
Venue: Proceedings of the 13th International Workshop on Database and Expert Systems Applications (2002)

Cryptographic protocols are formally specified as a system of protocol agents using asynchronous product automata (APA). APA are a universal and very flexible operational description concept for communicating automata. Their specification, analysis and verification is supported by the SH-verification tool (SHVT). The local state of each agent is structured in several components describing its knowledge of keys, its "view" of the protocol and the goalsto be reached within the protocol. Communication is modeled by adding messages to and removing them from a shared state component Network. Cryptography is modeled by symbolic functions with certain properties. In addition to the regular protocol agents an intruder is specified, which has no access to the agents' local states but to Network. The intruder may intercept messages and create new ones based on his initial knowledge and on what he can extract from intercepted messages. Violations of the security goals can be found by state space analysis performed by the SHVT. The method is demonstrated using the symmetric Needham-Schroeder protocol, and an attack is presented that does not involve compromised session keys. Our approach defers from others in that protocol specifications do not use implicit assumptions, thus protocol security does not depend on whether some implicit assumptions made are reasonable for a particular environment. Therefore, our protocol specifications explicitly provide relevant information for secure implementations.
The art and business of speech recognition
Authors: Blade Kotelly
Venue: Ubiquity (2003)

Writing Effective Prompts
A model-based approach to object-oriented software metrics
Authors: Hong Mei, Tao Xie, Fuqing Yang
Venue: Journal of Computer Science and Technology (2002)

The need to improve software productivity and software quality has put forward the research on software metrics technology and the development of software metrics tool to support related activities. To support object-oriented software metrics practice effectively, a model-based approach to object-oriented software metrics is proposed in this paper. This approach guides the metrics users to adopt the quality metrics model to measure the object-oriented software products. The development of the model can be achieved by using a top-down approach. This approach explicitly proposes the conception of absolute normalization computation and relative normalization computation for a metrics model. Moreover, a generic software metrics tool -- Jade Bird Object-Oriented Metrics Tool (JBOOMT) is designed to implement this approach. The parser-based approach adopted by the tool makes the information of the source program accurate and complete for measurement. It supports various customizable hierarchical metrics models and provides a flexible user interface for users to manipulate the models. It also supports absolute and relative normalization mechanisms in different situations.
Combined Hermite spectral-finite difference method for the Fokker-Planck equation
Authors: Johnson C. M. Fok, Benyu Guo, Tao Tang
Venue: Mathematics of Computation (2002)

The convergence of a class of combined spectral-finite difference methods using Hermite basis, applied to the Fokker-Planck equation, is studied. It is shown that the Hermite based spectral methods are convergent with spectral accuracy in weighted Sobolev space. Numerical results indicating the spectral convergence rate are presented. A velocity scaling factor is used in the Hermite basis and is shown to improve the accuracy and effectiveness of the Hermite spectral approximation, with no increase in workload. Some basic analysis for the selection of the scaling factors is also presented.