400 search results - page 43 / 80 » Moving Proofs-As-Programs into Practice |
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— We consider the problem of finding sufficiently simple models of high-dimensional physical systems that are consistent with observed trajectories, and using these models to s...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—Over the past years, location-based routing protocols have been studied extensively in mobile ad hoc networks (MANETs). However, how to efficiently provide the location ...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
—Opportunistic routing significantly increases unicast throughput in wireless mesh networks by effectively utilizing the wireless broadcast medium. With network coding, opportun...
MIG
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
PAMI
2010
13 years 7 months ago
2010
—This paper presents a robust and automatic approach to photometric stereo, where the two main components, namely surface normals and visible surfaces, are respectively optimized...