Sciweavers

780 search results - page 28 / 156
» Stability of fast algorithms for structured linear systems
Sort
View
TPDS
2010
126views more  TPDS 2010»
14 years 11 months ago
Stabilizing Distributed R-Trees for Peer-to-Peer Content Routing
Publish/subscribe systems provide useful platforms for delivering data (events) from publishers to subscribers in a decoupled fashion. Developing efficient publish/subscribe scheme...
Silvia Bianchi, Pascal Felber, Maria Gradinariu Po...
WSC
2001
15 years 5 months ago
Fluid model for window-based congestion control mechanism
We study the stability of two queueing delay-based congestion control algorithms, the (p, 1)-proportionally fair algorithm and the global optimization algorithm. We linearize the ...
Richard J. La
ICASSP
2007
IEEE
15 years 8 months ago
Adaptive Multi-Pattern Fast Block-Matching Algorithm Based on Motion Classification Techniques
Motion estimation is the most time-consuming subsystem in a video codec. Thus, more efficient methods of motion estimation should be investigated. Real video sequences usually exh...
Iván González-Díaz, Manuel de...
CAV
2005
Springer
139views Hardware» more  CAV 2005»
15 years 10 months ago
The Orchids Intrusion Detection Tool
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
Julien Olivain, Jean Goubault-Larrecq
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 9 months ago
A bio-plausible design for visual attitude stabilization
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
Andrea Censi, Shuo Han, Sawyer B. Fuller, Richard ...