ppxscal/embedding_network huggingface dataset:
A Lower Bound for the On-Line Preemptive Machine Scheduling with l p Norm
Authors: Tianping Shuai, Donglei Du
Venue: Proceedings of the 14th annual international conference on Computing and Combinatorics (2008)

We consider the on-line version of the preemptive scheduling problem that minimizes the machine completion time vector in the l p norm (a direct extension of the l &infin; norm: the makespan) on m parallel identical machines. We present a lower bound on the competitive ratio of any randomized on-line algorithm with respect to the general l p norm. This lower bound amounts to calculating a (non-convex) mathematical program and generalizes the existing result on makespan. While similar technique has been utilized to provide the best possible lower bound for makespan, the proposed lower bound failed to achieve the best possible lower bound for general l p norm (though very close), and hence revealing intricate and essential difference between the general l p norm and the makespan.
Performance of Multicore Systems on Parallel Data Clustering with Deterministic Annealing
Authors: Xiaohong Qiu, Geoffrey C. Fox, Huapeng Yuan, Seung-Hee Bae, George Chrysanthakopoulos, Henrik Frystyk Nielsen
Venue: Proceedings of the 8th international conference on Computational Science, Part I (2008)

We present a performance analysis of a scalable parallel data clustering algorithm with deterministic annealing for multicore systems that compares MPI and a new C# messaging runtime library CCR (Concurrency and Coordination Runtime) with Windows and Linux and using both threads and processes. We investigate effects of memory bandwidth and fluctuations of run times of loosely synchronized threads. We give results on message latency and bandwidth for two processor multicore systems based on AMD and Intel architectures with a total of four and eight cores. We compare our C# results with C using MPICH2 and Nemesis and Java with both mpiJava and MPJ Express. We show initial speedup results from Geographical Information Systems and Cheminformatics clustering problems. We abstract the key features of the algorithm and multicore systems that lead to the observed scalable parallel performance.
Smart Environments: Introduction to the Special Thematic Session
Authors: Gerhard Nussbaum
Venue: Proceedings of the 11th international conference on Computers Helping People with Special Needs (2008)

Smart Homes and Environments have the capability to compensate some of the occupant's disabilities and can extend the time people can live in their preferred environment by increasing their autonomy. Therefore such environments are an important approach to independent living of people with disabilities and older persons. For this reason Smart Environments are also a main topic of the Ambient Assisted Living Joint Programme. This special thematic session deals with Smart Environments and related developments and research. The topics reach from "A Living Lab for Ambient Assisted Living" over "EasyControl --- universal control system" to "A Smart Indoor Navigation Solution based on Building Information Model and Google Android".
Where Is the Value in a Program Verifier?
Authors: Colin O'Halloran
Venue: Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments (2008)

This paper addresses the assumption that software verification is valuable. Using experience from the assessment of safety critical software it makes observations of where the value of a Program Verifier might be and how it relates to the use of Formal Methods in requirements and design activities.
Sustaining Teacher's Professional Development and Training through Web-Based Communities of Practice
Authors: Andreja Istenic Starcic
Venue: Proceedings of the 2008 International Symposium on Applications and the Internet (2008)

The purpose of this paper is to explore the role of web-based community of practice in teacher’s professional development. The focus is on e-portfolio assisted mentoring for professional development in a web-based community of practice. The design and structure of a community of practice is presented with the study of impact on competence development. The focus of survey was to establish, how pedagogic workers assess the participation in a web-based community of practice on the development of their personal competences. The paper finds that the participation in a web-based community had important influence on teacher’s competence development.
Early evaluation of IBM BlueGene/P
Authors: S. Alam, R. Barrett, M. Bast, M. R. Fahey, J. Kuehn, C. McCurdy, J. Rogers, P. Roth, R. Sankaran, J. S. Vetter, P. Worley, W. Yu
Venue: Proceedings of the 2008 ACM/IEEE conference on Supercomputing (2008)

BlueGene/P (BG/P) is the second generation BlueGene architecture from IBM, succeeding BlueGene/L (BG/L). BG/P is a system-on-a-chip (SoC) design that uses four PowerPC 450 cores operating at 850 MHz with a double precision, dual pipe floating point unit per core. These chips are connected with multiple interconnection networks including a 3-D torus, a global collective network, and a global barrier network. The design is intended to provide a highly scalable, physically dense system with relatively low power requirements per flop. In this paper, we report on our examination of BG/P, presented in the context of a set of important scientific applications, and as compared to other major large scale supercomputers in use today. Our investigation confirms that BG/P has good scalability with an expected lower performance per processor when compared to the Cray XT4's Opteron. We also find that BG/P uses very low power per floating point operation for certain kernels, yet it has less of a power advantage when considering science-driven metrics for mission applications.
Delegation of Control in Administrative Procedures
Authors: Joris Hulstijn, Jianwei Liu, Yao-Hua Tan
Venue: Proceedings of the 9th international conference on Deontic Logic in Computer Science (2008)

Norms are implemented by administrative procedures. This paper addresses the delegation of control in administrative procedures. Instead of having to check all details, a controlling actor can trust the data provided by other actors, provided they can demonstrate to be `in control'. In this paper we provide a conceptual analysis of situations in which control has been delegated. The approach is based on an analysis of the dependencies between activities performed by the actors involved and on evidence documents. To motivate and illustrate the approach, we discuss a case study about the redesign of EU customs procedures for collecting excise duties.
Joint Multiple Target Tracking and Classification Using Controlled Based Cheap JPDA-Multiple Model Particle Filter in Cluttered Environment
Authors: Zahir Messaoudi, Abdelaziz Ouldali, Mourad Oussalah
Venue: Proceedings of the 3rd international conference on Image and Signal Processing (2008)

In this paper, we address the problem of jointly tracking and classifying several targets in cluttered environment. It is assumed that the motion model of a given target belongs to one of several classes. We propose to use the multiple model particle filter (MMPF) to perform nonlinear filtering with switching dynamic models. Moreover, the principle of joint probabilistic data association (JPDA) is used to determine the measurements origin. Besides, the joint probabilities are calculated using Fitzgerald's had hoc formulation (Cheap JPDA) whose efficiency has been proven in the literature. On the other hand, a controller based on the quality of the innovation has been implemented in order to tune the number of particles. The feasibility and the performances of the proposal have been demonstrated using a set of Monte Carlo simulations dealing with two maneuvering targets.
Dynamic Distance-Based Active Learning with SVM
Authors: Jun Jiang, Horace H. Ip
Venue: Proceedings of the 5th international conference on Machine Learning and Data Mining in Pattern Recognition (2007)

In this paper, we present a novel active learning strategy, named dynamic active learning with SVM to improve the effectiveness of learning sample selection in active learning. The algorithm is divided into two steps. The first step is similar to the standard distance-based active learning with SVM [1] in which the sample nearest to the decision boundary is chosen to induce a hyperplane that can halve the current version space. In order to improve upon the learning efficiency and convergent rates, we propose in the second step, a dynamic sample selection strategy that operates within the neighborhood of the "standard" sample. Theoretical analysis is given to show that our algorithm will converge faster than the standard distance-based technique and using less number of samples while maintaining the same classification precision rate. We also demonstrate the feasibility of the dynamic selection strategy approach through conducting experiments on several benchmark datasets.
Abstracting Nutritional Information of Food Service Facilities Using the Pervasive Healthy Diet Adviser
Authors: Jiten Chhabra, Jasjit Singh, Daniel Serrano-Baquero
Venue: Proceedings of the 6th international conference on Smart Homes and Health Telematics (2008)

It would be surprising to find a news publication in the United States today without a mention of words like obesity, diabetes and diet. This is a reflection of the growing awareness worldwide about the importance of a healthy diet in preventing nutrition related chronic diseases like obesity and cancer. A recent study by the United States Department of Agriculture reports that Americans spend more than half of their food dollars on meals at food service facilities. This means that the nutritional content of the food that these facilities provide is an important determinant of national health. We present PHDA, a diet advising application that leverages the power of preventive medicine and ubiquitous computing to help its users choose a healthy diet. Specifically, we discuss the fidelity of different mobile device based peripheral displays in abstracting nutrient data of the food, served in food chains around the country.
Scheme Implement for Rendering of Chinese Paintings Ink Fluid Style
Authors: Tianding Chen
Venue: Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues (2008)

It proposes a method to view a Chinese landscape painting from an arbitrary viewpoint and synthesizes Chinese ink painting automatically. We analyze the composition of Chinese landscape painting and define 3D basic primitives of mountain and water. First, the user inputs a reference picture. Then according to the feature parameters of 3D basic primitives specified by the user, our system automatically generates a 3D scene model which is the same as the scene of reference. The algorithm extracts strokes from an existing Chinese ink painting image and re-paints it in other styles whatever we want. Using this method we can see resulting images without really performing the painting process. Moreover, the user even requires no painting technique to finish the job. The system contains three stages: modeling, styling and rendering. Furthermore, we integrate the Chinese brush stroke model into our system and have some modifications to achieve Chinese painting styles. So, this research can apply to computer games or virtual environment systems. 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
On the Representation of Gliders in Rule 54 by De Bruijn and Cycle Diagrams
Authors: Genaro J. Martínez, Andrew Adamatzky, Harold V. Mcintosh
Venue: Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry (2008)

Rule 54, in Wolfram's notation, is one of elementary yet complexly behaving one-dimensional cellular automata. The automaton supports gliders, glider guns and other non-trivial long transients. We show how to characterize gliders in Rule 54 by diagram representations as de Bruijn and cycle diagrams; offering a way to present each glider in Rule 54 with particular characteristics. This allows a compact encoding of initial conditions which can be used in implementing non-trivial collision-based computing in one-dimensional cellular automata.
A Selective Attention Computational Model for Perceiving Textures
Authors: Woobeom Lee
Venue: Proceedings of the 5th international symposium on Neural Networks: Advances in Neural Networks, Part II (2008)

This paper presents a biologically-inspired method of perceiving textures from various texture images. Our approach is motivated by a computational model of neuron cells found in the cerebral visual cortex. An unsupervised learning schemes of SOM(: Self-Organizing Map) is used for the block-based textures clustering, plus a selective attention computational model tuning to the response frequency properties of texture is used for perceiving any texture from the clustered texture. To evaluate the effectiveness of the proposed method, various texture images were built, and the quality of the perceived TROI(: Texture Region Of Interest) was measured according to the discrepancies. Our experimental results demonstrated a very successful performance.
Neural Network Based Correction Scheme for Image Interpolation
Authors: Liyong Ma, Yi Shen, Jiachen Ma
Venue: Proceedings of the 4th international symposium on Neural Networks: Advances in Neural Networks, Part III (2007)

A generalized regression neural network based error correction scheme for linear image interpolation approach is proposed. A middle image with the same size of source image is obtained by interpolating a down-sampled image from the source image. Then neural network is established with employing the interpolation error between the source image and the middle image. Finally interpolation correction is applied to the linear interpolation result of source image using neural network estimation to obtain more accuracy result image. Experimental results of the proposed approach demonstrate the effectiveness of the scheme.
Evolving Specification Engineering
Authors: Dusko Pavlovic, Peter Pepper, Doug Smith
Venue: Proceedings of the 12th international conference on Algebraic Methodology and Software Technology (2008)

The motivation for this work is to support a natural separation of concerns during formal system development. In a development-by-refinement context, we would like to be able to first treat basic functionality and normal-case behavior, and then later add in complicating factors such as physical limitations (memory, time, bandwidth, hardware reliability, and so on) and security concerns. Handling these complicating factors often does not result in a refinement, since safety or liveness properties may not be preserved. We extend our earlier work on evolving specifications (1) to allow the preservation of both safety and liveness properties under refinement, and (2) to explore a more general notion of refinement morphism to express the introduction of complicating factors.
Towards a Personalized Schedule with Triplex Vaccine
Authors: Francesco Pappalardo, Santo Motta, Pier Luigi Lollini, Emilio Mastriani, Marzio Pennisi
Venue: Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory (2007)

The immune system is a large and complex system still incompletely understood. The synergy of biological knowledge included in data bases, mathematical and computational models and bioinformatics tools can help in gain a deeper understanding. In this paper, we try to understand how one can characterize a mouse in order to find the better vaccination protocol against mammary carcinoma for that individual. This study will be expanded in the framework of ImmunoGrid EC project.
The challenge of a primer educator in project-based learning model
Authors: Rong-Jyue Fang, Wen-Jiuh Chiang, Tsai Lih-Jiuan, Lan-Hua Wang, Hua-Lin Tsai, Zhen-Gang Chen
Venue: Proceedings of the 8th WSEAS International Conference on Multimedia systems and signal processing (2008)

The team teachers give the learners a challenge of inquiring project-based learning. In the problem-solving process, learners have to know clearly what the problem they face and which misson they have to conquire. Besides approaching these steps, learners also browse many websites to gather information from variety of sources and synthesis, and analysis, and derive knowledge from it. Teachers have the responsibility to offer another unheard education in traditional classrooms. Learners who take a part in project-based leaning have more positive attitude, comfort and enjoyment when working numerous hours with peers.
Semantic Web Reasoning Tutoring Agent
Authors: Christiana Panayiotou, Brandon Bennett
Venue: Proceedings of the 9th international conference on Intelligent Tutoring Systems (2008)

This paper proposes a proof theoretic approach to check conflicts between the arguments derived from the ontologies of learning resources. Two types of arguments that can arise in a situation where a learner encounters conflicting viewpoints about a topic are identified, namely syllogistic arguments and arguments about the set of necessary and sufficient conditions that represent a concept. A method based on set equations is applied to create Syllogistic arguments from ontologies. The taxonomic associations of concepts in Ontologies, can be converted to categorical statements giving rise to syllogisms. We also consider arguments about the necessary and sufficient features for the representation of concepts and show that they can be handled in a very similar way as syllogistic arguments. The approach can be applied by a pedagogical agent in an interactive learning environment in order to identify, discuss differences in conceptualizations and check the validity of claims of different resources.
Conditions for Optimal Efficiency of Relative MDS
Authors: Jolita Bernatavičienė, Gintautas Dzemyda, Virginijus Marcinkevičius
Venue: Informatica (2007)

In this paper, the relative multidimensional scaling method is investigated. This method is designated to visualize large multidimensional data. The method encompasses application of multidimensional scaling (MDS) to the so-called basic vector set and further mapping of the remaining vectors from the analyzed data set. In the original algorithm of relative MDS, the visualization process is divided into three steps: the set of basis vectors is constructed using the k-means clustering method; this set is projected onto the plane using the MDS algorithm; the set of remaining data is visualized using the relative mapping algorithm. We propose a modification, which differs from the original algorithm in the strategy of selecting the basis vectors. The experimental investigation has shown that the modification exceeds the original algorithm in the visualization quality and computational expenses. The conditions, where the relative MDS efficiency exceeds that of standard MDS, are estimated.
PHY-MAC Cross-Layer Design of Reliable Wireless Multicast Protocol with a Case Study of MB-OFDM WPAN
Authors: Jaeeun Na, Cheolgi Kim, Joongsoo Ma
Venue: Proceedings of the 3rd international conference on Embedded Software and Systems (2007)

Wireless Multimedia Broadcastings have been being promising applications. Recently, the multimedia multicastings have started to be embedded into the legacy wireless networks. To provide high quality multimedia with multicast, wireless multicast ARQ (Automatic Repeat reQuest) scheme is required. In multicast ARQ, multiple receivers may return feedback control packets, such as ACK (Acknowledgement) or NAK (Negative ACK), simultaneously to the transmitter. In this paper, we show that the multiple feedback control packets can be successfully decoded in transmitter without additional hardware cost. Based on the proposition, we described a conceptual flow of wireless multicast algorithm, and then proposed multimedia multicast protocol on Multiband-OFDM Wireless Personal Area Network (MB-OFDM WPAN) specifications. In simulation, we showed that the proposed mechanism reduces the power consumption and achieves improved performance.
Multi-gigabit GCM-AES Architecture Optimized for FPGAs
Authors: Stefan Lemsitzer, Johannes Wolkerstorfer, Norbert Felber, Matthias Braendli
Venue: Proceedings of the 9th international workshop on Cryptographic Hardware and Embedded Systems (2007)

This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high throughput applications to combine data encryption and message authentication on FPGAs. Four different degrees of parallelism were implemented, namely a 128-, 64-, 32- and 16-bit wide data path calculating an output block in 1, 2, 4 and 8 clock cycles, respectively. Regarding the AES algorithm different SubBytes() and round architectures were evaluated against each other. For the multiplier required for GCM, two bit-parallel, a digit-serial and a hybrid architecture were evaluated. The different architectures were designed, implemented and tested on a Xilinx Virtex4-FX100 FPGA. All architectures support key lengths of 128, 192 and 256 bits and are equipped with a ready-to-use interface for real-world applications. A throughput of 15.3 Gb/s was reached. It pointed out that throughput rates for state-of-the-art communication channels can be achieved using reasonable hardware resources. The results comparing slice counts, RAM usage and speed are presented.
Enabling Calorie-Aware Cooking in a Smart Kitchen
Authors: Pei-Yu (Peggy) Chi, Jen-Hao Chen, Hao-Hua Chu, Jin-Ling Lo
Venue: Proceedings of the 3rd international conference on Persuasive Technology (2008)

As a daily activity, home cooking is an act of care for family members. Most family cooks are willing to learn healthy cooking. However, learning healthy cooking knowledge and putting the learned knowledge into real cooking practice are often difficult, due to non-trivial nutritional calculation of multiple food ingredients in a cooked meal. This work presents a smart kitchen with UbiComp technology to improve home cooking by providing calorie awareness of food ingredients used in prepared meals during the cooking process. Our kitchen has sensors to track the number of calories in food ingredients, and then provides real-time feedback to users on these values through an awareness display. Our user study suggests that bringing calorie awareness can be an effective means in helping family cooks maintain the healthy level of calories in their prepared meals.
Are We Doing Multimedia?
Authors: Ramesh Jain
Venue: IEEE MultiMedia (2003)

Have you wondered why airlines usually rent headphones for $5.00? They charge you nothing for watching the image sequence. Does that mean that video is useless without the audio? Here's another thought to ponder. When television first appeared, the radio industry believed that it was doomed to fail because they thought nobody would be glued to a silly screen. It was audio, according to them, that conveyed all the information that people really cared for.
Persistent Computations of Turing Machines
Authors: Harald Hempel, Madlen Kimmritz
Venue: Proceedings of the 13th international conference on Implementation and Applications of Automata (2008)

In this paper we formally define the notion of persistent Turing machines to model interactive computations. We compare the power of persistent computations with their classical counterparts.