4797 search results - page 907 / 960 » The complexity of partition tasks |
WOLLIC
2010
Springer
14 years 22 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
ECRTS
2002
IEEE
14 years 19 days ago
2002
IEEE
General-purpose operating systems are ill-equipped to meet the quality of service (QoS) requirements of complex real-time applications. Consequently, many classes of realtime appl...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
:This paper presents a trajectory planning algorithm for mobile robots which may be subject to kinodynamic constraints. Using computational methods from noncommutative harmonic ana...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper investigates kinetic behavior of a planetary rover with attention to tire-soil traction mechanics and articulated body dynamics, and thereby study the control when the ...
SIGMOD
2010
ACM
14 years 15 days ago
2010
ACM
Real-world databases often contain syntactic and semantic errors, in spite of integrity constraints and other safety measures incorporated into modern DBMSs. We present ERACER, an...