3591 search results - page 520 / 719 » Typing linear constraints |
161
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
Linear Pseudo-Boolean constraints offer a much more compact formalism to express significant boolean problems in several areas, ranging from Artificial Intelligence to Electroni...
169
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes for latency insensitive systems a performance optimization technique called channel buffer queue sizing, which is performed after relay station insertion in th...
132
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— A new 3D biped prototype with small DOF, SKIPPER, was developed. As an important component of a running controller for this robot, an aerial posture controller is presented. Th...
156
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, three fundamental techniques to improve laminated passive elements are proposed for wearable haptic displays. First, a new shape of sheet surfaces in laminated pass...
172
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— MPLS is becoming an important protocol for intradomain routing. MPLS routers are offered by the major vendors and many ISPs are deploying MPLS in their IP backbones, as...