ppxscal/embedding_network huggingface dataset:
Peak temperature control in thermal-aware behavioral synthesis through allocating the number of resources
Authors: Junbo Yu, Qiang Zhou, Jinian Bian
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

High temperature adversely impacts on reliability, performance, and leakage power of ICs. In behavioral synthesis, both resource usage allocation and resource binding influence the final thermal profile. Previous thermal-aware behavioral syntheses only focused on binding, ignoring allocation. This paper proposes thermal-aware behavioral synthesis with resource usage allocation. According to power density and feedbacks from thermal simulation, we allocate the number of resources under area constraint. Our flow effectively controls peak temperature and creates even power densities among resources of "different" and "same" types. Compared to classic behavioral synthesis of peak temperature control, our technique reduces peak temperature by 11.1&deg;C on average with no area overhead and only 1.2 more steps latency overhead.
Games and Terrorism
Authors: Todd Sandler, Kevin Siqueira
Venue: Simulation and Gaming (2009)

This article provides an updated survey of recent advances in game-theoretic analyses of terrorism. In particular, it investigates the government's allocation of a fixed budget to counter attacks against potential targets. The choice between proactive and defensive countermeasures is addressed, along with the impact that domestic politics has on this choice. Other topics include the interaction between political and militant factions within terrorist groups, the role of asymmetric information, and game-theoretic analysis of suicide terrorism. Throughout, the article highlights surprising results from the application of game theory. Unanswered questions are also indicated.
An Inference Algorithm for Guaranteeing Safe Destruction
Authors: Manuel Montenegro, Ricardo Peña, Clara Segura
Venue: Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers (2009)

Safe is a first-order eager functional language with destructive pattern matching controlled by the programmer. A previously presented type system is used to avoid dangling pointers arising from the inadequate usage of this facility. In this paper we present a type inference algorithm, prove its correctness w.r.t. the type system, describe its implementation and give a number of successfully typed examples.
Probabilistic and Concurrent Models for Security
Authors: Romain Beauxis
Venue: Proceedings of the 24th International Conference on Logic Programming (2008)

Recent research in security and protocol verification has shown an important need for probabilistic formal concurrent models. Indeed, the use of probabilities in formal models allows to define and check quantitative properties which are usefull for a lot of applications, such as probabilistic anonymity, failures or information leakage. Several recent research showed very interesting situations for these properties [1]. Research on probabilistic models is also a topic of interest from the mathematical point of view. Topics include relations between probability and non-determinism, expressivity, processus equivalence and denotational semantics. Research domains for these topics include probabilistic process algebras, concurrent constraint programming and domain theory. Interesting references can be found in [2,3].
Relevant and Redundant Feature Analysis with Ensemble Classification
Authors: Rakkrit Duangsoithong, Terry Windeatt
Venue: Proceedings of the 2009 Seventh International Conference on Advances in Pattern Recognition (2009)

Feature selection and ensemble classification increase system efficiency and accuracy in machine learning, data mining and biomedical informatics. This research presents an analysis of the effect of removing irrelevant and redundant features with ensemble classifiers using two datasets from UCI machine learning repository. Accuracy and computational time were evaluated by four base classifiers; NaiveBayes, Multilayer Perceptron, Support Vector Machines and Decision Tree. Eliminating irrelevant features improves accuracy and reduces computational time while removing redundant features reduces computational time and reduces accuracy of the ensemble.
Learning to Learn Biological Relations from a Small Training Set
Authors: Laura Alonso I Alemany, Santiago Bruno
Venue: Proceedings of the 10th International Conference on Computational Linguistics and Intelligent Text Processing (2009)

In this paper we present different ways to improve a basic machine learning approach to identify relations between biological named entities as annotated in the Genia corpus.The main difficulty with learning from the Genia event-annotated corpus is the small amount of examples that are available for each relation type. We compare different ways to address the data sparseness problem: using the corpus as the initial seed of a bootstrapping procedure, generalizing classes of relations via the Genia ontology and generalizing classes via clustering.
Efficient asymmetric inclusion between regular expression types
Authors: Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Venue: Proceedings of the 12th International Conference on Database Theory (2009)

The inclusion of Regular Expressions (REs) is the kernel of any subtype checking algorithm for XML schema languages. XML applications would benefit from the extension of REs with interleaving and counting, but this is not feasible in general, since inclusion is EXPSPACE-complete for such extended REs. In [9] we introduced a notion of "conflict-free REs", which are extended REs with excellent complexity behaviour, including a cubic inclusion algorithm [9] and linear membership [10]. Conflict-free REs have interleaving and counting, but the complexity is tamed by the "conflict-free" limitations, which have been found to be satisfied by the vast majority of the content models published on the Web. However, the most important use of subtype checking is in the context of type-cheching of XML manipulation languges. A type checker works by testing the inclusion of inferred subtypes in declared supertypes. The conflict-free restriction, while quite harmless for the human-defined supertype, is far too restrictive for the inferred subtype, whose shape is difficult to constrain. We show here that the PTIME inclusion algorithm can be actually extended to deal with totally unrestricted REs with counting and interleaving in the subtype position, provided that the supertype is conflict-free. This is exactly the expressive power that we need in order to use subtyping inside type-checking algorithms, and the cost of this generalized algorithm is only quadratic, which is as good as the best algorithm we have for the symmetric case (see [5]). The result is extremely surprising, since we had previously found that asymmetric inclusion becomes NP-hard as soon as the candidate subtype is enriched with binary intersection, a generalization that looked much more innocent than what we achieve here.
Exploiting similarity-aware grouping in decision support systems
Authors: Yasin N. Silva, Muhammad U. Arshad, Walid G. Aref
Venue: Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology (2009)

Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make extensive use of its underlying grouping and aggregation capabilities, i.e., Group-by operation. Unfortunately, the standard grouping operator has the inherent limitation of being based only on equality, i.e., all the tuples in a group share the same values of the grouping attributes. Similarity-based Group-by (SGB) has been recently proposed as an extension aimed to overcome this limitation. SGB allows fast formation of groups with similar objects under different grouping strategies and the pipelining of results for further processing. This demonstration presents how SGB can be effectively used to build useful DSSs. The presented DSS has been built around the data model and queries of the TPC-H benchmark intending to be representative of complex business analysis applications. The system provides intuitive dashboards that exploit similarity aggregation queries to analyze: (1) customer clustering, (2) profit and revenue, (3) marketing campaigns, and (4) discounts. The presented DSS runs on top of PostgreSQL whose query engine is extended with similarity grouping operators.
Young women in computing: lessons learned from an educational & outreach program
Authors: Inna Pivkina, Enrico Pontelli, Rachel Jensen, Jessica Haebe
Venue: ACM SIGCSE Bulletin (2009)

This paper describes the Young Women in Computing program, an ongoing outreach program in Computer Science at New Mexico State University (NMSU). Features of the program include summer camps and academic year activities, computing in context, peer mentoring, and role models. The main goal is to increase interest in computing among female high school students. The paper discusses lessons learned from three years of experience with the program.
Property Specifications for Workflow Modelling
Authors: Peter Y. Wong, Jeremy Gibbons
Venue: Proceedings of the 7th International Conference on Integrated Formal Methods (2009)

Previously we provided two formal behavioural semantics for Business Process Modelling Notation (BPMN) in the process algebra CSP. By exploiting CSP's refinement orderings, developers may formally compare their BPMN models. However, BPMN is not a specification language, and it is difficult and sometimes impossible to use it to construct behavioural properties against which BPMN models may be verified. This paper considers a pattern-based approach to expressing behavioural properties. We describe a property specification language PL for capturing a generalisation of Dwyer et al.'s Property Specification Patterns, and present a translation from PL into a bounded, positive fragment of linear temporal logic, which can then be automatically translated into CSP for simple refinement checking. We demonstrate its application via a simple example.
End-to-End Synchronization Control Support for Multiservice Applications
Venue: Proceedings of the 1996 International Conference on Multimedia Computing and Systems (1996)

This paper proposes an architecture which integrates multistream synchronization control into group transport services for multiservice applications. A marker-based multistream synchronization control protocol which fits into the architecture is presented. Experimental results reveal the potential practicability in applying the suggested protocol to multiservice applications in an integrated service network environment. 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
Real-Time Composition of Stereo Images for Video See-Through Augmented Reality
Authors: Masayuki Kanbara, Takashi Okuma, Haruo Takemura, Naokazu Yokoya
Venue: Proceedings of the IEEE International Conference on Multimedia Computing and Systems - Volume 2 (1999)

This paper describes a method of stereo image composition for video see-through augmented reality. In order to implement an augmented reality system, we must acquire the position and orientation of the user's viewpoint to display the composed image maintaining correct registration of real and virtual worlds. All the procedures must be done in real-time. We have built a prototype augmented reality system that adopts the combination of a vision-based tracking technique and a video see-through head mounted display (HMD). Display-timing is synchronized between the real and virtual environments, so that an alignment error is reduced. The system calculates camera parameters from three markers among which physical relationships are unknown in image sequences captured by a pair of stereo cameras mounted on the HMD. In addition, the user's hands are regarded as real-world objects that may occlude virtual objects; the system estimates the depth of hands in images and generates a composed image maintaining consistent occlusions between the hands and virtual objects.
On parallelization of high-speed processors for elliptic curve cryptography
Authors: Kimmo Järvinen, Jorma Skyttä
Venue: IEEE Transactions on Very Large Scale Integration (VLSI) Systems (2008)

This paper discusses parallelization of elliptic curve cryptography hardware accelerators using elliptic curves over binary fields F2m. Elliptic curve point multiplication, which is the operation used in every elliptic curve cryptosystem, is hierarchical in nature, and parallelism can be utilized in different hierarchy levels as shown in many publications. However, a comprehensive analysis on the effects of parallelization has not been previously presented. This paper provides tools for evaluating the use of parallelism and shows where it should be used in order to maximize efficiency. Special attention is given for a family of curves called Koblitz curves because they offer very efficient point multiplication. A new method where the latency of point multiplication is reduced with parallel field arithmetic processors is introduced. It is shown to outperform the previously presented multiple field multiplier techniques in the cases of Koblitz curves and generic curves with fixed base points. A highly efficient general elliptic curve cryptography processor architecture is presented and analyzed. Based on this architecture and analysis on the effects of parallelization, a few designs are implemented on an Altera Stratix II field-programmable gate array (FPGA).
A policy-based authorization model for workflow-enabled dynamic process management
Authors: Jian Cao, Jinjun Chen, Haiyan Zhao, Minglu Li
Venue: Journal of Network and Computer Applications (2009)

Although workflow has been widely used to support the modeling and execution of business process, the majority of current workflow management systems are not designed and suited for supporting dynamic business processes. One of the deficiencies is the inability to model realistically the organization of an enterprise to manage the dynamic human-centric business processes. A framework for workflow-enabled dynamic business process management is described in the paper. It includes an organizational model and an authorization model for supporting dynamic business processes. More specifically, authorization policies are expressed in an SQL-like language which can be easily rewritten into query sentences for execution. In addition, the framework supports dynamic integration and execution of multiple access control polices from disparate enterprise resources. Finally, a prototype implementation of the dynamic business process management framework is described.
An Association Rule Algorithm Based on Quotient Space
Authors: Yueqin Zhang, Qingwei Yan, Lili Zong
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

Finding the large item set fast is the crucial step in the association rule algorithm. In this paper we apply granular computing and quotient space to frequent item set discovering , by partition the information system to information granule and mapping granule object sets, the algorithm reduced the number of database scanning and reduced object sets required when computing support of candidate item, in this way we improved the efficient of running. For the dataset of small support with high complexity, it is more applicable. The experiment results show: the proposed method is effective.
Temperature Variation Characterization and Thermal Management of Multicore Architectures
Authors: Eren Kursun, Chen-Yong Cher
Venue: IEEE Micro (2009)

Increased variability affects the efficiency of dynamic power and thermal management. Existing on-chip sensor infrastructure can be used to improve the inherent thermal imbalances among cores in a multicore architecture. Experimental analysis based on live measurements on a special test chip shows reduced on-chip heating with no performance loss.
Application of Chinese Word Segmentation Based on Linguistic Environment Analysis in Text Information Filtering System
Authors: Zhi-an Yi, Jia Lv
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

This paper provides Chinese word segmentation based on language analysis problem in text information filtering system. The improved Chinese word segmentation is made of a bigram segmentation and a segmentation correction, new words recognition and disambiguation through the bigram segmentation, check the accuracy of segmentation results using the segmentation correction from the perspective of syntax. It has been proved by experiments that the segmentation not only strengthen the system's language analysis ability, but also improve the accuracy of text information filtering system when the improved Chinese word segmentation was applied to the text analysis module.
Facial feature detection using distance vector fields
Authors: Stylianos Asteriadis, Nikos Nikolaidis, Ioannis Pitas
Venue: Pattern Recognition (2009)

A novel method for eye and mouth detection and eye center and mouth corner localization, based on geometrical information is presented in this paper. First, a face detector is applied to detect the facial region, and the edge map of this region is calculated. The distance vector field of the face is extracted by assigning to every facial image pixel a vector pointing to the closest edge pixel. The x and y components of these vectors are used to detect the eyes and mouth regions. Luminance information is used for eye center localization, after removing unwanted effects, such as specular highlights, whereas the hue channel of the lip area is used for the detection of the mouth corners. The proposed method has been tested on the XM2VTS and BioID databases, with very good results.
A PMLSM Position Control Based on Variable Universe Fuzzy Controller
Authors: Yiwang Wang, Fengwen Cao
Venue: Proceedings of the 2009 International Conference on Electronic Computer Technology (2009)

An variable universe fuzzy control system was designed to control the position of a permanent magnet linear synchronous motor (PMLSM) intelligently considering nonlinear and parameters time-variation. By the analysis of dynamic equation of permanent magnet linear synchronous motors, a position controller for permanent magnet linear synchronous motor is carried out based on the variable universe fuzzy theory, which can modify universe according to the change of inputs,and results in the improved position precision and robustness. A simulation model of the variable universe fuzzy logic controller used for permanent magnet linear synchronous motor is established in this paper. The simulation results show this control system has satisfactory performance.
Certificateless Proxy Blind Signature Scheme from Bilinear Pairings
Authors: Bo Zhang, Qiuliang Xu
Venue: Proceedings of the 2009 Second International Workshop on Knowledge Discovery and Data Mining (2009)

While Shamir’s identity-based public key cryptosystem does not need the certificates, the key escrow of user’s private keys is inherent in such scheme. In 2003,the concept of certificateless signature scheme was introduced. In this new paradigm, the necessity of certificates has been successfully removed and the key escrow problem does not exist. Based on the ideas of certificateless signatures and Boneh et al.’s Short Signature Scheme, a certificateless proxy blind signature scheme is proposed in this paper. Compared with the existed schemes, the new scheme has the properties of strong unforgeability and strong Non-repudiation.
Supplier selection: A hybrid model using DEA, decision tree and neural network
Authors: Desheng Wu
Venue: Expert Systems with Applications: An International Journal (2009)

As the most important responsibility of purchasing management, the problem of vendor evaluation and selection has always received a great deal of attention from practitioners and researchers. This management decision is a challenge due to the complexity and various criteria involved. This paper presents a hybrid model using data envelopment analysis (DEA), decision trees (DT) and neural networks (NNs) to assess supplier performance. The model consists of two modules: Module 1 applies DEA and classifies suppliers into efficient and inefficient clusters based on the resulting efficiency scores. Module 2 utilizes firm performance-related data to train DT, NNs model and apply the trained decision tree model to new suppliers. Our results yield a favorable classification and prediction accuracy rate.
Video scene segmentation and semantic representation using a novel scheme
Authors: Songhao Zhu, Yuncai Liu
Venue: Multimedia Tools and Applications (2009)

Grouping video content into semantic segments and classifying semantic scenes into different types are the crucial processes to content-based video organization, management and retrieval. In this paper, a novel approach to automatically segment scenes and semantically represent scenes is proposed. Firstly, video shots are detected using a rough-to-fine algorithm. Secondly, key-frames within each shot are selected adaptively with hybrid features, and redundant key-frames are removed by template matching. Thirdly, spatio-temporal coherent shots are clustered into the same scene based on the temporal constraint of video content and visual similarity between shot activities. Finally, under the full analysis of typical characters on continuously recorded videos, scene content is semantically represented to satisfy human demand on video retrieval. The proposed algorithm has been performed on various genres of films and TV program. Promising experimental results show that the proposed method makes sense to efficient retrieval of interesting video content.
Computer output to microfilm
Authors: John R. Ridgeway, James N. Hollister, Jon Warms, Bryan Wood, Tom Glacken
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

This session assumes no prior knowledge of COM. We will review a history of COM, what it is, where it is going and then, related COM to Information Management. Micro film technology can be used in a real-time MIS environment as a replacement for computer devices; as an extension of the Computer's capabilities; and as a low cost back-up system.
Self-aligned n-channel GaAs metal-oxide-semiconductor field-effect transistors (MOSFETs) using HfO2 and silicon interface passivation layer: Post-metal annealing optimization
Authors: InJo Ok, H. Kim, M. Zhang, F. Zhu, S. Park, J. Yum, H. Zhao, Jack C. Lee
Venue: Microelectronic Engineering (2009)

In this work, using Si interface passivation layer (IPL), we demonstrate n-MOSFET on p-type GaAs by varying physical-vapor-deposition (PVD) Si IPL thickness, S/D ion implantation condition, and different substrate doping concentration and post-metal annealing (PMA) condition. Using the optimized process, TaN/HfO"2/GaAs n-MOSFETs made on p-GaAs substrates exhibit good electrical characteristics, equivalent oxide thickness (EOT) (~3.7nm), frequency dispersion (~8%) and high maximum mobility (420cm^2/Vs) with high temperature PMA (950^oC, 1min) and good inversion.