Results 1  10
of
11,755
Neural Network with Fixed Size Momentum
"... Musical genres are defined as categorical labels that auditors use to characterize pieces of music sample. A musical genre can be characterized by a set of common perceptive parameters. An automatic genre classification would actually be very helpful to replace or complete human genre annotation, wh ..."
Abstract
 Add to MetaCart
, which is actually used. Neural networks have found overwhelming success in the area of pattern recognition. The standard back propagation algorithm is used for training network with fixed learning rate. This paper classifies music into genres using improved neural network with fixed size momentum
Breaking and Fixing the NeedhamSchroeder PublicKey Protocol using FDR
, 1996
"... In this paper we analyse the well known NeedhamSchroeder PublicKey Protocol using FDR, a refinement checker for CSP. We use FDR to discover an attack upon the protocol, which allows an intruder to impersonate another agent. We adapt the protocol, and then use FDR to show that the new protocol is s ..."
Abstract

Cited by 719 (13 self)
 Add to MetaCart
is secure, at least for a small system. Finally we prove a result which tells us that if this small system is secure, then so is a system of arbitrary size. 1 Introduction In a distributed computer system, it is necessary to have some mechanism whereby a pair of agents can be assured of each other
Deciding Fixed and Nonfixed Size Bitvectors
, 1998
"... We develop a new, efficient, and compact decision procedure for fixed size bitvectors with bitwise boolean operations. The algorithm is designed such that it can also decide some common cases of parameterized (nonfixed) size. To handle even more parameterized cases for bitvectors without bitwis ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
We develop a new, efficient, and compact decision procedure for fixed size bitvectors with bitwise boolean operations. The algorithm is designed such that it can also decide some common cases of parameterized (nonfixed) size. To handle even more parameterized cases for bitvectors without bit
On the Resemblance and Containment of Documents
 In Compression and Complexity of Sequences (SEQUENCES’97
, 1997
"... Given two documents A and B we define two mathematical notions: their resemblance r(A, B)andtheircontainment c(A, B) that seem to capture well the informal notions of "roughly the same" and "roughly contained." The basic idea is to reduce these issues to set intersection probl ..."
Abstract

Cited by 506 (6 self)
 Add to MetaCart
problems that can be easily evaluated by a process of random sampling that can be done independently for each document. Furthermore, the resemblance can be evaluated using a fixed size sample for each document.
Detection and Tracking of Point Features
 International Journal of Computer Vision
, 1991
"... The factorization method described in this series of reports requires an algorithm to track the motion of features in an image stream. Given the small interframe displacement made possible by the factorization approach, the best tracking method turns out to be the one proposed by Lucas and Kanade i ..."
Abstract

Cited by 629 (2 self)
 Add to MetaCart
in 1981. The method defines the measure of match between fixedsize feature windows in the past and current frame as the sum of squared intensity differences over the windows. The displacement is then defined as the one that minimizes this sum. For small motions, a linearization of the image intensities
Dynamic Routing on Networks with FixedSize Buffers
 In Proc. of the 14th ann. ACMSIAM Symposium on Discrete Algorithms
, 2003
"... William Aiello Rafail Ostrovsky Eyal Kushilevitz Adi Ros'en Abstract The combination of the buffer size of routers deployed in the Internet and the Internet traffic itself leads routinely to routers dropping packets. Motivated by this, we initiate the rigorous study of dynamic storean ..."
Abstract

Cited by 22 (1 self)
 Add to MetaCart
control protocols using a competitive analysis of the throughput. One goal of our approach is for the competitive results to continue to hold as a network grows without requiring the memory in the nodes to increase with the size of the network. Thus, in our model, we have link buffers of fixed size, B, which
Regular Partitioning for synthesizing fixedsize systolic arrays
 Integration, The VLSI Journal
, 1991
"... Extending the projection method for the synthesis of systolic arrays, we present a procedure for the design of fixedsize systolic arrays using a technique called "locally sequential globally parallel" (LSGP) partitioning. Our main result, which gives a necessary and sufficient condition t ..."
Abstract

Cited by 28 (7 self)
 Add to MetaCart
Extending the projection method for the synthesis of systolic arrays, we present a procedure for the design of fixedsize systolic arrays using a technique called "locally sequential globally parallel" (LSGP) partitioning. Our main result, which gives a necessary and sufficient condition
The Cache Performance and Optimizations of Blocked Algorithms
 In Proceedings of the Fourth International Conference on Architectural Support for Programming Languages and Operating Systems
, 1991
"... Blocking is a wellknown optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorithms operate on submatrices or blocks, so that data loaded into the faster levels of the memory hierarchy are reused. This ..."
Abstract

Cited by 574 (5 self)
 Add to MetaCart
is highly sensitive to the stride of data accesses and the size of the blocks, and can cause wide variations in machine performance for different matrix sizes. The conventional wisdom of trying to use the entire cache, or even a fixed fraction of the cache, is incorrect. If a fixed block size is used for a
Results 1  10
of
11,755