363 search results - page 27 / 73 » The SAT Phase Transition |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
In this study, we intend to show the basis of a general legged locomotion controller with the ability to integrate both posture and rhythmic motion controls and shift continuously ...
SAT
2010
Springer
13 years 6 months ago
2010
Springer
Previous work has shown that circuit representations can be exploited in QBF solvers to obtain useful performance improvements. In this paper we examine some additional techniques ...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
A variational approach to finite connectivity spin-glass-like models is developed and applied to describe the structure of optimal solutions in random satisfiability problems. Our ...
RTSS
2002
IEEE
14 years 1 months ago
2002
IEEE
We present an approach to computing cyclic schedules online and in real time, while attempting to maximize a quality-of-service metric. The motivation is the detection of RF emitt...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Given the uncertainty of the online environment, institutional trust is fundamental in building and retaining online interorganizational relationships. The authors propose two typ...