Sciweavers

6456 search results - page 405 / 1292
» Constraint Solving on Terms
Sort
View
IROS
2006
IEEE
144views Robotics» more  IROS 2006»
16 years 26 days ago
Visual Servo Velocity and Pose Control of a Wheeled Inverted Pendulum through Partial-Feedback Linearization
— Vision-based control of wheeled vehicles is a difficult problem due to nonholonomic constraints on velocities. This is further complicated in the control of vehicles with drif...
Nicholas R. Gans, Seth Hutchinson
JSCIC
2011
113views more  JSCIC 2011»
15 years 1 months ago
An Asymptotic Preserving Scheme for the ES-BGK Model of the Boltzmann Equation
In this paper, we study a time discrete scheme for the initial value problem of the ES-BGK kinetic equation. Numerically solving these equations are challenging due to the nonlinea...
Francis Filbet, Shi Jin
ECCV
2008
Springer
16 years 8 months ago
Hamming Embedding and Weak Geometric Consistency for Large Scale Image Search
This paper improves recent methods for large scale image search. State-of-the-art methods build on the bag-of-features image representation. We, first, analyze bag-of-features in t...
Herve Jegou, Matthijs Douze, Cordelia Schmid
DAC
2009
ACM
16 years 7 months ago
An adaptive scheduling and voltage/frequency selection algorithm for real-time energy harvesting systems
? In this paper we propose an adaptive scheduling and voltage/frequency selection algorithm which targets at energy harvesting systems. The proposed algorithm adjusts the processor...
Shaobo Liu, Qing Wu, Qinru Qiu
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory