ppxscal/embedding_network huggingface dataset:
One Step Ahead
Authors: Vlad Gorelik
Venue: Queue (2007)

Every day IT departments are involved in an ongoing struggle against hackers trying to break into corporate networks. A break-in can carry a hefty price: loss of valuable information, tarnishing of the corporate image and brand, service interruption, and hundreds of resource hours of recovery time. Unlike other aspects of information technology, security is adversarial&mdash;it pits IT departments against hackers.
Technical writing
Authors: Diana Patterson
Venue: ACM SIGDOC Asterisk Journal of Computer Documentation (1976)

Text editors and formatters are always a subject of interest to those who use them, and horror stores are common subjects of discussion, for example:March 4, 1976In the January, 1976 issue of the SICDOC Newsletter, you noted that there are "hundreds" of text editors and formatters. I am interested in these programs and would like to know the names and references of any you are familiar with or have heard about. Your opinions of their quality would also be appreciated. 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
Comments on "modeling TCP reno performance: a simple model and its empirical validation"
Authors: Zesheng Chen, Tian Bu, Mostafa Ammar, Don Towsley
Venue: IEEE/ACM Transactions on Networking (TON) (2006)

In this Comments, several errors in Padhye et al., 2000, are pointed out. The more serious of these errors result in an over prediction of the send rate. The expression obtained for send rate in this Comments leads to greater accuracy when compared with the measurement data than the original send rate expression in Padhye et al.
Scalable logical coordinates framework for routing in wireless sensor networks
Authors: Qing Cao, Tarek Abdelzaher
Venue: ACM Transactions on Sensor Networks (TOSN) (2006)

In this article, we present logical coordinates based routing (LCR), a novel framework for scalable and location-independent routing in wireless sensor networks. LCR assigns each node a logical coordinate vector, and routes packets following these vectors. We demonstrate that LCR (i) guarantees packet delivery with a high probability, (ii) finds good paths, and (iii) exhibits robust performance in the presence of network voids and node failures. We systematically evaluate the performance of LCR through simulations and compare it with other state-of-the-art protocols. We also propose two extensions of LCR, one for three-dimensional node deployments and the other for unreliable wireless links.
CSS: The Definitive Guide
Authors: Eric A Meyer
Venue:  (2006)

CSS: The Definitive Guide, 3rd Edition, provides you with a comprehensive guide to CSS implementation, along with a thorough review of all aspects of CSS 2.1. Updated to cover Internet Explorer 7, Microsoft's vastly improved browser, this new edition includes content on positioning, lists and generated content, table layout, user interface, paged media, and more.Simply put, Cascading Style Sheets (CSS) is a way to separate a document's structure from its presentation. The benefits of this can be quite profound: CSS allows a much richer document appearance than HTML and also saves time -- you can create or change the appearance of an entire document in just one place; and its compact file size makes web pages load quickly.CSS: The Definitive Guide, 3rd Edition, provides you with a comprehensive guide to CSS implementation, along with a thorough review of all aspects of CSS 2.1. Updated to cover Internet Explorer 7, Microsoft's vastly improved browser, this new edition includes content on positioning, lists and generated content, table layout, user interface, paged media, and more. Author Eric Meyer tackles the subject with passion, exploring in detail each individual CSS property and how it interacts with other properties. You'll not only learn how to avoid common mistakes in interpretation, you also will benefit from the depth and breadth of his experience and his clear and honest style. This is the complete sourcebook on CSS.The 3rd edition contains: Updates to reflect changes in the latest draft version of CSS 2.1Browser notes updated to reflect changes between IE6 and IE7Advanced selectors supported in IE7 and other major browsers includedA new round of technical edits by a fresh set of editorsClarifications and corrected errata, including updated URLs of referenced online resources
Implicit curve and surface design using smooth unit step functions
Authors: Qingde Li, Roger Phillips
Venue: Proceedings of the ninth ACM symposium on Solid modeling and applications (2004)

This paper presents an implicit curve and surface design technique that uses smooth unit step functions. With the proposed method, an implicit curve or surface can be generated by inputting a sequence of points together with the normals at these points of the curve or surface to be designed. By choosing appropriate smooth unit step functions, these curves and surfaces can be designed to any required degree of smoothness.
Assigning data to dual memory banks in DSPs with a genetic algorithm using a repair heuristic
Authors: G. Gréwal, S. Coros, D. Banerji, A. Morton
Venue: Applied Intelligence (2007)

To increase memory bandwidth, many programmable Digital Signal Processors (DSPs) employ two on-chip data memories. This architectural feature supports higher memory bandwidth by allowing multiple data memory accesses to occur in parallel. Exploiting dual memory banks, however, is a challenging problem for compilers. This, in part, is due to the instruction-level parallelism, small numbers of registers, and highly specialized register capabilities of most DSPs. In this paper, we present a new methodology based on a genetic algorithm for assigning data to dual-bank memories. Our approach is global, and integrates several important issues in memory assignment within a single model. Special effort is made to identify those data objects that could potentially benefit from an assignment to a specific memory, or perhaps duplication in both memories. As part of our experimentation, we compare the effectiveness of three different repair heuristics which consist in transforming infeasible solutions into feasible ones. Our computational results show that when using the most effective repair method, the GA is able to achieve a 54% reduction in the number of memory cycles and a reduction in the range of 7 to 42% in the total number of cycles when tested with well-known DSP kernels and applications.
Security weakness in a three-party pairing-based protocol for password authenticated key exchange
Authors: Junghyun Nam, Youngsook Lee, Seungjoo Kim, Dongho Won
Venue: Information Sciences: an International Journal (2007)

Authentication and key exchange are fundamental for establishing secure communication channels over public insecure networks. Password-based protocols for authenticated key exchange are designed to work even when user authentication is done via the use of passwords drawn from a small known set of values. Recently, Wen et al. (H.-A. Wen, T.-F. Lee, T. Hwang, Provably secure three-party password-based authenticated key exchange protocol using Weil pairing, IEE Proceedings-Communications 152 (2) (2005) 138-143) proposed a new protocol for password-based authenticated key exchange in the three-party setting, where the clients trying to establish a common secret key do not share a password between themselves but only with a trusted server. Wen et al.'s protocol carries a claimed proof of security in a formal model of communication and adversarial capabilities. However, this work shows that the protocol for three-party key exchange is completely insecure and the claim of provable security is seriously incorrect. We conduct a detailed analysis of flaws in the protocol and its security proof, in the hope that no similar mistakes are made in the future.
Composing simulations from XML-specified model components
Authors: Mathias Röhl, Adelinde M. Uhrmacher
Venue: Proceedings of the 38th conference on Winter simulation (2006)

This paper is about the flexible composition of efficient simulation models. It presents the realization of a component framework that can be added as an additional layer on top of simulation systems. It builds upon platform independent specifications of components in XML to evaluate dependency relationships and parameters during composition. The process of composition is split up into four stages. Starting from XML documents component instances are created. These can be customized and arranged to form a composition. Finally, a composition is transformed to an executable simulation model. The first three stages are general applicable to simulation systems; the last one depends on the Parallel DEVS formalism and the simulation system James II.
Ensemble learning for independent component analysis
Authors: Jian Cheng, Qingshan Liu, Hanqing Lu, Yen-Wei Chen
Venue: Pattern Recognition (2006)

It is well known that the applicability of independent component analysis (ICA) to high-dimensional pattern recognition tasks such as face recognition often suffers from two problems. One is the small sample size problem. The other is the choice of basis functions (or independent components). Both problems make ICA classifier unstable and biased. In this paper, we propose an enhanced ICA algorithm by ensemble learning approach, named as random independent subspace (RIS), to deal with the two problems. Firstly, we use the random resampling technique to generate some low dimensional feature subspaces, and one classifier is constructed in each feature subspace. Then these classifiers are combined into an ensemble classifier using a final decision rule. Extensive experimentations performed on the FERET database suggest that the proposed method can improve the performance of ICA classifier.
Results Without Authority: Controlling a Project When the Team Doesn't Report to You
Authors: Tom Kendrick
Venue:  (2006)

Results Without Authority explores a wide range of effective methods and tools project leaders can use when they have little or no formal authority over members of the project team. The book includes clear, insightful examples that demonstrate how to get exceptional results on any project, regardless of &#147;who's the boss.&#148; 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
Almost optimal solution of initial-value problems by randomized and quantum algorithms
Authors: Bolesław Kacewicz
Venue: Journal of Complexity (2006)

We establish essentially optimal bounds on the complexity of initial-value problems in the randomized and quantum settings. For this purpose we define a sequence of new algorithms whose error/cost properties improve from step to step. These algorithms yield new upper complexity bounds, which differ from known lower bounds by only an arbitrarily small positive parameter in the exponent, and a logarithmic factor. In both the randomized and quantum settings, initial-value problems turn out to be essentially as difficult as scalar integration.
SysObjC: C extension for development of object-oriented operating systems
Authors: Ádám Balogh, Zoltán Csörnyei
Venue: Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems (2006)

Object-oriented operating systems prefer to consider every data structure as an object. However, data structures predefined by the hardware's manufacturer do not fit into this scheme. First of all, traditional object-oriented languages do not support objects with user-defined representation, which would be needed to these data structures as objects. Secondly, classic object-oriented languages have an overhead unacceptable for operating systems. To overcome both problems we introduce predicate classes into C as an extension of the standard structures. Inheritance is based on overlapping reserved fields without extending the object in size, which enables polymorphism by value, a very important feature in system programming. Dispatcher routines of methods add no significant overhead compared to standard C.
Parallel simulations of manufacturing processing using simpy, a python-based discrete event simulation tool
Authors: Victor Castillo
Venue: Proceedings of the 38th conference on Winter simulation (2006)

SimPy is a Python-based, interpreted simulation tool that offers the power and convenience of Python. It is able to launch processes and sub-processes using generators, which act autonomously and may interact using interrupts. SimPy offers other advantages over competing commercial codes in that it allows for modular development, use of a version control system such as CVS, can be made self-documenting with PyDoc, and is completely extensible. The convenience of an interpreted language, however, is offset for large models by slower than desired run times. This disadvantage can be compensated for by parallelizing the system using PyMPI, from the Lawrence Livermore National Laboratory. This work was performed under the auspices of the U.S. Department of Energy by University of California, Lawrence Livermore National Laboratory under Contract W-7405-Eng-48. 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
Conversational semantics sustained by commitments
Authors: Roberto A. Flores, Philippe Pasquier, Brahim Chaib-Draa
Venue: Autonomous Agents and Multi-Agent Systems (2007)

We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles uniting message meaning and conversational structure while providing an operational foundation that could be implemented in open computer systems. In this paper we explore our advances in one aspect of meaning that in theories of language use is known as "signal meaning", and propose a layered model in which the meaning of messages can be defined according to their fitness to advance the state of joint activities. Messages in our model are defined in terms of social commitments, which have been shown to entice conversational structure.
A survey of content-based image retrieval with high-level semantics
Authors: Ying Liu, Dengsheng Zhang, Guojun Lu, Wei-Ying Ma
Venue: Pattern Recognition (2007)

In order to improve the retrieval accuracy of content-based image retrieval systems, research focus has been shifted from designing sophisticated low-level feature extraction algorithms to reducing the 'semantic gap' between the visual features and the richness of human semantics. This paper attempts to provide a comprehensive survey of the recent technical achievements in high-level semantic-based image retrieval. Major recent publications are included in this survey covering different aspects of the research in this area, including low-level image feature extraction, similarity measurement, and deriving high-level semantic features. We identify five major categories of the state-of-the-art techniques in narrowing down the 'semantic gap': (1) using object ontology to define high-level concepts; (2) using machine learning methods to associate low-level features with query concepts; (3) using relevance feedback to learn users' intention; (4) generating semantic template to support high-level image retrieval; (5) fusing the evidences from HTML text and the visual content of images for WWW image retrieval. In addition, some other related issues such as image test bed and retrieval performance evaluation are also discussed. Finally, based on existing technology and the demand from real-world applications, a few promising future research directions are suggested.
Simulation and Analysis of Complex Biological Processes: an Organisation Modelling Perspective
Authors: Tibor Bosse, Catholijn M. Jonker, Jan Treur
Venue: Proceedings of the 39th annual Symposium on Simulation (2006)

This paper explores how the dynamics of complex biological processes can be modelled and simulated as an organisation of multiple agents. This modelling perspective identifies organisational structure occurring in complex decentralised processes and handles complexity of the analysis of the dynamics by structuring these dynamics according to an organisational structure. More specifically, dynamic properties at different levels of aggregation in the organisational structure are identified, and related to each other according to the organisational structure. The applicability of this organisational modelling approach to address complexity in biological context is illustrated by a case study: the organisation of intracellular processes.
Sketch-Based Evaluation of Image Segmentation Methods
Authors: David Gavilan, Hiroki Takahashi, Suguru Saito, Masayuki Nakajima
Venue: IEICE - Transactions on Information and Systems (2007)

A method for evaluating image segmentation methods is proposed in this paper. The method is based on a perception model where the drawing act is used to represent visual mental percepts. Each segmented image is represented by a minimal set of features and the segmentation method is tested against a set of sketches that represent a subset of the original image database, using the Mahalanobis distance function. The covariance matrix is set using a collection of sketches drawn by different users. The different drawings are demonstrated to be consistent across users. This evaluation method can be used to solve the problem of parameter selection in image segmentation, as well as to show the goodness or limitations of the different segmentation algorithms. Different well-known color segmentation algorithms are analyzed with the proposed method and the nature of each one is discussed. This evaluation method is also compared with heuristic functions that serve for the same purpose, showing the importance of using users' pictorial knowledge.
A user-centred corporate acquisition system: a dynamic fuzzy membership functions approach
Authors: Anthony McCloskey, Ronan McIvor, Liam Maguire, Paul Humphreys, Tina O'Donnell
Venue: Decision Support Systems (2006)

A user-centred hierarchical system employing scalable fuzzy membership functions, which supports decision making in corporate acquisition process, is presented. The system attempts to simulate the human precedence given to particular financial statistics by using an interchangeable priority system and fuzzy membership scaling. The system receives financial statistics from multiple aspects of a company's characteristics and makes generalised decisions based on the objectives set out by the focal organisation. The hierarchical structure and the membership scaling of the system are directly linked to the focal organisation's profile and their acquisition objectives.
Investigations on possibilities of inline inspection of high aspect ratio microstructures
Authors: Rainer Engelke, Gisela Ahrens, Norbert Arndt-Staufenbiehl, Stefan Kopetz, Karin Wiesauer, Bernd L&#x00f6;chel, Henning Schr&#x00f6;der, Johann Kastner, Andreas Neyer, David Stifter, Gabi Gr&#x00fc;tzner
Venue: Microsystem Technologies (2006)

LIGA is the basic idea of promising developments for the manufacturing of microelectromechanical system parts containing high aspect ratio microstructures. Aim of the work is a brief discussion of the starting-points for inline process inspection within a direct LIGA technology using deep X-ray lithography for the production of micromechanical gear wheels with critical dimensions of &#x223c;35&#x00a0;&#x03bc;m width at &#x223c;1&#x00a0;mm height as well as to show methodic and technical measuring possibilities. Firstly, results of the determination of residual solvent content distribution within ultra-thick SU-8 films are shown obtained from refracted near field optical measurements. Furthermore, the capability of X-ray computer tomographic imaging is discussed and measurements for the determination of the three-dimensional shape of high aspect ratio microstructures are practically demonstrated with microscopic and interferometric optical methods. Finally, first results demonstrate the potential of the optical coherence tomography for several further important measurement tasks, among others, e.g. for the imaging of the distribution of mechanical stress at the resist&#x2013;substrate interface. The results show that much information which is essential in the LIGA process can be achieved with recently available measurement methods. However, further development of non-destructive measurement techniques would be desirable for an effective inline process control of mass production of micromechanical parts.
Progressive solutions to a parallel automata equation
Authors: Khaled El-Fakih, Nina Yevtushenko, Sergey Buffalov, Gregor V. Bochmann
Venue: Theoretical Computer Science (2006)

In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by solving the parallel automata equation A ⋄ X ≃ C. We present an algorithm for deriving a largest progressive solution to the equation that combined with A does not block any possible action in C and we establish conditions that allow us to characterize all progressive solutions.
A consistent bending model for cloth simulation with corotational subdivision finite elements
Authors: Bernhard Thomaszewski, Markus Wacker, Wolfgang Straßer
Venue: Proceedings of the 2006 ACM SIGGRAPH/Eurographics symposium on Computer animation (2006)

Wrinkles and folds play an important role in the appearance of real textiles. The way in which they form depends mainly on the bending properties of the specific material type. Existing approaches fail to reliably reproduce characteristic behaviour like folding and buckling for different material types or resolutions. It is therefore crucial for the realistic simulation of cloth to model bending energy in a physically accurate and consistent way. In this paper we present a new method based on a corotational formulation of subdivision finite elements. Due to the non-local nature of the employed subdivision basis functions a C1-continuous displacement field can be defined. In this way, it is possible to use the governing equations of thin shell analysis leading to physically accurate bending behaviour. Using a corotated strain tensor allows the large displacement analysis of cloth while retaining a linear system of equations. Hence, known convergence properties and computational efficiency are preserved while convincing and detailed folding behaviour is obtained in the simualtion.