Sciweavers

669 search results - page 114 / 134
» Mastering the Master Theorem
Sort
View
TOCL
2002
110views more  TOCL 2002»
13 years 7 months ago
Abstract computability and algebraic specification
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
J. V. Tucker, Jeffery I. Zucker
MP
2007
100views more  MP 2007»
13 years 6 months ago
Mixed-Integer Cuts from Cyclic Groups
We analyze a separation procedure for Mixed-Integer Programs related to the work of Gomory and Johnson on interpolated subadditive functions. This approach has its roots in the Go...
Matteo Fischetti, Cristiano Saturni
MTA
2007
82views more  MTA 2007»
13 years 6 months ago
A scalable signature scheme for video authentication
This paper addresses the problem of ensuring the integrity of a digital video and presents a scalable signature scheme for video authentication based on cryptographic secret sharin...
Pradeep K. Atrey, Wei-Qi Yan, Mohan S. Kankanhalli
NECO
2007
108views more  NECO 2007»
13 years 6 months ago
Spike-Frequency Adapting Neural Ensembles: Beyond Mean Adaptation and Renewal Theories
We propose a Markov process model for spike-frequency adapting neural ensembles which synthesizes existing mean-adaptation approaches, population density methods, and inhomogeneou...
Eilif Mueller, Lars Buesing, Johannes Schemmel, Ka...
RAS
2008
127views more  RAS 2008»
13 years 6 months ago
Online generation of cyclic leg trajectories synchronized with sensor measurement
The generation of trajectories for a biped robot is a problem which has been largely studied for several years, and many satisfying off-line solutions exist for steady-state walki...
Rodolphe Héliot, Bernard Espiau