Sciweavers

3670 search results - page 276 / 734
» Linear Recursive Functions
Sort
View
ENTCS
2002
97views more  ENTCS 2002»
15 years 6 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
PE
2002
Springer
109views Optimization» more  PE 2002»
15 years 6 months ago
Load-dependent service queues with application to congestion control in broadband networks
: We analyze D/G/1 and M/G/1 queues where the service time for an arrival depends on the amount of work in the system upon arrival. The models are motivated by the bit dropping met...
Kin K. Leung
ICRA
2010
IEEE
109views Robotics» more  ICRA 2010»
15 years 5 months ago
Simultaneous object class and pose estimation for mobile robotic applications with minimalistic recognition
Abstract— In this paper we address the problem of simultaneous object class and pose estimation using nothing more than object class label measurements from a generic object clas...
Alper Aydemir, Adrian N. Bishop, Patric Jensfelt
SIAMDM
2010
84views more  SIAMDM 2010»
15 years 5 months ago
Complementary Iterated Floor Words and the Flora Game
Let ϕ = (1 + √ 5)/2 denote the golden section. We investigate relationships between unbounded iterations of the floor function applied to various combinations of ϕ and ϕ2. We...
Aviezri S. Fraenkel
CDC
2008
IEEE
228views Control Systems» more  CDC 2008»
16 years 1 months ago
Stability analysis for neural networks with time-varying delay
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
Xun-Lin Zhu, Guang-Hong Yang