ppxscal/embedding_network huggingface dataset:
Boundary filters without DC leakage for paraunitary filter banks
Authors: W. Niehsen
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 03 (1999)

The construction of boundary filters without DC leakage for two-channel paraunitary FIR filter banks is considered. The design procedure is based on orthogonal boundary filters which are optimal in a weighted mean square error sense in the Fourier domain and on Householder transformation of boundary filter matrices. Simulation results are presented for boundary filters based on minimum-phase Daubechies filters. 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
Confidence: Its Role in Dependability Cases for Risk Assessment
Authors: Robin E. Bloomfield, Bev Littlewood, David Wright
Venue: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (2007)

Society is increasingly requiring quantitative assessment of risk and associated dependability cases. Informally, a dependability case comprises some reasoning, based on assumptions and evidence, that supports a dependability claim at a particular level of confidence. In this paper we argue that a quantitative assessment of claim confidence is necessary for proper assessment of risk. We discuss the way in which confidence depends upon uncertainty about the underpinnings of the dependability case (truth of assumptions, correctness of reasoning, strength of evidence), and propose that probability is the appropriate measure of uncertainty. We discuss some of the obstacles to quantitative assessment of confidence (issues of composability of subsystem claims; of the multi-dimensional, multi-attribute nature of dependability claims; of the difficult role played by dependence between different kinds of evidence, assumptions, etc). We show that, even in simple cases, the confidence in a claim arising from a dependability case can be surprisingly low.
Analysis on Bleichenbacher's Forgery Attack
Authors: Tetsuya Izu, Masahiko Takenaka, Takeshi Shimoyama
Venue: Proceedings of the The Second International Conference on Availability, Reliability and Security (2007)

In 2006, Bleichenbacher presented a new forgery attack against the signature scheme RSASSA-PKCS1-v1 5. The attack allows an adversary to forge a signature on almost arbitrary messages, if an implementation is not proper. Since the example was only limited to the case when the public exponent is 3 and the bit-length of the public composite is 3072, a potential threat is not known. This paper analyzes Bleichenbacher's forgery attack and shows applicable composite sizes for given exponents. We also propose two extended attacks with numerical examples.
Bounded Delay Timing Analysis Using Boolean Satisfiability
Authors: Suchismita Roy, P. P. Chakrabarti, Pallab Dasgupta
Venue: Proceedings of the 20th International Conference on VLSI Design held jointly with 6th International Conference: Embedded Systems (2007)

This paper proposes an accurate technique for computing critical delay of a circuit under a Bounded Delay Model. The Bounded Delay Model is better adapted to capture real time variations in the gate delays due to changes in operating conditions. But this jlexibility comes at a price, since the uncertainty in gate delays increases the complexity of the timing analysis problem greatly. But we have shown in this paper that using jixed delay timing analysis with worst case delay values for gates can potentially underestimate the critical delay of a circuit. We propose a SAT based methodology for timing analysis in a Bounded Delay framework which utilises the phenomenal speed and eficiency of modern SAT solvers, and report encouraging results on the ISCAS benchmark circuits.
The role of compatibility in the diffusion of technologies through social networks
Authors: Nicole Immorlica, Jon Kleinberg, Mohammad Mahdian, Tom Wexler
Venue: Proceedings of the 8th ACM conference on Electronic commerce (2007)

In many settings, competing technologies -- for example, operating systems, instant messenger systems, or document formats -- can be seen adopting a limited amount of compatibility with one another; in other words, the difficulty in using multiple technologies is balanced somewhere between the two extremes of impossibility and effortless interoperability. There are a range of reasons why this phenomenon occurs, many of which -- based on legal, social, or business considerations -- seem to defy concise mathematical models. Despite this, we show that the advantages of limited compatibility can arise in a very simple model of diffusion in social networks, thus offering a basic explanation for this phenomenon in purely strategic terms. Our approach builds on work on the diffusion of innovations in the economics literature, which seeks to model how a new technology A might spread through a social network of individuals who are currently users of technology B. We consider several ways of capturing the compatibility of A and B, focusing primarily on a model in which users can choose to adopt A, adopt B, or -- at an extra cost -- adopt both A and B. We characterize how the ability of A to spread depends on both its quality relative to B, and also this additional cost of adopting both, and find some surprising non-monotonicity properties in the dependence on these parameters: in some cases, for one technology to survive the introduction of another, the cost of adopting both technologies must be balanced within a narrow, intermediate range. We also extend the framework to the case of multiple technologies, where we find that a simple model captures the phenomenon of two firms adopting a limited "strategic alliance" to defend against a new, third technology.
Student progression in technological capability and understanding: a conceptual model for assessment
Authors: D. W. Field
Venue: Proceedings of the 30th Annual Frontiers in Education - Volume 01 (2000)

Summary form only given. An overview is presented of the design criteria used to guide conceptualization of a comprehensive assessment system. This system documents students' development of industrial technology and related skills/capabilities, affective outcomes and knowledge base. Design considerations that address departmental, university, and the degree candidates' needs are offered. Certifications of competence, longitudinal program performance documentation, and evolution of higher skill levels are all key aspects of the design. Constraints shaping the design are student test-taking time, grading time, conceptualization of target outcomes, and complexity of the subject matter.
Face Verification with Gabor Representation and Support Vector Machines
Authors: Yap Wooi Hen, Marzuki Khalid, Rubiyah Yusof
Venue: Proceedings of the First Asia International Conference on Modelling & Simulation (2007)

This paper investigates the intrinsic ability of Gabor representation and Support Vector Machines (SVM) in capturing discriminatory content for face verification task. The idea is to decompose a face image into different spatial frequencies (scales) and orientations where salient discriminant features may appear. Dimensionality reduction is adopted to create low dimensional feature vectors for more convenient processing. SVM is used to extract relevant information from this low dimensional training data in order to construct a robust client-specific classifier. This method has been tested with publicly available AT&T and BANCA datasets. In the BANCA experiments, it was observed that method consistently yields the lowest error rates in comparison with other methods for all seven test configurations. An equal error rate (EER) of 6.19% on the G configuration of BANCA dataset has been achieved.
An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing
Authors: T. Y. Chen, De Hao Huang, T. H. Tse, Zongyuan Yang
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Adaptive Random Testing (ART) is an effective improvement of Random Testing (RT) in the sense that fewer test cases are needed to detect the first failure. It is based on the observation that failure-causing inputs are normally clustered in one or more contiguous regions in the input domain. Hence, it has been proposed that test case generation should refer to the locations of successful test cases (those that do not reveal failures) to ensure that all test cases are far apart and evenly spread in the input domain. Distance-based ART and Restricted Random Testing are the first two previous attempts. However, test cases generated by these attempts are far apart but not necessarily evenly spread, since more test cases are generated near the boundary of the input domain. This paper analyzes the cause of this phenomenon and proposes an enhanced implementation based on the concept of virtual images of the successful test cases. The results of simulations show that the test cases generated by our enhanced implementation are not only far apart but also evenly spread in the input domain. Furthermore, the fault detection capability of ART for high-dimensional input domains is also enhanced.
The Role of Simulation and Modeling in Disaster Management
Authors: Duane Steward, Thomas T. Wan
Venue: Journal of Medical Systems (2007)

The threat of pandemic disaster has motivated many collaborative exercises for the purpose of preparation and evaluation. The nature of these exercises depends upon the status of pre-existing expectations for system behavior and the aims of the exercise stakeholders. The contents of this article argue that these exercises may be developed using the same approach as simulation modeling to advantage. Four levels of maturity are outlined as a guide to understanding reasonable expectations for such activity.
Design and Evaluation of a Metadata-Driven Adaptation Node
Authors: Michael Ransburg, Christian Timmerer, Hermann Hellwagner, Sylvain Devillers
Venue: Proceedings of the Eight International Workshop on Image Analysis for Multimedia Interactive Services (2007)

MPEG-21 Digital Item Adaptation (DIA) allows for a media codec agnostic multimedia adaptation approach which enables the implementation of generic adaptation engines. However, DIA is optimized for static, server-based adaptation. In this paper we introduce novel mechanisms to extend the DIA approach towards dynamic and distributed scenarios. This facilitates the placement of generic adaptation nodes which perform media codec agnostic and dynamic adaptation anywhere along the content delivery path. To validate our work we implemented such an adaptation node and evaluate its performance.
Grid Enablement of Applications Using Application Dependency Graph
Authors: Preethy Iyer, Aparna Nagargadde, Srividya Gopalan, V. Sridhar
Venue: Proceedings of the International Multi-Conference on Computing in the Global Information Technology (2007)

Grid enablement of existing applications has been a prime area of research in recent times and numerous solutions have been proposed in this regard. Grid enablement of an application involves conversion of a single (monolithic) application into a set of well coupled grid jobs and services, which can be deployed in a grid. Determining the optimum partitioning of an application is the cornerstone for efficient grid enablement. In this paper, we present the the process of abstracting applications as Application Structure Graphs (ASG) and also provide an in depth analysis of different application level dependencies that affect grid enablement. We also present an extensive study of the steps involved in grid enablement of a Java Application, with special attention to application profiling.
Timing Analysis of Sequential Circuits Using Symbolic Event Propagation
Authors: Arijit Mondal, P. P. Chakrabarti, Pallab Dasgupta
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

Accurate timing information of circuits is essential for high quality designs. This paper presents a symbolic event propagation based method to determine the critical delay of digital circuits. The proposed approach considers the effect of glitches, multiple transitions and simultaneous switching on the critical delay. Our method identifies and eliminates both combinational and sequential false paths. We also consider triggering of traditional combinational false paths due to multiple transitions. The mathematical formulation makes no assumption about the start state of the finite state machine extracted from the sequential circuit. Few approximate methods have been proposed to determine the upper bound of the critical delay. A complete BDD based implementation has been made. Results on ISCAS89 benchmark circuits are presented.
A Cyberforaging Infrastructure Based on Web Services
Authors: Haofan Liang, Hanan Lutfiyya
Venue: Proceedings of the Third International Conference on Autonomic and Autonomous Systems (2007)

Cyberforaging refers to the temporary extension of the computing resources of a mobile device with remote computing resources on a wired machine. This machine is referred to as a surrogate. This paper describes a cyberforaging architecture that focuses on surrogate discovery, load balancing and the use of web services to hide the heterogeneity of hardware and operating systems. A prototype is then presented followed by the lessons learned, discussion and future work.
'I Don't Trust the Phone; It Always Lies': Trust and Information and Communication Technologies in Tanzanian Micro- and Small Enterprises
Authors: Thomas Molony
Venue: Information Technologies and International Development (2007)

Despite its importance in African enterprise, the issue of “trust” is absent in information and communication technology for development scholarship. This article examines three case study subsectors of the Tanzanian economy to shed light on some of the complexities surrounding the sudden interface between traditional, established communication, and the increasing use of new information and communication technologies (ICTs). It seems from the case studies that, whereas mobile phones are indeed creating new forms of network in the twenty-first century, they are still far from being Africa's dominant form of network as Støvring (2004, 22) contends. The case studies reveal the overlap between social interaction and business in an African economy. Trust emerges as a common theme, and I discuss how important an issue it is in relation to the new form of communication that ICT provides for entrepreneurs in Africa. I suggest that, in relation to ICT in developing countries, trust might at this stage be separated from the more slippery concept of social capital that it is frequently associated with elsewhere. I then reflect on the implications of this for future research into ICT and its business and nonbusiness applications in developing countries. I conclude by suggesting that the need for direct, personal interaction through face-to-face contact---a traditional pre-ICT aspect of African business culture---is unlikely to change for some time.
Approximate performance analysis of resource allocation for real-time and non-real-time multiclass services in cellular systems
Authors: T. C. Wong, J. W. Mark, K. C. Chua
Venue: Proceedings of the The 8th International Conference on Communication Systems - Volume 02 (2002)

An approximate analytical formulation of the resource allocation problem for handling real- and nonreal-time multiclass services in a cellular system is presented. Real-time handoff connections that arrive when the channels are fully utilized are blocked while those for non-real-time handoff connections are queued. Each class has its own transmission bandwidth requirement. A complete sharing scheme is used for the resource sharing policy. All non-real-time handoff connections are queued in a buffer when there is no channel resource available. Guard channels are also considered in the model. Guard channels and a queue for non-real-time handoff connections help to achieve higher probabilities of successful handoff connections. The model is solved using a K-dimensional Markov chain. Connection and packet level quality of services (QoSs) are considered. The QoS performance metrics are connection blocking probability, system utilization and packet loss probability. Numerical results illustrate the handoff connection blocking probabilities drop by several orders by having queued non-real-time handoff connections and the total system utilization is only increased slightly. Numerical results illustrate that higher gain in system utilization is achieved through the joint optimization of connection/packet levels.
Design, Test, Integration and Packaging of MEMS/MOEMS 2003 (IEEE Cat. No.03EX713)
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

The following topics were dealt with: MEMS design and testing; mixed systems modelling; process simulation, test and fault analysis; MEMS modelling and simulation methodology; MEMS microfabrication, MEMS packaging; integrated processes and assembly for MEMS/MOEMS manufacturing; failure analysis and reliability. 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
MMSE multiuser detection in multipath fading channels
Authors: S. Buzzi
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

In this work, we propose an MMSE multiuser detector for asynchronous DS/CDMA systems operating over frequency-selective fading channels. It is shown that computation of a conditional MMSE estimate of the bit to be decoded may be carried out with a computational burden linear in the processing gain N. We also give a closed-form formula for the error probability and the near-far resistance of the proposed detector, and curves of such performance measures, showing that the new receiver is near-far resistant and outperforms the previously derived decorrelating detector for frequency-selective fading channels.
Book Reviews: Networks' Importance in Grids
Authors: Rita Puzmanova
Venue: IEEE Distributed Systems Online (2007)

A review of Grid Networks by Franco Travostino, Joe Mambretti, and Gigi Karmous-Edwards, eds.
Evaluation of Usability and Assessment Capabilities of an e-Learning System for Nursing Radiation Protection
Authors: Ioannis Hatzilygeroudis, Constantinos Koutsojannis, Nikolaos Papachristou
Venue: Proceedings of the Twentieth IEEE International Symposium on Computer-Based Medical Systems (2007)

In this paper, we present the initial evaluation of EX-COFALE, an extension to an existing open-source, web-based adaptive e-learning system, namely COFALE developed and used for web-based education on Radiation Protection in our Nursing Department. COFALE, although offers facilities for adaptive content presentation, adaptive use of pedagogical devices and adaptive communication, it lacks facilities for adaptive student assessment. EX-COFALE remedies this deficiency of COFALE by allowing for automated test creation and assessment based on the students' knowledge information. To technically achieve the above, expert systems technology is used. The system is currently used by the students of our Nursing Department and has been initially evaluated for usability of the e-learning environment and effectiveness the educational content management including assessment capabilities.
Modeling and estimation of mutual coupling in a uniform linear array of dipoles
Authors: T. Svantesson
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

The mutual coupling in a uniform linear array (ULA) of dipoles is calculated using basic electromagnetic concepts. Since the coupling often is unknown and needs to be estimated, a simpler model is proposed based on the electromagnetic analysis. The parameterization of this model is shown to be locally unambiguous. A necessary condition for the joint solution of directions and coupling parameters to be unique is also derived. Finally, the directions and coupling parameters are estimated using a maximum likelihood method. It is found that the simpler coupling model with just a few parameters well describes the full electromagnetic model.
Designing hybrid interaction through an understanding of the affordances of physical and digital technologies
Authors: Lucia Terrenghi
Venue: Proceedings of the 6th ACM SIGCHI conference on Creativity cognition (2007)

With my work I aim at informing the design of hybrid interaction paradigms for interactive surfaces that integrate aspects of the physical and digital worlds so that more conscious choices can be made about the extent to which the integration of specific aspects of physical interaction makes sense. I suggest that different contexts of interaction imply different ways of integrating aspects of physical manipulation and that the affordances of both physical and digital media need to be identified and systematically analyzed.
Sparse basis selection, ICA, and majorization: towards a unified perspective
Authors: K. Kreutz-Delgado
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 02 (1999)

Sparse solutions to the linear inverse problem Ax=Y and the determination of an environmentally adapted overcomplete dictionary (the columns of A) depend upon the choice of a "regularizing function" d(x) in several previously proposed procedures. We discuss the interpretation of d(x) within a Bayesian framework, and the desirable properties that "good" (i.e., sparsity ensuring) regularizing functions, d(x) might have. These properties are: Schur-concavity (d(x) is consistent with majorization); concavity (d(x) has sparse minima); parameterizability (d(x) is drawn from a large, parameterizable class); and factorizability of the gradient of d(x) in a certain manner. The last property (which naturally leads one to consider separable regularizing functions) allows d(x) to be efficiently minimized subject to Ax=Y using an affine scaling transformation (AST)-like algorithm "adapted" to the choice of d(x). A Bayesian framework allows the algorithm to be interpreted as an independent component analysis (ICA) procedure.
How to read a paper
Authors: S. Keshav
Venue: ACM SIGCOMM Computer Communication Review (2007)

Researchers spend a great deal of time reading research papers. However, this skill is rarely taught, leading to much wasted effort. This article outlines a practical and efficient three-pass method for reading research papers. I also describe how to use this method to do a literature survey.
A Capacitive Sensing Toolkit for Pervasive Activity Detection and Recognition
Authors: Raphael Wimmer, Matthias Kranz, Sebastian Boring, Albrecht Schmidt
Venue: Proceedings of the Fifth IEEE International Conference on Pervasive Computing and Communications (2007)

In this paper we present a toolkit for realizing capacitive sensing applications for human-computer interaction in pervasive computing systems. We argue that capacitive sensors - due to their unique properties - are well suited for many pervasive and ubiquitous computing applications and scenarios. We describe the CapToolKit designed to rapidly realize prototypes and systems that are able to detect the presence of humans and objects. Our toolkit also allows the integration of 3D interaction with everyday objects as well as instrumented environments. We illustrate its capabilities by presenting several applications implemented using Cap- ToolKit. The entire system will be open-sourced to allow utilization of our technology within other research projects. By building on the existing toolkit researchers are provided a foundation for developing their own sensor systems, algorithms, and applications.