ppxscal/embedding_network huggingface dataset:
Genetic Programming for Induction of Context-Free Grammars
Authors: Ernesto Rodrigues, Hector Silverio Lopes
Venue: Proceedings of the Seventh International Conference on Intelligent Systems Design and Applications (2007)

We present an evolutionary algorithm for the induction of context-free grammars from positive and negative examples. The algorithm is based on genetic programming and uses a local optimization operator that is capable of improving the learning task. Ordinary genetic operators were modified so as to bias the search and a new operator was proposed. The system was evaluated using benchmark problems and results were compared with another recent approach. Results show that the proposed approach is very promising.
Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification
Authors: Tun Lu, Ning Gu
Venue: Proceedings of the Sixth International Conference on Grid and Cooperative Computing (2007)

From the perspective of service-oriented computing, a grid system is built by composing autonomous, loosely coupled and platform-independent services, whose dynamics and complexity bring great challenges to system survivability analysis. In the present of different kinds of malicious attacks, system failures or accidents, the system will provide a predefined survivability specification which consists of corresponding degraded services called service cores according to the application logic. How to formally describe the process and reason the properties of the recovery from one service core to another play an important role in analyzing system survivability. The main contributions of this paper are (1) presenting the method to represent service core based on component families and installation orders; (2) studying the success (the newly started services in the resulting service core function properly) and safety (the formerly started services in the starting service core are not damaged) properties of the recovery from one service core to another based on component compatibility and installation execution; (3) proposing the approach to simplify the component installation execution based on projection; (4) proposing a formal analysis approach for service-based system survivability based on survivability specification. The approach is applied in a simple service-based system called mobile video conference (MVC) to demonstrate its practicability and efficiency.
Of Deadlocks and Peopleware - Collaborative Work Practices in Global Software Development
Authors: Gabriela Avram
Venue: Proceedings of the International Conference on Global Software Engineering (2007)

As part of a research project dedicated to the Social Organizational and Cultural Aspects of Global Software Development, the author has chosen to focus on collaborative work practices and knowledge management aspects of collaborative work. More precisely, the focus is on how the global distribution of software development affects collaborative work. The current paper is a first attempt to unveil, through a concrete situation observed in a distributed software development environment, the complex ways in which people use technology to establish collaborative work practices. By using ethnographically-informed methods, the author presents a bottom-up study of actual work practices, meant to contribute to a better understanding of collaborative work and knowledge management processes in distributed software development.
Mutable cinema, a participatory narrative engine
Authors: Mario Márquez Lartigue, Pedro González, Kiyoshi Osawa
Venue: Proceedings of the 2nd international conference on Digital interactive media in entertainment and arts (2007)

Mutable Cinema is an interactive installation that allows a player to perform live editing of a movie in front of an audience. As the player navigates the interface in real time, he or she generates new patterns from the broad narrative database, such that each performance delivers a different interpretation on the cinematic content. A player interacts with the installation via a computer screen beside a large projection screen. Game play involves choosing from multiple parallel story paths and selecting different camera angles and points of view. The challenge is in deciding what to play on the big screen and what to leave out. As the player explores the audio/visual database he or she generates a linear montage that becomes the narrative viewed by the audience. The cinematic content is specially created with multiple parallel story lines to form a multifaceted, and multidimensional, narrative space. This space is explored as the player actively chooses their own sequential path across the interface to access different narrative outcomes. There is sufficient complexity in the back-end design that each player, based on their performance, can generate their own unique story. Mutable Cinema strives to provide an enjoyable multimedia experience that will enhance forms of social communication and modes of participatory learning.
Optimizing Schemas of Flood Control and Disaster Reduction Engineering Based on Variable Fuzzy Sets Theory
Authors: Huicheng Zhou, Wei Li, Chi Zhang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 02 (2007)

Due to significance of engineering schemas for flood control and disaster reduction (FCDR), the variable fuzzy sets (VFS) theory is presented and the river network models (MIKE11 and MIKE21) are introduced to calculate and analyze the flood submerging process for certain river basin and to set up its optimization model for FCDR engineering schemas. It's proved that the proposed model can scientifically and reasonably determine relative membership degrees (RMDs) and relative membership function of schema index at its feature value interval, and it also can properly select schema with high optimal membership degree by varying the model and its parameters, so that the reliability of optimizing schema can be improved. The established method is applied to optimize flood control and disaster mitigation engineering projects of Biliuhe reservoir's lower river course for a case. The case study shows the proposed method is feasible and effective, and the optimization result is reasonable.
Studies on the properties of sputter-deposited Ag-doped ZnO films
Authors: D. R. Sahu
Venue: Microelectronics Journal (2007)

Ag-doped ZnO films were prepared by simultaneous rf magnetron sputtering of ZnO and dc magnetron sputtering of Ag on glass substrate. The influences of dopant content and substrate temperature on the properties of the as-grown films were investigated. Several analytical tools such as X-ray diffraction, spectrophotometer, atomic force microscopy, scanning electron microscopy and four-point probe were used to explore the possible changes in electrical and optical properties. The as-grown film has a preferred orientation in the (002) direction. As the amounts of the Ag dopant were increased, the crystallinity as well as the transmittance and optical band gap were decreased while the electrical resistivity increased. However, as the substrate temperature was increased, the crystallinity and the transmittance were increased. A small amount of Ag (
Experiment design in guaranteed identification
Authors: M. I. Gusev
Venue: Automation and Remote Control (2007)

Consideration was given to the optimal choice of inputs at identification of the control system parameters from the results of measurements under the assumption that the a priori information about the uncertain parameters and measurement errors is confined to the admissible limits of their variations. The problem of identification is considered within the framework of the minimax (guaranteed) approach; optimization of input is oriented to improving the accuracy of estimation of the uncertain system parameters. The integral of the system information (function) is used as a criterion characterizing the quality of estimation.
A frequency-domain technique for statistical timing analysis of clock meshes
Authors: Ruilin Wang, Cheng-Kok Koh
Venue: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design (2007)

We propose a frequency-domain modeling technique with applications on the statistical timing analysis of clock mesh/grid networks. Using transmission lines to model clock mesh edges, we express the means and (co)variances of the sink arrival times as polynomial functions of the arrival times of the input signals and the wire widths of the mesh edges, with up to second order accuracy. Experimental results show that the proposed frequency-domain statistical timing analysis technique is efficient and accurate. The relative mean error is less than 1% and relative variance error less than 3%.
Recognition of Multi-Pose Head Gestures in Human Conversations
Authors: Ligeng Dong, Yuxin Jin, Linmi Tao, Guangyou Xu
Venue: Proceedings of the Fourth International Conference on Image and Graphics (2007)

We address the problem of recognizing multi-pose head nodding and shaking gestures in human conversations. Existing methods mainly recognize head gestures in restricted environments like human robot interaction, where face poses are near frontal and head motions are not natural. However, in human conversations, faces of subjects might be in arbitrary poses while head gestures are often subtle. Since the face pose change and head gesture movement are of different scale, we propose to track the face of varied poses with a mixed-state particle filter and detect the subtle head movement by a Kanade-Lucas-Tomasi tracker. The motion patterns in both horizontal and vertical directions are detected and then head gestures are analyzed by a Finite State Machine. Experiments on natural human conversations demonstrated the effectiveness of our method.
A Scenario-based Approach to Increasing Service Availability at Runtime Reconfiguration of Component-based Systems
Authors: Jasminka Matevska, Wilhelm Hasselbring
Venue: Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (2007)

Component-based business-critical systems evolve during their life cycle in order to meet changing requirements or to improve quality properties. At the same time, maintaining continuous availability of services is an issue with increasing importance for these systems. Runtime reconfiguration supports evolution of systems while maintaining availability of services they provide. In this paper, we present a new approach to runtime reconfiguration of component-based systems, which aims at optimising availability of requested services during reconfiguration. For a particular reconfiguration request, we analyse relevant scenarios based on the usage model of the system and exploit the component protocol information. Considering varying number of requests for a service at different points in time as well as the priority of each service, we compute minimal runtime dependency graphs among component instances and thus the maximal possible availability of services provided by the system. Finally, we sketch the system architecture for evaluating our approach.
Least-square method to priority of the fuzzy preference relations with incomplete information
Authors: Zai-Wu Gong
Venue: International Journal of Approximate Reasoning (2008)

The priority problem of incomplete preference relations is investigated. Using the transformation relation between multiplicative preference relation and fuzzy preference relation, we develop a least-square model to obtain the collective priority vector of the incomplete preference relations presented by multiple decision makers, with the existence condition of the solution being developed. Meanwhile, we extend this model to the cases of the fuzzy preference relations with complete information presented by multiple decision makers and the fuzzy preference relation with complete information presented by one decision maker. Finally, it is illustrated by a numerical example that the method proposed is feasible and effective.
A New Hybrid Approach of Symmetric/Asymmetric Authentication Protocol for Future Mobile Networks
Authors: Mustafa Al-Fayoumi, Shadi Nashwan, Sufian Yousef, Abdel-Rahman Alzoubaidi
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

Most of current authentication schemes for mobile systems have some weaknesses; such as leakage of UE identities and high update overhead of temporary identities. This paper proposes a secure authentication mechanism for mobile communication systems that satisfies the security requirements of the third generation mobile systems. In this proposed protocol, the number of messages between authentication entities of the network is reduced to four messages instead of five in initial authentication procedure. The subsequent authentication procedure only contains two message exchanges. Therefore, the bottleneck at authentication center is avoided by reducing the number of messages between mobile and authentication center. The authentication time delay, call setup time and signaling traffic are minimized. Also, this proposed protocol is designed to be secure against network attacks, such as replay attacks and Guessing attacks and others attacks. Consequently, this approach is secure and practical as it can satisfy the security requirements of the third generation mobile communication systems based on hybrid asymmetric and symmetric cryptosystem, and can save up to 20% of the authentication traffic delay time. KEYWORDS: 3rd Generation Mobile Networks, Authentication mechanism, End-to-End mobile security and Mobile Security Requirements.
A New Method for Writer Identification and Verification Based on Farsi/Arabic Handwritten Texts
Authors: F. Nejad, M. Rahmati
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

Most studies about writer identification are based on English documents and to our knowledge no research has been reported on Farsi or Arabic documents. In this paper, we have proposed a method for off-line writer identification and verification based on Farsi handwriting, which is text-dependent. Based on the idea that has been presented in the previous studies, here we assume handwriting as texture image and after normalization step, the Gabor filters are applied to image and then new features are extracted. Substantially, the property of proposed method is using of the bank of Gabor filters which is appropriate for the structure of Farsi handwritten texts and vision system. Also, a new method for feature extraction from output of Gabor filters is proposed which is based on moments and nonlinear transform. In this paper, with definition a confidence criterion, a new method for writer verification is proposed. Evaluation of other methods and proposed method demonstrates that proposed method achieves better performance on Farsi handwritten from 40 peoples.
Software Solutions for Converting a MIMO-OFDM Channel into Multiple SISO-OFDM Channels
Authors: M Sima, M. Senthilvelan, D. Iancu, J. Glossner, M. Moudgill, M. Schulte
Venue: Proceedings of the Third IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (2007)

We present a software approach for MIMO-OFDM wireless communication technology. We first show that complex matrix operations like Singular-Value Decomposition (SVD), diagonalization, triangulariza- tion, etc., can be executed efficiently in software us- ing a combination of CORDIC and unitary rotation algorithms in a multithreaded SIMD processor. We then investigate and analyze the transformation of a MIMO-OFDM channel into multiple independent SISO-OFDM channels by means of the SVD. The algorithms are implemented on the Sandblaster proces- sor. The numerical results indicate that the CORDIC- augmented processor provides a significant reduction in the computing time of more than 47% over the standard Sandblaster processor when converting a 4- by-4 MIMO-OFDM channel into four SISO-OFDM channels. The technique is applicable to emerging wireless communication protocols, such as WiMAX and Wi-Fi, and provides the flexibility required to adapt to continually changing and evolving standards without the need for expensive hardware redesigns and respins.
Subspace Reduction for Appearance-Based Navigation of a Mobile Robot
Authors: Luis Paya, Oscar Reinoso, M. Asuncion Vicente, Arturo Gil, J. Manuel Pedrero
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

The appearance-based approach in visual robot navigation supposes several advantages, such as its application to non-structured environments and the relatively simple extraction of control laws that it offers. However, the main drawback is the requirement of extensive memories and the high computational cost. This way, the nature and the quantity of information to store about the environment is very important. This work presents how to reduce the dimension of the database, by means of calculating just the most significant information of each image. We show how it can be done working in the PCA subspace. This method allows lowering the computational cost without necessity of reducing the resolution of the images, what implies that it could be used in very non-structured environments, in the presence of partial occlusions and with considerably high translational speed of the robot.
The handover control mechanism for multi-path transmission using Stream Control Transmission Protocol (SCTP)
Authors: Chung-Ming Huang, Ching-Hsien Tsai
Venue: Computer Communications (2007)

With the rapid advance of wireless networking technologies, end-host networking devices have been equipped with various network interfaces. Thus, it becomes possible for a wireless mobile host to improve its transmission efficiency by transmitting data through multiple network interfaces at the same time. In this paper, we focus on the mobility issues of SCTP multi-path transmission. M^2-SCTP (Mobile Multipath - Stream Control Transmission Protocol) is proposed to allow a host to perform (multi-)path handover when multi-path transmission is adopted in wireless mobile networks. Relevant mobility issues of M^2-SCTP are also investigated. We define three conditions under which the M^2-SCTP host can select the paths for multi-path data transmission. Since the paths used in M^2-SCTP may differ at each time paths are re-selected, the path handover problem must be tackled. Three concerns related to path handover that are addressed and resolved in this paper include (1) spurious retransmissions due to failed SACK (Selective Acknowledgement) transmission at the old path, (2) retransmissions of data lost before path handover and unnecessary CWND (Congestion Window) reductions, and (3) the reordering problem due to path handover. Based on the mechanisms devised to solve the path handover problem, the M^2-SCTP multi-path handover mechanism is also devised. Finally, a scheme that adopts the DDNS (Dynamic DNS) technique is proposed to resolve the locating issue of an M^2-SCTP host.
A Request-Driven Role Mapping for Secure Interoperation in Multi-Domain Environment
Authors: Zhuo Tang, Ruixuan Li, Zhengding Lu
Venue: Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (2007)

This paper proposes a request-driven role mapping framework for secure interoperation in multi-domain environment. To support flexible policy expression and inter-domain policy mapping, we propose a more convenient and effective method to complete the privilege query in a general hybrid role hierarchy for all special external requests. To describe the practical relationship between roles, we partition the rolemappings into three types. These mappings describe the forms of the hierarchy between the mapping roles respectively. With our analysis, for the conflicts which arise from the role-mapping among multi-domains, the effective way is to choose a suitable type of role mapping.
Monte-Carlo driven stochastic optimization framework for handling fabrication variability
Authors: Vishal Khandelwal, Ankur Srivastava
Venue: Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design (2007)

Increasing effects of fabrication variability have inspired a growing interest in statistical techniques for design optimization. In this work, we propose a Monte-Carlo driven stochastic optimization framework that does not rely on the distribution of the varying parameters (unlike most other existing techniques). Stochastic techniques like Successive Sample Mean Optimization (SSMO) and Stochastic Decomposition present a strong framework for solving linear programming formulations in which the parameters behave as random variables. We consider Binning-Yield Loss (BYL) as the optimization objective and show that we can get a provably optimal solution under a convex BYL function. We apply this framework for the MTCMOS sizing problem [21] using SSMO and Stochastic Decomposition techniques. The experimental results show that the solution obtained from stochastic decomposition based framework had 0% yield-loss, while the deterministic solution [21] had a 48% yield-loss.
Coevolutionary search for one-dimensional cellular automata, based on parameters related to their dynamic behaviour
Authors: Gina M. B. Oliveira, Oscar K. N. Asakura, Pedro P. B. de Oliveira
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2002)

The understanding of how cellular automata (CA) carry out arbitrary computations through totally local and parallel processing and how to harness their programmability is still extremely vague. In order to face this question various evolutionary methods have been used to look for cellular automata of a predefined computational behaviour. In this context, the most widely studied CA task is the density classification task (DCT), the best rule currently known for it having been obtained by a coevolutionary genetic algorithm (CGA). Extending our previous success in incorporating a parameter-based heuristic into a standard, single population genetic algorithm in the DCT, here we analyse the influence of incorporating that heuristic into the coevolutionary search. The results obtained show that the parameters can effectively help a CGA in searching for DCT rules, and suggest that the choice of the amount of bias in the search, allowed for the heuristic is more sensitive than in the standard genetic search.
An Advanced Fault Isolation System for Digital Logic
Authors: N. Benowitz
Venue: IEEE Transactions on Computers (1975)

Advances in integrated circuit technology are decreasing acquisition cost per function of digital hardware while system software costs are increasing. The hardware advances allow practical implementation of more sophisticated and complex systems which have fewer components, but which may present severe test and maintenance problems due to their complexity. As a result, the use of built-in test (BIT) hardware in place of software becomes increasingly attractive. The Navy funded Advanced Avionics Fault Isolation System (AAFIS) concept utilizes BIT logic for cost-effective fault detection and fault isolation to a digital subsystem and to the faulty module therein. Added logic, available at low cost with advanced microelectronics, is used to perform test pattern generation in each subsystem and to code over the test sequence the outputs and test points on each subsystem module. The coded test response is compared to a predetermined constant. The OR of resulting module pass-fail signals indicates subsystem faults, while identification of a module fail signal provides isolation to a faulty module. Practical coding techniques are presented, with tradeoff of speed, test effectiveness and logic requirements for each. BIT logic design and simulation results verify high fault detection and moderate added logic for BIT.