ppxscal/embedding_network huggingface dataset:
An Image-Based Integration System for Real-Time Dispatching of Multi-robots
Authors: Li-Che Chen, Tien-Ruey Hsiang, Yu Fu, Sheng-Luen Chung
Venue: Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II (2008)

The purpose of this paper is to design an image-based platform for real-time dispatching of multi-robots, in the context of, for example, supporting a courier transportation system. With this integration platform, we are able to compare efficiencies with different dispatching policies. With the global information regarding the robots and pick-up points available from the image process, this real-time dispatching platform is capable of detecting current positions of robots and their relative positions of destination of transportation, of planning online motion trajectories for each robot to reach its destination smoothly, and of maintaining collision avoidance while robots are moving. Different dispatching strategies, as a combination of pre-positioning of robots and swapping strategies of responsible zones for individual robots in transportation operation, are conducted on a miniature implementation platform to simulate corresponding performance of response time.
Usage-Centered Interface Design for Quality Improvement
Authors: Chang-Mog Lee, Ok-Bae Chang, Samuel Sangkon Lee
Venue: Proceedings of the 7th international conference on Computational Science, Part II (2007)

As application development environment changes rapidly, importance of user interface design is increasing. Usually, most of designers are clustering by subjective method of individual to define objects that have relativity in design interface. But, interface which is designed without particular rules just adds inefficiency and complexity of business to user who use this system. We propose an object oriented design model that allows for flexible development by formalizing the user interface prototype in any GUI environment. The visual cohesion of the user interface is a new set of criteria which has been studied in relation to the user interface contents, and is founded on the basis of the cohesion of the interface as defined using basic software engineering concepts. The visual cohesion includes the issue of how each unit is arranged and grouped, as well as the cohesion of the business events which appear in the programming unit.
Stencil computation optimization and auto-tuning on state-of-the-art multicore architectures
Authors: Kaushik Datta, Mark Murphy, Vasily Volkov, Samuel Williams, Jonathan Carter, Leonid Oliker, David Patterson, John Shalf, Katherine Yelick
Venue: Proceedings of the 2008 ACM/IEEE conference on Supercomputing (2008)

Understanding the most efficient design and utilization of emerging multicore systems is one of the most challenging questions faced by the mainstream and scientific computing industries in several decades. Our work explores multicore stencil (nearest-neighbor) computations --- a class of algorithms at the heart of many structured grid codes, including PDF solvers. We develop a number of effective optimization strategies, and build an auto-tuning environment that searches over our optimizations and their parameters to minimize runtime, while maximizing performance portability. To evaluate the effectiveness of these strategies we explore the broadest set of multicore architectures in the current HPC literature, including the Intel Clovertown, AMD Barcelona, Sun Victoria Falls, IBM QS22 PowerXCell 8i, and NVIDIA GTX280. Overall, our auto-tuning optimization methodology results in the fastest multicore stencil performance to date. Finally, we present several key insights into the architectural tradeoffs of emerging multicore designs and their implications on scientific algorithm development.
eElectioneering: Current Research Trends
Authors: Dimitra Kampitaki, Efthimios Tambouris, Konstantinos Tarabanis
Venue: Proceedings of the 7th international conference on Electronic Government (2008)

Internet has transformed political campaigning during the last ten years. Political parties use it to attract, engage and motivate voters, while users use it to retrieve information and discuss political issues. Various tools have been used in such a way that nowadays electronic Electioneering (eElectioneering) practices vary significantly from traditional electioneering ones, e.g., by incorporating dynamic features and interactivity. At the same time, considerable research has been carried out, concerning account users' profiles, candidate and parties' profiles, various eElectioneering methods and tools and the recorded or possible effects of their use on the election result. In this paper a literature review is presented. Specifically, the results of the current research are identified, critically evaluated and categorized in order to define research trends and identify research gaps in the rapidly evolving field of eElectioneering.
An efficient and predictable implementation of asynchronous event handling in the RTSJ
Authors: MinSeong Kim, Andy Wellings
Venue: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems (2008)

Asynchronously happenings are crucial in real-time systems. Many real-time applications are designed with some periodic execution logics and a significant number of asynchronous events. Evidently it would not be a good performance choice if each event handler is constructed with its own thread of control. However it is generally unclear how to map threads to handlers effectively in the Real-Time Specification for Java (RTSJ). This paper, therefore, summarizes the Asynchronous Event Handler (AEH) techniques used in several popular RTSJ implementations and proposes two efficient and predictable implementations of AEH for the RTSJ. Currently the support for non-blocking handlers in the RTSJ is criticised as lacking in configurability [12] as the AEH of the RTSJ takes no advantage of non-blocking handlers. In the proposed models, non-blocking handlers are serviced by real-time threads that assume handlers may not block and blocking handlers are dealt by real-time threads that assume handlers may block. In this way it is possible to assign a thread to handlers at the right time in the right place while maintaining the least possible number of threads overall. We have implemented the proposed models on an existing RTSJ implementation, jRate. With the implementations of the models we ran a set of performance tests that measure their respective dispatch and multiple handlers completion latency. The results from the tests are promising and indicates that the proposed models have fewer threads on average with better performance than other approaches.
Architecture of STL Model of New Communication Network
Authors: Aibao Wang, Guangzhao Zhang
Venue: Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007 (2007)

New communication network taking Internet as representative is being used extensively, but traditional communication theory cannot give good explanations and instructions on these new communication networks. Taking anthropotomy as a reference model, we analyze the systematic integration and functional requirements of new communication network with Internet as its representative in this paper. Further, we put forward the STL model of new communication network. Through the illustration for STL model, we have new knowledge on the Internet-representative communication network, which has certain use for the development of related theory and technologies.
e-Learning Issues under an Affective Perspective
Authors: Makis Leontidis, Constantine Halatsis, Maria Grigoriadou
Venue: Proceedings of the 7th international conference on Advances in Web Based Learning (2008)

The aim of this paper is to present an Affective Educational Module for distance learning which is called MENTOR. MENTOR constitutes of three main components, the Emotional Component, the Teacher Component and the Visualization Component and its main purpose is to motivate appropriately the student in order to accomplish his learning goals. The basic concern of MENTOR is to retain the student's emotional state positive during the learning process. To achieve this, it recognizes the emotions of the students and takes them under consideration to provide them with the suitable learning strategy. This kind of strategy is based both on the cognitive abilities and the affective preferences of the student and is stored in the student's model. The student model supplies the educational system with necessary information with the aim to adapt itself successfully to the student's needs.
High-order Markov kernels for intrusion detection
Authors: Chuanhuan Yin, Shengfeng Tian, Shaomin Mu
Venue: Neurocomputing (2008)

In intrusion detection systems, sequences of system calls executed by running programs can be used as evidence to detect anomalies. Markov chain is often adopted as the model in the detection systems, in which high-order Markov chain model is well suited for the detection, but as the order of the chain increases, the number of parameters of the model increases exponentially and rapidly becomes too large to be estimated efficiently. In this paper, one-class support vector machines (SVMs) using high-order Markov kernels are adopted as the anomaly detectors. This approach solves the problem of high-dimension parameter space. Furthermore, a rapid algorithm based on suffix tree is presented for the computation of Markov kernels in linear time. Experimental results show that the SVM with Markov kernels can produce good detection performance with low computational cost.
An Objective Method to Measure the Effectiveness of a Risk Management System
Authors: Milton A. Austin III, M. H. Samadzadeh
Venue: Proceedings of the 2008 19th International Conference on Systems Engineering (2008)

Improving a risk management system can be difficult because there is no easy, objective way to calculate the effectiveness of the overall system. This problem is especially difficult for organizations that are at the highest level in the CMMI process model, as it requires continuous process improvement. Continuous improvement of the risk management process area is difficult when one does not know how well the process is working. This paper proposes a new set of measures derived using simple statistics that can be used to objectively calculate how well a risk management system is working. These new measures can be used in continuous process improvement efforts.
Script Language Generation Techniques for 3D Avatar Control Using User Annotation
Authors: Teuk-Seob Song, Yoon-Chul Choy, Soon-Bum Lim, Won-Sung Shon, Euyhyun Suh
Venue: Proceedings of the international conference on Computational Science and Its Applications, Part II (2008)

Generally, annotation in a paper document environment refers to underlining important sentences, drawing symbols such as stars or adding comments to the original document for additional explanation. In this paper, we propose automatic generation techniques for controlling a 3D avatar using user annotation. Via the proposed approach, even users who have no knowledge of markup language or script language can use the avatar easily.
Centralized Regulation of Social Exchanges Between Personality-Based Agents
Authors: Graçaliz Pereira Dimuro, Antônio Carlos Rocha Costa, Luciano Vargas Gonçalves, Alexandre Hübner
Venue: Coordination, Organizations, Institutions, and Norms in Agent Systems II: AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers (2007)

This paper presents a centralized mechanism for solving the coordination problem of personality-based multiagent systems from the point of view of social exchanges. The agents may have different personality traits, which induce different attitudes towards both the regulation mechanism and the possible profits of social exchanges. A notion of exchange stability can be defined, and the connections between agents' personalities and deviations of social exchanges from the stability point can be established. The model supports a decision procedure based on Qualitative Interval Markov Decision Processes, that can solve the problem of keeping the stability of social exchanges, in spite of the different personality traits of the agents. The paper deals only with transparent agents (agents that allow the external access to their balances of exchange values), but we hint on the case of non-transparent agents. The model is analyzed theoretically and contextualized simulations are presented.
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems
Authors: Chris Peikert, Vinod Vaikuntanathan
Venue: Proceedings of the 28th Annual conference on Cryptology: Advances in Cryptology (2008)

We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors problem and the complement of the shortest vector problem. Prior proof systems for lattice problems were either interactive or leaked knowledge (or both).Our systems are the first known NISZK proofs for any cryptographically useful problems that are not related to integer factorization. In addition, they are proofs of knowledge, have reasonable complexity, and generally admit efficient prover algorithms (given appropriate auxiliary input). In some cases, they even imply the first known interactive statistical zero-knowledge proofs for certain cryptographically important lattice problems.We also construct an NISZK proof for a special kind of disjunction (i.e., OR gate) related to the shortest vector problem. This may serve as a useful tool in potential constructions of noninteractive (computational) zero knowledge proofs for NP based on lattice assumptions.
A Note on Specialization of Interpreters
Authors: Alexei Lisitsa, Andrei P. Nemytykh
Venue: Proceedings of the 2nd international symposium on Computer Science in Russia: Theory and Applications (2007)

Given a program with two arguments p(x,y). Let the first argument x0 be fixed. The aim of program specialization with respect to the known x0 is to construct an optimized program P x 0(y) such that P x 0(y) = P(x0,y). Specialization of interpreters with respect to programs is well known problem. In this paper we argue that specialization of interpreters with respect to data may be seen as program verification.
On quartic half-arc-transitive metacirculants
Authors: Dragan Marušič, Primož Šparl
Venue: Journal of Algebraic Combinatorics: An International Journal (2008)

Following Alspach and Parsons, a metacirculant graph is a graph admitting a transitive group generated by two automorphisms ¿ and ¿, where ¿ is (m,n)-semiregular for some integers m¿1, n¿2, and where ¿ normalizes ¿, cyclically permuting the orbits of ¿ in such a way that ¿ m has at least one fixed vertex. A half-arc-transitive graph is a vertex- and edge- but not arc-transitive graph. In this article quartic half-arc-transitive metacirculants are explored and their connection to the so called tightly attached quartic half-arc-transitive graphs is explored. It is shown that there are three essentially different possibilities for a quartic half-arc-transitive metacirculant which is not tightly attached to exist. These graphs are extensively studied and some infinite families of such graphs are constructed.
Undergraduate fluency with information and communication technology: perceptions and reality
Authors: J. Scott Hilberg, Gabriele Meiselwitz
Venue: Proceedings of the 9th ACM SIGITE conference on Information technology education (2008)

Students must be fluent with information and communication technology (ICT) to participate fully and confidently in the 21st century. However, there is growing concern that despite having grown up with computers and the Internet, today's undergraduates may not be sufficiently fluent with ICT. There is also evidence that suggests a discrepancy between perceptions and reality regarding students' ICT fluency. This paper reports student's perceptions regarding their own ICT fluency and compares their perceptions with actual ICT assessment results. Approximately 200 undergraduate students enrolled in a computer information science (CIS) general education course were surveyed and asked to rate their proficiency performing tasks requiring the use of ICT. These students also completed an online scenario based ICT assessment in which they were required to actually perform tasks associated with accessing, evaluating, integrating and communicating information. The majority of students did not perform at their own perceived level. Results of the study have implications for information literacy, ICT education and assessment.
Applying Geo-feedback to Geographic Information Retrieval
Authors: Mirna Adriani, Nasikhin
Venue: Advances in Multilingual and Multimodal Information Retrieval: 8th Workshop of the Cross-Language Evaluation Forum, CLEF 2007, Budapest, Hungary, September 19-21, 2007, Revised Selected Papers (2008)

In this paper we identify location names that appear in queries written in Indonesian using geographic gazetteer. We built the gazetteer by collecting geographic information from a number of geographic resources. We translated an Indonesian query set into English using a machine translation technique. We also made an attempt to improve the retrieval effectiveness using a query expansion technique. The result shows that identifying locations in the queries and applying the query expansion technique can help improve the retrieval effectiveness for certain queries.
Study on bushing cooling with ferrofluids and on-line monitoring
Authors: Silvius-Dorel Nedelcut, Victor Proca, Dorina-Mioara Purcaru
Venue: Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science (2008)

At present, the tendency to implement the condition-based maintenance (CBM), which allows the optimization of the expenses for equipment monitoring, is more and more evident; also, the transformer substations with remote monitoring are increasingly used. This paper reviews all the advantages of the on-line monitoring and presents an equipment for on-line monitoring of bushings, which is the own contribution of specialists who are the authors of this paper. The paper presents a study of the temperature field, using the finite element method. For carrying out this study, the 3D modelling of the above mentioned bushing was performed. The analysis study is done taking into account the extreme thermal stresses, focusing at the level of the first cooling wing section of the ceramic insulator. This fact enables to justify the tanδ variation in time, depending on the transformer loading and the environmental conditions. With a view to reducing the variation of dielectric losses in bushing insulation, the use of ferrofuids instead of mineral oils is proposed.
Eye-Gaze Tracking Research Based on Image Processing
Authors: Tao Liu, Changle Pang
Venue: Proceedings of the 2008 Congress on Image and Signal Processing, Vol. 4 - Volume 04 (2008)

This paper presents an eye-gaze tracking system based on the image processing. All the computations are performed in software and the system just needs a PC camera attached to the user's computer. We first extract the facial regions form the images using the skin-color model and connected-component analysis. Then the eye regions are detected by employing the rules and area segmentation. After the detection of eye movements, the tracking is performed using the mean-shift algorithms. The experimental results verify the feasibility and validity of the proposed eye-gaze tracking system, while there is still room for the improvement to be made.
Estimating the lifetime utilization rate of radiotherapy in cancer patients: The Multicohort Current Utilization Table (MCUT) method
Authors: Jina Zhang-Salomons, William J. Mackillop
Venue: Computer Methods and Programs in Biomedicine (2008)

Extensive research has been carried out to establish the appropriate proportion of cancer patients requiring radiotherapy at some point during their illness. However, it is difficult to compare the actual rates against the appropriate rate, because calculating the actual rates requires life-long follow up of cancer patients. We have developed a method, referred to as the Multicohort Current Utilization Table (MCUT) method, to estimate the predicted lifetime utilization rates based on current medical practice. We implemented the method in SAS as a macro, and validated it by comparing the predicted and the actual utilization rates of radiotherapy in lung, breast, and prostate cancer cases diagnosed in Ontario, Canada. The MCUT method could be used to predict lifetime utilization rate of any medical services.
An Automatic Technique for Optimizing Reed-Solomon Codes to Improve Fault Tolerance in Memories
Authors: Gustavo Neuberger, Fernanda Gusmao de Lima Kastensmidt, Ricardo Reis
Venue: IEEE Design Test (2005)

Editors' note: Modern SoC architectures manufactured at ever-decreasing geometries use multiple embedded memories. Error detection and correction codes are becoming increasingly important to improve the fault tolerance of embedded memories. This article focuses on automatically optimizing classical Reed-Solomon codes by selecting the appropriate code polynomial and set of used symbols.—Dimitris Gizopoulos, University of Piraeus; and Yervant Zorian, Virage Logic
Geometrical Perspective on Hairy Memory
Authors: Cheng-Yuan Liou
Venue: Proceedings of the 18th international conference on Artificial Neural Networks, Part II (2008)

This paper constructs a balanced training used in the hairy network [1] to balance the vulnerable memory parts and improve the memory. It provides a perspective view on the geometrical structure of memory patterns. This training fixes many drawbacks of the Hopfield network, such as loading capacity, limit cycle and error tolerance.
POEM: An Ontology Manager Based on Existence Constraints
Authors: Nadira Lammari, Cédric Mouza, Elisabeth Métais
Venue: Proceedings of the 19th international conference on Database and Expert Systems Applications (2008)

Whereas building and enriching ontologies are complex and tedious tasks, only few tools propose a complete solution to assist users. This paper presents POEM (Platform for Ontology crEation and Management) which provides a complete environment for ontology building, merge and evolution. POEM's algorithms are based on existence constraints and Boolean equations that allow to capture the semantic of concepts. POEM also integrates a semantic fusion that relies on WordNet and supports different storage formats. The different functionalities are implemented as a set of web services.
The Acquisition of Common Sense Knowledge by Being Told: An Application of NLP to Itself
Authors: Fernando Gomez
Venue: Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems (2008)

This paper shows how the knowledge of a semantic interpreter can be bootstrapped for other semantic interpretation tasks. Methods are described for automatically acquiring common sense knowledge and for applying this knowledge to noun sense disambiguation. Ordinary concepts are described by several plain English sentences that are parsed and semantically interpreted. The semantic interpreted sentences are stored under these concepts to be used for semantic interpretation tasks. This paper explains the description of the concepts, the interpretation of the sentences and two algorithms for noun sense disambiguation that use the acquired knowledge.