2150 search results - page 145 / 430 » On a restricted cross-intersection problem |
142
click to vote
ECP
1999
Springer
15 years 9 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
121
click to vote
STOC
1998
ACM
15 years 9 months ago
1998
ACM
We introduce and study a modi ed notion of planarity, in which two regions of a map are considered adjacent when they share any point of their boundaries not an edge, as standard...
111
click to vote
ECSQARU
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Today, different formalisms exist to solve reasoning problems under uncertainty. For most of the known formalisms, corresponding computer implementations are available. ...
142
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We demonstrate how to leverage a system’s capability for allto-all communication to achieve an exponential speed-up of local algorithms despite bandwidth and memory restrictions...
125
click to vote
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...