ppxscal/embedding_network huggingface dataset:
Electronic governance theory
Authors: Rahul De'
Venue: Proceedings of the 2nd International Conference on Theory and Practice of Electronic Governance (2008)

For any research field to advance it has to have its own 'core' theory and a set of reference disciplines it draws on and contributes to. Thus far it is clear that E-governance research draws primarily on theory and methods developed in the Management Information Systems (MIS) discipline. MIS itself draws on fields such as Computer Science, Economics, Sociology, etc. The theory and methods that any e-governance researcher will rely on will be determined by the problems being addressed and the context in which the problems arise. This tutorial workshop presents an overview of theory used in e-governance research. It then presents an introduction to two richly developed theories in MIS namely - Structuration and Actor-Network theory. The presentations highlight the main ideas of these theories with a view to prompting their increased incorporation in e-governance research. E-governance issues for developing countries is also presented, as these constitute a growing area of research. The workshop features three papers that will form the basis for a discussion on state-of-the-art in e-governance theory.
A Domain-Driven Approach for Detecting Event Patterns in E-Markets
Authors: Piyanath Mangkorntong, Fethi A. Rabhi
Venue: World Wide Web (2009)

An e-market can be thought of as a distributed event system where an event is generated every time the market's state changes in response to a number of human or computing agents. The paper describes a practical application of event processing in an e-market context through conventional Event Processing Systems (EPSs). A new EPS architecture that allows the integration of several existing EPSs under a unified domain-specific user interface and execution environment is proposed. We assess the performance of a prototype system for a case study in financial market surveillance and its ability to provide a common interface for two existing EPSs---SMARTS and Coral8. A discussion on the experimental results and the issues arising from the proposed EPS architecture are also provided.
Pipeline Design of Transformation between Floating Point Numbers Based on IEEE754 Standard and 32-bit Integer Numbers
Authors: Zheng-wei Hu, Dong-xing Duan, Zhi-yuan Xie, Xing Yang
Venue: Proceedings of the 2009 Second International Symposium on Intelligent Information Technology and Security Informatics (2009)

A pipeline design method for transformation between floating point numbers based on IEEE754 standard and 32-bit integer numbers was proposed. There are two kinds of pipelines. One is for double-precision or single-precision floating point numbers transform into integer numbers and other is for integer numbers transform into double precision or single-precision floating point numbers. In this method hardware cost was reduced through double-precision floating point numbers and single-precision floating point numbers sharing one data path. Shifting and rounding was simplified through setting the initial value of exponent. Special numbers were also discussed and corresponding signals were defined in this method. The leading zero detection method for this method was described and a leading zero detection unit for 32-bit numbers was designed. A module of the pipeline design method proposed in this paper was designed with VHDL and EP2C35F484C6 is the target device of implementation. The source utilization and maximum frequency of this module were estimated. The simulation results were discussed. The quality of this method was confirmed by these results.
A criticality-driven microarchitectural three dimensional (3D) floorplanner
Authors: Srinath Sridharan, Michael DeBole, Guangyu Sun, Yuan Xie, Vijaykrishnan Narayanan
Venue: Proceedings of the 2009 Asia and South Pacific Design Automation Conference (2009)

As technology scales, interconnect delays begin to dominate the performance of modern microprocessors. The ability to reduce the length of global wires has become an important design constraint, however only a subset of those global wires is critical for determining performance. The introduction of three-dimensional (3D) ICs has created the opportunity to reduce global wiring lengths and shorter interconnect delays through the intelligent placement of functional blocks. In this paper, a floorplanner for 3D chips is proposed that organizes functional blocks according to critical microarchitectural communication paths. The floorplanner identifies the potential triggers, in the form of feedback delays, which are responsible for the largest communication costs and places the contributing functional blocks in such a way that those costs are minimized. With our criticality driven 3D placement there is an average IPC improvement of 22% over 2D placement. Over criticality unaware 3D placement, criticality driven 3D placement shows an average IPC improvement of 8%.
Artificial intelligence diagnosis algorithm for expanding a precision expert forecasting system
Authors: Chin-Tsai Lin, In-Fun Lee
Venue: Expert Systems with Applications: An International Journal (2009)

This study developed a simple and effective expert system for forecasting short-term historical and randomly fluctuating data. This study combined Grey forecasting (GM) and Markov-Fourier Grey forecasting model (MFGM) to develop an expert system of diagnosis by artificial intelligence which improves the effectiveness of forecasting randomly fluctuating data. The contribution of this study is its simple and effective artificial intelligence diagnosis algorithm approach to developing a computer environment for an expert forecasting system which accurately predicts short-term historical and stochastic volatility data.
A comparison of social tagging designs and user participation
Authors: Caitlin M. Bentley, Patrick R. Labelle
Venue: Proceedings of the 2008 International Conference on Dublin Core and Metadata Applications (2008)

Social tagging empowers users to categorize content in a personally meaningful way while harnessing their potential to contribute to a collaborative construction of knowledge (Vander Wal, 2007). In addition, social tagging systems offer innovative filtering mechanisms that facilitate resource discovery and browsing (Mathes, 2004). As a result, social tags may support online communication, informal or intended learning as well as the development of online communities.
Point and interval estimation of partial attributable risks from case-control data using the R-package 'pARccs'
Authors: C. Rämsch, A. B. Pfahlberg, O. Gefeller
Venue: Computer Methods and Programs in Biomedicine (2009)

The attributable risk (AR) is an epidemiologic measure quantifying the relationship between an exposure factor and a disease at the population level. In addition to its original use as a one-dimensional parameter the AR is increasingly applied in multifactorial epidemiologic situations when the combined impact of multiple exposure factors has to be partitioned into factor-specific components. We discuss the point and interval estimation of the resulting multidimensional parameter termed partial attributable risk (PAR) and introduce the R-package 'pARccs', a comprehensive software enabling the application of the methods. 'pARccs' allows for point and interval estimation of PAR from case-control data utilizing the non-parametric bootstrap with stratified resampling in combination with the percentile or BC"a method to compute confidence intervals. We illustrate the concept of partial attributable risks and the application of the software by an example from a recent case-control study on risk factors for melanoma. We also discuss practical aspects of the software application for epidemiologic purposes and its limitations.
Hand occlusion with tablet-sized direct pen input
Authors: Daniel Vogel, Matthew Cudmore, Géry Casiez, Ravin Balakrishnan, Liam Keliher
Venue: Proceedings of the 27th international conference on Human factors in computing systems (2009)

We present results from an experiment examining the area occluded by the hand when using a tablet-sized direct pen input device. Our results show that the pen, hand, and forearm can occlude up to 47% of a 12 inch display. The shape of the occluded area varies between participants due to differences in pen grip rather than simply anatomical differences. For the most part, individuals adopt a consistent posture for long and short selection tasks. Overall, many occluded pixels are located higher relative to the pen than previously thought. From the experimental data, a five-parameter scalable circle and pivoting rectangle geometric model is presented which captures the general shape of the occluded area relative to the pen position. This model fits the experimental data much better than the simple bounding box model often used implicitly by designers. The space of fitted parameters also serves to quantify the shape of occlusion. Finally, an initial design for a predictive version of the model is discussed.
Adaptive discrete harmonic grid generation
Authors: Pablo Barrera-Sánchez, Longina Castellanos Noda, Francisco J. Domínguez-Mota, Guilmer F. González Flores, Angel Pérez Domínguez
Venue: Mathematics and Computers in Simulation (2009)

We present a new adaptive-harmonic structured grid generation method. It is based on a functional that shares a common set of minimizers with Ivanenko's harmonic functional [A.A. Charakhch'yan, S.A. Ivanenko, Curvilinear grids of convex quadrilaterals, Comput. Maths. Math. Phys. 28(2) (1988) 126-133.]. An unconstrained optimization process related to a continuation parameter is used to guarantee the convexity of the grid cells. Several numerical examples of grids generated on quite irregular 2Dregions, show the effective performance of the proposed method and its robustness when preset monitor functions are given.
Project management using point graphs
Authors: Mashood Ishaque, Abbas K. Zaidi, Alexander H. Levis
Venue: Systems Engineering (2009)

A graph-based approach for scheduling and monitoring temporal events and activities in a system engineering project is presented. It attempts to overcome some of the limitations of traditional project management approaches by allowing specifications of real-time milestones, and by breaking the finish-start barrier between the activities. An example of a residential construction project is used to illustrate the approach. &copy; 2008 Wiley Periodicals, Inc. Syst Eng
Integrated data bases for municipal decision-making
Authors: Patrick E. Mantey, Eric D. Carlson
Venue: Proceedings of the May 19-22, 1975, national computer conference and exposition (1975)

Municipal governments are, in essence, created to deliver services to a geographical area. There is an unusual variety, in comparison to private industry, of services offered. Local government is often structured (or fractured) along functional lines into special districts, as well as by geography. Such structuring has precluded concentration of power, but it has increased the complexity of planning, resource allocation, or management.
Digital rights management architectures
Authors: Pramod A. Jamkhedkar, Gregory L. Heileman
Venue: Computers and Electrical Engineering (2009)

Digital rights management (DRM) is increasingly becoming a necessity for content management and distribution in highly networked environments such as the Internet. However, very few DRM models have been able to achieve commercial success and acceptance among users. This paper analyzes the problems with current DRM environments and proposes an open layered framework for development of DRM systems, where different technologies can interoperate within the framework. Furthermore, interoperability is studied in terms of the proposed layered framework, and problems posed by the current rights expression languages (RELs) are identified. We conclude that a refactoring of current RELs based on a set of design principles is necessary to achieve a reasonable level of DRM interoperability. We emphasize the need for middleware services for DRM, along with their responsibilities and places of operation within the proposed framework. Finally, a specific prototype architecture is introduced that makes use of existing infrastructures in order to implement a DRM environment consistent with the design principles described in this paper.
Perceptually Based Metrics for the Evaluation of Textural Image Retrieval Methods
Authors: Janet S. Payne, L. Hepplewhite, T. J. Stonham
Venue: Proceedings of the 1999 IEEE International Conference on Multimedia Computing and Systems - Volume 02 (1999)

Texture is widely used in CBIR, and there have been a number of studies over the years to establish which features are perceptually significant. However, it is still difficult to retrieve reliably images that the human user would agree are "similar". This paper reviews a range of computational methods, and compares their performance in classifying and retrieving images from the Brodatz set. Their performance is then related to the combined ranking of "similar" images from the same dataset, obtained from experiments where human volunteers were asked to identify which images were most like each of the Brodatz images. The full set of 112 images was used. We conclude that no one method consistently returns retrievals which the human user would agree were similar across the full range of textures, but that statistical methods appear to perform better overall. We propose a subset of the Brodatz images for comparison of retrieval methods, based on the correlation between individuals' rankings.
Multi-agent stabilisation of the psychological dynamics of one-dimensional crowds
Authors: Kevin Spieser, Daniel E. Davison
Venue: Automatica (Journal of IFAC) (2009)

This work is part of an investigation aimed at applying the tools of control theory to gain a deeper understanding of the behaviour and attitudes that develop in individuals and in groups of people, with the goal of ultimately controlling the relevant psychological dynamics. The present treatment investigates an approach to stabilise one-dimensional crowds, that is, structures where people are aligned in a queue. The psychological dynamics considered here are based on the notion of suggestibility put forth by Gustave Le Bon. Control action is carried out by certain authoritative figures, termed control agents, who are interspersed throughout the crowd in some predetermined arrangement, subject to one control agent being positioned at one end of the queue. The main result of this paper is the existence of a state-feedback control law for each control agent that, possibly with some communication among control agents, stabilises the crowd. Advantages of employing multiple control agents instead of a single control agent are highlighted, and, throughout, the main stabilisation results are verified using simulations. Finally, the possibility of extending the control strategy to two-dimensional crowds is briefly explored.
Mobility control via passports
Authors: Samuel Hym
Venue: Information and Computation (2009)

D@p is a simple distributed extension of the @p-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this paper, we introduce passports to control those migrations; in order to gain access to a location agents are now expected to show some credentials, granted by the destination location. Passports are tied to specific locations, from which migration is permitted. We describe a type system for these passports, which includes a novel use of dependent types, and prove that well-typing enforces the desired behaviour in migrating processes. Passports allow locations to control incoming processes. This induces major modifications to the observations which can be made of agent-based systems. Using the type system we describe these observations, and use them to build a loyal notion of observational equivalence for this setting. Finally we provide a complete proof technique in the form of a bisimilarity for establishing equivalences between systems.
Robust control of multidimensional nonstationary linear plants
Authors: A. M. Tsykunov
Venue: Automation and Remote Control (2009)

Solved was the problem was of constructing a robust control system with linear nonstationary multidimensional control plant compensating the parametric and external bounded perturbations to within ¿ if the derivatives of the output vector are not measured and fully if the derivatives are measured.
Reactive Planning Model for Web Service Composition under Time Restrictions
Authors: Jaime A. Guzmán Luna, Demetrio A. Ovalle Carranza
Venue: Proceedings of the 2009 Third International Conference on Digital Society (2009)

This paper describes a reactive planning model which is specifically designed to handle OWL-S Semantic Web Service Composition problems. This model uses a planning technique which alternates planning and execution stages performing the composition service in order to faces problems related to this task, such as the partial observability of the environment and the handling of unexpected events which had not been foreseen beforehand by the planner, providing a better reactivity and shorter total composition and the execution time of the service comparing to other proposals.
Transferability of government information systems, problems and solutions. Is it cost effective?
Authors: Verne H. Tanner,  Jr., James J. Trainor Nelson A. Howell, Charles D. Trigg
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

One of the most significant challenges facing state information coordinators today deals with the ability or lack of ability to make use of the proven concepts of systems developed in other jurisdictions. The panel will attempt to develop a definition of the word "transferability," to outline the restraints and pitfalls which prevent a successful transfer and to suggest ideas and methods which can avoid these problems. While specific examples presented by the panel will deal with state activities, their problems and solutions should be of importance not only to all levels of government on a horizontal plan, but also to all levels of government on a vertical plan.
Bill of material and requirements calculation systems
Authors: J. Weinberg
Venue: Proceedings of the May 6-10, 1974, national computer conference and exposition (1974)

The Bill of Material and Requirements Calculation System to be presented comprises the first phase of a total part number data base development that is expected to encompass all areas of production and inventory control within the McDonnell Aircraft Company component of McDonnell Douglas Corporation. The system develops a bill of material file that contains both an engineering product configuration and a manufacturing product configuration. The file is created and maintained using both on-line real time and batch data entry methods. Included in the applications processed against the bill of material are programs which: perform a configuration audit to insure that the engineering and manufacturing configurations agree; calculate requirements for all manufactured parts; perform bill of material breakdowns and generate product structure listings; and perform document follow-up and status reporting in manufacturing operational areas. The data base has been developed using the data management and teleprocessing facilities provided by the Information Management System (IMS). On-line update and retrieval is accomplished via a network of cathode ray tubes, on-line typewriters and on-line medium speed line printers located in operational areas. 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
An approach to transfer verification and validation technology
Authors: Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden
Venue: Proceedings of the May 4-7, 1981, national computer conference (1981)

The National Bureau of Standards' Institute for Computer Sciences and Technology (NBS/ICST) has sponsored the development of a general guideline for computer software verification and validation (V&V). The guideline is to be used by government and commercial personnel to plan, carry out, and assess V&V activities. This paper outlines the scope, direction, and status of this effort. A lifecycle V&V model which forms the basis of the guideline is described. It is the author's conviction that planning for V&V is an aspect of software development management, and that substantial, cost-effective technology is readily available for general application. The guideline to disseminate this information has been developed.
Crossing-Optimal Acyclic Hamiltonian Path Completion and Its Application to Upward Topological Book Embeddings
Authors: Tamara Mchedlidze, Antonios Symvonis
Venue: Proceedings of the 3rd International Workshop on Algorithms and Computation (2009)

Given an embedded planar acyclic digraph G, we define the problem of acyclic hamiltonian path completion with crossing minimization (Acyclic-HPCCM) to be the problem of determining a hamiltonian path completion set of edges such that, when these edges are embedded on G, they create the smallest possible number of edge crossings and turn G to an acyclic hamiltonian digraph. Our results include: 1 We provide a characterization under which a triangulated st-digraph G is hamiltonian. 1 For the class of planar st-digraphs, we establish an equivalence between the Acyclic-HPCCM problem and the problem of determining an upward 2-page topological book embedding with minimum number of spine crossings. Based on this equivalence we infer for the class of outerplanar triangulated st-digraphs an upward topological 2-page book embedding with minimum number of spine crossings and at most one spine crossing per edge.
Brief paper: Stability analysis of systems with aperiodic sample-and-hold devices
Authors: Hisaya Fujioka
Venue: Automatica (Journal of IFAC) (2009)

Motivated by the widespread use of networked and embedded control systems, improved stability conditions are derived for sampled-data feedback control systems with uncertainly time-varying sampling intervals. The results are derived by exploiting the passivity-type property of the operator arising in the input-delay approach to the system in addition to the gain of the operator, and are hence less conservative than existing ones.
Connecting the top-down to the bottom-up: pricing CDO under a conditional survival (CS) model
Authors: Xian Hua Peng, Steven S. G. Kou
Venue: Proceedings of the 40th Conference on Winter Simulation (2008)

In this paper, we use exact simulation to price CDO under a new dynamic model, the Conditional Survival (CS) model, which provided excellent calibration to both iTraxx tranches and underlying single name CDS spreads on March 14, 2008, the day before the collapse of Bear Sterns, when the market was highly volatile. The distinct features of the CS model include: (1) it is able to generate clustering of defaults occurring dynamically in time and strong cross-sectional correlation, i.e., the simultaneous defaults of many names, both of which have been evidenced in the current subprime mortgage crisis; (2) it incorporates idiosyncratic default risk of single names but does not specify concrete models for them; (3) it provides automatic calibration to underlying single name CDS; (4) it allows fast CDO tranche pricing and calculation of sensitivity of CDO tranches to underlying single name CDS.