6504247
Hardware Diagnosis as Program Debugging
Horn clauses provide a useful framework for writing executable structural representations for digital circuits. This paper discusses how these representations can be used to diagnose faulty circuits using algorithmic program debugging techniques developed by Shapiro. The sound theoretical basis of these techniques is one of the major advantages of this approach. This framework also provides a new perspective on some of the hardware diagnosis techniques suggested in the literature.
6190398
Time Representation in Prolog Circuit Modelling
This paper is an examination of some issues in domain ontology and of various knowledge representation techniques for the temporal modelling of digital electronic circuits in Prolog. It should serve as an example of the advantages of such analysis, an area of relative neglect within the logic programming community.
32641793
Document Summarization using Wikipedia
Although most of the developing world is likely to first access the Internet through mobile phones, mobile devices are constrained by screen space, bandwidth and limited attention span. Single document summarization techniques have the potential to simplify information consumption on mobile phones by presenting only the most relevant information contained in the document. In this paper we present a language independent single-document summarization method. We map document sentences to semantic concepts in Wikipedia and select sentences for the summary based on the frequency of the mapped-to concepts. Our evaluation on English documents using the ROUGE package indicates our summarization method is competitive with the state of the art in single document summarization.
18770378
A new model for the recovery of cylindrical structures from medical image data
We introduce a novel analytic model formulation for recovering cylindrical structures (e.g., blood vessels) from segmented 3-D medical image data. Unlike all previous formulations, our model is capable of describing a cylinder with an arbitrary spine (a space curve based on cubic B-splines) and arbitrary cross section which is guaranteed to be orthogonal to the spine. Given this expressiveness, we are able to provide a second order continuous approximation to the centerline of nearly any tubular object. This information may be used for such tasks as a reformatting of the original image data in order to visually detect stenoses or aneurysms. In addition, the cross-section parameter values of our model may aid in automatically isolating these regions. We maintain a relatively simple cross-section function to make this detection straightforward (note that any cross-section function is possible). To describe fine detail in the data, we employ local finite element deformations from the model surface. Thus we are able to recover gross geometric approximations as well as quantify characteristics of the object such as its surface area. We apply our model to the recovery of both a healthy and diseased aorta from segmented CT acquisitions.
5989555
Enhanced Business Intelligence using EROCS
The EROCS technology automatically links unstructured data with relevant structured data from an external relational database. We demonstrate how EROCS can be used for enhancing business intelligence by allowing OLAP tools to analyze structured and unstructured data in a consolidated manner. Our demonstration showcases the use of EROCS in exploiting latent information in customer emails, which helps in building a complete view of the customer. This results in new insights about the business which are not possible with the existing state of the art.
8269092
Color and texture fusion: application to aerial image segmentation and GIS updating
Abstract This paper describes a new algorithm for combining color and texture information for the segmentation of color images. The algorithm uses maximum likelihood classification combined with a certainty based fusion criterion. The algorithm was validated using mosaics of real color textures. It was also tested on real outdoor color scenes and aerial images. This algorithm is part of a more complex system, which is currently being designed to assist an operator in updating an old map of an area using aerial images.
5555268
User Heterogeneity and its Impact on Electronic Auction Market Design: An Empirical Exploration1Research Essays
While traditional information systems research emphasizes understanding of end users from perspectives such as cognitive fit and technology acceptance, it fails to consider the economic dimensions of their interactions with a system. When viewed as economic agents who participate in electronic markets, it is easy to see that users' preferences, behaviors, personalities, and ultimately their economic welfare are intricately linked to the design of information systems. We use a data-driven, inductive approach to develop a taxonomy of bidding behavior in online auctions. Our analysis indicates significant heterogeneity exists in the user base of these representative electronic markets. Using online auction data from 1999 and 2000, we find a stable taxonomy of bidder behavior containing five types of bidding strategies. Bidders pursue different bidding strategies that, in aggregate, realize different winning likelihoods and consumer surplus. We find that technological evolution has an impact on bidders' strategies. We demonstrate how the taxonomy of bidder behavior can be used to enhance the design of some types of information systems. These enhancements include developing user-centric bidding agents, inferring bidders' underlying valuations to facilitate real-time auction calibration, and creating low-risk computational platforms for decision making.
321445
Detection of Masquerade Attacks on Wireless Sensor Networks
We propose two lightweight techniques to detect masquerade attacks on wireless sensor networks (WSN). Our solutions take into consideration, important WSN properties like coverage, connectivity, data aggregation and specific communication patterns. The two proposed techniques complement each other when used concurrently. The mutual guarding (MG) technique does not work when nodes are not completely covered by their neighbors or when adversary has shorter transmission range than the sensor nodes. It also does not protect nodes near the boundary. The SRP technique does not have these drawbacks. In this paper, we present our proposed techniques and analyze their performance in terms of successful masquerade detection rate and traffic and computational overhead.