329 search results - page 18 / 66 » Elliptic Control by Penalty Techniques with Control Reductio... |
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
CCR
2004
13 years 7 months ago
2004
Current congestion control algorithms treat packet loss as an indication of network congestion, under the assumption that most losses are caused by router queues overflowing. In r...
KR
2004
Springer
14 years 26 days ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
RSS
2007
13 years 9 months ago
2007
Abstract— We consider the task of omnidirectional path following for a quadruped robot: moving a four-legged robot along any arbitrary path while turning in any arbitrary manner....