Sciweavers

8695 search results - page 363 / 1739
» Making the Complex Simple
Sort
View
COLING
2002
15 years 6 months ago
The Chinese Aspect System and its Semantic Interpretation
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
Guowen Yang, John A. Bateman
FMSD
2002
114views more  FMSD 2002»
15 years 6 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
NN
1998
Springer
15 years 6 months ago
Neural control of rhythmic arm movements
In this paper we present an approach to robot arm control based on exploiting the dynamical properties of a simple neural network oscillator circuit coupled to the joints of an ar...
Matthew M. Williamson
TCOM
2010
67views more  TCOM 2010»
15 years 5 months ago
Weakly-Constrained Codes for Suppression of Patterning Effects in Digital Communications
—We propose weakly-constrained stream and block codes with tunable pattern-dependent statistics and demonstrate that the block code capacity at large block sizes is close to the ...
Alexander V. Shafarenko, Anton Skidin, Sergei K. T...
CVPR
2011
IEEE
15 years 2 months ago
Proposal Generation for Object Detection using Cascaded Ranking SVMs
Object recognition has made great strides recently. However, the best methods, such as those based on kernelSVMs are highly computationally intensive. The problem of how to accele...
Ziming Zhang, Jonathan Warrell, Philip Torr