1142 search results - page 140 / 229 » Approximability of Clausal Constraints |
176
click to vote
ICRA
2006
IEEE
16 years 11 days ago
2006
IEEE
— 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....
167
click to vote
SEFM
2006
IEEE
16 years 10 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
133
click to vote
VTC
2006
IEEE
16 years 10 days ago
2006
IEEE
The IEEE 802.16e system for multicast and broadcast service (MBS) is further investigated over [4]. It is shown that 802.16e networks can exploit advanced transmission and flexibl...
161
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper is interested in reward maximization of periodic real-time tasks under a given energy constraint, where the reward received depends on how much computation a task ru...
176
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...