Sciweavers

4150 search results - page 129 / 830
» A Practical Approach to Model Extension
Sort
View
155
Voted
SPATIALCOGNITION
2004
Springer
15 years 9 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
159
Voted
SIGMETRICS
2011
ACM
229views Hardware» more  SIGMETRICS 2011»
14 years 6 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
102
Voted
FTCS
1998
89views more  FTCS 1998»
15 years 5 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
15 years 10 months 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
118
Voted
INFOCOM
2007
IEEE
15 years 10 months 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