5084 search results - page 265 / 1017 » Proving Possibility Properties |
243
click to vote
IFL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
146
click to vote
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— We present a localization method for robots equipped with only a compass, a contact sensor and a map of the environment. In this framework, a localization strategy can be descr...
165
click to vote
SWAT
2004
Springer
15 years 12 months ago
2004
Springer
Given a set of rectangles we are asked to pack as many of them as possible into a bigger rectangle. The rectangles packed may not overlap and may not be rotated. This problem is NP...
155
Voted
ISIPTA
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper studies the possibility of representing lower previsions by continuous linear functionals. We prove the existence of a linear isomorphism between the linear space spann...
166
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—We consider scheduling policies for maxmin fair allocation of bandwidth in wireless adhoc networks. We formalize the maxmin fair objective under wireless scheduling constraints....