5624 search results - page 542 / 1125 » On Conditional Covering Problem |
191
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Designing efficient scheduling algorithms is an important problem in a general class of networks with resourcesharing constraints, such as wireless networks and stochastic proc...
140
click to vote
ICIP
2000
IEEE
15 years 11 months ago
2000
IEEE
The encoding of image partitions plays a key role in the overall efficiency of the so-called region-based image coding techniques. Recently, a method based on the novel concept o...
186
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
A new design method for non-time based tracking controller of mobile robots is presented. The new design method converts a controller designed by traditional time-based approaches ...
203
click to vote
ISIPTA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
162
click to vote
AISC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present an automatic approach for instantiating existentially quantified variables in inductive specifications proofs. Our approach uses first-order meta-variables in ...