ppxscal/embedding_network huggingface dataset:
Hardware Neural Network for a Visual Inspection System
Authors: Seungwoo Chun, Yoshihiro Hayakawa, Koji Nakajima
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

The visual inspection of defects in products is heavily dependent on human experience and instinct. In this situation, it is difficult to reduce the production costs and to shorten the inspection time and hence the total process time. Consequently people involved in this area desire an automatic inspection system. In this paper, we propose a hardware neural network, which is expected to provide high-speed operation for automatic inspection of products. Since neural networks can learn, this is a suitable method for self-adjustment of criteria for classification. To achieve high-speed operation, we use parallel and pipelining techniques. Furthermore, we use a piecewise linear function instead of a conventional activation function in order to save hardware resources. Consequently, our proposed hardware neural network achieved 6GCPS and 2GCUPS, which in our test sample proved to be sufficiently fast.
MFS: a modular text formatting system
Authors: James D. Mooney
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

This paper presents the design goals and architecture of the Modular Formatting System, currently being developed at West Virginia University. MFS applies to formatters the principles of separation of function used in many successful program systems. A small central kernel forms the basis for a family of formatting systems, tailored to specific applications and environments. MFS is intended to support a wide spectrum of applications drawn from the experience of commercial composition, word processing, and research systems. It does not rely on any specialized terminal or input source characteristics. Output devices from line printers through high resolution typesetters are handled in a uniform manner. Users can exercise detailed control over document appearance, or work exclusively with styles predefined through macros.
Maximizing the capacity of mobile cellular networks with heterogeneous traffic
Authors: Jorge Martinez-Bauset, David Garcia-Roger, Ma Jose Domenech-Benlloch, Vicent Pla
Venue: Computer Networks: The International Journal of Computer and Telecommunications Networking (2009)

We propose a novel adaptive reservation scheme that handles, in an integrated way, heterogeneous traffic of two types: streaming and elastic. The scheme adjusts the rates of streaming sessions to meet the QoS objective, adapting to any mix of traffic and enforcing a differentiated treatment among services, in both fixed and variable capacity systems. The resource utilization achieved by streaming traffic is close to the one obtained by an optimal policy, while the efficiency in the use of resources achieved by elastic traffic is greatly improved by limiting the abandonment probability. The performance evaluation carried out verifies that the QoS objective is met with an excellent precision and that the scheme converges rapidly to new operating conditions. We also compare the new adaptive scheme with two previous ones verifying that ours performs better in terms of carried traffic and convergence rate. The proposed scheme has low complexity which makes it practical for real cellular networks.
Development and evaluation of Polish digit triplet test for auditory screening
Authors: Edward Ozimek, Dariusz Kutzner, Aleksander Sk, Andrzej Wicher
Venue: Speech Communication (2009)

The objective of this study was to develop and evaluate the Polish digit triplet test for speech intelligibility screening. The first part of the paper deals with the preparation of the speech material, the recording procedure and a listening experiment. In this part, triplet-specific intelligibility functions for 160 different digit complexes were determined and 100 'optimal' triplets were selected. Subsequently, four statistically balanced lists, each containing 25 different digit triplets, were developed. The speech material was phonemically equalized across the lists. The mean SRT and mean list-specific slope S"5"0 for the Polish test are -9.4dB and 19.4%/dB, respectively, and are very similar to the data characterizing the German digit triplet test. The second part describes the results of the verification experiments in which reliability of the developed test was analyzed. The retest measurements were carried out by means of the standard constant stimuli paradigm and the adaptive procedure. It was found that mean SRT obtained with retest study was within the limits of standard deviation, in agreement with those obtained in the basic experiment.
Good governance and the concept of electronic single window for international trade
Authors: Mario Apostolov
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

This talk introduces the concept of single window for export-import clearance as an instrument for good governance. Through unified filing of trade data by government agencies, the single window increases transparency and helps reduce corruption, inefficiency and unfair practices in foreign trade. However, its implementation requires collaboration to harmonize national approaches to Electronic Governance. The talk presents examples of such collaborations and discusses the role of UNECE and generally UN Regional Commissions to the development of Electronic Governance around the world.
Plenary lecture II: the minimum energetical principle in stationary regime for electric and magnetic circuits
Authors: Horia Andrei
Venue: Proceedings of the 8th conference on Systems theory and scientific computation (2008)

The paper describes the authors' further preoccupation towards an extension of the minimum energetic principle in stationary regime established for the d.c. and a.c. circuits, to the linear magnetic circuits and to the electric circuit with capacitors. Is tried to give an interpretation to the results obtained from the minimization of an energetic functional corresponding to the circuit under study.
Controlling Free Riders in Peer to Peer Networks by Intelligent Mining
Authors: Ganesh Kumar. M, Arun Ram. K, Ananya. A.R
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

In a typical Peer to Peer system, each node is owned and operated by an independent entity, and the nodes collectively form a self-organizing, self-maintaining network with no central authority. The peer to peer Technology has attracted a significant amount of interest because of its capacity for resource sharing and content distribution. The existence of high degree of free riding is a serious threat to P2P network. This paper deals with the issue of identifying free riders and other kind of peers who subvert the system. Additionally, this paper also proposes a basic data warehouse structure for a peer to peer system and analyzes peer behavior using data mining functionalities. Results prove that the free riders and malicious peers get automatically eliminated from the system.
Gaussian mixture CPHD filter with gating technique
Authors: Hongjian Zhang, Zhongliang Jing, Shiqiang Hu
Venue: Signal Processing (2009)

Cardinalized probability hypothesis density (CPHD) filter provides more accurate estimates of target number than the probability hypothesis density (PHD) filter, and hence, also of the states of targets. This additional capability comes at the price of greater computational complexity: O(NM^3), where N is the number of targets and M is the cardinality of measurement set at each time index. It is shown that the computational cost of CPHD filter can be reduced by means of reducing the cardinality of measurement set. In practice, the cardinality of measurement set can be reduced by gating techniques as done in traditional tracking algorithms. In this paper, we develop a method of reducing the computational cost of Gaussian mixture CPHD filter by incorporating the elliptical gating technique. Computer simulation results show that the computational cost is reduced and that the tracking performance loss incurred is not significant.
Research on Methodology of Enhancing 3D Scene Scanning Speed in TerraExplorer
Authors: Pan Qin-yue, Wu Jian-ping
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 03 (2009)

Recently, 3D-GIS is one of the host spots in the process of GIS development. The complex structure and diversified texture make 3D scenes massive information databases which prevent 3D scenes from fast loading and displaying. TerraExplorer, a software of SkylineGlobe series, is a powerful, easy-to-use tool for editing, annotating and publishing photo-realistic interactive 3D environments. This article lay a emphasis on the study of the concept, principle and realizing method of streaming technology as well as multiscale scene displaying skills in TerraExplorer.
Modeling Pāninian Grammar
Authors: Peter M. Scharf
Venue: Sanskrit Computational Linguistics: First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008 Revised Selected and Invited Papers (2009)

The current paper compares obvious methods to implement a few aspects of Sanskrit grammar computationally, comments upon the degree to which they approach or depart from Pāninian methodology and exemplifies methods that would achieve a closer model. Two questions essential to determining a basic framework in which to implement Pāninian grammar computationally are dealt with in some detail: the question of levels and the role of semantics.Pānini does not operate with a fourfold hierarchy of modular levels that segregates semantics, syntax, morphology, and phonetics. Rather he conceives of two levels, meaning and sound, generating the latter from the former. He achieves the complex mapping of the former onto the latter utilizing a number of stages that do not correspond neatly to the four modules articulated in modern generative grammar. Although Pānini does not state semantic rules, he does operate with numerous semantic categories and sometimes utilizes morphophonemic categories to determine such categories.
Analyzing communities and their evolutions in dynamic social networks
Authors: Yu-Ru Lin, Yun Chi, Shenghuo Zhu, Hari Sundaram, Belle L. Tseng
Venue: ACM Transactions on Knowledge Discovery from Data (TKDD) (2009)

We discover communities from social network data and analyze the community evolution. These communities are inherent characteristics of human interaction in online social networks, as well as paper citation networks. Also, communities may evolve over time, due to changes to individuals' roles and social status in the network as well as changes to individuals' research interests. We present an innovative algorithm that deviates from the traditional two-step approach to analyze community evolutions. In the traditional approach, communities are first detected for each time slice, and then compared to determine correspondences. We argue that this approach is inappropriate in applications with noisy data. In this paper, we propose FacetNet for analyzing communities and their evolutions through a robust unified process. This novel framework will discover communities and capture their evolution with temporal smoothness given by historic community structures. Our approach relies on formulating the problem in terms of maximum a posteriori (MAP) estimation, where the community structure is estimated both by the observed networked data and by the prior distribution given by historic community structures. Then we develop an iterative algorithm, with proven low time complexity, which is guaranteed to converge to an optimal solution. We perform extensive experimental studies, on both synthetic datasets and real datasets, to demonstrate that our method discovers meaningful communities and provides additional insights not directly obtainable from traditional methods.
Needs Oriented Framework for Producing Requirements Decision Material - NORM
Authors: Nina Dzamashvili Fogelström, Tony Gorschek, Mikael Svahnberg
Venue: Proceedings of the 2008 Second International Workshop on Software Product Management (2008)

The need of understanding and supporting requirements engineering decisions in market-driven product development is motivated by the complexity and economical impact of these decisions. While being a key for success, correct and timely decisions are dependent on the availability and the quality of decision material (requirements, business cases, cost- value estimations etc). This paper presents a needs-oriented framework (NORM) for identifying and assuring the creation of appropriate decision material for RE decisions. NORM is based on analysis of the applied RE process and characteristics of separate RE decisions, focusing mainly on pre-project activities. The framework is developed in close cooperation with industry with the intention to ensure that resources are spent on producing just-the-necessary information at the right time and to be able to monitor and control this production effort.
Computing an Extensive-Form Correlated Equilibrium in Polynomial Time
Authors: Wan Huang, Bernhard Stengel
Venue: Proceedings of the 4th International Workshop on Internet and Network Economics (2008)

We present a polynomial-time algorithm for finding one extensive form correlated equilibrium (EFCE) for multiplayer extensive games with perfect recall. This the first such algorithm for an equilibrium notion for games of this generality. The EFCE concept has been defined by von Stengel and Forges [1]. Our algorithm extends the constructive existence proof and polynomial-time algorithm for finding a correlated equilibrium in succinctly representable games by Papadimitriou and Roughgarden [2,3]. We describe the set of EFCE with a polynomial number of consistency and incentive constraints, and exponentially many variables. The algorithm employs linear programming duality, the ellipsoid algorithm, and Markov chain steady state computations. We also sketch a possible interpretation of the variables in the dual system.
Fast and High Quality Temporal Transcoding Architecture in the DCT Domain for Adaptive Video Content Delivery
Authors: Vinay Chander, Aravind Reddy, Shriprakash Gaurav, Nishant Khanwalkar, Manish Kakhani, Shashikala Tapaswi
Venue: Proceedings of the 2009 International Conference on Computer Engineering and Technology - Volume 01 (2009)

Video communication over the Internet is becoming increasingly popular today. Transmission of videos over networks has always been a problem due to reasons like high bandwidth requirement, lossy channels (especially wireless links, low bit rate two way communication links etc), huge file sizes and the large variety of end terminals with different constraints. In this paper, we limit ourselves to solving the problem of bandwidth and end terminal frame rate requirements in the context of video content distribution over the internet. We propose an efficient temporal transcoding architecture in which motion change is considered. For motion vector composition, both bilinear interpolation vector selection (BIVS) and forward dominant vector selection (FDVS) are used. Our architecture operates entirely in the DCT domain, unlike some architectures, which operate partially or fully in the pixel domain, thus avoiding computationally expensive operations of inverse DCT and DCT. The re-encoding errors are also minimized. The macro block coding types are re-judged to reduce drift errors. We have implemented the algorithms and carried out experiments for Mpeg 1 video sequences and the results are found to be promising.
Simulating the dynamics of flexible bodies and vortex sheets
Authors: Silas Alben
Venue: Journal of Computational Physics (2009)

We present a numerical method for the dynamics of a flexible body in an inviscid flow with a free vortex sheet. The formulation is implicit with respect to body variables and explicit with respect to the free vortex sheet. We apply the method to a flexible foil driven periodically in a steady stream. We give numerical evidence that the method is stable and accurate for a relatively small computational cost. A continuous form of the vortex sheet regularization permits continuity of the flow across the body's trailing edge. Nonlinear behavior arises gradually with respect to driving amplitude, and is attributed to the rolling-up of the vortex sheet. Flow quantities move across the body in traveling waves, and show large gradients at the body edges. We find that in the small-amplitude regime, the phase difference between heaving and pitching which maximizes trailing edge deflection also maximizes power output; the phase difference which minimizes trailing edge deflection maximizes efficiency.
Designing socio-technical systems: from stakeholder goals to social networks
Authors: Volha Bryl, Paolo Giorgini, John Mylopoulos
Venue: Requirements Engineering (2009)

Software systems are becoming an integral part of everyday life influencing organizational and social activities. This aggravates the need for a socio-technical perspective for requirements engineering, which allows for modelling and analyzing the composition and interaction of hardware and software components with human and organizational actors. In this setting, alternative requirements models have to be evaluated and selected finding a right trade-off between the technical and social dimensions. To address this problem, we propose a tool-supported process of requirements analysis for socio-technical systems, which adopts planning techniques for exploring the space of requirements alternatives and a number of social criteria for their evaluation. We illustrate the proposed approach with the help of a case study, conducted within the context of an EU project.
Familial collaborations in a museum
Authors: Tom Hope, Yoshiyuki Nakamura, Toru Takahashi, Atsushi Nobayashi, Shota Fukuoka, Masahiro Hamasaki, Takuichi Nishimura
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

Studies of interactive systems in museums have raised important design considerations, but so far have failed to address sufficiently the particularities of family interaction and co-operation. This paper introduces qualitative video-based observations of Japanese families using an interactive portable guide system in a museum. Results show how unexpected usage can occur through particularities of interaction between family members. The paper highlights the necessity to more fully consider familial relationships in HCI.
Competitive advantage from mandatory investments: An empirical study of Australian firms
Authors: Katharina Krell, Sabine Matook
Venue: The Journal of Strategic Information Systems (2009)

Mandatory information system (IS) investments occur when government regulations require firms to alter their IS. These investments are additional expenditures added onto the initial expenditures of non-mandatory IS investments. Managers are concerned about associated costs and in an attempt to reduce the expenditures, most firms refrain from formal planning methods when mandatory investments are imposed upon them. Drawing on Henderson's and Sifonis' (1988) IS Planning and Investment Model as our theoretical lens, this paper argues that firms should re-consider this practice. It is hypothesised that formal planning methods are beneficial because they enable firms to combine mandatory and non-mandatory investments in such a way that competitive advantage can be achieved. We use a secondary dataset provided by the Australian government to test the hypotheses. Results show that only two out of three investigated formal planning methods are positively associated with competitive advantage. We conclude that in the special case of mandatory investments, formal methods are only beneficial if they incorporate information from the entire firm, rather than information from particular departments only.
Improved Continuous Approximation of PEPA Models through Epidemiological Examples
Authors: Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We present two individual based models of disease systems using PEPA (Performance Evaluation Process Algebra). The models explore contrasting mechanisms of disease transmission: direct transmission (e.g. measles) and indirect transmission (e.g. malaria, via mosquitos). We extract ordinary differential equations (ODEs) as a continuous approximation to the PEPA models using the Hillston method and compare these with the traditionally used ODE disease models and with the results of stochastic simulation. Improvements to the Hillston method of ODE extraction for this context are proposed, and the new results compare favourably with stochastic simulation results and to ODEs derived for equivalent models in WSCCS (Weighted Synchronous Calculus of Communicating Systems).
Extraction Process Specification for Materialized Ontology Views
Authors: Carlo Wouters, Tharam S. Dillon, Wenny Rahayu, Robert Meersman, Elizabeth Chang
Venue: Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web (2008)

The success of the semantic web relies heavily on ontologies. However, using ontologies for this specific area poses a number of new problems. One of these problems, extracting a high quality ontology from a given base ontology, is currently receiving increasing attention. Areas such as versioning, distribution and maintenance of ontologies often involve this problem. Here, a formalism is presented that enables grouping ontology extraction requirements into different categories, called optimization schemes. These optimization schemes provide a way to introduce quality in the extraction process. An overview of the formalism is discussed, as well as a demonstration of several example optimization schemes. Each of these optimization schemes meets a certain requirement, and consists of rules and algorithms. Examples of how the formalism is deployed to reach a high-quality result, called a materialized ontology view, are covered. The presented methodology provides a foundation for further developments, and shows the possibility of obtaining usable ontologies in a highly automated way.ACM Subject Descriptors ('98): H.3.5 [INFORMATION STORAGE AND RETRIEVAL]: Web-based services; I.1.2 [SYMBOLIC AND ALGEBRAIC MANIPULATION]: Algorithms; I.2.4[ARTIFICIAL INTELLIGENCE]: Semantic networks -- Representation languages.
A Semantic Modeling Approach for Video Retrieval by Content
Authors: Edoardo Ardizzone, Mohand-Said Hacid
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

A knowledge-based approach to model and retrieve video data by content is developed. Selected objects of interest in a video sequence are described and stored in a database. This database forms the object layer. On top of this layer, we define the schema layer used to capture the structured abstractions of the objects stored in the object layer. We propose two abstract languages on the basis of description logics: one for describing the contents of these layers, and the other, more expressive, for making queries. The query language provides possibilities for navigation of the schema through forward and backward traversal of links, sub-setting of attributes, and constraints on links.