ppxscal/embedding_network huggingface dataset:
Multi-channel Support Framework for Mobile Workers
Authors: Shang Gao, John Krogstie
Venue: Proceedings of the 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System (2007)

Along with the development and utilization of wireless applications, multi-channel mobile work is becoming more and more common in the business world. Based on the dynamically changing context of mobile workers, they can choose different channels to interact with relevant information systems. Thus, the mobile workers have huge demands for better multi-channel support model on a variety of mobile computing devices. This paper presents a multi-channel support framework for supporting mobile workers in mobile working settings. The primary characteristic of this framework is that the user can interact with the server during execution. The core component, the multi-channel decision maker, in the framework can be conceived as a medium to understand the relevant input parameters with the objective of generating best output solution on the computing device of mobile workers. Furthermore, in order to demonstrate the applicability of the multi-channel support framework, we use an exemplar case in the field of scientific conference management.
Benchmark Tests on the New IBM RISC System/6000 590 Workstation
Authors: Harvey J. Wasserman
Venue: Scientific Programming (1995)

The results of benchmark tests on the superscalar IBM RISC System/6000 Model 590 are presented. A set of well-characterized Fortran benchmarks spanning a range of computational characteristics was used for the study. The data from the 590 system are compared with those from a single-processor CRAY C90 system as well as with other microprocessor-based systems, such as the Digital Equipment Corporation AXP 3000/500X and the Hewlett-Packard HP/735.
The acoustic restoration of the Teatro Nuovo in Spoleto
Authors: Lamberto Tronchin, Ilaria Durvilli, Valerio Tarabusi
Venue: Proceedings of the 9th WSEAS International Conference on Acoustics & Music: Theory & Applications (2008)

The Teatro Nuovo, the theatre where the famous international "Festival of the Two Worlds" is based, after a full restoration work and functional adaptation, has been reconsigned to the city of Spoleto and its audience. The restoration works of the theatre started in 2003 for improving the safety levels and for adapting the operational functionality of the machines on the stage to the current needs of the show, including the acoustic performances. In particular, the Department of Energetic Engineering, Nuclear and Environmental Control of the University of Bologna collaborated with the Teatro Nuovo from the acoustic point of view. In order to monitor the acoustic performance of the concert hall, two campaigns of acoustic measurements, respectively before and after the restoration works, have been conducted, verifying the conservation of its original acoustical characteristics. The measurements were performed through an omnidirectional loudspeaker, a dummy head and a Soundfield probe. The results of the measurements of every campaign are presented in this article.
A Dense Stereo Correspondence Algorithm for Hardware Implementation with Enhanced Disparity Selection
Authors: Lazaros Nalpantidis, Georgios Ch. Sirakoulis, Antonios Gasteratos
Venue: Proceedings of the 5th Hellenic conference on Artificial Intelligence: Theories, Models and Applications (2008)

In this paper an effective, hardware oriented stereo correspondence algorithm, able to produce dense disparity maps of improved fidelity is presented. The proposed algorithm combines rapid execution, simple and straight-forward structure as well as comparably high quality of results. These features render it as an ideal candidate for hardware implementation and for real-time applications. The proposed algorithm utilizes the Absolute Differences (AD) as matching cost and aggregates the results inside support windows, assigning Gaussian distributed weights to the support pixels, based on their Euclidean distance. The resulting Disparity Space Image (DSI) is furthered refined by Cellular Automata (CA) acting in all of the three dimensions of the DSI. The algorithm is applied to typical as well as to self-recorded real-life image sets. The disparity maps obtained are presented and quantitatively examined.
Integrating Models and Aspects into Product Line Engineering
Authors: Iris Groher, Markus Völter, Christa Schwanninger
Venue: Proceedings of the 2008 12th International Software Product Line Conference (2008)

This demonstration presents an approach that facilitates variability implementation, management, and tracing from architectural modeling to implementation. A tool suite is provided that integrates aspect-oriented and model-driven software development into product line engineering.
Performance Analysis of Digital Wireless Networks with ARQ Schemes
Authors: Wuyi Yue, Shunfu Jin
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

In this paper, we present a method to analyze the performance of high-reliability Internet systems in wireless environments with Automatic Repeat ReQuest (ARQ) schemes. Considering the setting up procedure of a data link in wireless networks, we build a Geom/G/1 queue model with a setup strategy to characterize the system operation, and analyze the probability distribution of the system to obtain the performance measures. Numerical results are given to evaluate the performance of different ARQ schemes in terms of the response time and the utility, and to show influence of the delay of the setup procedure and the round-trip-time on the system performance.
Extended dominance and a stochastic shortest path problem
Authors: Kevin R. Hutson, Douglas R. Shier
Venue: Computers and Operations Research (2009)

In the context of stochastic networks, we study the problem of finding a path P that combines in a reasonable way the mean m(P) and variance v(P) of its length. Specifically we study a separable objective function that combines these two path measures: namely, z(P)=f(m(P))+g(v(P)), where f is an increasing convex function and g is an increasing concave function. A new type of dominance (e-dominance), stronger than the standard form of dominance, is then introduced, and it is shown to satisfy a certain form of Bellman's optimality principle. This means that it is possible to modify existing label-setting and label-correcting methods by using e-dominance, and without sacrificing optimality. Computational experience with these enhanced labeling algorithms has been promising. Test results for a variety of sample problems show that the e-dominance criterion can often significantly reduce the number of nondominated path vectors, compared to the standard dominance criterion. We observe a consequent reduction in both computation time and storage requirements.
The Evaluation Measure of Text Clustering for the Variable Number of Clusters
Authors: Taeho Jo, Malrey Lee
Venue: Proceedings of the 4th international symposium on Neural Networks: Part II--Advances in Neural Networks (2007)

This study proposes an innovative measure for evaluating the performance of text clustering. In using K-means algorithm and Kohonen Networks for text clustering, the number clusters is fixed initially by configuring it as their parameter, while in using single pass algorithm for text clustering, the number of clusters is not predictable. Using labeled documents, the result of text clustering using K-means algorithm or Kohonen Network is able to be evaluated by setting the number of clusters as the number of the given target categories, mapping each cluster to a target category, and using the evaluation measures of text. But in using single pass algorithm, if the number of clusters is different from the number of target categories, such measures are useless for evaluating the result of text clustering. This study proposes an evaluation measure of text clustering based on intra-cluster similarity and inter-cluster similarity, what is called CI (Clustering Index) in this article.
Enterprise SSDs
Authors: Mark Moshayedi, Patrick Wilkison
Venue: Queue (2008)

Solid-state drives are finally ready for the enterprise. But beware, not all SSDs are created alike. For designers of enterprise systems, ensuring that hardware performance keeps pace with application demands is a mind-boggling exercise. The most troubling performance challenge is storage I/O. Spinning media, while exceptional in scaling areal density, will unfortunately never keep pace with I/O requirements. The most cost-effective way to break through these storage I/O limitations is by incorporating high-performance SSDs (solid-state drives) into the systems.
Parsing Discontinuous Phrase Structure with Grammatical Functions
Authors: Johan Hall, Joakim Nivre
Venue: Proceedings of the 6th international conference on Advances in Natural Language Processing (2008)

This paper presents a novel technique for parsing discontinuous phrase structure representations, labeled with both phrase labels and grammatical functions. Phrase structure representations are transformed into dependency representations with complex edge labels, which makes it possible to induce a dependency parser model that recovers the phrase structure with both phrase labels and grammatical functions. We perform an evaluation on the German TIGER treebank and the Swedish Talbanken05 treebank and report competitive results for both data sets.
IIR bandpass filter design using modified transfer function implementation algorithm
Authors: Varsha Shah, Rekha S. Patil
Venue: Proceedings of the 7th WSEAS International Conference on Signal Processing, Robotics and Automation (2008)

The following paper presents the design and implementation of IIR narrow band pass filter algorithm which can be used in applications like synthesizing musical signals. The proposed algorithm is derived from a basic notch filter by using inverse system of the notch filter. The proposed algorithm also shows how the width of the pass band changes w.r.t. the sampling frequency. The results have been simulated using MATLAB.
A Novel Approximate Algorithm Used for Solving the Netting Radar Measure Elevation Angle Based on the Target Altitude
Authors: Wen-Bo Zhao, Ji-Yan Du, Li-Ming Wang, Yong-Ke Chen
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Artificial Intelligence (2008)

Solving the measured elevation angle by the netting radar from the altitude of the target is the precondition for the coordination transformation of the radar netting system. A novel approximate algorithm was proposed to be used in the paper. The simulations demonstrated that the proposed algorithm had good precision, which could be satisfied for engineering requirement of the radar netting system.
The impact of computer mediated communications on stalking severity: an exploratory analysis of cyberstalking field data
Authors: Rick L. Wilson
Venue:  (2007)

The interaction between disjunctive interpersonal relationships, those where the parties disagree on the goals of the relationship, and the use of computer mediated communications (CMC) channels is a relatively unexplored domain. Bargh (2002) suggests that use of CMC channels can amplify the development of interpersonal relationships, and notes that the effect is not constant across communication activities. This dissertation reports on a line of research that explores the interaction between CMC and stalking, a common form of disjunctive relationship. CMC channels can be characterized by their richness, interactivity, and distribution (Te'eni 2001). Field data from cyberstalking cases is used to examine the effects of CMC channels on stalking case severity, and to explore the relative impacts of CMC channel characteristics on such cases. To accomplish this, a ratio-scaled measure of stalking case severity is developed for exploring the relationship between case severity and CMC media characteristics. This includes levels of anonymity, as well as the prior relationship between the stalker and the victim. Results show that channel richness and the nature of the prior relationship dominate the impact on cyberstalking case severity, while channel interactivity, distribution, and harasser anonymity do not affect case severity. In conclusion, this analysis of cyberstalking data provides support for Te'eni's (2001) CAMOC model and its interpretation of media richness theory. Further, the analysis provides evidence that disjunctive online relationships are different from disjunctive offline relationships only when intimacy is involved. Follow-up research is proposed along with suggestions for the development of an improved measure of case severity.
EASy-Producer - A Product Line Production Environment
Authors: Holger Eichelberger, Klaus Schmid
Venue: Proceedings of the 2008 12th International Software Product Line Conference (2008)

In this paper, we describe EASy-producer, a prototypical production environment for software product lines (SPL), in particular for the realization of adaptive systems and dynamic SPL.
Executable Models for Human-Computer Interaction
Authors: Marco Blumendorf, Grzegorz Lehmann, Sebastian Feuerstack, Sahin Albayrak
Venue: Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers (2008)

Model-based user interface development is grounded on the idea to utilize models at design time to derive user interfaces from the modeled information. There is however an increasing demand for user interfaces that adapt to the context of use at runtime. The shift from design time to runtime means, that different design decisions are postponed until runtime. Utilizing user interface models at runtime provides a possibility to utilize the same basis of information for these postponed decisions. The approach we are following goes even one step further. Instead of only postponing several design decisions, we aim at the utilization of stateful and executable models at runtime to completely express the user interaction and the user interface logic in a model-based way.
Calculation of the required energy for a stretch reducing mill
Authors: Costin Cepisca, Macrea Dorian, Horia Andrei, Cornelia Cepisca, Mircea Perpelea
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

This work shows the methodology regarding the calculation of the deformation resistance and of the required energy and power for hot reducing of tubes on a stretch reducing mill (SRM) with the final aim of an optimal sizing of the mill drives.
An empirical study of data collection protocols for wireless sensor networks
Authors: Stephen Rothery, Wen Hu, Peter Corke
Venue: Proceedings of the workshop on Real-world wireless sensor networks (2008)

In the past few years, numerous data collection protocols have been developed for wireless sensor networks (WSNs). However, there has been no comparison of their relative performance in realistic environments. Here we report the results of an empirical study using a Fleck3 sensor network testbed for four different data collection protocols: One phase pull Directed Diffusion (DD), Expected Number of Transmissions (ETX), ETX with explicit acknowledgment (ETX-eAck), and ETX with implicit acknowledgment (ETX-iAck). Our empirical study provides useful insights for future sensor network deployments. When the required application end-to-end reliability is not strict (e.g., 70%) and link quality is good, DD and ETX are the best options because of their simplicity and low routing overhead. Both ETX-eAck and ETX-iAck achieve more than 90% end-to-end reliability when the link quality is reasonable (less than 25% packet loss). When the link quality is good, ETX-iAck introduces significantly less routing overhead (up to 50%) than ETX-eAck. However, if the radio transceiver supports variable packet length, ETX-eAck can outperform ETX-iAck when the link quality is poor. The important message from this paper is that choice of data collection protocol should come after the operating environment is understood. This understanding must include the characteristics of the radio transceiver, and link loss statistics from a long-term (across seasons and weather variation) radio survey of the site.
Live Soundscape Composition Based on Synthetic Emotions
Authors: Klaus C. Wassermann, Kynan Eng, Paul F. M. J. Verschure
Venue: IEEE MultiMedia (2003)

We conceived the Ada: Intelligent Space exhibit as an artificial organism, integrating a large number of sensory modalities and having it interact with visitors using a multitude of effector systems. Ada used a language of sound and light to communicate its moods, emotions, and behaviors. Here we describe the mechanisms behind Ada's sound communication, its real-time performance, and its interpretation by human subjects.
Architecture of the TRON VLSI CPU
Authors: Ken Sakamura
Venue: IEEE Micro (1987)

The TRON microprocessor has an open architecture? it is being implemented by several manufacturers. It will be expandable to 64-bit operations, and its design reflects the needs of a family of application-specific operating system kernels.
Tonal Harmony Analysis: A Supervised Sequential Learning Approach
Authors: Daniele P. Radicioni, Roberto Esposito
Venue: Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence on AI*IA 2007: Artificial Intelligence and Human-Oriented Computing (2007)

We have recently presented CarpeDiem, an algorithm that can be used for speeding up the evaluation of Supervised Sequential Learning (SSL) classifiers. CarpeDiem provides impressive time performance gain over the state-of-art Viterbi algorithm when applied to the tonal harmony analysis task. Along with interesting computational features, the algorithm reveals some properties that are of some interest to Cognitive Science and Computer Music. To explore the question whether and to what extent the implemented system is suitable for cognitive modeling, we first elaborate about its design principles, and then assess the quality of the analyses produced. A threefold experimentation reviews the learned weights, the classification errors, and the search space in comparison to the actual problem space; data about these points are reported and discussed.
Continuum distorted wave - Born initial state (CDW-BIS) model for single charge exchange
Authors: Ivan Mančev
Venue: Journal of Computational Methods in Sciences and Engineering (2005)

The differential and total cross sections for single electron capture in fast collisions of a proton with helium are examined within the four-body distorted-wave formalism. A special emphasis is given to a proper inclusion of dynamic electron-electron correlation effects. For this purpose, a new four-body quantum-mechanical model termed the Continuum Distorted Wave - Born Initial State (CDW-BIS) approximation is introduced. With regard to a previous work of Man&ccaron;ev [J.Phys.B 36, 93 (2003)], where the prior form of one-channel distorted wave transition amplitude was used for describing charge exchange, in the present model the dielectronic interaction V$_{12}$=1/r$_{12}$=1/|\vec r r$_1$&minus; \vec r$_2$| explicitly appears in the perturbation potential of the post transition probability amplitude. The inclusion of the potential V$_{12}$ is essential for the description of the Thomas projectile - $_1$ - e$_2$ scattering. Specifically, we consider asymmetric p+He collisions and the total cross sections are carried out at a large energy range from 20 to 10000 keV. The differential cross section are calculated at impact energies 400 and 630~keV. The theoretical results are compared with the available experimental data and very good agreement is found.
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets
Authors: Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau
Venue: Proceedings of the 29th international conference on Applications and Theory of Petri Nets (2008)

In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authentication) of security protocols. The protocol agents (e.g., an initiator, a responder, a server, a trusted third party, ...) are formalized as roles, each of them having a predefined behavior depending on their global and also local knowledge (including for instance public, private and shared keys), and may interact in a potentially hostile environment.The main characteristics of our framework, is that it makes explicit, structured and formal, the usually implicit information necessary to analyse the protocol, for instance the public and private context of execution. The roles and the environment are expressed using SPL processes and compositionally translated into high-level Petri nets, while the context specifying the global and local knowledge of the participants in the protocol is used to generate the corresponding initial marking (with respect to the studied property). Finally, this representation is used to analyse the protocol properties, applying techniques of simulation and model-checking on Petri nets. The complete approach is illustrated on the case study of the Kao-Chow authentication protocol.
A new approach to bucket sort
Authors: Burak Takmaz, Murat Akin
Venue: Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems (2008)

The Bucket Sort has been one of the simplest distribution sorts and the Shell Sort (presented in 1959 by Donald L. Shell) has been one of the oldest sort methods until now. Although we cannot change their complexities, we determined that some improvements on the bucket sort can be made by different implementation mechanisms. In this paper, we mixed the bucket sort and shell sort. This new approach has worked with greater performance than the standard bucket sort algorithm.
Trigger Based Security Alarming Scheme for Moving Objects on Road Networks
Authors: Sajimon Abraham, P. Sojan Lal
Venue: Proceedings of the IEEE ISI 2008 PAISI, PACCF, and SOCO international workshops on Intelligence and Security Informatics (2008)

The advent of modern monitoring applications such as location based services, presents several new challenges when dealing with continuously evolving spatio-temporal information. Spatio-Temporal data analysis plays a central role in many security-related applications including those relevant to transportation infrastructure, border and inland security. This paper reviews a novel binary encoding scheme to store location information and proposes a trigger based security alarming scheme when an object enters into a sensitive area with proper messages to the security people.
Towards Efficient Verification of Systems with Dynamic Process Creation
Authors: Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
Venue: Proceedings of the 5th international colloquium on Theoretical Aspects of Computing (2008)

Modelling and analysis of dynamic multi-threaded state systems often encounters obstacles when one wants to use automated verification methods, such as model checking. Our aim in this paper is to develop a technical device for coping with one such obstacle, namely that caused by dynamic process creation.We first introduce a general class of coloured Petri nets--not tied to any particular syntax or approach--allowing one to capture systems with dynamic (and concurrent) process creation as well as capable of manipulating data. Following this, we introduce the central notion of our method which is a marking equivalence that can be efficiently computed and then used, for instance, to aggregate markings in a reachability graph. In some situations, such an aggregation may produce a finite representation of an infinite state system which still allows one to establish the relevant behavioural properties. We show feasibility of the method on an example and provide initial experimental results.