ppxscal/embedding_network huggingface dataset:
One Solution for Accurate Collision Detection in Virtual Assembly Environment
Authors: Wang Yanfeng, Zheng Yi
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01 (2007)

Virtual assembly system requires higher accuracy on collision detection than ordinary virtual reality application. Based on analyzing the requirement of virtual assembly on accurate collision detection, a kind of hierarchical accurate collision detection thought is proposed, which includes three levels: assembly environment level, polygon level and accurate geometry topology model level. Three ways for virtual assembly system to obtain accurate geometry topology model are given. A specific solution that synthetically uses geometry graph supporting toolkit to realize hierarchical accurate collision detection is presented. A comparison experiment manifests that above solution and approach are feasible and efficient.
Testing the reachability of (new) address space
Authors: Randy Bush, James Hiebert, Olaf Maennel, Matthew Roughan, Steve Uhlig
Venue: Proceedings of the 2007 SIGCOMM workshop on Internet network management (2007)

The Internet was originally designed to provide connectivity from every node to every other node. However, policies can impede this connectivity [1]. This is especially true for newly allocated address space. Some Internet Service Providers (ISPs) simply do not realize that the status of previously unallocated address space has changed, and they continue blocking that space. Therefore, it would be desirable to test whether filters block newly apportioned address space before it is allocated to ISPs and/or end users. In this paper we present a methodology that aims to detect incorrectly configured filters, so that ISPs can be contacted and asked to update their router configurations. Our methodology is capable of detecting paths on which reachability is actually present but which are routed around an outdated filter configuration, as well as cases where a destination is inaccessible. To help narrowing down the most likely ASs that actually filter, we introduce a filtering likelihood index. We apply our methodology on newly allocated address space and perform initial experiments on a large fraction of ISPs, covering over 80% of all Autonomous Systems (ASs).
Computing Volume Bounds of Inclusions by Eit Measurements
Authors: Giovanni Alessandrini, Antonio Bilotta, Antonino Morassi, Edi Rosset, Emilio Turco
Venue: Journal of Scientific Computing (2007)

The size estimates approach for Electrical Impedance Tomography (EIT) allows for estimating the size (area or volume) of an unknown inclusion in an electrical conductor by means of one pair of boundary measurements of voltage and current. In this paper we show by numerical simulations how to obtain such bounds for practical application of the method. The computations are carried out both in a 2-D and a 3-D setting.
An Optimizing Pascal Compiler
Authors: R. N. Faiman
Venue: IEEE Transactions on Software Engineering (1980)

The architecture of a production optimizing compiler for Pascal is described, and the structure of the optimizer is detailed. The compiler performs both interprocedural and global optimizations, in addition to optimization of basic blocks. We have found that a high-level structured language such as Pascal provides unique opportunities for effective optimization, but that standard optimization techniques must be extended to take advantage of these opportunities. These issues are considered in our discussion of the optimization algorithms we have developed and the sequence in which we apply them.
An Expandable Ferroelectric Random Access Memory
Authors: A. B. Kaufman
Venue: IEEE Transactions on Computers (1973)

A ferroelectric memory array is described that may be implemented with discrete bits, discrete words, or multiple word components. Binary information is stored as either a positive or negative polarization state in the ferroelectric ceramic material and is read out, with interrogation, by sensing a positive polarity pulse for a " 1" bit, and the lack of a signal for a " 0." The maximum size of the memory is limited only by noise isolation of the bit lines. The array, because of its nonresonant operation, may be interrogated asynchronously. The memory READ/WRITE circuit configuration provides random word access, a device immune to disturb pulses, and compatibility with integrated or discrete circuits. The ceramic material and its configuration provide nonvolatile storage and non-destructive readout. Experimental 5-wordX8-bit discrete word prototype memory array implementations are examined.
An Integer Partition Based Algorithm for Coalition Structure Generation
Authors: Veera Boonjing, Santit Narabin
Venue: Proceedings of the 7th IEEE International Conference on Computer and Information Technology (2007)

This paper proposes a new algorithm to generate a minimal search space of the problem of coalition structure generation using a new optimal integer partition. The new partition includes only partitions giving optimal coalition structures. These partitions are those containing 1 at most one element. Our new algorithm generates optimal partition structures in two steps. The first step, we use a modified version of ZS1 algorithm to generate the optimal integer partition of input integer. We then use the partition to generate optimal coalition structures in the second step.
Segmentation Based Recovery of Arbitrarily Warped Document Images
Authors: B. Gatos, I. Pratikakis, K. Ntirogiannis
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

Non-linear warping appears in document images when captured by a digital camera or a scanner, especially in the case that these documents are digitized bounded volumes. Arbitrarily warped documents may have several slope changes along the text lines as well as along the words of the same text line. In this paper, a novel segmentation based technique for efficient restoration of arbitrarily warped document images is presented. The proposed technique recovers the documents relying upon (i) text lines and words detection using a novel segmentation technique appropriate for warped documents, (ii) a first draft binary image de-warping based on word rotation and translation according to upper and lower word baselines, and (iii) a recovery of the original warped image guided by the draft binary image de-warping result. Experimental results on several arbitrarily warped documents prove the effectiveness of the proposed technique.
Willingness to pay and experienced utility as measures of affective value of information objects: Users' accounts
Authors: Irene Lopatovska, Hartmut B. Mokros
Venue: Information Processing and Management: an International Journal (2008)

The article discusses two instant measures of affective value of information objects: Willingness-to-Pay (WTP) and Experienced Utility (EU). The potential utility of these measures for information retrieval research is positioned within a broader discussion of distinctions between instant utility and remembered utility and their relationship to immediate as opposed to retrospective subjective evaluations. The paper describes an approach for obtaining instant WTP and EU ratings in document evaluation in contexts of information search and thereafter reports results from a usability study of its implementation. Participants encountered no difficulties in use of the design format and in rating documents using WTP and EU measures. Although two measures were found statistically significantly correlated with each other, participants in the usability study offered different reasons for the ratings of WTP and EU made for the same document.
Automatic Generation of Low-Complexity FFT/IFFT Cores for Multi-Band OFDM Systems
Authors: Nicola E. L'Insalata, Sergio Saponara, Luca Fanucci, Pierangelo Terreni
Venue: Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (2007)

This paper presents an environment for the automatic generation of FFT/IFFT cores. The cores are derived from a pipelined cascade architecture template supporting run-time programmable length, transform type selection and three different machine arithmetics (fixed-point, block floating-point and convergent block floating-point). The tool profiles arithmetics and generate the macrocell with the minimum operands bit-width (hence minimum circuit complexity) within the numerical accuracy budget given by the target application. Four case studies illustrate the use of the environment in multi-band OFDM communication systems (WLAN, xDSL, DVB-T/H and UWB). Implementation results of the generated macrocells are evaluated on a 65 nm CMOS standard cells library. When compared with other tools for automatic FFT core generation, the proposed environment produces macrocells with lower circuit complexity (gate count, RAM/ROM bits) while keeping the same system level performance (throughput, transform size and numerical accuracy).
On Formalism in Specifications
Authors: B. Meyer
Venue: IEEE Software (1985)

A critique of a natural-language specification, followed by presentation of a mathematical alternative, demonstrates the weakness of natural language and the strength of formalism in requirements specifications.
A new approach to power estimation and reduction in CMOS digital circuits
Authors: Ireneusz Brzozowski, Andrzej Kos
Venue: Integration, the VLSI Journal (2008)

Modelling and optimization of dynamic capacitive power consumption in digital static CMOS circuits, taking into consideration a reason of a gate switching-gate control mode, is discussed in the present paper. The term 'gate control mode' means that a number and type of signals applied to input terminals of the gate have an influence on total amount of energy dissipated during a single switching cycle. Moreover, changes of input signals, which keep the gate output in a steady state, can also cause power consumption. Based on this observation, complex reasons of power losses have been considered. In consequence, the authors propose a new model of dynamic power consumption in static CMOS gates. Appropriate parameters' calculation method for the new model was developed. The gate power model has been extended to logic networks, and consequently a new measure of the circuit activity was proposed. Switching activity, which is commonly used as a traditional measure, characterizes only the number of signal changes at the circuit node, and it is not sufficient for the proposed model. As the power consumption parameters of CMOS are dependent on their control mode, the authors used probability of the node control mode as a new measure of the circuit activity. Based on the proposed model, a procedure of combinational circuit optimization for power dissipation reduction has been developed. The procedure can be included in a design flow, after technology mapping. Results of the power estimation received for some benchmark circuits are much closer to SPICE simulations than values obtained for other methods. So the model proposed in this study improves the estimation accuracy. Additionally, we can save several percent of the consumed energy.
Growing an infrastructure: the role of gateway organizations in cultivating new communities of users
Authors: Ann Zimmerman, Thomas A. Finholt
Venue: Proceedings of the 2007 international ACM conference on Supporting group work (2007)

Issues of scaling are critical when an infrastructure is trying to grow. Systems that worked well with smaller numbers or particular types of users must change to meet the needs of an expanding and diversified user base. A first step toward growth is to cultivate new users. We present results from research that examines one approach to the challenge of attracting new users to a large-scale computing infrastructure. We describe gateway organizations and the important social and technical support they provide, which help potential users to conceptualize a use for the infrastructure and increase their willingness and ability to use it.
The influence of spatial ability on the use of web sitemaps
Authors: C. J. Pilgrim
Venue: Proceedings of the 19th Australasian conference on Computer-Human Interaction: Entertaining User Interfaces (2007)

One challenge confronting web site designers is to provide effective navigational support. Supplemental navigation tools such as sitemaps are frequently included on web sites to support navigation. However, there is a lack of empirically based guidelines for designers of such tools. This paper reports an empirical investigation into the factors influencing the decision by users to select sitemaps or search tools. The study establishes a relationship between the user's level of spatial ability and their tendency to select Web sitemaps providing a basis for the design of further investigations into the usability and design of such tools.
Development of an artificial neural network for helping to diagnose diseases in urology
Authors: Antonio Soriano Payá, Daniel Ruiz Fernández, David Gil Méndez, Carlos Alberto Montejo Hernández
Venue: Proceedings of the 1st international conference on Bio inspired models of network, information and computing systems (2006)

In this article we propose the development of a tool for helping in the medical diagnosis using neural networks, in particular the multilayer perceptron. This new tool is meant to help the urologists in obtaining an automatic diagnosis for complex multi-variable systems, and to avoid painful and costly medical treatments. The clinical study has been carried out using the medical registers of patients with dysfunctions in the lower urinary tract. The system is able to distinguish and classify dysfunctions as arreflexive, hyper-reflexive, and effort incontinence. Moreover, it is able to predict whether there is presence of dysfunction or not. The results of the experiments display a high percentage of certainty of about 85%.
Inclusion of a Montgomery Multiplier Unit into an Embedded Processor's Datapath to Speed-up Elliptic Curve Cryptography
Authors: S. Bartolini, G. Castagnini, E. Martinelli
Venue: Proceedings of the Third International Symposium on Information Assurance and Security (2007)

This paper analyzes the effects of including a full-width GF(2^m) Montgomery multiplier within the datapath of an existing embedded processor, aiming to speed-up Elliptic Curve Cryptography (ECC). This approach tends to exploit the tight coupling between the new and the other processor modules while maintaining both software compatibility and high flexibility to adapt to different ECC parameters and algorithms. In addition, the present work focuses on the effects on performance due to the interaction between the new unit and the other processor parts. We show that the modified ARM processor runs the ECC critical operation (kP) 9-times faster than in pure software and up to 14-times faster using 3 units and optimized instruction scheduling. Moreover, the improved processor achieves the same performance with 1/4 sized caches thanks to more than 93%
WebSIS: Semantic Information System Based on Web Service and Ontology for Grid Computing Environment
Authors: Tae-Nyon Kim, Hyung-Lae Kim, Ki-Ho Yi, Chang-Sung Jeong
Venue: Proceedings of the 7th IEEE International Conference on Computer and Information Technology (2007)

In this paper, we propose a WebSIS which provides vari- ous semantic information services based on web service and ontology for Grid computing environment. The prototype of WebSIS provides resource information service for resource discovery, resource matching and resource monitoring, in order to allocate appropriate resource for user task. Since WebSIS creates a Virtual Organization by defining a re- source pool which consists of ontology instance data, it can build a extensible and scalable resource pool dynamically by creating and deleting ontology instance data for each resource. Moreover, the hierarchical structure of ontology and the separate description of schema, instance and rule enables users to build flexible and extensible knowledge base for various domains. We present an extensible and flexible architecture of WebSIS which can efficiently create a new information service and can easily add a new ontology domain. It allows users to build a manifold and reliable in- formation processing service by enabling the incorporation of various semantic ontologies for the inference of seman- tic information. Moreover, it provides reliability and accu- rate resource related service by using dynamic resource in- formation obtained through resource agent. We shall show how the semantic information service for resource discov- ery, resource matching and resource monitoring is carried out in WebSIS.
An Advanced Communication Protocol for the Proposed IEEE 896 Futurebus
Authors: Paul Borrill, John Theus
Venue: IEEE Micro (1984)

With its asynchronous protocol, the proposed IEEE 896 Futurebus achieves an extended design life, unequaled performance, and unprecedented flexibility. Its design eliminates many of the problems traditionally associated with multimicroprocessor system buses.
Antithrombotic effect in vivo of thrombotic substances adsorbed on a platinum surface
Authors: S. M. Lavelle, Maura Mhic Iomhair
Venue: Technology and Health Care (1996)

Thrombus deposits on foreign surfaces in contact with blood. Substances adsorbed on the surface can influence thrombus formation. Platelet activator substances and coagulation components thrombin and fibrinogen, were adsorbed onto respective series of platinum wire. A treated wire and a control untreated wire were inserted for one hour into the vena cava in groups of rats and the deposited thrombus was weighed. A control group of rats bore two untreated wires which attracted similar thrombus. Arachidonic acid and adenosine diphosphate negligibly affected thrombus. Collagen, fibrinogen, thrombin and egg albumin significantly reduced thrombus deposits by up to 85%.
The BitCod Client: A BitTorrent Clone using Network Coding
Authors: Danny Bickson, Roy Borer
Venue: Proceedings of the Seventh IEEE International Conference on Peer-to-Peer Computing (2007)

Network coding is an emerging field of research with sound and mature theory supporting it. Recent works shows that it has many benefits like improved fault tolerance, higher flexibility in selection of file parts to transfer and resiliency to network partitions [4, 3]. Despite those appealing properties there is no wide usage of network coding in real file sharing applications. In this work, we try to bridge the gap between theory of network coding and practice. From the one hand, we deploy one the most successful file sharing client, the BitTorrent client. We use the BitTorrent algorithm for optimizing the neighbor selections for maximizing the upload bandwidth. From the other hand, we propose several simple heuristics that improve significantly the efficiency of the network coding deployed. In a nutshell, we propose computation intensive variant of network coding that can be applied to most of the existing network coding protocols. By changing the random selection of coded parts to a selection based on feedback from the network, we significantly improve the network utilization and the efficiency of the protocol. In this paper we report our work in progress building the BitCod client. Using extensive simulations we demonstrate that our technique can compete with the performance of the state-of-the-art BitTorrent [2] file sharing client. Next, we plan to implement and test a prototype of the BitCod client over the WAN.
Technology supports for distributed and collaborative learning over the internet
Authors: Qing Li, Rynson W. H. Lau, Timothy K. Shih, Frederick W. B. Li
Venue: ACM Transactions on Internet Technology (TOIT) (2008)

With the advent of Internet and World Wide Web (WWW) technologies, distance education (e-learning or Web-based learning) has enabled a new era of education. There are a number of issues that have significant impact on distance education, including those from educational, sociological, and psychological perspectives. Rather than attempting to cover exhaustively all the related perspectives, in this survey article, we focus on the technological issues. A number of technology issues are discussed, including distributed learning, collaborative learning, distributed content management, mobile and situated learning, and multimodal interaction and augmented devices for e-learning. Although we have tried to include the state-of-the-art technologies and systems here, it is anticipated that many new ones will emerge in the near future. As such, we point out several emerging issues and technologies that we believe are promising, for the purpose of highlighting important directions for future research.
Combination of Principal Component Analysis and Bayesian Network and its Application on Syndrome Classification for Chronic Gastritis in Traditional Chinese Medicine
Authors: Fengmei Zou, Changjun Li, Xueqin Hu, Changle Zhou
Venue: Proceedings of the Third International Conference on Natural Computation - Volume 03 (2007)

In many applications, there are problems of small sample size and high dimensionality of data, for example, in traditional Chinese medicine syndrome classification of chronic gastritis. To attack these problems, this paper gives a method which combines data preprocessing and Bayesian networks. Firstly, data is divided into groups with hierarchical clustering. Then, principal component analysis technique is used to extract principal components of each group of the data. At last, the new principal components are used to train a Bayesian network classifier. Experiment results demonstrate that the method is feasible and effective.
Human Appearance Change Detection
Authors: Nagia M. Ghanem, Larry S. Davis
Venue: Proceedings of the 14th International Conference on Image Analysis and Processing (2007)

We present a machine learning approach to detect changes in human appearance between instances of the same person that may be taken with different cameras, but over short periods of time. For each video sequence of the person, we approximately align each frame in the sequence and then generate a set of features that captures the differences between the two sequences. The features are the occupancy difference map, the codeword frequency difference map (based on a vector quantization of the set of colors and frequencies) at each aligned pixel and the histogram intersection map. A boosting technique is then applied to learn the most discriminative set of features, and these features are then used to train a support vector machine classifier to recognize significant appearance changes. We apply our approach to the problem of left package detection. We train the classifiers on a laboratory database of videos in which people are seen with and without common articles that people carry - backpacks and suitcases. We test the approach on some real airport video sequences. Moving to the real world videos requires addressing additional problems, including the view selection problem and the frame selection problem.
(algorithms)
Authors: Richard C. Waters
Venue: ACM SIGPLAN Lisp Pointers (1991)

As can be seen from the dual addresses above, while maintaining an association with MIT, I have taken a permanent position with Mitsubishi Electric Research Laboratories (MERL). This newly formed laboratory is a subsidiary of Mitsubishi Electric Corporation. Its charter is to conduct basic research in computer science---demonstrating entirely new possibilities, rather than making incremental improvements in what is now possible.