Search
Now showing items 71-80 of 101
Analogical Retrieval via Intermediate Features: The Goldilocks Hypothesis
(2006-11-07)
Analogical reasoning has been implicated in many important cognitive processes, such as learning, categorization, planning, and understanding natural language. Therefore, to obtain a full understanding of these processes, ...
A Fast Approximation of the Bilateral Filter using a Signal Processing Approach
(2006-11-09)
The bilateral filter is a nonlinear filter that smoothes a signal while preserving strong edges. It has demonstrated great effectiveness for a variety of problems in computer vision and computer graphics, and fast versions ...
On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
(2006-11-09)
This paper presents our integration of efficient resolution-based theorem provers into the Jahob data structure verification system. Our experimental results show that this approach enables Jahob to automatically ...
Context-based Visual Feedback Recognition
(2006-11-15)
During face-to-face conversation, people use visual feedback (e.g.,head and eye gesture) to communicate relevant information and tosynchronize rhythm between participants. When recognizing visualfeedback, people often rely ...
Quantitative Information-Flow Tracking for C and Related Languages
(2006-11-17)
We present a new approach for tracking programs' use of data througharbitrary calculations, to determine how much information about secretinputs is revealed by public outputs. Using a fine-grained dynamicbit-tracking ...
Implementing Atomic Data through Indirect Learning in Dynamic Network
(2006-10-12)
Developing middleware services for dynamic distributed systems, e.g., ad-hoc networks, is a challenging task given that suchservices must deal with communicating devices that may join and leave the system, and fail or ...
On the Adaptive Real-Time Detection of Fast-Propagating Network Worms
(2006-11-10)
We present two light-weight worm detection algorithms thatoffer significant advantages over fixed-threshold methods.The first algorithm, RBS (rate-based sequential hypothesis testing)aims at the large class of worms that ...
Scoop: An Adaptive Indexing Scheme for Stored Data in Sensor Networks
(2006-11-27)
In this paper, we present the design of Scoop, a system for indexing and querying stored data in sensor networks. Scoop works by collecting statistics about the rate of queries and distribution of sensor readings over a ...
Materialization Strategies in a Column-Oriented DBMS
(2006-11-27)
There has been renewed interest in column-oriented database architectures in recent years. For read-mostly query workloads such as those found in data warehouse and decision support applications, ``column-stores'' have ...
Endogenous contagion – a panel data analysis
(CFAP, Cambridge Judge Business School, University of Cambridge, 2006)
This paper proposes a panel data model to analyze contagion in a multivariate framework. The model distinguishes between vulnerability and contagion, and provides a time series of contagion. The most important feature of ...