ppxscal/embedding_network huggingface dataset:
Performance Analysis of an Adaptive User Interface System Based on Mobile Agents
Authors: Nikola Mitrović, Jose A. Royo, Eduardo Mena
Venue: Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (2008)

Adapting graphical user interfaces for various user devices is one of the most interesting topics in today's mobile computation. In this paper we present a system based on mobile agents that transparently adapts user interface specifications to the user device' capabilities and monitors user interaction. Specialized agents manage GUI specification according to the specific context and user preferences. We show how the user behavior can be monitored at run-time in a transparent way and how learning methods are applied to anticipate future user actions and to adapt the user interface accordingly. The feasibility and performance of our approach are shown by applying our approach to a non-trivial application and by performing tests with real users.
PDA: A Training Application to Electrical Substation Operation
Authors: J. L. Los Arcos J. Vicedo, I. Angulo, J. Sequeiros, G. Allende, T. Batuecas, C. Martin
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

In this paper it is presented an advanced training system for the local operation of electrical substations. This system, named PDA (Power Distribution Application), has been developed in the frame of the EXTRAS project'. PDA aims to train operators in the execution of a set of normal manoeuvres for the control and management of the electric transmission and distribution network. It also trains in the detection, analysis and correction of a set of predefned malfunctions. PDA is composed by two independent systems: the SGI simulator, and the Assistant. The SGI is an interactive graphical simulator, which is currently used by IBERDROLA in the training and recycling process of operators in the execution of local manoeuvres in those substations where there are no automation or remote control facilities. The Assistant is an interactive system that emulates the human instructor and provides the training users with two types of assistance: reactive and proactive.
A technique for mining negative association rules
Authors: Pradip Kumar Bala
Venue: Proceedings of the 2nd Bangalore Annual Compute Conference (2009)

In this paper, a methodology for mining and exploring all forms of negative association rules has been suggested. As the existing softwares do not provide any module to mine negative association rules directly and efficiently, the present research may be useful for developing softwares for mining negative association rules.
Specification and implementation of dynamic web site benchmark in telecommunication area
Authors: Ebada Sarhan, Atif Ghalwash, Mohamed Khafagy
Venue: Proceedings of the 12th WSEAS international conference on Computers (2008)

Web sites with dynamic content become important need in modern web sites such as (e-commerce, telecommunication, etc.) web sites so, we need more benchmarks that help research in this area, that must have some features like minimum response time, fault tolerance, distribution, efficiency, flexibility, security and compatibility. This paper presents architecture, implementation and performance of new benchmark for evaluating the performance of Web sites with dynamic content. We focus in area of telecommunication that need more feature than other web sites. We implements the TPC-W specification using a popular methods for building dynamic-content applications (C# and ORACLE 10g Database). We also provided a client simulator that allowed a dynamic content Web server to be driven with various workloads. This benchmark has the ability to study the clustering for dynamic contents, comparison of different application implementation methods, and studying the effect of different workload characteristics on the servers' performance.
A novel global optimization technique for high dimensional functions
Authors: Crina Grosan, Ajith Abraham
Venue: International Journal of Intelligent Systems (2009)

Several types of line search methods are documented in the literature and are well known for unconstraint optimization problems. This paper proposes a modified line search method, which makes use of partial derivatives and restarts the search process after a given number of iterations by modifying the boundaries based on the best solution obtained at the previous iteration (or set of iterations). Using several high-dimensional benchmark functions, we illustrate that the proposed line search restart (LSRS) approach is very suitable for high-dimensional global optimization problems. Performance of the proposed algorithm is compared with two popular global optimization approaches, namely, genetic algorithm and particle swarm optimization method. Empirical results for up to 2000 dimensions clearly illustrate that the proposed approach performs very well for the tested high-dimensional functions. &copy; 2009 Wiley Periodicals, Inc.
A New Method for Estimating Intra Prediction Mode in H.264/AVC
Authors: Dae-Yeon Kim, Dong-Kyun Kim, Yung-Lyul Lee
Venue: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2008)

In order to reduce spatial redundancies, the H.264/AVC Intra coding provides nine directional prediction modes including DC prediction for every 4 × 4 block, but it needs a lot of overhead bits to represent the nine directional prediction modes for every 4 × 4 block. To compress the directional mode bits efficiently, the most probable mode is estimated by using the correlation between the prediction mode of spatially adjacent blocks and that of the current block. In this paper, a new method for estimating the most probable mode is proposed by using the directional information of the prediction mode of the adjacent blocks. Experimental results show that the proposed method is able to achieve a coding gain of about 0.2 dB on average at low bit rate.
A Gaussian Processes Reinforcement Learning Method in Large Discrete State Spaces
Authors: Wen-yun Zhou, Quan Liu
Venue: Proceedings of the 2009 International Conference on Advanced Computer Control (2009)

In order to solve the problem of ”curse of dimensionality”, which means that the state spaces will grow exponentially in the number of features, in large discrete state spaces in reinforcement learning, a reinforcement learning method based on Gaussian processes is proposed. The Gaussian processes model can represent the distributions of functions, and it can be used to get a distribution of the expectation instead of its value. The experiment result shows that the performance such as speed of convergence and final effect can be improved obviously. The ”curse of dimensionality” in large discrete state spaces could be solved to ascertain extent with the GP regression model.
Computational lexicology: a research program
Authors: Robert A. Amsler
Venue: Proceedings of the June 7-10, 1982, national computer conference (1982)

Computational lexicology may be defined as the application of computers to the study of the lexicon. Taken in its broadest sense, it would be a multidisciplinary field involving the analysis of man-made dictionaries using computers to study their machine-readable text as well as a study of the computational linguistic content and organization of lexicons for use by natural-language processing programs. Computational lexicology is an emerging field of study for the 1980s being created by converging trends in other disciplines. This paper attempts to outline some of the applications that a knowledge of computational lexicology will facilitate and the possible means of extending such lexical knowledge.
A simulation based approach for supporting automated guided vehicles (AGVS) systems design
Authors: Elisa Gebennini, Sara Dallari, Andrea Grassi, Giuseppe Perrica, Cesare Fantuzzi, Rita Gamberini
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

Automated Guided Vehicle (AGV) logistic handling system are widely adopted when high transportation capacity and quality of service are the most important characteristics to reach. A large number of mathematical approaches have been developed in years to address AGV systems design and control. Nevertheless, proper performance estimations have to consider the peculiar aspects of the real environment in which the AGV system operates. A simple and effective approach to the stochastic features modelling is the discrete event simulation of the real system. This paper presents a conceptual approach that lead the analyst to set up consistent simulative models to address AGV systems design and performance estimation when applications in end-of-line logistics are considered.
Linear manifold topographic map formation based on an energy function with on-line adaptation rules
Authors: Peyman Adibi, Reza Safabakhsh
Venue: Neurocomputing (2009)

The lack of an energy function is an important problem in many topographic map formation methods. This paper describes formation of a map, called linear manifold topographic map, based on minimization of an energy function. Using multiple low-dimensional linear manifolds as data representation elements, the data distributions of many problems with high-dimensional data spaces can be simply and parsimoniously modeled. Two sets of on-line adaptation rules are obtained based on stochastic gradient descent on the energy functions devised for a soft and a hard data assignment. Experimental results show good performance of the map in comparison to other relevant techniques.
Simultaneous multi-channel data acquisition with variable sampling frequencies using a scalable adaptive synchronous controller
Authors: Mohammed Abdallah, Omar Elkeelany, Ali Alouani
Venue: Proceeding of the ACM/SIGDA international symposium on Field programmable gate arrays (2009)

In this paper, a novel simultaneous multi-channel data acquisition system is proposed. Analog signals with different bandwidths are applied to an analog multiplexer with a single analog to digital converter. A novel scalable adaptive controller is designed to detect different bandwidths in order to determine the proper sampling rate for each input signal. The analog multiplexer is adaptively controlled to switch between the analog signals of variable bandwidths. The target technology of implementing the proposed design is the Field Programmable Gate Array (FPGA). The Analog-to-Digital Converter interface and the adaptive controller are implemented in the FPGA using hardware description language. The synthesized prototype used only 11% of the total logic elements (of Altera Cyclone II, EP2C35F672C-6N FPGA) and 15% of its total memory bits. The worst-case prorogation delay observed for the system is 12.04 ns, which is less than the 50 MHz clock period of 20ns. The Cyclone-II FPGA consumes power as low as 12 mW. The proposed system can be used in various applications that require heterogeneous multi-channel data acquisition system such as biomedical engineering.
Maximum Neighbour Voronoi Games
Authors: Md. Muhibur Rasheed, Masud Hasan, M. Sohel Rahman
Venue: Proceedings of the 3rd International Workshop on Algorithms and Computation (2009)

Recently several researchers have studied the competitive facility location problem in the form of Voronoi games, where each of the two players places n points with the target of maximizing total Voronoi area of its sites in the Voronoi diagram of 2n points. In this paper we address this problem by introducing Voronoi games by neighbours where the basic objective of an optimal playing strategy is to acquire more neighbors than the opponent. We consider several variations of this game, and for each variation we either give a winning strategy, if it exists, or show how the game ends in a tie.
Helical polynomial curves and double Pythagorean hodographs II. Enumeration of low-degree curves
Authors: Rida T. Farouki, Carlotta Giannelli, Alessandra Sestini
Venue: Journal of Symbolic Computation (2009)

A ''double'' Pythagorean-hodograph (DPH) curve r(t) is characterized by the property that |r^'(t)| and |r^'(t)xr^''(t)| are both polynomials in the curve parameter t. Such curves possess rational Frenet frames and curvature/torsion functions, and encompass all helical polynomial curves as special cases. As noted by Beltran and Monterde, the Hopf map representation of spatial PH curves appears better suited to the analysis of DPH curves than the quaternion form. A categorization of all DPH curve types up to degree 7 is developed using the Hopf map form, together with algorithms for their construction, and a selection of computed examples of (both helical and non-helical) DPH curves is included, to highlight their attractive features. For helical curves, a separate constructive approach proposed by Monterde, based upon the inverse stereographic projection of rational line/circle descriptions in the complex plane, is used to classify all types up to degree 7. Criteria to distinguish between the helical and non-helical DPH curves, in the context of the general construction procedures, are also discussed.
Blogging at work and the corporate attention economy
Authors: Sarita Yardi, Scott A. Golder, Michael J. Brzozowski
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

The attention economy motivates participation in peer-produced sites on the Web like YouTube and Wikipedia. However, this economy appears to break down at work. We studied a large internal corporate blogging community using log files and interviews and found that employees expected to receive attention when they contributed to blogs, but these expectations often went unmet. Like in the external blogosphere, a few people received most of the attention, and many people received little or none. Employees expressed frustration if they invested time and received little or no perceived return on investment. While many corporations are looking to adopt Web-based communication tools like blogs, wikis, and forums, these efforts will fail unless employees are motivated to participate and contribute content. We identify where the attention economy breaks down in a corporate blog community and suggest mechanisms for improvement.
Plenary lecture III: artificial intelligence methods in the interpretation of statistical testing of genes under hypothetical balancing selection
Authors: Krzysztof A. Cyran
Venue: Proceedings of the 8th conference on Applied computer scince (2008)

The detection of natural selection at the molecular level is one of the crucial problems in contemporary population genetics. There exists a number of statistical tests designed for it, however the interpretation of the outcomes is often obscure, because of the existence of factors like: population growth, migration and recombination. The author has proposed the multi-null methodology, and he applied it for four genes implicated in human familial cancer: ATM, RECQL, WRN and BLM. Because of high computational effort required for estimating critical values under nonclassical nulls, mentioned methodology is not appropriate for selection screening. Therefore, the author in this plenary lecture presents novel, artificial intelligence based methodology, helpful in the interpretation of the tests outcomes applied only versus classical null hypotheses. This method does not require long-lasting simulations and, as it is shown in a lecture, it gives reliable results. As examples of artficial intelligence methods the rough set theory and artificail neural networks are used in the aforementioned problem.
Articulating tangible interfaces
Authors: Alan F. Blackwell, Darren Edge
Venue: Proceedings of the 3rd International Conference on Tangible and Embedded Interaction (2009)

The majority of Tangible User Interfaces (TUIs) consist of rigid objects that are either held in the hands, or arranged relative to each other on a horizontal or vertical surface. In this paper we consider the design space of TUIs that can be created by moving parts of an assembly relative to each other -- creating articulated tangible interfaces. An analytic approach to this design space allows us to identify the potential applications and trade-offs of TUIs that include mechanically articulated parts.
Richly connected systems and multi-device worlds
Authors: Bill Tomlinson Man Lok Yau Eric Baumer Joel Ross Andrew Correa Gang Ji
Venue: Presence: Teleoperators and Virtual Environments (2009)

Many human activities now take place in settings that include several computational devices---such as desktop computers, laptops, and mobile phones---in the same physical space. However, we lack interaction paradigms that support a coherent experience across these collocated technologies and enable them to work effectively as systems. This article presents a conceptual framework for building richly connected systems of collocated devices, and offers two implemented examples of interactive virtual worlds built on this framework. Aspects of this framework include multiple channels of real and apparent connectivity among devices: for example, multiple kinds of data networking, cross-device graphics and sound, and embodied mobile agents that inhabit the multi-device system. In addition, integration of the system with the physical world helps bridge the gap between devices. We evaluate the framework in terms of the types of user experiences afforded and enabled by the implemented systems. We also present a number of lessons learned from this evaluation regarding how to develop richly connected systems using heterogeneous devices, as well as the expectations that users bring to this kind of system. The core contribution of this paper is a novel framework for collocated multi-device systems; by presenting this framework, this paper lays the groundwork for a wide range of potential applications.
Interactive two-channel message authentication based on Interactive-Collision Resistant hash functions
Authors: Atefeh Mashatan, Douglas R. Stinson
Venue: International Journal of Information Security (2009)

We propose an Interactive Message Authentication Protocol (IMAP) using two channels; an insecure broadband channel and an authenticated narrow-band channel. We consider the problem in the context of ad hoc networks, where it is assumed that there is neither a secret key shared among the two parties, nor a public-key infrastructure in place. The security of our IMAP is based on the existence of Interactive-Collision Resistant (ICR) hash functions, a new notion of hash function security. Our IMAP is based on the computational assumption that ICR hash functions exist. It performs better than message authentication protocols that are based on computational assumptions. That is, while achieving the same level of security, the amount of information sent over the authenticated channel in our IMAP is smaller than the most secure IMAP and Non-interactive Message Authentication Protocol (NIMAP) in the literature. In other words, if we send the same amount of information over the authenticated channel, we can allow much stronger adversaries compared to the existing protocols in the literature. Moreover, our IMAP benefits from a simple structure and works under fewer security assumptions compared to other IMAPs in the literature. The efficient and easy-to-use structure of our IMAP makes it very practical in real world ad hoc network scenarios.
Aximo: Automated Axiomatic Reasoning for Information Update
Authors: Simon Richards, Mehrnoosh Sadrzadeh
Venue: Electronic Notes in Theoretical Computer Science (ENTCS) (2009)

We present an algorithm for proving epistemic properties of dynamic scenarios in multi-agent systems and an implementation of it as the C^+^+ program Aximo. The program consists of a rewrite system and a recursive reasoner, and we prove that its decision procedure is sound with regard to the algebraic axiomatics of dynamic epistemic logic. We study the termination and complexity of the program and show its applicability, by proving properties of honest and also newer dishonest versions of the the muddy children puzzle as well as a coin toss scenario.
Non-atomicity and the Darboux property for fuzzy and non-fuzzy Borel/Baire multivalued set functions
Authors: Alina Gavriluţ
Venue: Fuzzy Sets and Systems (2009)

In this paper, we establish results concerning non-atomicity and the Darboux property for multisubmeasures/fuzzy multivalued set functions defined on the Baire (respectively, Borel) @d-ring B"0 (respectively, B) of a locally compact, Hausdorff space.
The End-to-End Upper Jitter Bound Research about Wireless ad hoc Network Based on Network Calculus
Authors: Li Qinghua, Zhigang Chen, Deng Xiaoheng, Zhang Lianming
Venue: Proceedings of the 2009 WRI International Conference on Communications and Mobile Computing - Volume 01 (2009)

In order to guarantee the QoS for multimedia data transmission over Wireless Ad hoc network, the data flow entering the node was regulated by leaky bucket, and the node provided Rate-Latency service for the flow. We had derived the end-to-end upper jitter bound for wireless ad hoc network based on the existing link throughput model using network calculus theory, for grid network topologies, all simulated results were bounded by theoretical results, these show the end-to-end upper jitter bound model perform well.
Business-driven Information Systems, 2nd Revised edition edition
Authors: Paige Baltzan
Venue:  (2008)

Business Driven Information Systems (also known as BDIS) discusses business initiatives first and then how technology supports those initiatives. The premise for this unique approach is that business initiatives drive technology decisions in a corporation. Every discussion first addresses the business needs and then addresses the technology that supports those needs. This text provides the foundation that will enable students to achieve excellence in business, whether they major in operations management, manufacturing, sales, marketing, etc. BDIS is designed to give students the ability to understand how information technology can be a point of strength for an organization.
Towards a Complete Scheme for Tabled Execution Based on Program Transformation
Authors: Pablo Chico Guzman, Manuel Carro, Manuel V. Hermenegildo
Venue: Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages (2009)

The advantages of tabled evaluation regarding program termination and reduction of complexity are well known --as are the significant implementation, portability, and maintenance efforts that some proposals (especially those based on suspension) require. This implementation effort is reduced by program transformation-based continuation call techniques, at some efficiency cost. However, the traditional formulation of this proposal [1] limits the interleaving of tabled and non-tabled predicates and thus cannot be used as-is for arbitrary programs. In this paper we present a complete translation for the continuation call technique which, while requiring the same runtime support as the traditional approach, solves these problems and makes it possible to execute arbitrary tabled programs. We also present performance results which show that the resulting CCall approach offers a useful tradeoff that can be competitive with other state-of-the-art implementations.