5180 search results - page 735 / 1036 » Concurrency, Time, and Constraints |
146
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
159
Voted
ER
2010
Springer
15 years 5 months ago
2010
Springer
Efficient and competitive provision of service compositions depends both on the composition structure, and on planning and management of computational resources necessary for prov...
174
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— The priorities of a climbing legged robot are to maintain a grasp on its climbing surface and to climb efficiently against the force of gravity. These priorities profoundly co...
171
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—A random testing strategy can be effective at finding faults, but may leave some routines entirely untested if it never gets to call them on objects satisfying their preconditi...
226
click to vote
JSAC
2008
15 years 5 months ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...