ppxscal/embedding_network huggingface dataset:
Efficient design method of ROM
Authors: Ki-Sang Jung, Yong-Eun Kim, Seong-Ik Cho, Jin-Gyun Chung
Venue: Proceedings of the 2nd WSEAS International Conference on Circuits, Systems, Signal and Telecommunications (2008)

In a memory, most power is dissipated in line of high capacitance such as decoder lines, word lines, and bit lines. This paper proposes a reduction method of power consumption for reducing ROM core size. Design result of ROM used in FFT, proposed method leads to up to 40.6%, 42.12% and 37.82%, respectively reduction in area, power consumption and number of Tr. compared with conventional method
Note: Using equality in the Krein conditions to prove nonexistence of certain distance-regular graphs
Authors: Kris Coolsaet, Aleksandar Jurišić
Venue: Journal of Combinatorial Theory Series A (2008)

We prove the nonexistence of a distance-regular graph with intersection array {74,54,15;1,9,60} and of distance-regular graphs with intersection arrays{4r^3+8r^2+6r+1,2r(r+1)(2r+1),2r^2+2r+1;1,2r(r+1),(2r+1)(2r^2+2r+1)} with r an integer and r>=1. Both cases serve to illustrate a technique which can help in determining structural properties for distance-regular graphs and association schemes with a sufficient number of vanishing Krein parameters.
Modeling of GaAs MEMS for RF power measurement in telecommunications
Authors: Jiri Jakovenko, Miroslav Husak
Venue: Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics (2005)

This report discusses the design of Thermo-mechanical converter that creats heart of the RF power sensor microsystem which can be used for transmitted power measurement in telecommunications. The coception of absorbed power measurement is based on thermal conversion, where absorbed RF power is transformed into thermal power, inside a thermally isolated system. Micromechanical Thermal Converter (MTC) spatial temperature dependences, thermal time constant and power to temperature characteristics are calculated from the heat distribution. The temperture changes induced in the MTC by electrical power dissipated in the HEMT (High Electron Mobility Tranzistor) are sensed using the temperature sensor. The temperature distribution, over the sensing area, and mechanical stress was optimized by studying different MTC sizes, and layouts of the heater and temperature sensor.
A gentle introduction to mutual recursion
Authors: Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores
Venue: Proceedings of the 13th annual conference on Innovation and technology in computer science education (2008)

Recursion is an important topic in computer science curricula. It is related to the acquisition of competences regarding problem decomposition, functional abstraction and the concept of induction. In comparison with direct recursion, mutual recursion is considered to be more complex. Consequently, it is generally addressed superficially in CS1/2 programming courses and textbooks. We show that, when a problem is approached appropriately, not only can mutual recursion be a powerful tool, but it can also be easy to understand and fun. This paper provides several intuitive and attractive algorithms that rely on mutual recursion, and which have been designed to help strengthen students' ability to decompose problems and apply induction. Furthermore, we show that a solution based on mutual recursion may be easier to design, prove and comprehend than other solutions based on direct recursion. We have evaluated the use of these algorithms while teaching recursion concepts. Results suggest that mutual recursion, in comparison with other types of recursion, is not as hard as it seems when: (1) determining the result of a (mathematical) function call, and, most importantly, (2) designing algorithms for solving simple problems.
Alert: An Adaptive Low-Latency Event-Driven MAC Protocol for Wireless Sensor Networks
Authors: Vinod Namboodiri, Abtin Keshavarzian
Venue: Proceedings of the 7th international conference on Information processing in sensor networks (2008)

Collection of rare but delay-critical messages from a group of sensor nodes is a key process in many wireless sensor network applications.This is particularly important for security related applications like intrusion detection and fire alarm systems.An event sensed by multiple sensor nodes in the network can trigger many messages to be sent simultaneously. We present Alert, a MAC protocol for collecting event-triggered urgent messages from a group of sensor nodes with minimum latency and {without requiring any cooperation or pre-scheduling among the senders or between senders and receiver} during protocol execution. Alert is designed to handle multiple simultaneous messages efficiently and reliably minimizing the overall delay to collect all messages along with the delay to get the first message. Moreover, the ability to handle a large number of simultaneous messages does not come at the cost of excessive delays when only a few messages need to be handled. We analyze Alert and evaluate its feasibility and performance with an implementation on commodity hardware. We further compare Alert with existing approaches through simulations and show the performance improvement possible through Alert.
Incorporating Product Development in CS Curriculum
Authors: Sudharsan R. Iyengar
Venue: Proceedings of the Fifth International Conference on Information Technology: New Generations (2008)

This paper presents our experiences in incorporating an industry product development within a two semester course sequence in Object Oriented Analysis & Design and Internet/Web Architecture & Development. Industry client(s) provided the scope, evaluation, and feedback through the project analysis, design, and development. This approach of ours was to facilitate experiential learning and move away from the classic learning through-academic-exercise. This is a paradigm shift for the students from targeted academic tasks to taking responsible roles in usable product development. We present our experiences from the conceptual stages of the project through the implementation of user needs carried out during the two semesters. We list the challenges posed for the instructor, the students enrolled in the classes, and the industry participant.
Supply chain coordination: A game-theory approach
Authors: Jean-Claude Hennet, Yasemin Arda
Venue: Engineering Applications of Artificial Intelligence (2008)

In a supply chain organized as a network of autonomous enterprises, the main objective of each partner is to optimize his production and supply policy with respect to his own economic criterion. Conflicts of interests and the distributed nature of the decision structure may induce a global loss of efficiency. Contracts can then be used to improve global performance and decrease risks. The purpose of the paper is to evaluate the efficiency of different types of contracts between the industrial partners of a supply chain. Such an evaluation is made on the basis of the relationship between a producer facing a random demand and a supplier with a random lead-time. The model combines queuing theory for evaluation aspects and game theory for decisional purposes.
Cooperative cross layer MAC protocols for directional antenna ad hoc networks
Authors: Andrea Munari, Francesco Rossetto, Michele Zorzi
Venue: ACM SIGMOBILE Mobile Computing and Communications Review (2008)

This paper deals with some of the main problems that affect directional antenna ad hoc networks, especially deafness and collisions. By means of a thorough study of the possibilities offered by an antenna array, we propose cooperation as a novel technique for deafness suppression, together with a low complexity multiuser detector and a collision avoidance algorithm tailored for this type of networks. Building on these ideas, a new family of protocols (called Cooperative MAC) is designed. A lower and an upper bound on its performance are compared with the Circular RTS/CTS protocol (CRCM), a known benchmark in this field. We are able to achieve interesting improvements.
Information security control in the application of grid security
Authors: Yuan Jia-bin, Gu Kai-kai
Venue: Proceedings of the 2007 Asian technology information program's (ATIP's) 3rd workshop on High performance computing in China: solution approaches to impediments for high performance computing (2007)

To improve the security of the information system, the information security control theory is studied. This paper introduces information security and automatic control theory, presents the information security control theory, traverses the characteristic of the information security control theory. This paper also analyses the security grid technology, introduces the information security control theory into the grid system, builds the security grid model with feedback funtion. Experiments show that the information security control theory improves the security of the information system.
Efficient Compression of Multi-view Video Using Hierarchical B Pictures
Authors: Lini Ma, Feng Pan
Venue: Proceedings of the 2008 International Conference on Multimedia and Ubiquitous Engineering (2008)

3D and free viewpoint video are new types of natural video media that expand the user’s sensation far beyond what is offered by traditional media. As video compression is a key issue in traditional video communications and the use of multi video streams makes it even more important for such applications. In this paper, we presented an investigation of the multi-view video coding structures with focus on exploiting hierarchical B pictures. We demonstrate hierarchical B pictures prediction structures, and present the advantage of several multi-view video coding prediction schemes. This demonstration will show the benefits of using hierarchical B pictures based on H.264/AVC. The simulation results demonstrate that the objective quality can be improved with the advanced MVC prediction structures in comparison to the simulcast coding structures.
Mobile services for horse-race betting: a QoS study of streaming horse-race videos to 3G phones
Authors: Pål Backe, Anita Andersen, Thomas Plagemann, Anders Spilling
Venue: Proceedings of the 2nd international conference on Mobile multimedia communications (2006)

In order to attract customers to a mobile multimedia service, it is important for the service provider which level of Quality-of-Service (QoS) customers find acceptable, respectively appealing, and how perceptual QoS is affected by system level QoS. This paper discusses a mobile service for horse-race betting, which includes the streaming of video clips to 3G phones. Furthermore, an extensive study to evaluate system level and perceptual QoS is covered in detail. The results demonstrate the importance of adapting the video for presentation on small screens. The investigation follows on to discuss the importance of bit and frame data rates and clearly demonstrates that users are sensitive to rate changes, even at very low rates. Finally, the results show that packet loss in the range of three to four percent does not effect the user experience.
A call-by-need lambda calculus with locally bottom-avoiding choice: Context lemma and correctness of transformations
Authors: David Sabel, Manfred Schmidt-schauss
Venue: Mathematical Structures in Computer Science (2008)

We present a higher-order call-by-need lambda calculus enriched with constructors, <monospace>case</monospace> expressions, recursive <monospace>letrec</monospace> expressions, a <monospace>seq</monospace> operator for sequential evaluation and a non-deterministic operator <monospace>amb</monospace> that is locally bottom-avoiding. We use a small-step operational semantics in the form of a single-step rewriting system that defines a (non-deterministic) normal-order reduction. This strategy can be made fair by adding resources for book-keeping. As equational theory, we use contextual equivalence (that is, terms are equal if, when plugged into any program context, their termination behaviour is the same), in which we use a combination of may-and must-convergence, which is appropriate for non-deterministic computations. We show that we can drop the fairness condition for equational reasoning, since the valid equations with respect to normal-order reduction are the same as for fair normal-order reduction. We develop a number of proof tools for proving correctness of program transformations. In particular, we prove a context lemma for both may-and must-convergence that restricts the number of contexts that need to be examined for proving contextual equivalence. Combining this with so-called complete sets of commuting and forking diagrams, we show that all the deterministic reduction rules and some additional transformations preserve contextual equivalence. We also prove a standardisation theorem for fair normal-order reduction. The structure of the ordering ≤c is also analysed, and we show that Ω is not a least element and ≤c already implies contextual equivalence with respect to may-convergence.
Time series prediction using evolving radial basis function networks with new encoding scheme
Authors: Haiping Du, Nong Zhang
Venue: Neurocomputing (2008)

This paper presents a new encoding scheme for training radial basis function (RBF) networks by genetic algorithms (GAs). In general, it is very difficult to select the proper input variables and the exact number of nodes before training an RBF network. In the proposed encoding scheme, both the architecture (numbers and selections of nodes and inputs) and the parameters (centres and widths) of the RBF networks are represented in one chromosome and evolved simultaneously by GAs so that the selection of nodes and inputs can be achieved automatically. The performance and effectiveness of the presented approach are evaluated using two benchmark time series prediction examples and one practical application example, and are then compared with other existing methods. It is shown by the simulation tests that the developed evolving RBF networks are able to predict the time series accurately with the automatically selected nodes and inputs.
Eye-tracking dynamic scenes with humans and animals
Authors: Ljiljana Skrba, Ian O'Connell, Carol O'Sullivan
Venue: Proceedings of the 5th symposium on Applied perception in graphics and visualization (2008)

In our research, we are interested in simulating realistic quadrupeds [2008]. Previous eye-tracking results have shown that faces are particularly salient for static images of animals and humans [2005; 2004]. To explore whether similar eye-movement patterns are found for dynamic scenes depicting animals, we displayed multiple 4-second (56 frame) grey-scale video clips of farm animals (goat, horse, sheep) walking and trotting. Using an EyelinkII eye-tracker, we recorded the eye-movements of 7 participants who were instructed to view the experiments with a view to subsequently answering questions about the movements. As it has been shown that human and animal motions activate different areas of the brain in children [2003], we also showed the participants the same number of videos showing humans walking and running. Figure 2 shows several frames of three of the video clips, with the eye-fixations of one participant overlaid. This depicts a very typical eye-movement pattern found in most of the videos, in that participants first looked at the head of the animal, then looked along the torso, finishing at the hips.
Fast Reservation Protocols for Latency Reduction in Optical Burst-Switched Networks Based on Predictions
Authors: Kyriaki Seklou, Emmanouel Varvarigos
Venue: Proceedings of the Seventh International Conference on Networking (2008)

We propose and evaluate fast reservation (FR) protocols for Optical Burst Switched (OBS) networks. The proposed reservation schemes aim at reducing the end-to-end delay of a data burst, by sending the Burst Header Packet (BHP) in the core network before the burst assembly is completed at the ingress node. We use linear prediction filters to estimate the expected length of the burst and the time needed for the burstification process to complete. A BHP packet carrying these estimates is sent before burst completion, in order to reserve bandwidth at each intermediate node for the time interval the burst is expected to pass from that node. Reducing the total time needed for a packet to be transported over an OBS network is important, especially for real-time applications. Reserving bandwidth only for the time interval it is actual going to be used by a burst is important for network utilization efficiency. In the simulations conducted we evaluate the proposed extensions and prove their usefulness.
An effective sentence-extraction technique using contextual information and statistical approaches for text summarization
Authors: Youngjoong Ko, Jungyun Seo
Venue: Pattern Recognition Letters (2008)

This paper proposes an effective method to extract salient sentences using contextual information and statistical approaches for text summarization. The proposed method combines two consecutive sentences into a bi-gram pseudo sentence so that contextual information is applied to statistical sentence-extraction techniques. Salient bi-gram pseudo sentences are first selected by the statistical sentence-extraction techniques, and then each selected bi-gram pseudo sentence is separated into two single sentences. The second sentence-extraction task for the separated single sentences is performed to make a final text summary. Because the proposed method uses the contextual information with the bi-gram pseudo sentences and combines the statistical sentence-extraction techniques effectively, it can achieve high performance. As a result, the proposed method showed better performance than other sentence-extraction methods in both single- and multi-document summarization.
Rule-based microarray classification system using multi-agent approach
Authors: Gregor Štiglic, Peter Kokol
Venue: Proceedings of the 4th WSEAS International Conference on Applied Informatics and Communications (2004)

In the recent years there has been a lot of scientific work done in the field of microarray analysis. The technology itself enables us to analyze multiple tissues and scan their gene expression levels. When a significant number of such gene scans is collected we can perform different supervised classification methods. Our goal is to find significant classification genes using simple rules that can be used by agents when searching through the gene expression database search space. This way we can get a small subset of significant features (genes) that can help us identifying the clinical state of the patient. In our work we propose a method that is based on ideas from multi-agent systems and produces simple rules that can easily be evaluated by experts in the biomedicine field.
Towards architectural knowledge management practices for global software development
Authors: Viktor Clerc
Venue: Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge (2008)

In the past few years, an increasing interest in architectural knowledge is recognized in the software architecture community. Architectural knowledge is generally regarded as important to guide the development of software systems. With the trend of Global Software Development (GSD), the management of architectural knowledge becomes even more important due to the geographical, temporal, and socio-cultural distance innate to GSD. In this paper we build on the requirements engineering discipline to identify practices that can aid in overcoming GSD challenges and assess their applicability for management of architectural knowledge in a GSD setting. We provide a light-weight pattern language that we use to describe architectural knowledge management practices and provide a first validation of these practices from an ongoing case study.
Automated speech analysis applied to laryngeal disease categorization
Authors: A. Gelzinis, A. Verikas, M. Bacauskiene
Venue: Computer Methods and Programs in Biomedicine (2008)

The long-term goal of the work is a decision support system for diagnostics of laryngeal diseases. Colour images of vocal folds, a voice signal, and questionnaire data are the information sources to be used in the analysis. This paper is concerned with automated analysis of a voice signal applied to screening of laryngeal diseases. The effectiveness of 11 different feature sets in classification of voice recordings of the sustained phonation of the vowel sound /a/ into a healthy and two pathological classes, diffuse and nodular, is investigated. A k-NN classifier, SVM, and a committee build using various aggregation options are used for the classification. The study was made using the mixed gender database containing 312 voice recordings. The correct classification rate of 84.6% was achieved when using an SVM committee consisting of four members. The pitch and amplitude perturbation measures, cepstral energy features, autocorrelation features as well as linear prediction cosine transform coefficients were amongst the feature sets providing the best performance. In the case of two class classification, using recordings from 79 subjects representing the pathological and 69 the healthy class, the correct classification rate of 95.5% was obtained from a five member committee. Again the pitch and amplitude perturbation measures provided the best performance.
Satisfier and dissatisfier factors of websites users: an exploratory study
Authors: Isabel Pinho, Arménio Rego, Elisabeth Kastenholz
Venue: Proceedings of the 2007 Euro American conference on Telematics and information systems (2007)

This exploratory study aims at identifying satisfier and dissatisfier factors of website clients. Herzberg's classic bifactorial model of motivation, which has been transposed by Zhang and von Dran [1] to the analysis of (dis)satisfaction with websites, served as inspiration to the present study. A survey was applied to a sample of 252 individuals, who evaluated two websites. Results suggest that, even though some factors induce both satisfaction and dissatisfaction, some are clearly satisfiers, whereas others are dissatisfiers. The empirical evidence suggests that website constructors should not only avoid dissatisfier factors, or mainly satisfiers, but rather act in both fields.
Proceedings of graphics interface 2008
Venue: GI; Vol. 322 (2008)

Welcome to Graphics Interface 2008. This annual conference, now in its 34th year, is devoted to computer graphics, interactive systems, and human-computer interaction. Graphics Interface occupies a unique niche among conferences in that it seeks to both combine and bridge research topics in and across these areas. Beginning in 1969 as the "Canadian Man-Computer Communications Seminar" (CMCCS), it is the oldest regularly scheduled computer graphics and human-computer interaction conference. This year, Graphics Interface was held May 28-30, 2008 in Windsor, Ontario. We received a total of 85 submissions, of which 34 papers were accepted. The final program is balanced between HCI and computer graphics, with both tracks seeing similar acceptance rates: 41% for the HCI track, and 39% for the graphics track. Twenty international experts served on the program committee, solicited and managed reviews from a wide body of other experts and helped to select a very high quality set of papers for this year's conference. The great majority of papers received four reviews, two of which were from program committee members.