Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network™

Open Access. Powered by Scholars. Published by Universities.®

2008

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 2071 - 2100 of 13197

Full-Text Articles in Entire DC Network

Meeting Academic Needs For Information: A Customer Service Approach, E. Stewart Saunders Oct 2008

Meeting Academic Needs For Information: A Customer Service Approach, E. Stewart Saunders

Libraries Research Publications

Should academic libraries seek to improve general satisfaction with their services, or are some services more important than others? This article asserts that faculty and students mainly want information resources. The research analyzes LibQual+TM data to determine which other library resources contribute to information satisfaction among users. The conclusion is that access mechanisms are very important predictors of information resource satisfaction, but library facilities and library staff are negligible predictors. This is true across different groups of users.

Go to article

Sacred Heart University Fact Sheet - Fall 2008, Office Of Institutional Research Oct 2008

Sacred Heart University Fact Sheet - Fall 2008, Office Of Institutional Research

News, Magazines and Reports

No abstract provided.

Go to article

Specifying And Verifying Event-Based Fairness Enhanced Systems, Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang Oct 2008

Specifying And Verifying Event-Based Fairness Enhanced Systems, Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang

Research Collection School Of Computing and Information Systems

Liveness/Fairness plays an important role in software specification, verification and development. Existing event-based compositional models are safety-centric. In this paper, we describe a framework for systematically specifying and verifying event-based systems under fairness assumptions. We introduce different event annotations to associate fairness constraints with individual events. Fairness annotated events can be used to embed liveness/fairness assumptions in event-based models flexibly and naturally. We show that state-of-the-art verification algorithms can be extended to verify models under fairness assumptions, with little computational overhead. We further improve the algorithm by other model checking techniques like partial order reduction. A toolset named Pat has …

Go to article

Specifying And Verifying Sensor Networks: An Experiment Of Formal Methods, Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang Oct 2008

Specifying And Verifying Sensor Networks: An Experiment Of Formal Methods, Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang

Research Collection School Of Computing and Information Systems

With the development of sensor technology and electronic miniaturization, wireless sensor networks have shown a wide range of promising applications as well as challenges. Early stage sensor network analysis is critical, which allows us to reveal design errors before sensor deployment. Due to their distinguishable features, system specification and verification of sensor networks are highly non-trivial tasks. On the other hand, numerous formal theories and analysis tools have been developed in formal methods community, which may offer a systematic method for formal analysis of sensor networks. This paper presents our attempt on applying formal methods to sensor network specification/verification. An …

Go to article

Model Checking Csp Revisited: Introducing A Process Analysis Toolkit, Jun Sun, Yang Liu, Jin Song Dong Oct 2008

Model Checking Csp Revisited: Introducing A Process Analysis Toolkit, Jun Sun, Yang Liu, Jin Song Dong

Research Collection School Of Computing and Information Systems

FDR, initially introduced decades ago, is the de facto analyzer for Communicating Sequential Processes (CSP). Model checking techniques have been evolved rapidly since then. This paper describes PAT, i.e., a process analysis toolkit which complements FDR in several aspects. PAT is designed to analyze event-based compositional system models specified using CSP as well as shared variables and asynchronous message passing. It supports automated refinement checking, model checking of LTL extended with events, etc. In this paper, we highlight how partial order reduction is applied to improve refinement checking in PAT. Experiment results show that PAT outperforms FDR in some cases.

Go to article

Determining The Number Of Bp Neural Network Hidden Layer Units, Huayu Shen, Zhaoxia Wang, Chengyao Gao, Juan Qin, Fubin Yao, Wei Xu Oct 2008

Determining The Number Of Bp Neural Network Hidden Layer Units, Huayu Shen, Zhaoxia Wang, Chengyao Gao, Juan Qin, Fubin Yao, Wei Xu

Research Collection School Of Computing and Information Systems

This paper proposed an improved method to contrapose the problem which is difficult to determine the number of BP neural network hidden layer units. it is proved that the method is efficeient in reducing the frequency of the test through experients, and improves the efficiency of determining the best number of hidden units, which is more valuable in the applications.

Go to article

Recursive Pattern Based Hybrid Supervised Training, Kiruthika Ramanathan, Sheng Uei Guan Oct 2008

Recursive Pattern Based Hybrid Supervised Training, Kiruthika Ramanathan, Sheng Uei Guan

Research Collection School Of Computing and Information Systems

We propose, theorize and implement the Recursive Pattern-based Hybrid Supervised (RPHS) learning algorithm. The algorithm makes use of the concept of pseudo global optimal solutions to evolve a set of neural networks, each of which can solve correctly a subset of patterns. The pattern-based algorithm uses the topology of training and validation data patterns to find a set of pseudo-optima, each learning a subset of patterns. It is therefore well adapted to the pattern set provided. We begin by showing that finding a set of local optimal solutions is theoretically equivalent, and more efficient, to finding a single global optimum …

Go to article

Spatio-Temporal Efficiency In A Taxi Dispatch System, Darshan Santani, Rajesh Krishna Balan, C. Jason Woodard Oct 2008

Spatio-Temporal Efficiency In A Taxi Dispatch System, Darshan Santani, Rajesh Krishna Balan, C. Jason Woodard

Research Collection School Of Computing and Information Systems

In this paper, we present an empirical analysis of the GPS-enabled taxi dispatch system used by the world’s second largest land transportation company. We first summarize the collective dynamics of the more than 6,000 taxicabs in this fleet. Next, we propose a simple method for evaluating the efficiency of the system over a given period of time and geographic zone. Our method yields valuable insights into system performance—in particular, revealing significant inefficiencies that should command the attention of the fleet operator. For example, despite the state of the art dispatching system employed by the company, we find imbalances in supply …

Go to article

Who Can Help Me With This Source Code Change, Huzefa Kagdi, Maen Hammad, Jonathan I. Maletic Oct 2008

Who Can Help Me With This Source Code Change, Huzefa Kagdi, Maen Hammad, Jonathan I. Maletic

Computer Science Faculty Research & Creative Works

An approach to recommend a ranked list of developers to assist in performing software changes to a particular file is presented. The ranking is based on change expertise, experience, and contributions of developers, as derived from the analysis of the previous commits involving the specific file in question. The commits are obtained from a software system's version control repositories (e.g., Subversion). The basic premise is that a developer who has substantially contributed changes to specific files in the past is likely to best assist for their current or future change. Evaluation of the approach on a number of open source …

Go to article

Impacts Of Information And Communication Technologies On Country Development: Accounting For Area Interrelationships, Robert J. Kauffman, Ajay Kumar Oct 2008

Impacts Of Information And Communication Technologies On Country Development: Accounting For Area Interrelationships, Robert J. Kauffman, Ajay Kumar

Research Collection School Of Computing and Information Systems

Single-item composite indices gauge ICT readiness at the country level but do not represent the direct impact of ICTs on a country's development. This paper describes a new approach to measuring the macrolevel impacts of ICTs across a range of development areas. The indirect effects of one area on others is taken into consideration by a simultaneous equation model that permits the inclusion of multiple development areas. The model is applied to data pertaining to four development areas in 64 countries: trade flows, agricultural productivity, R&D, and quality of life. ICT readiness is found to have a positive association with …

Go to article

Ontology Enhanced Web Image Retrieval: Aided By Wikipedia And Spreading Activation Theory, Huan Wang, Xing Jiang, Liang-Tien Chia, Ah-Hwee Tan Oct 2008

Ontology Enhanced Web Image Retrieval: Aided By Wikipedia And Spreading Activation Theory, Huan Wang, Xing Jiang, Liang-Tien Chia, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Ontology, as an efective approach to bridge the semantic gap in various domains, has attracted a lot of interests from multimedia researchers. Among the numerous possibilities enabled by ontology, we are particularly interested in exploiting ontology for a better understanding of media task (particularly, images) on the World Wide Web. To achieve our goal, two open issues are inevitably involved: 1) How to avoid the tedious manual work for ontology construction? 2) What are the effective inference models when using an ontology? Recent works about ontology learned from Wikipedia has been reported in conferences targeting the areas of knowledge management …

Go to article

Selection Of Concept Detectors For Video Search By Ontology-Enriched Semantic Spaces, Xiao-Yong Wei, Chong-Wah Ngo, Yu-Gang Jiang Oct 2008

Selection Of Concept Detectors For Video Search By Ontology-Enriched Semantic Spaces, Xiao-Yong Wei, Chong-Wah Ngo, Yu-Gang Jiang

Research Collection School Of Computing and Information Systems

This paper describes the construction and utilization of two novel semantic spaces, namely Ontology-enriched Semantic Space (OSS) and Ontology-enriched Orthogonal Semantic Space (OS2), to facilitate the selection of concept detectors for video search. These two semantic spaces are enriched with ontology knowledge, while emphasizing consistent and uniform comparison of ontological relatedness among concepts for query-to-concept mapping. OS2, in addition to being a linear space like OSS, also guarantees orthogonality of the semantic space. Compared with other ontology reasoning measures, both spaces are capable of providing platforms that offer a global view of concept inter-relatedness, by allowing evaluation of concept similarity …

Go to article

Accelerating Near-Duplicate Video Matching By Combining Visual Similarity And Alignment Distortion, Hung-Khoon Tan, Xiao Wu, Chong-Wah Ngo, Wan-Lei Zhao Oct 2008

Accelerating Near-Duplicate Video Matching By Combining Visual Similarity And Alignment Distortion, Hung-Khoon Tan, Xiao Wu, Chong-Wah Ngo, Wan-Lei Zhao

Research Collection School Of Computing and Information Systems

In this paper, we investigate a novel approach to accelerate the matching of two video clips by exploiting the temporal coherence property inherent in the keyframe sequence of a video. Motivated by the fact that keyframe correspondences between near-duplicate videos typically follow certain spatial arrangements, such property could be employed to guide the alignment of two keyframe sequences. We set the alignment problem as an integer quadratic programming problem, where the cost function takes into account both the visual similarity of the corresponding keyframes as well as the alignment distortion among the set of correspondences. The set of keyframe-pairs found …

Go to article

Ontology-Based Visual Word Matching For Near-Duplicate Retrieval, Yu-Gang Jiang, Chong-Wah Ngo Oct 2008

Ontology-Based Visual Word Matching For Near-Duplicate Retrieval, Yu-Gang Jiang, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

This paper proposes a novel approach to exploit the ontological relationship of visual words by linguistic reasoning. A visual word ontology is constructed to facilitate the rigorous evaluation of linguistic similarity across visual words. The linguistic similarity measurement enables cross-bin matching of visual words, compromising the effectiveness and speed of conventional keypoint matching and bag-of-word approaches. A constraint EMD is proposed and experimented to efficiently match visual words. Empirical findings indicate that the proposed approach offers satisfactory performance to near-duplicate retrieval, while still enjoying the merit of speed efficiency compared with other techniques.

Go to article

Video Event Detection Using Motion Relativity And Visual Relatedness, Feng Wang, Yu-Gang Jiang, Chong-Wah Ngo Oct 2008

Video Event Detection Using Motion Relativity And Visual Relatedness, Feng Wang, Yu-Gang Jiang, Chong-Wah Ngo

Research Collection School Of Computing and Information Systems

Event detection plays an essential role in video content analysis. However, the existing features are still weak in event detection because: i) most features just capture what is involved in an event or how the event evolves separately, and thus cannot completely describe the event; ii) to capture event evolution information, only motion distribution over the whole frame is used which proves to be noisy in unconstrained videos; iii) the estimated object motion is usually distorted by camera movement. To cope with these problems, in this paper, we propose a new motion feature, namely Expanded Relative Motion Histogram of Bag-ofVisual-Words …

Go to article

A Taxing Statute: Costly Conjuncts And Their Logical Fallout, Timothy Deering Oct 2008

A Taxing Statute: Costly Conjuncts And Their Logical Fallout, Timothy Deering

Cardozo Public Law, Policy & Ethics Journal

The note critiques the judicial interpretation of the Telephone Excise Tax statute, arguing that courts misapplied the conjunction "and" and the term "varies," leading to flawed rulings. It contends that "and" should not always be interpreted as requiring both conditions (conjunctive) but can sometimes mean "or" (disjunctive) in legal contexts. The author emphasizes the importance of logical precision in statutory interpretation to prevent inconsistent outcomes and unintended financial consequences, such as significant revenue losses for the government.

Go to article

The Bca Report, V. 12, Fall 2008, Black Colleagues Association, Alumni Engagement Oct 2008

The Bca Report, V. 12, Fall 2008, Black Colleagues Association, Alumni Engagement

Black Colleagues Association Report

Annual newsletter of the Black Colleagues Association, an association of Black Illinois State University alumni.

Go to article

2008 Fall Nutshell, Morehead State University. Institutional Research & Analysis. Oct 2008

2008 Fall Nutshell, Morehead State University. Institutional Research & Analysis.

Office of Institutional Research & Analysis Publication Archive

Fall 2008 issue of the Nutshell.

Go to article

Death By A Thousand Cases: After Booker, Rita, And Gall, The Guidelines Still Violate The Sixth Amendment, David C. Holman Oct 2008

Death By A Thousand Cases: After Booker, Rita, And Gall, The Guidelines Still Violate The Sixth Amendment, David C. Holman

William & Mary Law Review

No abstract provided.

Go to article

Tempest In An Empty Teapot: Why The Constitution Does Not Regulate Gerrymandering, Larry Alexander, Saikrishna B. Prakash Oct 2008

Tempest In An Empty Teapot: Why The Constitution Does Not Regulate Gerrymandering, Larry Alexander, Saikrishna B. Prakash

William & Mary Law Review

Judges and scholars are convinced that the Constitution forbids gerrymandering that goes "too far"--legislative redistrictings that are too partisan, too focused on race, etc. Gerrymanders are said to be unconstitutional for many reasons-they dilute votes, they are anti-democratic, and they generate uncompetitive elections won by extremist candidates. Judges and scholars cite numerous clauses that gerrymanders supposedly violate- the Equal Protection Clause, the Guarantee Clause, and even the First Amendment. We dissent from this orthodoxy. Most of these claims rest on the notion that the Constitution establishes certain ideals about representation in legislatures and about the outcome and conduct of elections. …

Go to article

2008 (Fall) Ensi Informer Magazine, Morehead State University. Engineering Sciences Department Oct 2008

2008 (Fall) Ensi Informer Magazine, Morehead State University. Engineering Sciences Department

ENSI Informer Magazine Archive

The ENSI Informer Magazine published in the fall of 2008.

Go to article

Wrl Newsletter October 2008, Maryke Barber Oct 2008

Wrl Newsletter October 2008, Maryke Barber

WRL Newsletters

No abstract provided.

Go to article

Emeritus Lawsuits: Much Ado About Nothing?, Robert M. Jarvis Oct 2008

Emeritus Lawsuits: Much Ado About Nothing?, Robert M. Jarvis

Nevada Law Journal

No abstract provided.

Go to article

An Agent-Based Combat Simulation Framework In Support Of Effect-Based And Net-Centric Evaluation, Robert Joseph Bowen Oct 2008

An Agent-Based Combat Simulation Framework In Support Of Effect-Based And Net-Centric Evaluation, Robert Joseph Bowen

Computational Modeling & Simulation Engineering Theses & Dissertations

The use of information technologies (IT) and information networks has proliferated in industry as a method to achieve competitive advantage. The U.S. Military and its allies, in recent years, have employed IT to improve the way they conduct operations, speed decision making, and increase the span of control of commanders. This has resulted in a fundamental shift in the way military commanders employ combat units today. These (Information Age) forces no longer have to be able to see each other or even communicate directly in order to synchronize maneuvers. Dispersion is now favored over mass, relying on the IT network …

Go to article

Spatial Analyses And Repletion Of Gargathy Coastal Lagoon, Loreto Herraiz Gomez Oct 2008

Spatial Analyses And Repletion Of Gargathy Coastal Lagoon, Loreto Herraiz Gomez

OES Theses and Dissertations

Coastal lagoons and bays vary in shape and size in response to antecedent topography, geologic processes and sea level rise. Variations in shape and environmental conditions of coastal basins are believed to influence the distribution of benthic sub-environments and the exchange of water with the ocean and other adjacent coastal systems. Gargathy Inlet and its coastal lagoon vary spatially from the inlet, where the greatest depths are observed, to the mainland, dominated by shallow intertidal areas, colonized by marsh. Hypsographic and hydro-hypsographic analyses of Gargathy's coastal lagoon were the primary techniques applied to understand the relative distribution of the benthic …

Go to article

Virtualization Of Physical Experiments Using Real-Time Data Generation From A Computational Fluid Dynamics Code, Kaustubh A. Dharwadkar Oct 2008

Virtualization Of Physical Experiments Using Real-Time Data Generation From A Computational Fluid Dynamics Code, Kaustubh A. Dharwadkar

Mechanical & Aerospace Engineering Theses & Dissertations

This work presents a methodology for mapping physical experiments into real-time, web-based virtual experiments. The four broad elements included in the physical-to-virtual experiment transformation methodology are: (a) computer solution of conservation equations of mass and momentum to generate velocity and pressure (virtual) data that serve as the foundation for recreating the physical phenomenon in the virtual domain; (b) use of virtual pressure and velocity sensing devices to generate signals or readings from computed virtual data that can be observed and read on a computer screen; (c) use of visualization software such as Macromedia FLASH to create a highly interactive environment …

Go to article

The Dirt On International Environmental Law Regarding Soils: Is The Existing Regime Adequate?, Alexandra M. Wyatt Oct 2008

The Dirt On International Environmental Law Regarding Soils: Is The Existing Regime Adequate?, Alexandra M. Wyatt

Duke Environmental Law & Policy Forum

No abstract provided.

Go to article

Si Cycle In The Cariaco Basin, Venezuela: Seasonal Variability In Silicate Availability And The Si:C:N Composition Of Sinking Particles, Robert Thunell, Claudia R. Benitez-Nelson, Frank Muller-Karger, Laura Lorenzoni, Kent Fanning, Mary Scranton, Ramon Varela, Yrene Astor Oct 2008

Si Cycle In The Cariaco Basin, Venezuela: Seasonal Variability In Silicate Availability And The Si:C:N Composition Of Sinking Particles, Robert Thunell, Claudia R. Benitez-Nelson, Frank Muller-Karger, Laura Lorenzoni, Kent Fanning, Mary Scranton, Ramon Varela, Yrene Astor

Faculty Publications

[1] A 9‐year time series of water column and sediment trap measurements was used to examine silicon cycling within the anoxic Cariaco Basin. The dynamic hydrographic regime within Cariaco Basin results in strong seasonal changes in nutrient availability and the Si:C:N of sinking particles. Upwelling in early winter injects silicic acid (Si(OH)4= ) and nitrate (NO3−) rich waters into the photic zone which stimulates primary production and results in opal fluxes in excess of 4 mmol Si m−2 d−1. However, even during upwelling, surface waters tend to be depleted (μM) in both Si(OH)4= and NO3− as a result …

Go to article

Supplementary Text To Accompany “Cell Groups Reveal Structure Of Stimulus Space”, Carina Curto, Vladimir Itskov Oct 2008

Supplementary Text To Accompany “Cell Groups Reveal Structure Of Stimulus Space”, Carina Curto, Vladimir Itskov

Department of Mathematics: Faculty Publications

Here we present a brief exposition of some material from algebraic topology that we use in our methods. We include it for completeness, as it may not be familiar for many readers. In particular, we define simplicial complexes, simplicial homology groups, and state the theorem cited in the Results section. See [Bott and Tu, 1982, Ewald, 1996, Hatcher, 2002] for more details.

Go to article

Distributed Pre-Computation For A Cryptanalytic Time-Memory Trade-Off, Michael S. Taber Oct 2008

Distributed Pre-Computation For A Cryptanalytic Time-Memory Trade-Off, Michael S. Taber

Theses

Cryptanalytic tables often play a critical role in decryption efforts for ciphers where the key is not known. Using a cryptanalytic table allows a time-memory tradeoff attack in which disk space or physical memory is traded for a shorter decryption time. For any N key cryptosystem, potential keys are generated and stored in a lookup table, thus reducing the time it takes to perform cryptanalysis of future keys and the space required to store them. The success rate of these lookup tables varies with the size of the key space, but can be calculated based on the number of keys …

Go to article

First Prev Next Last