Sciweavers

4150 search results - page 129 / 830
» A Practical Approach to Model Extension
Sort
View
SPATIALCOGNITION
2004
Springer
15 years 11 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar
SIGMETRICS
2011
ACM
229views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
Model-driven optimization of opportunistic routing
Opportunistic routing aims to improve wireless performance by exploiting communication opportunities arising by chance. A key challenge in opportunistic routing is how to achieve ...
Eric Rozner, Mi Kyung Han, Lili Qiu, Yin Zhang
FTCS
1998
89views more  FTCS 1998»
15 years 7 months ago
The Timed Asynchronous Distributed System Model
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
Flaviu Cristian, Christof Fetzer
3DIM
2007
IEEE
16 years 19 days ago
Image-based Model Completion
Geometric models created from range sensors are usually incomplete. Considerable effort has been made to fix this problem, ranging from manual repairing to geometric interpolatio...
Alan Brunton, Stefanie Wuhrer, Chang Shu
INFOCOM
2007
IEEE
16 years 18 days ago
Realistic Sensing Area Modeling
—Despite the well-known fact that sensing patterns in reality are highly irregular, researchers continue to develop protocols with simplifying assumptions about the sensing. For ...
Joengmin Hwang, Yu Gu, Tian He, Yongdae Kim