6306 search results - page 1054 / 1262 » Space, Time, and the Use of Language |
153
click to vote
JAR
2000
15 years 6 months ago
2000
The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...
173
click to vote
MOC
2000
15 years 6 months ago
2000
Abstract. Two explicit error representation formulas are derived for degenerate parabolic PDEs, which are based on evaluating a parabolic residual in negative norms. The resulting ...
204
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
To use multiple memory banks in parallel is a nature approach to boost the performance of flash-memory storage systems. However, realistic data-access localities unevenly load eac...
170
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Flash devices have been widely used in embedded systems, laptop computers, and enterprise servers. However, the poor random writes have been an obstacle to running write-intensive...
170
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— We consider the kinematic control problem for nonholonomic mobile manipulators (NMMs) whose base contains steering wheels. For all typical tasks, the steering velocity inputs o...