ppxscal/embedding_network huggingface dataset:
Distributed control of production systems
Authors: Damien Trentesaux
Venue: Engineering Applications of Artificial Intelligence (2009)

This editorial introduces the special issue of the Elsevier journal, Engineering Application of Artificial Intelligence, on Distributed control of production systems. The current technology in communication and embedded systems allows products and production resources to play a more active role in the production process. This new active capacity will generate major changes in organizations and information systems (e.g., Enterprise Resource Planning (ERP) and Manufacturing Execution Systems (MES)). New approaches are now required for modelling, testing and assessing the features made possible by the decisional and informational capabilities of these new active entities. One among the many possibilities is to use agents and holons, since agent and holon-based approaches assume interaction between intelligent entities to facilitate the emergence of a global behavior. This special issue thus focuses on the possible applications of distributed approaches for the design, evaluation and implementation of new control architectures for production systems. Both fundamental and applied research papers are presented.
Prediction Models for BPMN Usability and Maintainability
Authors: Elvira Rolon, Laura Sanchez, Félix Garcia, Francisco Ruiz, Mario Piattini, Danilo Caivano, Giuseppe Visaggio
Venue: Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing (2009)

The measurement of a business process in the earlystages of the lifecycle, such as the design andmodelling stages, could reduce costs and effort infuture maintenance tasks. In this paper we present aset of measures for assessing the structural complexityof business processes models at a conceptual level. Theaim is to obtain useful information about processmaintenance and to estimate the quality of the processmodel in the early stages. Empirical validation of themeasures was carried out along with a linearregression analysis aimed at estimating process modelquality in terms of modifiability and understandability.
CLR: integration of FrameNet in a text representation system
Authors: Ken Litkowski
Venue: Proceedings of the 4th International Workshop on Semantic Evaluations (2007)

In SemEval-2007, CL Research participated in the task for Frame Semantic Structure Extraction. Participation in this task was used as the vehicle for efforts to integrate and exploit FrameNet in a comprehensive text processing system. In particular, this involved steps to build a FrameNet dictionary with CL Research's DIMAP dictionary software and to use this dictionary (along with its semantic network processing capabilities) in processing text into XML representations. Implementation of the entire integrated package is only in its initial stages and was used to make only a bare submission of frame identification. On this task, over all texts, a recall of 0.372, a precision of 0.553, and an F-score of 0.445 were achieved. Considering only targets included in the DIMAP FrameNet dictionary, the overall F-score is 0.605. These results, competitive with the top scoring system, support continued attempts at a dictionary-based approach to frame structure extraction.
A Max Modular Support Vector Machine and Its Variations for Pattern Classification
Authors: Hui-cheng Lian
Venue: Proceedings of the 2009 Eigth IEEE/ACIS International Conference on Computer and Information Science (2009)

In this paper, we propose a max modular support vector machine (M2-SVM) and its two variations for pattern classification. The basic idea behind these methods is to decompose training samples of one class into several parts and learn each part by one modular classifier independently. To implement these methods, a ‘part-against-others’ training strategy and a max modular combination principle are proposed. Also, a down-sampling technique is employed to improve the training without losing any information of positive sample. Finally, a variation called feature-constructed M2-SVM (FM2-SVM) is proposed,which selects features of each subset for classification in one modular. Experimental results show that FM2-SVM can not only improve the precision of classifying but also reduce the dimension of input features. Performances of the proposed methods are shown to be superior to traditional SVMs as well as M3-SVM and KNN on artificial data, UCI Forest Cover type data, CASPEAL face database and AR face database. 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
Teletraffic Capacity Performance of WDM/DS-OCDMA Passive Optical Network
Authors: Mohammad Gharaei, Catherine Lepers, Olfa Affes, Philippe Gallion
Venue: Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces (2009)

We analyze teletraffic capacity performance of a WDM/DS-OCDMA Passive Optical Network. Hybrid WDM/DS-OCDMA PON is proposed to increase user capacity performance and to be a cost effective method per wavelength of a WDM PON. For each prime code used in this system, an appropriate simultaneous capacity threshold has been evaluated in a manner to ensure good transmission performance (BER~10¿ 9). Since this capacity threshold is inferior to the nominal resource capacity of the considered code, a soft blocking of the system has been determined even if resources in the system are still available. The teletraffic capacity of the WDM/DS-OCDMA system has been then analyzed under the maximum of soft blocking probability constraint for different prime codes. This value is dependent on the probability of channel activity factor. It is demonstrated that using extended quadratic congruent codes (EQC) with better correlation properties, causes the teletraffic capacity to be closer to the nominal teletraffic capacity.
Scent Presentation Technique of Pulse Ejection Synchronized with Breathing
Authors: Kaori Ohtsu, Junta Sato, Yuichi Bannai, Ken-ichi Okada
Venue: Proceedings of the 2009 Ninth Annual International Symposium on Applications and the Internet (2009)

Trials on the transmission of olfactory information together with audio/visual information are currently being conducted in the field of multimedia. However, continuous emission of odor creates problems of human adaptation to the lingering olfactory stimuli. To overcome such a problem we developed an olfactory display. This display has high emission control so that it can provide stable pulse emission of scents. We previously proposed two scent presentation methods synchronized with the user’s breathing pattern.The first method presents smell using a breath sensor. The second method presents smell using the ejection interval Δt,determined by the olfactory characteristics. The results of evaluation experiments and a questionnaire survey of users revealed the proposed methods provide a continuous sense of smell to the user, avoiding adaptation.
A Tutorial on Analog Computation: Computing Functions over the Reals
Authors: Manuel Lameiras Campagnolo
Venue: Proceedings of the 8th International Conference on Unconventional Computation (2009)

The best known programmable analog computing device is the differential analyser. The concept for the device dates back to Lord Kelvin and his brother James Thomson in 1876, and was constructed in 1932 at MIT under the supervision of Vannevar Bush. The MIT differential analyser used wheel-and-disk mechanical integrators and was able to solve sixth-order differential equations. During the 1930's, more powerful differential analysers were built. In 1941 Claude Shannon showed that given a sufficient numbers of integrators the machines could, in theory, precisely generate the solutions of all differentially algebraic equations. Shannon's mathematical model of the differential analyser is known as the GPAC.
A Holistic Approach towards Automated Performance Analysis and Tuning
Authors: Guogjing Cong, I-Hsin Chung, Huifang Wen, David Klepacki, Hiroki Murata, Yasushi Negishi, Takao Moriyama
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

High productivity to the end user is critical in harnessing the power of high performance computing systems to solve science and engineering problems. It is a challenge to bridge the gap between the hardware complexity and the software limitations. Despite significant progress in language, compiler, and performance tools, tuning an application remains largely a manual task, and is done mostly by experts. In this paper we propose a holistic approach towards automated performance analysis and tuning that we expect to greatly improve the productivity of performance debugging. Our approach seeks to build a framework that facilitates the combination of expert knowledge, compiler techniques, and performance research for performance diagnosis and solution discovery. With our framework, once a diagnosis and tuning strategy has been developed, it can be stored in an open and extensible database and thus be reused in the future. We demonstrate the effectiveness of our approach through the automated performance analysis and tuning of two scientific applications. We show that the tuning process is highly automated, and the performance improvement is significant.
A Parallel Rigid Body Dynamics Algorithm
Authors: Klaus Iglberger, Ulrich Rüde
Venue: Proceedings of the 15th International Euro-Par Conference on Parallel Processing (2009)

For decades, rigid body dynamics has been used in several active research fields to simulate the behavior of completely undeformable, rigid bodies. Due to the focus of the simulations to either high physical accuracy or real time environments, the state-of-the-art algorithms cannot be used in excess of several thousand rigid bodies. Either the complexity of the algorithms would result in infeasible runtimes, or the simulation could no longer satisfy the real time aspects.In this paper we present a novel approach for large-scale rigid body dynamics simulations. The presented algorithm enables for the first time rigid body simulations of several million rigid bodies. We describe in detail the parallel rigid body algorithm and its necessary extensions for a large-scale MPI parallelization and show some results by means of a particular simulation scenario.
A Vehicle Dispatch System Model Based on Weather and Road Condition
Authors: Hongyi Shen, Baohe Zuo
Venue: Proceedings of the 2009 Asia-Pacific Conference on Information Processing - Volume 02 (2009)

In the logistics industry, managing goods and dispatching vehicles property have been realized very important fields. We think safety of the transportation has been neglected, especially weather factor and road factor. Considering this problem, in this paper we presented a system prototype which can gather weather and road condition and use these information to help dispatch vehicles to improve safety of transportation. This prototype also can receive message from vehicle terminals and analyze discrepancies between actual data and planned data, furthermore, it can be used to revise the planned data.
Color image segmentation using an enhanced Gradient Network Method
Authors: A. V. Wangenheim, R. F. Bertoldi, D. D. Abdala, A. Sobieranski, L. Coser, X. Jiang, M. M. Richter, L. Priese, F. Schmitt
Venue: Pattern Recognition Letters (2009)

The objective of this paper is to evaluate a new combined approach intended for reliable color image segmentation, in particular images presenting color structures with strong but continuous color or luminosity changes, such as commonly found in outdoors scenes. The approach combines an enhanced version of the Gradient Network 2, with common region-growing approaches used as pre-segmentation steps. The GNM2 is an post-segmentation procedure based on graph analysis of global color and luminosity gradients in conjunction with a segmentation algorithm to produce a reliable segmentation result. The approach was automatically evaluated using a close/open world approach. Two different region-growing segmentation methods, CSC and Mumford and Shah with and without the GNM post-processing were compared against ground truth images using segmentation evaluation indices Rand and Bipartite Graph Matching. These results were also confronted with other well established segmentation methods (RHSEG, Watershed, EDISON, JSEG and Blobworld).
The Concept of IMPRESSION: An Interactive Instruction System and Its Practice for Real-Time Distance Lessons between U.S. and Japan
Authors: Takashi Mitsuishi, Fumiko Konno, Yuki Higuchi, Kentaro Go
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part IV: Interacting in Various Application Domains (2009)

In order to perform flexible and effective lesson, we proposed "Double Loop Instructional Design Process Model" and developed an interactive instruction system; IMPRESSION based on the proposed model. In this paper, we show the concept of IMPRESSION and also describe the real-time distance lessons we conducted continuously in the first semester of 2007 with IMPRESSION and Skype by connecting between Mountain View, CA, U.S. and Tohoku University, Sendai, Japan via the Internet. As a result of these lessons, we confirmed that although we had a little time lag and some QoS problems of video stream caused by narrow bandwidth and very long distance, we could perform flexible and effective real-time distance lessons by using IMPRESSION and a videoconference system like ordinary lessons such as chalk and talk lessons in a classroom. However, we also found some points to be improved on for continuous use of IMPRESSION.
Issues in Tool Qualification for Safety-Critical Hardware: What Formal Approaches Can and Cannot Do
Authors: Brian Butka, Janusz Zalewski, Andrew J. Kornecki
Venue: Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security (2009)

Technology has improved to the point that system designers have the ability to trade-off implementing complex functions in either hardware or software. However, clear distinctions exist in the design tools. This paper examines what is unique to hardware design, areas where formal methods can be applied to advantage in hardware design and how errors can exist in the hardware even if formal methods are used to prove the design is correct.
Distributed cognition and interactions in the context of bioengineering design
Authors: Vanessa Svihla, Anthony J. Petrosino, Kenneth Diller
Venue: Proceedings of the 8th international conference on International conference for the learning sciences - Volume 3 (2008)

Distributed cognition is ubiquitous in design practice, yet most studies of design occur in isolation, resulting in a sequestered view. We examine in-situ student teams learning to design in a culturally-diverse bioengineering course, exploring students' negotiation of roles and differing interactions in a distributed cognition system. Via triangulation of quantitative and qualitative data, we examine how students learn to design. Characteristics of authentic student design experiences have emerged and have implications for teaching design.
A Speech-Act Oriented Approach for User-Interactive Editing and Regulation Processes Applied in Written and Spoken Technical Texts
Authors: Christina Alexandris
Venue: Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques (2009)

A speech-act oriented approach for Controlled Language specifications is presented for the implementation in a user-interactive HCI system for the editing process and for the regulation of written and, subsequently, spoken technical texts for Modern Greek. Sublanguage-specific and sublanguage independent parameters are used targeting to "Precision", "Directness" and "Userfriendliness", based on the criteria of Moeller, 2005 for the success and efficiency of spoken Human-Computer Interaction, on the Utterance Level, the Functional Level and the Satisfaction Level.
An Optimal Bloom Filter Replacement Based on Matrix Solving
Authors: Ely Porat
Venue: Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications (2009)

We suggest a method for holding a dictionary data structure, which maps keys to values, in the spirit of Bloom Filters. The space requirements of the dictionary we suggest are much smaller than those of a hashtable. We allow storing n keys, each mapped to value which is a string of k bits. Our suggested method requires nk + o(n) bits space to store the dictionary, and O(n) time to produce the data structure, and allows answering a membership query in O(1) memory probes. The dictionary size does not depend on the size of the keys. However, reducing the space requirements of the data structure comes at a certain cost. Our dictionary has a small probability of a one sided error. When attempting to obtain the value for a key that is stored in the dictionary we always get the correct answer. However, when testing for membership of an element that is not stored in the dictionary, we may get an incorrect answer, and when requesting the value of such an element we may get a certain random value. Our method is based on solving equations in GF(2 k ) and using several hash functions.Another significant advantage of our suggested method is that we do not require using sophisticated hash functions. We only require pairwise independent hash functions. We also suggest a data structure that requires only nk bits space, has O(n 2) preprocessing time, and has a O(logn) query time. However, this data structures requires a uniform hash functions.In order replace a Bloom Filter of n elements with an error proability of 2¿ k , we require nk + o(n) memory bits, O(1) query time, O(n) preprocessing time, and only pairwise independent hash function. Even the most advanced previously known Bloom Filter would require nk + O(n) space, and a uniform hash functions, so our method is significantly less space consuming especially when k is small.Our suggested dictionary can replace Bloom Filters, and has many applications. A few application examples are dictionaries for storing bad passwords, differential files in databases, Internet caching and distributed storage systems.
The Potsdam commentary corpus
Authors: Manfred Stede
Venue: Proceedings of the 2004 ACL Workshop on Discourse Annotation (2004)

A corpus of German newspaper commentaries has been assembled and annotated with different information (and currently, to different degrees): part-of-speech, syntax, rhetorical structure, connectives, co-reference, and information structure. The paper explains the design decisions taken in the annotations, and describes a number of applications using this corpus with its multi-layer annotation.
Profitability of Advanced Technology--Analysis Based on Object-Oriented Approach
Authors: Minghong Zhang, Bin Wang, Shan Zou
Venue: Proceedings of the 2009 WASE International Conference on Information Engineering - Volume 02 (2009)

We simulate economic system by object-oriented approach in Jbuilder. We then analyze profitability of advanced technology in the simulated system and find that the profitability is affected by proportion of inherent value, technology gap, market space, transfer cost, degree of interconnection. Among those factors, transfer cost promotes the profitability of dominant enterprise, and the other four factors work with threshold effects.
An Adaptive IMC-PID Control Scheme Based on Neural Networks
Authors: Ying-ming Li, Ming-dong Hou, Jie-ping Hu
Venue: Proceedings of the 2009 WRI Global Congress on Intelligent Systems - Volume 04 (2009)

The conventional internal model control and PID (IMC-PID) provides convenient tuning parameter to adjust the response speed and robustness of the closed-loop system because it has only one tuning parameter. But when the characteristics variation and uncertainty factors are included in the control system, it is difficult to accomplish satisfactory control performance by using conventional IMC-PID controllers. In this paper, we propose an IMC-PID controller combined with a neural network. In this design scheme, NN can get the suitable control parameters of a real-time control system after on-line learning. The weights of the NN are adjusted by the Back Propagation method so that the control error can be minimized. Simulation results show the effectiveness of the scheme.
Kartta: using multimedia and context to navigate unfamiliar environments
Authors: Arttu Perttula, Scott Carter, Laurent Denoue
Venue: Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era (2009)

Most mobile navigation systems focus on answering the question, "I know where I want to go, now can you show me exactly how to get there?" While this approach works well for many tasks, it is not as useful for unconstrained situations in which user goals and spatial landscapes are more fluid, such as festivals or conferences. In this paper we describe the design and iteration of the Kartta system, which we developed to answer a slightly different question: "What are the most interesting areas here and how do I find them?"
Expecting the Unexpected: Towards Robust Credential Infrastructure
Authors: Shouhuai Xu, Moti Yung
Venue: Financial Cryptography and Data Security: 13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised Selected Papers (2009)

Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the center of credential infrastructures is the methodology of digital signatures. However, methods that assure that credentials and signed messages possess trustworthiness and longevity are not well understood, nor are they adequately addressed in both literature and practice. We believe that, as a basic engineering principle, these properties have to be built into the credential infrastructure rather than be treated as an after-thought since they are crucial to the long term success of this notion. In this paper we present a step in the direction of dealing with these issues. Specifically, we present the basic engineering reasoning as well as a model that helps understand (somewhat formally) the trustworthiness and longevity of digital signatures, and then we give basic mechanisms that help improve these notions.
The CBK-Neigh Protocol for Symmetric Topology Control in Ad Hoc Networks
Authors: Farnoosh Jalalinia, Saeed Ghasemi
Venue: Proceedings of the 2009 Third International Conference on Sensor Technologies and Applications (2009)

In this paper, an approach for topology control has been proposed which make use of distance estimation and angle of arrival (AoA) estimation techniques. Every node in the network tries to keep the number of its neighbors to 4 or 3. These neighbors have been selected from the nearest neighbors of each node and are located in different four quarters of axis. The angular difference between these neighbors is between a minimum and maximum value. This protocol guarantees connectivity on the communication graph with high probability and enforces symmetry on the resulting communication graph, thereby easing the operation of higher level protocols. The performance of the protocol when nodes are stationary and also when they are mobile has been compared to existing protocols. We present simulation results which show that our approach is about 8% more energy efficient than a widely studied existing protocol. CBK-Neigh also decreases the interference in the network. In this protocol, a topology maintenance approach which tries to keep the topology of the network with respect to node mobility has been considered.