3154 search results - page 473 / 631 » Computing Closed Skycubes |
168
click to vote
IANDC
2010
15 years 5 months ago
2010
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
176
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Humanoid robots are appealing due to their inherent dexterity. However, these potential benefits may only be realized if the corresponding motion synthesis procedure i...
207
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Wireless mesh networks have been widely deployed to provide broadband network access, and their performance can be significantly improved by using a new technology called netwo...
179
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
— In opportunistic networks, end-to-end paths between two communicating nodes are rarely available. In such situations, the nodes might still copy and forward messages to nodes t...
149
click to vote
IWC
2010
15 years 5 months ago
2010
This paper represents a personal view of the state of HCI as a design discipline and as a scientific discipline, and how this is changing in the face...