626 search results - page 81 / 126 » When Can Formal Methods Make a Real Difference |
177
click to vote
AROBOTS
2010
15 years 1 months ago
2010
Abstract Modern service robots will soon become an essential part of modern society. As they have to move and act in human environments, it is essential for them to be provided wit...
146
click to vote
FOCM
2011
14 years 7 months ago
2011
This paper considers large-scale simulations of wave propagation phenomena. We argue that it is possible to accurately compute a wavefield by decomposing it onto a largely incomp...
165
click to vote
MOBIHOC
2006
ACM
16 years 3 months ago
2006
ACM
Recent studies on mobility modeling have focused on characterizing user mobility from real traces of wireless LANs (WLANs) and creating mobility models based on such characterizat...
153
Voted
IUI
2004
ACM
15 years 9 months ago
2004
ACM
The WALK mode is one of the most common navigation interfaces for 3D virtual environments. However, due to the limited view angle and low frame rate, users are often blocked by ob...
142
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Mean-based clustering algorithms such as bisecting k-means generally lack robustness. Although componentwise median is a more robust alternative, it can be a poor cent...