ppxscal/embedding_network huggingface dataset:
Towards PLM based Digital Mock-Up Exchange in Collaborative Product Development
Authors: Emmanuel Guyot, Sébastien Charles, Benoît Eynard, Thomas Gallet
Venue: Proceeding of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering (2006)

Considering a co-developed product, the aim of a digital mock-up is to integrate all geometric data of the same technical framework. It merges internal and partners data of the extended enterprise. This leads partners to exchange and share intensively their products data. This paper aims at describing the IT mechanisms implementation supporting Snecma's data exchanges with partners. Those mechanisms are based on a PLM interface and an XML processing. The purpose of Snecma is to encapsulate several generic functionalities that can be re-used for all aircraft engine project. It finally appears that such a software architecture provides flexibility, but reusing an application can be limited by some specific needs.
Pair programming and the re-appropriation of individual tools for collaborative software development
Authors: Sallyann Bryant, Pablo Romero, Benedict Du Boulay
Venue: Proceeding of the 2006 conference on Cooperative Systems Design: Seamless Integration of Artifacts and Conversations -- Enhanced Concepts of Infrastructure for Communication (2006)

Although pair programming is becoming more prevalent in software development, and a number of reports have been written about it [10] [13], few have addressed the manner in which pairing actually takes place [12]. Even fewer consider the methods used to manage issues such as role change or the communication of complex issues. This paper highlights the way resources designed for individuals are re-appropriated and augmented by pair programmers to facilitate collaboration. It also illustrates that pair verbalisations can augment the benefits of the collocated team, providing examples from ethnographic studies of pair programmers 'in the wild'.
Instruction Hints for Super Efficient Data Caches
Authors: Jie Tao, Dominic Hillenbrand, Holger Marten
Venue: Proceedings of the 9th International Conference on Computational Science (2009)

Data cache is a commodity in modern microprocessor systems. It is a fact that the size of data caches keeps growing up, however, the increase in application size goes faster. As a result, it is usually not possible to store the complete working set in the cache memory.This paper proposes an approach that allows the data access of some load/store instructions to bypass the cache memory. In this case, the cache space can be reserved for storing more frequently reused data. We implemented an analysis algorithm to identify the specific instructions and a simulator to model the novel cache architecture. The approach was verified using applications from MediaBench/MiBench benchmark suite and for all except one application we achieved huge gains in performance.
Optimization of the total present value of profits under semi Markov conditions with applications in the optimal ferry dispatch problem
Authors: Michael N. Katehakis, Ioannis Baltzakis, Victoria Ungureanu
Venue: Proceedings of the 4th WSEAS/IASME international conference on Dynamical systems and control (2008)

In this paper we have surveyed theory related to optimization of SemiMarkov processes and we have applied these techniques to a simple dynamic ferry dispatch problem, when the customers arrive at a Ferry according to a Poisson process with rate λ > 0. We have formulated this dispatch problem as a two action semi-Markov decision process and we have illustrated computationally that an optimal dispatch policy is characterized by a single critical number x0 such that it is optimal to wait until there are at least x0 customers on the ferry before a departure occurs.
Cognitive Vision based on Qualitative Matching of Visual Textures and Envision Predictions for Aibo Robots
Authors: David A. Graullera, Salvador Moreno, M. Teresa Escrig
Venue: Proceeding of the 2006 conference on Artificial Intelligence Research and Development (2006)

Up to now, the Simultaneous Localization and Map Building problem for autonomous navigation has been solved by using quantitative (probabilistic) approaches at a high computational cost and at low level of abstraction. Our interest is to use hybrid (qualitative + quantitative) representation and reasoning models to fulfil these drawbacks. In this paper we present a novel cognitive vision system to capture information from the environment for map building. The cognitive vision module is based on a qualitative 3D model which generates the qualitative textures, through a temporal Gabor transform, which the robot should be seeing starting from the qualitative-quantitative map of the environment, and compares them with the real textures as seen from the robot camera. Different hypothesis are generated to explain these differences, which can be classified in errors of the textures obtained from the camera, which are ignored, and errors in the hybrid map of the environment, which are used to propose modifications of this map. The advantages of our model are: (1) we achieve a high degree of tolerance against visual recognition errors, because the input from the camera is filtered by the qualitative image generated by our model; (2) the continuous matching of the qualitative images generated by the model with the images obtained for the camera allows us to understand the video sequence seen for the robot, offering the qualitative model as the cognitive interpretation of the scene; (3) the information of the cameras is never directly used to control the robot, but only once it has been interpreted as a meaningful modification of the current hybrid map, allowing sensor independence. We have implemented the cognitive vision module to solve the Simultaneous Localization and Map Building problem for autonomous navigation of a Sony AIBO four legged robot on an unknown labyrinth, made of rectangular walls with a homogeneous but unknown texture on a floor with a different texture.
ReMan: A pro-active reputation management infrastructure for composite Web services
Authors: Domenico Bianculli, Walter Binder, Mauro Luigi Drago, Carlo Ghezzi
Venue: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (2009)

REMAN is a reputation management infrastructure for composite Web services. It supports the aggregation of client feedback on the perceived QoS of external services, using reputation mechanisms to build service rankings. Changes in rankings are pro-actively notified to composite service clients to enable self-tuning properties in their execution.
Computer-aided proofs of Arrow's and other impossibility theorems
Authors: Pingzhong Tang, Fangzhen Lin
Venue: Artificial Intelligence (2009)

Arrow's impossibility theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have been put forward. In this paper, we propose yet another alternative proof of the theorem. The basic idea is to use induction to reduce the theorem to the base case with 3 alternatives and 2 agents and then use computers to verify the base case. This turns out to be an effective approach for proving other impossibility theorems such as Muller-Satterthwaite and Sen's theorems as well. Motivated by the insights of the proof, we discover a new theorem with the help of computer programs. We believe this new proof opens an exciting prospect of using computers to discover similar impossibility or even possibility results.
Developing ISO 14649-based conversational programming system for multi-channel complex machine tools
Authors: Seung-Jun Shin, Jumyung Um, Joo-Sung Yoon, Suho Jeong, Jae-Min Cha, Suk-Hwan Suh, Dae-Hyuk Chung
Venue: International Journal of Computer Integrated Manufacturing (2008)

A multi-channel complex machine tool (MCCM) is a versatile machining system equipped with more than two spindles and turrets for both turning and milling operations. Despite the potential of such a tool, the value of the hardware is largely dependent on how the machine tools are effectively programmed for machining. In this paper we consider a shop-floor programming system based on ISO 14649 (called e-CAM), the international standard for the interface between computer-aided manufacture (CAM) and computer numerical control (CNC). To be deployed in practical industrial usage a great deal of research has to be carried out. In this paper we present: 1) Design consideration for an e-CAM system, 2) The architecture design of e-CAM, 3) Major algorithms to fulfill the modules defined in the architecture, and 4) Implementation details.
Personal Experience Acquisition Support from Blogs using Event-Depicting Images
Authors: Keita Sato, Yoko Nishihara, Wataru Sunayama
Venue: Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence (2008)

Internet users write blogs related to their personal experience, daily news, and so on. We can obtain blogs about personal experience using search engines on the Web. However, the search engines also output blogs about other topics unrelated to personal experience. Therefore, it is necessary for us to read all blogs to obtain those about personal experiences. It takes too much time. This paper proposes a support system for obtaining blogs about personal experiences efficiently. The system extracts three keywords that denote place, object, and action from a blog. The three keywords describe an event that leads a person to write a blog about personal experience. The system expresses the event with three pictures depicting the extracted keywords. The pictures help users to judge whether personal experience is written about in the blog. We experimented with the system, and verified that it supports users in obtaining personal experiences efficiently.
Frequency of correctness versus average polynomial time
Authors: Gábor Erdélyi, Lane A. Hemaspaandra, Jörg Rothe, Holger Spakowski
Venue: Information Processing Letters (2009)

We prove that every distributional problem solvable in polynomial time on the average with respect to the uniform distribution has a frequently self-knowingly correct polynomial-time algorithm.
An integrated knowledge based system for sheet metal cutting-punching combination processing
Authors: M. Pan, Y. Rao
Venue: Knowledge-Based Systems (2009)

Cutting and punching are two important processes in the sheet metal industry; the former is flexible in processing whilst the latter is effective in production. To combine the advantages of both, the so-called combination machines that combine the cutting and punching processes are used in sheet metal processing. To support such machines, this paper presents an integrated knowledge based CAD/CAM system for sheet metal cutting-punching combination processing. The whole system consists of five functional modules, i.e., modeling, nesting, process planning, NC-programming and simulation and reporting module. These modules share a unified objected-oriented data structure, so they are integrated seamlessly in terms of data processing. The knowledge base is the core of the integrated system, based on which, the system runs in an efficient and intelligent manner. This system has been successfully applied in industry, and an application example is demonstrated.
A frequency-tracking FPGA chip for high-power ultrasound resonator
Authors: Kai-Hsing Ma, Wen-Chung Chang, Yung-Chun Lee
Venue: Proceedings of the 9th WSEAS international conference on Robotics, control and manufacturing technology (2009)

An ultrasound welding system is basically a piezoelectric structure resonator working at high power. It usually induces heat and results in high temperatures and hence changes the impedance-frequency characteristic. Therefore, a control method to track the resonating frequency becomes very important in stabilizing the ultrasound welding system. In this research, we provide a new control method using a FPGA chip to sweep and catch frequency of the high-power amplifier for especially an ultrasonic apparatus or system. The FPGA basically have two circuits. One circuit is to sweep and catch the working frequency. The other circuit is to adjust the oscillator frequency simultaneously. This control method was implemented on a practical ultrasound welding system currently used in industries. The result proves that the new method can effectively control and automatically rack a proper frequency for the ultrasound welding system.
It's not junk!: the search for functional elements in noncoding DNA
Authors: Clare Bates Congdon, H. Rex Gaskins, Gerardo M. Nava, Carolyn Mattingly
Venue: ACM SIGEVOlution (2008)

The human genome is approximately 3 billion basepairs long. An estimated 2--3% of DNA codes for genes; the remaining 97--98% is noncoding DNA [11]. Although the noncoding regions in DNA were once called "junk DNA" (with the assumption that these regions were not serving a purpose) it is now understood that within noncoding DNA are functional regions that affect the expression of genes [34]. However, we are still far from understanding the breadth of function in the noncoding regions, and identification of functional elements is a complex problem, difficult to study in vitro because of the enormous number of possibilities. In this project, we are searching in silico for candidate functional elements in noncoding DNA. These candidates will then be studied at the bench to assess function. Our guiding principle is that regions of noncoding DNA that have been conserved across evolutionary time are good candidates as functional elements; we use a genetic algorithms approach to search for these candidate elements, called motifs. Our system is thus called GAMI, Genetic Algorithms for Motif Inference. GAMI has been demonstrated to be a successful approach to this task, as will be described below.
Novice-Friendly Natural Language Generation Template Authoring Environment
Authors: Maria Fernanda Caropreso, Diana Inkpen, Shahzad Khan, Fazel Keshtkar
Venue: Proceedings of the 22nd Canadian Conference on Artificial Intelligence: Advances in Artificial Intelligence (2009)

Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and sometimes even programming knowledge. We have designed and implemented an environment for creating and modifying NLG templates that requires no programming knowledge, and can operate with a minimum of linguistic knowledge. It allows specifying templates with any number of variables and dependencies between them. It internally uses SimpleNLG to provide the linguistic background knowledge. We test the performance of our system in the context of an interactive simulation game.
Gpu-friendly visual computing
Authors: Pheng Am Heng, Tien-Tsin Wong
Venue:  (2007)

With the development of graphics processing unit (GPU), it is more and more efficient to solve complex algorithms with GPU because of its highly parallel structure and fast floating point operations. These complex algorithms were usually implemented with CPU previously. In this thesis, we propose several GPU-friendly concepts and algorithms to address some problems of visual computing, including: image rendering, video rendering, and volume rendering. We first present a GPU-friendly image rendering framework, which can achieve a wide range of non-photorealistic rendering (NPR) effects. Most of these effects usually require the tailor-made algorithms. By feeding with constant kernels, the usage of our framework is as simple as that of discrete linear filtering. However, our framework is non-linear and hence can mimic complex NPR effects, such as watercolor, painting, sketching, and so on. The core of our framework is the cellular neural networks (CNN). By relaxing the constraints in the traditional CNN, we demonstrate that various interesting and convincing results can be obtained. As CNN is locally connected and designed for massively parallel hardware, it fits nicely into the GPU hardware and the performance is improved a lot. Real-time performance is necessary for video-rate processing. By utilizing GPU for acceleration, we propose an efficient technique for the warped display of surveillance video signal. Usually, there are regions of interest (ROIs) in video surveillance, such as entrance or exit, and moving objects or persons. The ii surveillant wants to see more of the ROIs, but also wants to have an overview of the whole surveillance scope. The warped display solves this conflict by locally zooming in the ROIs. The above warped-display technique may not be able to capture more information. It only provides an efficient way to display the captured frame. To solve this problem, we propose a novel technique to automatically adjust the exposure and capture more information. Traditional automatic exposure control (AEC) is usually based on the intensity level. On the other hand, our technique is based on the information theory and the amount of information is measured by Shannon entropy. The computation of entropy is accelerated by GPU to achieve the video-rate performance. Volume rendering is another hot research area. In this area, isosurfaces have been widely adopted to reveal the complex structures in volumetric data, due to its fine visual quality. We describe a GPU-based marching cubes (MC) algorithm to visualize multiple translucent isosurfaces. With the proposed parallel algorithm, we can naturally generate triangles in order, which facilitates the visibility-correct visualization of multiple translucent isosurfaces without computationally expensive sorting. Upon a commodity GPU, our implementation can extract isosurfaces from a high-resolution volume in real time and render the result.
Feature-Driven Volume Fairing
Authors: Shigeo Takahashi, Jun Kobayashi, Issei Fujishiro
Venue: Proceedings of the 10th International Symposium on Smart Graphics (2009)

Volume datasets have been a primary representation for scientific visualization with the advent of rendering algorithms such as marching cubes and ray casting. Nonetheless, illuminating the underlying spatial structures still requires careful adjustment of visualization parameters each time when a different dataset is provided. This paper introduces a new framework, called feature-driven volume fairing, which transforms any 3D scalar field into a canonical form to be used as communication media of scientific volume data. The transformation is accomplished by first modulating the topological structure of the volume so that the associated isosurfaces never incur internal voids, and then geometrically elongating the significant feature regions over the range of scalar field values. This framework allows us to elucidate spatial structures in the volume instantly using a predefined set of visualization parameters, and further enables data compression of the volume with a smaller number of quantization levels for efficient data transmission.
Concepts for run-time and error-resilient control flow checking of embedded RISC CPUs
Authors: Daniel Ziener, Jurgen Teich
Venue: International Journal of Autonomous and Adaptive Communications Systems (2009)

In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions (CFI) issued during the execution of programs for embedded RISC CPUs. Our proposed methodology is able to detect at run-time any error of illegal or faulty direct jump and branch instruction as well as call and return form subroutine for a given program code. Furthermore, two different hardware concepts and implementations of generic control flow (CF) checker units which may be tightly attached to a given CPU are proposed. These implementations can detect and even avoid the execution of faulty CFI at very low area and usually no latency penalty. Other benefits of this novel approach are that the application code must not be changed or augmented by signatures or additional instructions at all. The presented approach is, thus, completely transparent to the program developer.
Towards solving similarity search problems using fuzzy concept for multi-dimensional data
Authors: Yong Shi
Venue: Proceedings of the 47th Annual Southeast Regional Conference (2009)

In this paper, we present continuous research on data analysis based on our previous work on similarity search problems. PanKNN[13] is a novel technique which explores the meaning of K nearest neighbors from a new perspective, redefines the distances between data points and a given query point Q, and efficiently and effectively select data points which are closest to Q. It can be applied in various data mining fields. In this paper, we applied the Fuzzy concept to improve the performance of PanKNN, targeting the better decision making for the calculation of the distance between a data point and Q. This approach can assist to improve the performance of existing data analysis approaches.
A New Bound on the Total Domination Subdivision Number
Authors: G. R. Omidi
Venue: Graphs and Combinatorics (2009)

A set S of vertices of a graph G&#x00a0;=&#x00a0;(V, E) without isolated vertex is a total dominating set if every vertex of V(G) is adjacent to some vertex in S. The total domination number &#x03b3;t (G) is the minimum cardinality of a total dominating set of G. The total domination subdivision number $$sd_{\gamma_{t}}(G)$$is the minimum number of edges that must be subdivided (each edge in G can be subdivided at most once) in order to increase the total domination number. In this paper we prove that for every simple connected graph G of order n&#x00a0;&#x2265;&#x00a0;3, $${\rm sd}_{\gamma_{t}}(G)\le 3 +{\rm min}\{d_2(v); v\in V \, {\rm and}\, d(v)\ge 2\}$$. 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
Research on temperature distribution field in milling glass fibers reinforced polymeric matrix composites
Authors: Mihaiela Iliescu, Paulina Spânu, Doru Bardac
Venue: Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering (2008)

Composite materials have known a high development, lately, because of their various and special properties, so, researches on their manufacturing, as well as machining, had to be carried on. Even, many cases deal with composite products obtained by "near net shape" technology there are, still, many cases when machinig is needed, after manufacturing. This is happening when geometrical conditions prescribed for part's surfaces, can't be obtained only in out of manufacturing process. Thermal phenomena occuring while machining glass fibers reinforced polymeric matrix composites do significantly influence part's material but, have less influence on cutting tool characteristics or, chips forming process. This paper referres to the steps carried out in order to determine a regression model of temperature into the cutting zone, when cylindrical milling of 30% glass fibers reinforced composites.
A proposal for evidential reasoning about motives
Authors: Floris Bex, Katie Atkinson
Venue: Proceedings of the 12th International Conference on Artificial Intelligence and Law (2009)

Motives play an important role at every stage of a criminal investigation. In this research abstract we provide an overview of an account of motivations based on a general approach to practical reasoning.
Dependence of densities on a parameter
Authors: József Bukor, Ladislav Mišík, János T. Tóth
Venue: Information Sciences: an International Journal (2009)

In the paper relations between weighted asymptotic fuzzy measures determined by weights n^p,p@?[-1,~) are investigated. Some previously published results are improved and a conjecture on possibility of simultaneous prescription of the values of these measures for two values of parameters is proved.