9110 search results - page 1670 / 1822 » Formally-Based Design Evaluation |
137
Voted
HRI
2010
ACM
15 years 10 months ago
2010
ACM
Abstract—We describe a multimodal framework for interacting with an autonomous robotic forklift. A key element enabling effective interaction is a wireless, handheld tablet with ...
144
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
While the trust paradigm is essential to broadly extend the communication between the environment’s actors, the evaluation of trust becomes a challenge when confronted with init...
141
Voted
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
114
Voted
ICDCN
2010
Springer
15 years 10 months ago
2010
Springer
Abstract— Motivated by the widespread proliferation of wireless networks employing directional antennas, we study the problem of provisioning bandwidth in such networks. Given a ...
177
click to vote
WEA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Mobile users are roaming in a zone of cells in a cellular network system. The probabilities of each user residing in each cell are known, and all probabilities are indepe...