5084 search results - page 265 / 1017 » Proving Possibility Properties |
262
click to vote
IFL
2007
Springer
16 years 1 months 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...
162
click to vote
ICRA
2005
IEEE
16 years 26 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...
189
Voted
SWAT
2004
Springer
16 years 18 days 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...
170
click to vote
ISIPTA
2003
IEEE
16 years 16 days 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...
188
click to vote
INFOCOM
2002
IEEE
16 years 6 days 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....