Sciweavers

5922 search results - page 311 / 1185
» Navigability of Complex Networks
Sort
View
WISE
2010
Springer
15 years 1 months ago
The Ubiquitous DBMS
Advancement in mobile computing technologies has prompted strong needs for database systems that can be used in small devices such as sensors, cellular phones, PDAs, car navigator...
Kyu-Young Whang
149
Voted
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 1 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ICRA
2009
IEEE
196views Robotics» more  ICRA 2009»
15 years 1 months ago
CHOMP: Gradient optimization techniques for efficient motion planning
Abstract-- Existing high-dimensional motion planning algorithms are simultaneously overpowered and underpowered. In domains sparsely populated by obstacles, the heuristics used by ...
Nathan D. Ratliff, Matt Zucker, J. Andrew Bagnell,...
MICCAI
2006
Springer
15 years 10 months ago
Simultaneous Stereoscope Localization and Soft-Tissue Mapping for Minimal Invasive Surgery
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
Peter Mountney, Danail Stoyanov, Andrew Davison, G...
HCI
2009
15 years 1 months ago
Acquiring a Physical World and Serving Its Mirror World Simultaneously
A mirror world, which is a virtual space modeling a physical space, attracts enormous interests from VR community recently. Various applications such as Second Life, Google Earth a...
Sengpyo Hong, Jong-gil Ahn, Heedong Ko, Jinwook Ki...