5718 search results - page 405 / 1144 » Modeling Rule Precision |
169
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
209
click to vote
JAPLL
2010
15 years 5 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
183
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Inclusion-based points-to analysis provides a good trade-off between precision of results and speed of analysis, and it has been incorporated into several production compilers inc...
151
click to vote
SIAMCOMP
2010
15 years 5 months ago
2010
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
175
click to vote
TCS
2010
15 years 5 months ago
2010
We consider the problem of actively learning the mean values of distributions associated with a finite number of options. The decision maker can select which option to generate t...