1362 search results - page 143 / 273 » Means, Correlations and Bounds |
114
click to vote
ICTAC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper describes efficient utilization of human time by two means: prioritization of human tasks and maximizing multirobot team size. We propose an efficient scheduling algo...
113
click to vote
ISAAC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
116
click to vote
WINE
2007
Springer
15 years 7 months ago
2007
Springer
We study the problem of hiring a team of selfish agents to perform a task. Each agent is assumed to own one or more elements of a set system, and the auctioneer is trying to purch...
GLOBECOM
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract We consider the linear coding of a discrete memoryless Gaussian source transmitted through a discrete memoryless fading channel with additive white Gaussian noise (AWGN)...