ppxscal/embedding_network huggingface dataset:
Tool condition classification using Hidden Markov Model based on fractal analysis of machined surface textures
Authors: A. A. Kassim, Zhu Mian, M. A. Mannan
Venue: Machine Vision and Applications (2006)

The texture of a machined surface generated by a cutting tool, with geometrically well-defined cutting edges, carries essential information regarding the extent of tool wear. There is a strong relationship between the degree of wear of the cutting tool and the geometry imparted by the tool on to the workpiece surface. The monitoring of a tool&#x2019;s condition in production environments can easily be accomplished by analyzing the surface texture and how it is altered by a cutting edge experiencing progressive wear and micro-fractures. This paper discusses our work which involves fractal analysis of the texture of surfaces that have been subjected to machining operations. Two characteristics of the texture, high directionality and self-affinity, are dealt with by extracting the fractal features from images of surfaces machined with tools with different levels of tool wear. The Hidden Markov Model is used to classify the various states of tool wear. In this paper, we show that fractal features are closely related to tool condition and HMM-based analysis provides reliable means of tool condition prediction.
REDEFIS: a system with a redefinable instruction set processor
Authors: Victor M. GOULART FERREIRA, Lovic GAUTHIER, Takayuki KANDO, Takuma MATSUO, Toshihiko HASHINAGA, Kazuaki MURAKAMI
Venue: Proceedings of the 19th annual symposium on Integrated circuits and systems design (2006)

The growing complexity and production cost of processor-based systems have imposed big constraints in SoC design of new systems. GPPs and ASICs are unable to fit the tight performance or power constraints, or too complex to design in short TAT/TTM. REDEFIS is a HW/SW design platform for high level, efficient implementation of ASIPs/engines for SoC systems. It is composed of a reconfigurable instruction-set processor, capable to redefine its ISA according to the user application written in high level C language, and a set of design tools (an ISA Generator and a retargetable compiler). These processors can be used as flexible engines in embedded MPSoC systems, where its ISA is fully customized and design is done at high level C (no HDL writing is necessary). In this paper we present the Redefis design platform and an implementation of our dynamically reconfigurable ISA processor (codename Vulcan). Our results demonstrate the effectiveness of the system for encryption and bitwise applications.
Data consistent up- and downstreaming in a distributed storage system
Authors: Peter Sobe
Venue: Proceedings of the international workshop on Storage network architecture and parallel I/Os (2003)

Distribution of large data objects among several storage servers is a common technique to speed up access rates. In combination with parity schemes, failures of single server nodes can be tolerated, so that such systems reach a certain degree of fault tolerance. In this paper such a distributed server system is analyzed. Data objects are stored in a data layout according to RAID level 3 among disk subsystems of different computers. An access control provides concurrent up- and down-streaming of data objects to/from the distributed storage system with ensured data consistency. This consistency control is described in combination with the handling of faulty server nodes and faulty clients. Furthermore, performance is measured with several access patterns. An application of that technique is for instance a distributed video server, allowing permanently updates without interrupting access.
Historical Perspectives on 4D Virtualized Reality
Authors: Takeo Kanade, P. J. Narayanan
Venue: Proceedings of the 2006 Conference on Computer Vision and Pattern Recognition Workshop (2006)

Recording dynamic events, such as a sports event, a ballet performance, or a lecture, digitally for experiencing in a spatiotemporally distant setting requires 4D capture: three dimensions for their geometry/ appearance over the fourth dimension of time. Cameras are suitable for this task as they are nonintrusive, universal, and inexpensive. Computer Vision techniques have advanced sufficiently to make the 4D capture possible. In this paper, we present a historical perspective on the Virtualized RealityTM system developed since early 90s to early 2000 at CMU for the 4D capture of dynamic events.
Research and Implementation on the Platform for Electronic Agriculture with Web Application Server
Authors: Huarui Wu, Chunjiang Zhao, Baozhu Yang
Venue: Proceedings of the Second International Conference on Semantics, Knowledge, and Grid (2006)

Under the background of the requirement of high availability and high performance on the basis of the large-scale distributing type application in agriculture, makes more researches on the component cluster's application management, deployment management and performance management. Based on above researches, completes a developed platform for Electronic Agriculture with compatible J2EE standards. The platform supports the development, deployment and management of Electronic Agriculture, making information exchange among different system possible. The integrated frame in the platform has satisfied each level personnel's demand in the field of agriculture, which helps to solve the problem of the bottleneck of the scientific and technical resulting in the agricultural production process and propagate.
Learning taxonomic relation by case-based reasoning
Authors: Ken Satoh
Venue: Theoretical Computer Science (2005)

In this paper, we propose a learning method of minimal casebase to represent taxonomic relation in a tree-structured concept hierarchy. We firstly propose case-based taxonomic reasoning and show an upper bound of necessary positive cases and negative cases to represent a relation. Then, we give a learning method of a minimal casebase with sampling and membership queries. We analyze this learning method by sample complexity and query complexity in the framework of PAC learning.
Usage Control Requirements in Mobile and Ubiquitous Computing Applications
Authors: Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter
Venue: Proceedings of the International Conference on Systems and Networks Communication (2006)

Usage control is concerned with control over data after its release to third parties, and includes requirements such as "this data must be deleted after 30 days" and "this data may be used for statistical purposes only". With the ultimate goal of respective policy languages that go beyond current technology for DRM of intellectual property, we provide (1) a catalog of requirements that are specific to the domains of mobile and ubiquitous computing applications, and (2) a classification of mobile and ubiquitous computing application scenarios that involve usage control, including a description of different kinds of involved data.
Computing polynomials orthogonal with respect to densely oscillating and exponentially decaying weight functions and related integrals
Authors: Walter Gautschi
Venue: Journal of Computational and Applied Mathematics (2005)

Software (in Matlab) is developed for computing variable-precision recurrence coefficients for orthogonal polynomials with respect to the weight functions 1 + sin(1/t), 1 + cos(1/t), e-1/t on [0, 1], as well as e-1/t-ton [0, ∞] and e-1/t2-t2 on [-∞, ∞]. Numerical examples are given involving Gauss quadrature relative to these weight functions.
Parallel VHDL simulation
Authors: David Kunzman, Terry L. Wilmarth, Laxmikant V. Kale
Venue: Proceedings of the 37th conference on Winter simulation (2005)

VHDL simulation is a common tool for verifying a circuit design. The complexity of modern computer components is growing at a substantial rate. Consider modern processors and GPUs which contain 100 to 300 million transistors. In a variety of consumer markets ranging from scientific computing to business servers to PC gaming, substantial effort is being made to maximize performance while also trying to decrease the time to market to stay competitive. This presents a problem for sequential VHDL simulators. In this poster, we plan to present the preliminary results of a parallel VHDL simulator based on the POSE discrete event simulation framework. By using POSE, the simulator is able to utilize various features of the portable and adaptive Charm++ runtime system. Parallel simulation will reduce the time to verify new designs. Additionally, it will allow larger, more complex designs to be simulated than would be possible with current sequential simulators.
The communication complexity of coalition formation among autonomous agents
Authors: Ariel D. Procaccia, Jeffrey S. Rosenschein
Venue: Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems (2006)

It is self-evident that in numerous Multiagent settings, selfish agents stand to benefit from cooperating by forming coalitions. Nevertheless, negotiating a stable distribution of the payoff among agents may prove challenging. The issue of coalition formation has been investigated extensively in the field of cooperative n-person game theory, but until recently little attention has been given to the complications that arise when the players are software agents. The bounded rationality of such agents has motivated researchers to study the computational complexity of the aforementioned problems.In this paper, we examine the communication complexity of coalition formation, in an environment whore each of the n agents knows only its own initial resources and utility function. Specifically, we give a tight &Theta;(n) bound on the communication complexity of the following solution concepts in unrestricted games: Shapley value, the nucleolus and the modified nucleolus, equal excess theory, and the core. Moreover, we show that in some intuitively appealing restricted games the communication complexity is constant, suggesting that it is possible to achieve sublinear complexity by constraining the environment or choosing a suitable solution concept.
Toward Secure Low Rate Wireless Personal Area Networks
Authors: Jianliang Zheng, Myung J. Lee, Michael Anshel
Venue: IEEE Transactions on Mobile Computing (2006)

Low rate wireless personal area networks (LR-WPANs) offer device level wireless connectivity. They bring to light a host of new applications as well as enhance existing applications. Due to their low cost, low power consumption and self-organization features, LR-WPANs are ideal for applications such as public security, battle field monitoring, inventory tracking, as well as home and office automation. Nevertheless, one critical issue, security, needs to be solved before LR-WPANs are commonly accepted. Pursuing security in LR-WPANs is a challenging task. On one hand, wireless communications are inherently susceptible to interception and interference. On the other hand, most devices in LR-WPANs are resource-constrained and lack physical safeguards. This paper presents a systematic analysis of the threats faced by LR-WPANs with respect to the protocol stack defined by IEEE 802.15.4 and the ZigBee Alliance. Attacks are modeled and their impacts are evaluated. Some security problems within the current LR-WPAN security architecture are identified and remedies are suggested. Countermeasures of various attacks are also given.
Proceedings of the 2nd ACM international workshop on Wireless multimedia networking and performance modeling
Venue: International Workshop on Modeling Analysis and Simulation of Wireless and Mobile Systems (2006)

Welcome to the 2nd ACM Workshop on Wireless Multimedia Networking and Performance Modeling. The demand for wireless multimedia communications thrives in today's consumer and corporate market. The need to evolve multimedia applications and services, and their associated protocols for emerging networks is at a critical point given the proliferation and integration of wireless systems to intelligent and broadband networks, mobility of people, data/voice convergence and the integration of computing and communication in mobile devicesThe workshop will provide a forum for researchers and practitioners to share and exchange their experience, discuss challenges, and report the state of-the-art and in progress research related to different aspects of wireless multimedia networking and performance modeling for WLANs, WPANs, WMANs, WWANs, MANETs and sensor networks such as wireless video and wireless streaming, systematic design methodologies, algorithms, synchronization, analysis and performance modeling.The workshop is held in conjunction with the 9th ACM/IEEE International Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems (MSWiM), and takes place in the beautiful city of Torremolinos, Málaga, in Spain.This year we have received 28 papers from research groups worldwide. After a careful review process, 10 papers were selected for regular presentation at the workshop.
Towards Semantics-based Monitoring of Large-Scale Industrial Systems
Authors: Florian Fuchs, Sebastian Henrici, Michael Pirker, Michael Berger, Gerhard Langer, Christian Seitz
Venue: Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (2006)

Monitoring today's industrial systems steadily grows in terms of complexity. Examples can be found in industry automation, building management, the medical and the transportation domain. Increasing numbers of components, increasing numbers of sensors producing monitoring data about these components, and increasing numbers of stakeholders managing this data lead to suboptimal exploitation of the actually available monitoring data. What is required, is a semantically meaningful way of representing, integrating and querying monitoring data from different sources. To this end, we propose to apply Semantic Web technologies to the monitoring of large-scale systems. This creates new challenges such as incorporating dynamic real-world data and supporting scalable reasoning over this data. As an approach to this problem, we present a generic architecture with different functional layers . We go into more detail about the distributed reasoning layer, where we present the idea of loosely coupled collaboration of several reasoners. Finally, we describe the current state of our prototype implementation, where we adopt a scenario from the railway monitoring domain, and present first evaluation results.
ADOFs and Resistive-ADOFs in SRAM Address Decoders: Test Conditions and March Solutions
Authors: Luigi Dilillo, Patrick Girard, Serge Pravossoudovitch, Arnaud Virazel, Simone Borri, Magali Hage-Hassan
Venue: Journal of Electronic Testing: Theory and Applications (2006)

This paper presents a comparative analysis of ADOFs (Address Decoder Open Faults) and resistive-ADOFs in embedded-SRAMs. Such faults are the primary target of this study because they are hard-to-detect faults. These faults are caused by some particular defects which may appear in the parallel transistor network of the logic gates in the address decoders. With this study, we show that the test conditions required for ADOFs testing (sensitization and observation) are also useful for resistive-ADOFs detection, but more stringent timing requirements are needed. In the last part of the paper, we propose a study on the conditions to detect ADOFs with March tests. Moreover, we propose new March elements, which are effective for ADOF testing, and which can be added to existing March tests.
MIFLIR: A Metric Indexing and Fuzzy Logic-based Image Retrieval System
Authors: Alan Gavioli, Mauro Biajiz, Jander Moreira
Venue: Proceedings of the 21st International Conference on Data Engineering Workshops (2005)

Two frequent problems in content-based image retrieval systems are the poor quality of the results, due to the semantic gap, and the slowness of the image retrieval. For controlling these problems when human face image sets are considered, a new approach, called the MIFLIR system, is presented in this paper. This approach allows reducing the semantic gap by using fuzzy predicates during the indexing and the retrieval of images. In addition to this, our system innovates by using a metric indexing method to accelerate perceptibly the retrieval of images. Experimental results show that the MIFLIR system reduces noticeably the total time for performing fuzzy queries, when compared to a similar system which uses sequential scan search method.
Perl 6: reconciling the irreconcilable
Authors: Audrey Tang
Venue: ACM SIGPLAN Notices (2007)

Perl is a general-purpose language, known for its vast number of freely available libraries. The Perl 6 project was started to improve the language's support for multi-paradigmatic programming, while retaining compatibility with the existing code base. This talk discusses how Perl 6 attempts to reconcile various competing paradigms in the field of programming language design, such as static vs. dynamic typechecking, nominal vs. structural subtyping, prototype vs. class-based objects, and lazy vs. eager evaluation. Moreover, this talk also covers the design and development of Pugs, a self-hosting Perl 6 implementation bootstrapped from Haskell, targeting multiple runtime environments, including Perl 5, JavaScript and Parrot.
Dependency Sensitive Shadow SWIFT
Authors: Udai Shanker, Manoj Misra, Anil K. Sarje, Rahul Shisondia
Venue: Proceedings of the 10th International Database Engineering and Applications Symposium (2006)

This paper proposes a new commit protocol for real time distributed database systems, Dependency Sensitive Shadow SWIFT (DSS-SWIFT) protocol where the cohort forks off a replica of itself called a shadow, whenever it borrows dirty value of a data item, and if, the created dependency is abort type as compared to creating shadow in all cases of dependency in Shadow PROMPT [3]. Also the health factor of cohort is used for permitting to use dirty value of lender rather than health factor of transaction as whole. The performance of DSS-SWIFT is compared with PROMPT, 2SC [6] and SWIFT [7] protocols for both main memory resident and disk resident databases with and without communication delay. Simulation results show that the proposed protocol improves the system performance up to 7 % as transaction miss percentage.
Toward building grid applications in bioinformatics
Authors: Xiujun Gong, Kensuke Nakamura, Kei Yura, Nobuhiro Go
Venue: Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54 (2006)

In silico bioinformatics experiments involve integration of and access to computational tools and biological databases. The emerging grid computing technologies enable bioinformatics scientists to conduct their researches in a virtual laboratory, in which they share public databases, computational tools as well as their analysis workflows. However, the development of grid applications is still a nightmare for general bioinformatics scientists, due to the lack of grid programming environments, standards and high-level services. Here, we present a system, which we named Bioinformatics: Ask Any Questions (BAAQ), to automate this development procedure as much as possible. BAAQ allows scientists to store and manage remote biological data and program resources, to build analysis workflows that integrate these resources seamlessly, and to discover knowledge from available resources. This paper addresses two issues in building grid applications in bioinformatics: how to smoothly compose an analysis workflow using heterogeneous resources and how to efficiently discover and re-use available resources in the grid community. Correspondingly an intelligent grid programming environment and an active solution recommendation service are proposed. Finally, we present a case study applying BAAQ to a bioinformatics problem
On the Credibility of Manet Simulations
Authors: Todd R. Andel, Alec Yasinac
Venue: Computer (2006)

Simulation is useful for evaluating protocol performance and operation. However, the lack of rigor with which it's applied threatens the credibility of the published research within the manet research community.
How inhibitory oscillations can train neural networks and punish competitors
Authors: Kenneth A. Norman, Ehren Newman, Greg Detre, Sean Polyn
Venue: Neural Computation (2006)

We present a new learning algorithm that leverages oscillations in the strength of neural inhibition to train neural networks. Raising inhibition can be used to identify weak parts of target memories, which are then strengthened. Conversely, lowering inhibition can be used to identify competitors, which are then weakened. To update weights, we apply the Contrastive Hebbian Learning equation to successive time steps of the network. The sign of the weight change equation varies as a function of the phase of the inhibitory oscillation. We show that the learning algorithm can memorize large numbers of correlated input patterns without collapsing and that it shows good generalization to test patterns that do not exactly match studied patterns.
The Swedish Mobile Internet: A Study of Entrepreneurship during 1998-2005
Authors: Carl Sandstrom, Tori Yu-wen Huang, Stefan Sanz-Velasco, Sven Lindmark
Venue: Proceedings of the International Conference on Mobile Business (2006)

This paper addresses entrepreneurship in the emerging Swedish mobile Internet industry. In this work, the mobile Internet is defined as a function. Entrepreneurship is defined as the creation of a new venture. The unique data set underlying this work consists of 249 ventures that were active in the mobile Internet industry during 1998-2004. The entry/exit pattern and their performance in 2000-2004 were studied along with VC involvement in this industry. On a population level, sales were growing and the number of employees was decreasing. Concerning profits, the population loses enormous amounts of money each year. Venture capital appears to have a rather negative impact on performance initially. However, the VC-backed ventures displayed strong performance improvements at the end of the investigated period.
A numerical algorithm for some singularly perturbed boundary value problems
Authors: Basem S. Attili
Venue: Journal of Computational and Applied Mathematics (2005)

A numerical algorithm is proposed to solve singularly perturbed linear two-point value problems. The method starts with a partial decoupling of the system to obtain two independent subsystems, fast and slow components. Each subsystem is then solved separately. A second-order finite difference scheme is used for this purpose. Numerical examples will be presented to show the efficiency of the method.
Software Testing and Industry Needs
Authors: Robert L. Glass, Ross Collard, Antonia Bertolino, James Bach, Cem Kaner
Venue: IEEE Software (2006)

Does the practice of software testing effectively meet industry needs? Five software testing experts give brief answers to a broad question from different points of view.This article is part of a special issue on Software Testing.
Simulation based decision for steelmaking operations challenges
Authors: Marcelo Moretti Fioroni, Luiz Augusto G. Franzese, Edson Luis M. Harano, Benedito Pedro Costhek, João Bosco Mendes, Joeli Cuzzuol, Juliana de Souza Lima, Ricardo Baeta Santos, Robson Jacinto Coelho, Adriano César Silva, Odair José Kimsr
Venue: Proceedings of the 37th conference on Winter simulation (2005)

Companhia Sider&uacute;rgica de Tubar&atilde;o CST, is investing to expand production level in 50%, adding new equipment and altering production process. Simulation is widely used in CST, mainly in strategic phases prior to capital investment. A previous simulation model developed with ARENA was enhanced to help CST achieve new goals: to analyze new process plan with operational details, testing different production and operational scenarios, evaluating new procedures and best practices. Two case studies are presented here to show how CST uses this technology: the expansion of an steelmaking plant and the expansion of the raw material handling conveyor system.