Sciweavers

1421 search results - page 227 / 285
» Satisfying KBO Constraints
Sort
View
ICRA
2006
IEEE
141views Robotics» more  ICRA 2006»
16 years 11 days ago
Computing 3-legged Equilibrium Stances in Three-dimensional Gravitational Environments
— Quasistatic multi-legged locomotion consists of a sequence of equilibrium postures where the mechanism supports itself against gravity while moving free limbs to new positions....
Yizhar Or, Elon Rimon
IROS
2006
IEEE
142views Robotics» more  IROS 2006»
16 years 10 days ago
Application of Optimization Techniques for an Optimal Fertilization by Centrifugal Spreading
— Mineral fertilizers application is an agricultural task widely performed by centrifugal spreaders. These machines give satisfying results with regularly spaced parallel tractor...
Teddy Virin, Jonas Koko, Emmanuel Piron, Philippe ...
ISCAS
2006
IEEE
116views Hardware» more  ISCAS 2006»
16 years 10 days ago
Neural network stream processing core (NnSP) for embedded systems
Abstract— NnSP is a stream-based programmable and codelevel statically reconfigurable processor for realization of neural networks in embedded systems. NnSP is provided with a n...
Hadi Esmaeilzadeh, Pooya Saeedi, Babak Nadjar Araa...
ISCAS
2006
IEEE
98views Hardware» more  ISCAS 2006»
16 years 10 days ago
Towards rate-distortion tradeoff in real-time color video coding
—In this paper, we address the key problem in real-time video coding, the rate-distortion (R-D) tradeoff. As most video coding applications employ color images, we analyze the R-...
Zhenzhong Chen, King Ngi Ngan
RTAS
2006
IEEE
16 years 10 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic