1362 search results - page 143 / 273 » Means, Correlations and Bounds |
170
click to vote
ICTAC
2009
Springer
16 years 1 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...
153
click to vote
IROS
2007
IEEE
16 years 23 days 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...
165
click to vote
ISAAC
2007
Springer
16 years 18 days 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 ...
172
click to vote
WINE
2007
Springer
16 years 17 days 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...
143
click to vote
GLOBECOM
2006
IEEE
16 years 15 days 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)...