3335 search results - page 522 / 667 » Grid result checking |
118
click to vote
ICNP
2009
IEEE
15 years 11 months ago
2009
IEEE
—We introduce the Dynamic Policy Routing (DPR) model that captures the propagation of route updates under arbitrary changes in topology or path preferences. DPR introduces the no...
126
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In this paper, we propose a deformable-modeldriven method to recognize the state of hanging clothes using three-dimensional (3D) observed data. For the task to pick up ...
146
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
128
click to vote
MODELS
2009
Springer
15 years 10 months ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...
133
click to vote
REFSQ
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...