ppxscal/embedding_network huggingface dataset:
Cross-checking and good scores go together: students shrug
Authors: D. W. Petr
Venue: Proceedings of the Frontiers in Education Conference, 2001. on 31st Annual - Volume 01 (2001)

Students can acquire greater confidence in their work by cross-checking their answers, but it seems that they seldom do so. Based on the premise that engineering instructors can and should be training students to acquire this skill as a habit, this paper reports on a one-semester experiment designed to provide substantial motivation for cross-checking and to measure how frequently students did so. In addition, evidence was gathered that establishes a positive correlation between good scores and crosschecking. Alas, despite continued emphasis throughout the term and updates on the correlation between cross-checking and good scores, the number of students who attempted to check their work remained remarkably low throughout the semester. The authors' results establish that time pressure is not a dominant reason that students do not check their answers. Implications of this puzzling resistance to (or apathy towards) cross-checking, possible reasons for it, and suggestions for combating it are discussed.
Thermodynamic database for analysis of the process of obtaining silicate building materials from natural raw material
Authors: P. A. Trubaev, P. V. Besedin
Venue: Cybernetics and Systems Analysis (2007)

A thermodynamic database is described that is oriented toward the analysis of chemical reactions, chemical compounds, and processes of production of silicate building materials. Its distinctive feature is the representation of chemical compounds and reactions in the form of string data with their subsequent syntactic analysis and automatic determination of the composition and masses of products of chemical reactions, taking into account the distinctive features of the representation of a composition of materials used in production engineering of building materials.
An approximation solution of a nonlinear equation with Riemann-Liouville's fractional derivatives by He's variational iteration method
Authors: S. Abbasbandy
Venue: Journal of Computational and Applied Mathematics (2007)

In this article, an application of He's variational iteration method is proposed to approximate the solution of a nonlinear fractional differential equation with Riemann-Liouville's fractional derivatives. Also, the results are compared with those obtained by Adomian's decomposition method and truncated series method. The results reveal that the method is very effective and simple.
Speech retrieval with video parsing for television news programs
Authors: H. M. Meng
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

We have been working on speech retrieval from Chinese (Cantonese) television news programs. The use of automatic speech recognition for audio indexing produces imperfect transcriptions, and recognition errors affect retrieval performance. A news story typically contains a brief report by the anchor person(s) in the studio, as well as news footage from the field. Investigation shows that our recognizer performs better when indexing audio from the studio, compared to that from the field. In order to automatically extract the "reliable" audio segments for speech retrieval, we attempt to detect studio-to-field transitions by means of video parsing. Our study is based on 146 news stories collected from local television Cantonese news programs. We formulated a known-item retrieval task and adopted the average inverse rank (AIR) as our evaluation metric. Retrieval is performed based on syllable bigram units, augmented with skipped syllable bigrams. Retrieval using the entire audio track of each news story gave AIR=0.759. With the incorporation of video parsing, we performed retrieval based only on the studio recordings, which produced AIR=0.768.
Statement Re-ordering for DOACROSS Loops
Authors: Ding-Kai Chen, Pen-Chung Yew
Venue: Proceedings of the 1994 International Conference on Parallel Processing - Volume 02 (1994)

In this paper, we propose a new statement reordering algorithm for DOACROSS loops that overcomes some of the problems in the previous schemes. The new algorithm uses a hierarchical approach to locate strongly dependent statement groups and to order these groups considering critical dependences. A new optimization problem, dependence covering maximization, which was not discussed before is also introduced. It is shown that this optimization problem is NP-complete, and a heuristic algorithm is incorporated in our algorithm. This new statement re-ordering scheme, combined with the dependence covering maximization, can be an important compiler optimization to parallelize loop structures for large scale coarse and fine grain parallelism.
Fischlar: an on-line system for indexing and browsing broadcast television content
Authors: N. E. O'Connor
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 2001. on IEEE International Conference - Volume 03 (2001)

This paper describes a demonstration system which automatically indexes broadcast television content for subsequent non-linear browsing. User-specified television programmes are captured in MPEG-1 format and analysed using a number of video indexing tools such as shot boundary detection, keyframe extraction, shot clustering and news story segmentation. A number of different interfaces have been developed which allow a user to browse the visual index created by these analysis tools. These interfaces are designed to facilitate users locating video content of particular interest. Once such content is located, the MPEG-1 bitstream can be streamed to the user in real-time. This paper describes both the high-level functionality of the system and the low-level indexing tools employed, as well as giving an overview of the different browsing mechanisms employed.
Security and dynamics in customer controlled virtual workspace organisation
Authors: Yuri Demchenko, Frank Siebenlist, Leon Gommans, Cees de Laat, David Groep, Oscar Koeroo
Venue: Proceedings of the 16th international symposium on High performance distributed computing (2007)

This paper proposes the security infrastructure for user-controlled Virtual Workspace Service (VWSS-UC) that comprises of three layers: trusted computing platform, secure virtualised workspace, and user aplication. The suggestions on the technology selection are provided for the first two layers: industry adopted Trusted Computing (TCG) platform, and Virtual Workspace Service (VWSS) developed in the framework of the Globus Toolkit. Solutions and implementation are proposed and discussed for the application authorisation session security context management. The paper is based on experiences gained from major Grid based projects such as EGEE, Globus Toolkit, and Phosphorus.
Systematic testing of an integrated systems model for coastal zone management using sensitivity and uncertainty analyses
Authors: T. G. Nguyen, J. L. de Kok
Venue: Environmental Modelling Software (2007)

Systematic testing of integrated systems models is extremely important but its difficulty is widely underestimated. The inherent complexity of the integrated systems models, the philosophical debate about the model validity and validation, the uncertainty in model inputs, parameters and future context and the scarcity of field data complicate model validation. This calls for a validation framework and procedures which can identify the strengths and weaknesses of the model with the available data from observations, the literature and experts' opinions. This paper presents such a framework and the respective procedure. Three tests, namely, Parameter-Verification, Behaviour-Anomaly and Policy-Sensitivity are selected to test a Rapid assessment Model for Coastal-zone Management (RaMCo). The Morris sensitivity analysis, a simple expert elicitation technique and Monte Carlo uncertainty analysis are used to facilitate these three tests. The usefulness of the procedure is demonstrated for two examples.
A Novel Adaptive Scheme to Improve the Performance of the IEEE 802.11n WLANs
Authors: Sangheetha Salai Parthasarathy, Qing-An Zeng
Venue: Proceedings of the 21st International Conference on Advanced Information Networking and Applications Workshops - Volume 02 (2007)

With the advent of the IEEE 802.11n standard , that uses Multiple Input Multiple Output (MIMO) technology at the physical layer, there has been awareness about harnessing the physical layer techniques to improve the performance of a Wireless Local Area Network (WLAN) system. Our proposed scheme adaptively changes the number of antennas and the modulation scheme based on the channel conditions and type of traffic. Dynamic frame aggregation at the MAC layer is also proposed based on the channel conditions. The proposed scheme shows marked overall system improvement in terms of throughput and lesser number of automatic repeat requests (ARQ), with better overall channel utilization.
A domain and type enforcement UNIX prototype
Authors: Lee Badger, Daniel F. Sterne, David L. Sherman, Kenneth M. Walker, Sheila A. Haghighat
Venue: Proceedings of the 5th conference on USENIX UNIX Security Symposium - Volume 5 (1995)

UNIX system security today often relies on correct operation of numerous privileged subsystems and careful attention by expert system administrators. In the context of global and possibly hostile networks, these traditional UNIX weaknesses raise a legitimate question about whether UNIX systems are appropriate platforms for processing and safeguarding important information resources. Domain and Type Enforcement (DTE) is an access control technology for partitioning host operating systems such as UNIX into access control domains. Such partitioning has promise both to enforce organizational security policies that protect special classes of information and to generically strengthen operating systems against penetration attacks. This paper reviews the primary DTE concepts, discusses their application to IP networks and NFS, and then describes the design and implementation of a DTE UNIX prototype system.
Assigned tasks are not the same as self-chosen Web search tasks
Authors: Daniel M. Russell, Carrie Grimes
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

Short assigned question-answering style tasks are often used as a probe to understand how users do search. While such assigned tasks are simple to test and are effective at eliciting the particulars of a given search capability, they are not the same as naturalistic searches. We studied the quantitative differences between assigned tasks and self-chosen "own" tasks finding that users behave differently when doing their own tasks, staying longer on the task, but making fewer queries and different kinds of queries overall. This finding implies that user's own tasks should be used when testing user behavior in addition to assigned tasks, which remain useful for feature testing in lab settings.
Fault-tolerant grid services
Authors: Keith Marzullo
Venue:  (2006)

My thesis investigates how to replicate services using the primary-backup approach in grid environments. First, the design of a primary-backup protocol using the OGSI grid standard and implementation based on Globus Toolkit 3 are presented, in order to evaluate the feasibility and performance of existing grid middlewares. Then an architecture of integrating the primary-backup replication with other techniques is proposed and evaluated. Finally, this thesis addressing the issue replicating services on asynchronous grid environments. The experiments on local clusters and PlanetLab show the protocols we proposed provide good performance for replicating grid services.
On-Line Construction of Two-Dimensional Suffix Trees in O(n2 log n) Time
Authors: Joong Chae Na, Raffaele Giancarlo, Kunsoo Park
Venue: Algorithmica (2007)

The two-dimensional suffix tree of an n &#x00d7; n square matrix A is a compacted trie that represents all square submatrices of A[11]. For the off-line case, i.e., A is given in advance to the algorithm, it is known how to build it in optimal time, for any type of alphabet size [11],[18]. Motivated by applications in Image Compression[22[, Giancarlo and Guaiana [14] considered the on-line version of the two-dimensional suffix tree and presented an O(n2 log2 n)-time algorithm, which we refer to as GG. That algorithm is a nontrivial generalization of Ukkonen's on-line algorithm for standard suffix trees [23]. The main contribution in this paper is an O(log n) factor improvement in the time complexity of the GG algorithm, making it optimal for unbounded alphabets [9]. Moreover, the ideas presented here also lead to a major simplification of the GG algorithm. Technically, we are able to preserve most of the structure of the original GG algorithm, by reducing a computational bottleneck to a primitive operation, i.e., comparison of Lcharacters, which is here implemented in constant time rather than O(log n) time as in GG. However, preserving that structure comes at a price. Indeed, in order to make everything work, we need a careful reorganization of another fundamental algorithm: Weiner's algorithm for the construction of standard suffix trees [24]. Specifically, here we provide a version of that algorithm which takes linear time and works on-line and concurrently over a set of strings.
Delivering Online Service: The Role of ICT
Authors: Mary Tate, Beverley Hope
Venue: Proceedings of the 40th Annual Hawaii International Conference on System Sciences (2007)

In this mini-track, we explore the role of ICT in customer service. Customer service quality is considered essential to customer satisfaction, customer retention and business success. The nature of service delivery is undergoing change. Customers are interfacing directly with ICT systems rather than dealing face to face. This change has created new challenges for businesses. Many businesses are now implementing a range of customer-centric e- CRM systems. By themselves, these initiatives are not enough to satisfy and retain customers. They need to be followed up by the delivery of quality online services, and supported by internal processes and resource systems.
Hands on software engineering: building a Java software engineering development environment
Authors: D. Shafer
Venue: Proceedings of the Frontiers in Education Conference, 2001. 31st Annual - Volume 02 (2001)

This paper describes the team and software engineering experiences of a group of undergraduate computer science students doing their final project class before graduation. The project was to build and deliver a Java software engineering development environment The students were organized into teams that had specific assignments to deliver portions of the product. The students established a Web page to track their progress and kept metrics on all of their effort. They defined and followed a software development life cycle. This was the first time these students had worked on a real deliverable product. The results of the semester long class was a bootable system running under Linux that is a complete Java software engineering development environment. It is being used today to drive a Web server and a shared development environment for a consulting organization and their clients. The final delivered cost, including the cost of the CDROM was less than $10.00. This team oriented, product focused class was successful in having the students demonstrate to themselves the value of software engineering disciplines and practices. 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
A Study of Different Kinds of Degradation in Printed Gurmukhi Script
Authors: M. K. Jindal, R. K. Sharma, G. S. Lehal
Venue: Proceedings of the International Conference on Computing: Theory and Applications (2007)

The performance of any OCR system heavily depends upon printing quality of the input document. Many OCRs have been designed which correctly identify fine printed documents both in Indian and foreign scripts. But little reported work has been found on the recognition of the degraded documents. The performance of standard machine printed OCR system working for fine printed documents decreases, if it is tested on degraded documents. The degradation in any document can be of many types. In this paper, we have identified different kinds of degradation available in printed Gurmukhi script. After identifying the different kinds of degradation, problems associated with each kind of degradation have been discussed; some possible solutions have also been discussed. This paper is extremely useful for researchers engaged in recognizing the degraded documents in any script, because same kinds of degradation can be found in most of the scripts of the world.
Emergency Alerts as RSS Feeds with Interdomain Authorization
Authors: Filippo Gioachin, Ravinder Shankesi, Michael J. May, Carl A. Gunter, Wook Shin
Venue: Proceedings of the Second International Conference on Internet Monitoring and Protection (2007)

Emergency alert systems typically demand push notification because of the infrequency of such events and the urgency of notifying parties about them. However, push notification systems like email have many limitations, such as susceptibility to SPAM and security vulnerabilities. We explore the idea of basing health alerts on RSS feeds, which are a polling-based notification system. Since emergency alerts may be restricted to parties like doctors or health administrators and may be drawn from diverse administrative domains, RSS for health alerts requires a mechanism for expressing and enforcing inter-domain access policies for feeds. In particular, we explore using Shibboleth, a federated identity system developed for use in universities, and an attribute-based policy language, to provide secure RSS for emergency alerts. We validate the approach by showing how it can be used to deliver CDC PHIN health alerts. Our experimental validation shows that, based on our design, existing server technologies can obtain acceptable throughput even with fairly complex and diverse access policies.
Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software
Authors: Xiaoying Bai, Shufang Lee, Yinong Chen
Venue: Proceedings of the 40th Annual Simulation Symposium (2007)

Simulation is proven to be an effective way for testing complex real-time hardware/software systems. However, simulation test data generation is a challenging issue which determines the efficiency in such testing. This paper proposed a data-driven mutation based approach for test data generation to address the unique requirements of real-time, input domain coverage, adaptability, and reliability. The architecture is designed to simulate the process for data sampling, transforming, packaging, and transmitting segments in an aerospace ground control system. Various mutant operators are defined for signal generation and data package generation to produce fault-sensitive inputs based on the system's fault pattern analysis. Mechanisms are defined to generate a large number of test cases by combination and composition of various data outputs from different dimensions to achieve a high coverage. A configuration mechanism is introduced to enable recomposition and re-combination of simulation components. The selective simulation testing method is discussed to improve test effectiveness. A case study shows that the proposed approach can achieve a high fault-coverage with a small number of effective test cases.
An HMM approach to text-prompted speaker verification
Authors: ChiWei Che
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1996. on Conference Proceedings., 1996 IEEE International Conference - Volume 02 (1996)

This paper presents a speaker recognition system based on hidden Markov models (HMM). The system utilizes concatenated phoneme HMMs and works in a text-prompted mode. Each registered speaker has a separate set of HMMs which are trained using the Baum-Welch algorithm. The speaker recognition system has been evaluated with the YOHO voice verification corpus in terms of both speaker verification and closed-set speaker identification. It is shown that by using 10 seconds of testing speech, an error rate of 0.09% for male and 0.29% for female are obtained for speaker identification with a total population of 138 talkers. For speaker verification, under the 0% false rejection condition, the system achieves a false acceptance rate of 0.09% for male and 0% for female. This paper also studies effects of various factors (such as the mixture number and cohort selection) on the performance of speaker recognition.
Meta-Pipeline: A New Execution Mechanism for Distributed Pipeline Processing
Authors: Shinichi Yamagiwa, Leonel Sousa, Tomas Brandao
Venue: Proceedings of the Sixth International Symposium on Parallel and Distributed Computing (2007)

The Caravela platform has been proposed by the authors of this paper to perform distributed stream-based computing on general purpose computation. This platform uses a secured execution unit called flow-model that prevents remote users to touch local information in a computer. The flow-model is assigned to local or remote processing units that execute its program. This paper is focused on a new execution mechanism that defines a pipeline composed by flow-models, called meta-pipeline, and is designed as a set of additional functions of the Caravela platform. The pipeline is executed automatically by the meta-pipeline runtime environment. This paper describes the execution mechanism and also presents an application example.
Soldered sealing process to assemble a protective cap for a MEMS CSP
Authors: Erik Jung, A. Ostmann, M. Wiemer, I. Kolesnik, M. Hutter
Venue: Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS (2003)

Capping and hermetic sealing of MEMS devices is a key factor in enabling them to be processed with further packaging steps like TO can, ceramic package or molded plastic. Aside from mounting a hermetic cap, the soldering of a front- and backside structured cap wafer allows as well to realize a chip scale package type of device protecting the internal MEMS structures and providing direct electrical interconnect structures for subsequent surface mount assembly, omitting additional packaging steps. In order to forego the cost and process issues around wafer feed through contacts, standard, established wire bond process is used to make a contact from the MEMS device to the backside structured cap wafer having a contact layer deposited on top. Solder balls terminate the electrical interconnects, allowing a seamless integration into a SMD compatible process. The paper presents the concept, the technical realization of this approach and the extension to a full wafer level chip scale MEMS package.
A new estimation technique for near-shore bathymetric measurements
Authors: S. Radhakrishnan Pillai
Venue: Proceedings of the Acoustics, Speech, and Signal Processing, 1999. on 1999 IEEE International Conference - Volume 05 (1999)

A new technique for depth estimation in airborne laser bathymetry is proposed. The technique involves the transmission of a nonlinear frequency-modulated signal, the detection of the signal reflected by the ocean, and its processing using an appropriate matched filter. On the basis of this technique, a receiver can be constructed that offers improved resolution between the signals reflected by the surface and bottom of the ocean which translates into improved accuracy of depth measurement. 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