ppxscal/embedding_network huggingface dataset:
2n-Periodic Binary Sequences with Fixed k-Error Linear Complexity for k = 2 or 3
Authors: Ramakanth Kavuluru
Venue: Proceedings of the 5th international conference on Sequences and Their Applications (2008)

The linear complexity of sequences is an important measure to gauge the cryptographic strength of key streams used in stream ciphers. The instability of linear complexity caused by changing a few symbols of sequences can be measured using k-error linear complexity. In their SETA 2006 paper, Fu, Niederreiter, and Su [3] studied linear complexity and 1-error linear complexity of 2 n -periodic binary sequences to characterize such sequences with fixed 1-error linear complexity. In this paper we study the linear complexity and the k-error linear complexity of 2 n -periodic binary sequences in a more general setting using a combination of algebraic, combinatorial, and algorithmic methods. This approach allows us to characterize 2 n -periodic binary sequences with fixed 2-error or 3-error linear complexity L, when the Hamming weight of the binary representation of 2 n ¿ L is $w_H(2^n-L) \neq 2$. Using this characterization we obtain the counting function for the number of 2 n -periodic binary sequences with fixed k-error linear complexity L for k = 2 and 3 when $w_H(2^n-L) \neq 2$.
Performance-based modeling and restructuring of object oriented software for pipeline architecture
Authors: Amal Abdel-Raouf, Reda A. Ammar, Tahany A. Fergany
Venue: Journal of Computational Methods in Sciences and Engineering (2006)

Pipelining is the suitable architecture to adopt applications that are naturally divided into stages. Recently, applications tend to be Object Oriented (OO). Within the context of OO, there are a lot of interactions among different objects that result in many communication activities. Besides the feed-forward communication activities, many bypassing activities are generated in the pipeline structure. In this paper, we present a performance model that analyzes and evaluates the execution and communication times of OO software that runs on pipeline architecture. The model realizes both the feed-forward and the bypassing communication. We utilize the model to restructure the target software to achieve better performance. The restructuring algorithm has two phases; the first phase is concerned with maximizing the throughput. The second phase aims to minimize the latency and fully exploit the system resources.
Automatic ontology extraction and applications
Authors: Hui Guo
Venue:  (2007)

At the moment, there is a great mismatch between the amount of data available in electronic (machine-readable) form and the amount of data that can actually be processed or used by computers. This is because most information is stored as text, which is easy for humans to process but too unstructured for use by computer algorithms. In computer science, ontologies represent knowledge in different domains, and are designed for the purpose of knowledge sharing and reuse. Ontologies enable computers to reason about knowledge and do many tasks automatically. However, it is time-consuming to build ontologies by hand. Also, different tasks may require different ontologies. In this thesis, I describe two approaches to automatic ontology extraction: one that operates on structured Web pages and one that operates on short text segments. I present example ontologies automatically extracted from real data, and describe and evaluate several applications of these ontologies: Web page content labeling, data extraction, multimedia generation and web service matching. I show that automatic ontology extraction is feasible and can be used to quickly acquire information about new domains. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
The Strategy and Practice of Blended Learning in Open and Distance Learning: Experiences from GDRTVU
Authors: Jun Le
Venue: Proceedings of the 1st international conference on Hybrid Learning and Education (2008)

In this paper we introduce our experiences of blended learning for open and distance learning in our university in recent years. We form our basic philosophies to implementing blended learning and make one blended learning system with 10 subsystems, which is consisted of online learning environment, instruction design, interaction, space, time, curriculum, learning material, community of practice, instruction behaviour, and learning support service. We analyse their components and roles based on system theory, distance education theory, virtual learning community, instruction design, network flow measurement, and feedback information analysis method. We give some practical strategies, which include knowing and analysing our learners' characters, getting and analysing the feedback information, making compensated instruction dynamically, providing support services for different needs, integrating learning materials, forming virtual learning community, and introducing knowledge management. We also give a few cases.
Can the poor afford mobile telephony? Evidence from Latin America
Authors: Roxana Barrantes, Hernan Galperin
Venue: Telecommunications Policy (2008)

This study analyses the cost of a low-volume basket of mobile services across a sample of Latin American countries, and contrasts these results with standard income and poverty indicators. The main goal is to establish how affordable mobile services are for the poor. Three general findings emerge. First, the poor generally pay a cost premium for using prepaid subscriptions that allow better expenditure control, though in many cases this premium is much lower than expected. Second, affordability is an important predictor of mobile penetration. Overall, while affordable handsets and the calling-party-pays system allow a significant number of low-income Latin Americans to become mobile subscribers, the results reveal that the current tariff structure has an inhibiting effect on service consumption by the poor. Third, since affordability is the most significant barrier to extending the reach of mobile services, as well as the range of services used by the poor, priority should be placed on policies aimed at reducing tariffs and stimulating the introduction of commercial innovations for low-income groups.
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Authors: Stephen Cranefield
Venue: Agent Communication II: International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers (2006)

This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message publication on a virtually synchronous group communication channel is described and an example electronic trading scenario (the game of Pit) is used to illustrate how this form of communication supports the design of interaction protocols in which a shared perception of the order of messages is important. It is also shown that this style of messaging can be used to support the definition of social commitments based on a shared understanding of message order within a conversation.
Dynamics Simulation of Conducting Polymer Interchain Interaction Effects on Polaron Transition
Authors: José Rildo Oliveira Queiroz, Geraldo Magela E Silva
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

Effects of interchain interaction on the polaron-bipolaron transition on conjugated polymer are investigated. We use the Su-Schri-effer-Heeger model combined with the Pariser-Parr-Pople model modified to include interchain interaction, and an external electric field. We study the dynamics within the Time-Dependent Unrestricted Hartree-Fock approximation. We find that removing an electron from interacting conducting polymer chains bearing a single positively charged polaron leads to the direct transition of polaron to bipolaron state. The transition which is produced is single-polaron to bipolaron transition whose excitation spectrum explains the experimental data. We also find that depending on how fast the electron is removed, a structure that contains a bipolaron coupled to a breather is created.
A Qualitative Bipolar Argumentative View of Trust
Authors: Henri Prade
Venue: Proceedings of the 1st international conference on Scalable Uncertainty Management (2007)

The paper views trust as a matter of levels ranging from full trust to full distrust on a finite scale. The level of trust of an agent w. r. t. an information source or another agent may not be precisely assessed due to the lack of information. Assessing a level of trust is viewed as a decision problem, which is handled in an argumentative manner. The interest of an argumentation approach is to be able to articulate reasons for supporting trust or distrust. Moreover, the updating trust process takes advantage of the bipolar nature of the representation, and is based on information fusion methods that are able to handle conflicts. The integration of these different features provides a novel view of trust evaluation.
Stratifying Winning Positions in Parity Games
Authors: Huimin Lin
Venue: Proceedings of the 29th international conference on Applications and Theory of Petri Nets (2008)

Parity games have attracted considerable attentions for at least two reasons. First, the problem of deciding wining positions in parity games is equivalent to the problem of μ-calculus model checking. Second, parity games are the simplest in a chain of two-player games which are known in NP ¿ co-NP but so far no efficient algorithms have been found.
Fuzzy classification using information theoretic learning vector quantization
Authors: Thomas Villmann, Barbara Hammer, Frank-Michael Schleif, Wieland Hermann, Marie Cottrell
Venue: Neurocomputing (2008)

In this article we extend the (recently published) unsupervised information theoretic vector quantization approach based on the Cauchy-Schwarz-divergence for matching data and prototype densities to supervised learning and classification. In particular, first we generalize the unsupervised method to more general metrics instead of the Euclidean, as it was used in the original algorithm. Thereafter, we extend the model to a supervised learning method resulting in a fuzzy classification algorithm. Thereby, we allow fuzzy labels for both, data and prototypes. Finally, we transfer the idea of relevance learning for metric adaptation known from learning vector quantization to the new approach. We show the abilities and the power of the method for exemplary and real-world medical applications.
Airport risk assessment: a probabilistic approach
Authors: L. Guerra, T. Murino, E. Romano
Venue: Proceedings of the 10th WSEAS International Conference on Automatic Control, Modelling & Simulation (2008)

Risk reduction is one of the key objectives pursued by transport safety policies. Particularly, the formulation and implementation of transport safety policies needs the systematic assessment of the risks, the specification of residual risk targets and the monitoring of progresses towards those ones. Risk and safety have always been considered critical in civil aviation. The purpose of this paper is to describe and analyse safety aspects in civil airports. An increase in airport capacity usually involves changes to runways layout, route structures and traffic distribution, which in turn effect the risk level around the airport. For these reasons third party risk becomes an important issue in airports development. To avoid subjective interpretations and to increase model accuracy, risk information are colleted and evaluated in a rational and mathematical manner. The method may be used to draw risk contour maps so to provide a guide to local and national authorities, to population who live around the airport, and to airports operators.
Towards a Formal Account of a Foundational Subset for Executable UML Models
Authors: Michelle L. Crane, Juergen Dingel
Venue: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems (2008)

A current Request for Proposal [1] from the OMG describes the requirements for an "Executable UML Foundation". This subset of UML 2 would serve as a shared foundation for higher-level modeling concepts, such as activities, state machines, and interactions. In a sense, this subset would define a basic virtual machine for UML, allowing the execution and analysis of runtime behavior of models. Regardless of the executable subset chosen, a precise definition of execution semantics of UML actions is required. To the best of our knowledge, no formal semantics of such a subset yet exists. We present our work on clarifying the semantics and pragmatics of UML actions. In particular, we sketch a formalization of a subset of UML actions and discuss common usage scenarios for the most complex actions, identifying usage assumptions that are not explicit in the UML 2 specification.
Education: Virtual world interfaces for special needs education based on props on a board
Authors: Saskia Groenewegen, Stefanie Heinz, Bernd Fröhlich, Anke Huckauf
Venue: Computers and Graphics (2008)

A main goal of special education is the teaching of skills needed for an independent life. Virtual worlds are a valuable tool for this, enabling users to train real-world tasks in a save environment. An intuitive interaction device for mentally handicapped users are props on a board, but until now their interaction space has been limited to the size of the board, whereas the training of realistic tasks requires the use of a large and complex environment, detailing different aspects of everyday life. We devised four navigation strategies for props on a board and tested them with mentally handicapped users. The most suitable strategy was implemented in an educational game teaching common tasks, which may even span multiple locations, such as shopping at the supermarket and then preparing a meal at home. A user study with 24 participants showed that the system enabled all of them to navigate through the virtual environment to complete given tasks and indicated that the system supports learning processes. With our system, mentally handicapped people will be able to train everyday tasks in realistic surroundings, using intuitive prop-based navigation and a navigation strategy tailored to their needs.
A Convergence Criteria Model of Client-Side Application-Layer Convergence Towards Fixed-Mobile Convergence
Authors: Toshihiko Yamakami
Venue: Proceedings of the 2008 International Conference on Convergence and Hybrid Information Technology (2008)

The fixed-mobile convergence is a hot topic in the telecommunication industry. The business models and technical details at the network layer have been discussed in the emerging service domain. However, the current fixed-mobile convergence is difficult to capture without considering application layer issues. The author discusses application layer issues in fixed-mobile convergence from the viewpoint of application-layer software engineering. The author presents an evolution model and existing gap-filling mechanisms in mobile-PC convergence at the application layer. Then, the author compares approaches from the perspective of rich Internet applications. The current technology lacks criteria for identifying an appropriate method for convergence. The author proposes a convergence criteria model to cope with this issue.
Fuzzy Interpolative Reasoning Using Interval Type-2 Fuzzy Sets
Authors: Li-Wei Lee, Shyi-Ming Chen
Venue: Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence (2008)

In this paper, we present a new fuzzy interpolative reasoning method using interval type-2 fuzzy sets. We calculate the ranking values through the reference points and the heights of the upper and the lower membership functions of interval type-2 fuzzy sets. By means of calculating the ranking values of the upper and the lower membership functions of interval type-2 fuzzy sets, we can use interval type-2 fuzzy sets to handle fuzzy interpolative reasoning in sparse fuzzy rule-based system in a more flexible manner.
Foreign Accent
Authors: Ulrike Gut
Venue: Speaker Classification I: Fundamentals, Features, and Methods (2007)

This paper investigates how speakers can be classified into native and non-native speakers of a language on the basis of acoustic and perceptually relevant features in their speech. It describes some of the most salient acoustic properties of foreign accent, based on a comparative corpus analysis of native and non-native German and English. These properties include the durational features vowel reduction, consonant cluster reduction and overall speech rate as well as the intonational variables pitch range and pitch movement. The paper further presents an experiment demonstrating that perceptual judgments of foreign accent correlate primarily with the speakers' speech rate.
Fast Convergence of Variable-Structure Congestion Control Protocol with Explicit Precise Feedback
Authors: Huixiang Zhang, Guanzhong Dai, Lei Yao, Hairui Zhou
Venue: Proceedings of the 2nd annual international workshop on Frontiers in Algorithmics (2008)

Traditional TCP has significant limitations such as unclear congestion implication, low utilization in high bandwidth delay product networks, unstable throughput and limited fairness. In order to overcome such limitations, research on design and development of more effective congestion control algorithms, especially in the high bandwidth delay product networks, is very active. Variable-structure congestion Control Protocol (VCP) uses two ECN bits to deliver the bottleneck link utilization region to end systems, and achieves high utilization, low persistent queue length, negligible packet loss rate and reasonable fairness. Owing to the utilization of large multiplicative decrease factor, VCP flows need very long time to finish fairness convergence. To address this problem, a new method called VCP-Fast Convergence (VCP-FC) is proposed in this paper. VCP-FC uses more bits to deliver precise network load factor back to end systems. The end system calculates the fairness bandwidth based on the variance rates of the load factor and throughput, and then quickly adjusts the congestion window to approach the fairness bandwidth. VCP-FC shortens the fairness convergence time effectively, and meanwhile improves the efficiency and fairness of VCP. At last, the performance of VCP-FC is evaluated using ns2 simulations.
Algorithmically Independent Sequences
Authors: Cristian S. Calude, Marius Zimand
Venue: Proceedings of the 12th international conference on Developments in Language Theory (2008)

Two objects are independent if they do not affect each other. Independence is well-understood in classical information theory, but less in algorithmic information theory. Working in the framework of algorithmic information theory, the paper proposes two types of independence for arbitrary infinite binary sequences and studies their properties. Our two proposed notions of independence have some of the intuitive properties that one naturally expects. For example, for every sequence x, the set of sequences that are independent with x has measure one. For both notions of independence we investigate to what extent pairs of independent sequences, can be effectively constructed via Turing reductions (from one or more input sequences). In this respect, we prove several impossibility results. For example, it is shown that there is no effective way of producing from an arbitrary sequence with positive constructive Hausdorff dimension two sequences that are independent (even in the weaker type of independence) and have super-logarithmic complexity. Finally, a few conjectures and open questions are discussed.
User-Centered Control of Audio and Visual Expressive Feedback by Full-Body Movements
Authors: Ginevra Castellano, Roberto Bresin, Antonio Camurri, Gualtiero Volpe
Venue: Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction (2007)

In this paper we describe a system allowing users to express themselves through their full-body movement and gesture and to control in real-time the generation of an audio-visual feedback. The systems analyses in real-time the user's full-body movement and gesture, extracts expressive motion features and maps the values of the expressive motion features onto real-time control of acoustic parameters for rendering a music performance. At the same time, a visual feedback generated in real-time is projected on a screen in front of the users with their coloured silhouette, depending on the emotion their movement communicates. Human movement analysis and visual feedback generation were done with the EyesWeb software platform and the music performance rendering with pDM. Evaluation tests were done with human participants to test the usability of the interface and the effectiveness of the design.
Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems
Authors: Venkita Subramonian, Christopher Gill
Venue: Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (2006)

Software for automotive systems is rapidly increasing in complexity and scale, and leveraging reusable software frameworks in the development of these systems offers significant potential to reduce engineering costs and cycle times. However, the development of practical models and verification and validation techniques for automotive software built with reusable frameworks remains an open research challenge. This paper makes three main contributions to the state of the art in software engineering for automotive systems. First, it summarizes ways in which reusable software frameworks are relevant to automotive software engineering. Second, it describes an approach to verification and validation of reusable software frameworks which we have developed for other application domains. Third, it presents an evaluation of our approach in the context of an illustrative verification and validation scenario.
Examining Kalman Filters Applied to Tracking Objects in Motion
Authors: Andrzej Czyzewski, Piotr Dalka
Venue: Proceedings of the 2008 Ninth International Workshop on Image Analysis for Multimedia Interactive Services (2008)

Kalman filters were used for establishing relations between objects moving in video frames to the real moving objects under analysis. As a result of applying some popular methods of moving objects detection, the objects were represented by rectangles. A two-dimensional colour histogram based on a chromatic space was used for each object in experiments. The objects coupling with adequate regions including the relation of many-to-many was studied experimentally employing Kalman filters. The implemented algorithm provides a part of an advanced audio-video surveillance system for security applications.
Second International Workshop on Models@run.time
Authors: Nelly Bencomo, Robert France, Gordon Blair
Venue: Models in Software Engineering: Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (2008)

The second edition of the workshop Models@run.time was co-located with the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems. The workshop took place in the lively city of Nashville, USA, on the 2nd of October, 2007. The workshop was organised by Nelly Bencomo, Robert France, and Gordon Blair and was attended by at least 25 people from 7 countries. This summary gives an overview of the presentations and lively discussions that took place during the workshop.