1897 search results - page 211 / 380 » Conditional Linear Planning |
115
Voted
STOC
2003
ACM
16 years 3 months ago
2003
ACM
For a Boolean formula on n variables, the associated property P is the collection of n-bit strings that satisfy . We study the query complexity of tests that distinguish (with hig...
124
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
121
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— Some commonly used inter-domain-routing policies—e.g., those using BGP’s MED attribute for cold-potato routing—are beyond the scope of routing theory developed to date. T...
134
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— To keep pace with recent advances in microrobotic structures demands actuator technologies which can deliver high power and precise motion. For electroactive material b...
160
Voted
PODS
1991
ACM
15 years 7 months ago
1991
ACM
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...