12774 search results - page 2206 / 2555 » A Framework for Proof Systems |
173
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The recent three years have witnessed an explosion of networked video sharing, represented by YouTube, as a new killer Internet application. Their sustainable development howeve...
173
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
PDE solvers using Adaptive Mesh Refinement on block structured grids are some of the most challenging applications to adapt to massively parallel computing environments. We descr...
179
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
205
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a framework for finding and tracking “trails” for autonomous outdoor robot navigation. Through a combination of visual cues and ladar-derived structural inform...
195
click to vote
LAWEB
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The World Wide Web offers easy sharing of information, but provides only few options for the protection of sensitive information and other sensitive resources. Tradition...