2652 search results - page 136 / 531 » Path Differentials and Applications |
182
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
143
Voted
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
2000
Springer
This paper posits the usefulness of mental shifts of scale and perspective in thinking and communicating about spatial relations, and describes two experimental techniques for res...
137
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
We study the problem of improving the user perceived quality of online games in which multiple players form a game session and exchange game-state updates over an overlay network....
126
click to vote
IGARSS
2010
15 years 2 months ago
2010
NDSA (Normalized Differential Spectral Absorption) was proposed as a differential attenuation measurement method to estimate the total content of water vapor (IWV, Integrated Wate...
169
click to vote
IJRR
2011
14 years 11 months ago
2011
— In this paper we develop an RRT-based motion planner that achieved bounding in simulation with the LittleDog robot over extremely rough terrain. LittleDog is a quadruped robot ...