Sciweavers

1755 search results - page 66 / 351
» An efficient simulation algorithm based on abstract interpre...
Sort
View
ICC
2009
IEEE
150views Communications» more  ICC 2009»
14 years 7 months ago
Efficient Resource Discovery in Mobile Ad Hoc Networks
Abstract--The highly dynamic nature of infrastructureless adhoc networks poses new challenges during resource discovery. In this paper, we propose a novel algorithm for resource di...
Ravi Thanawala, Jie Wu, Avinash Srinivasan
HUMO
2007
Springer
15 years 1 months ago
Articulated Object Registration Using Simulated Physical Force/Moment for 3D Human Motion Tracking
In this paper, we present a 3D registration algorithm based on simulated physical force/moment for articulated human motion tracking. Provided with sparsely reconstructed 3D human ...
Bingbing Ni, Stefan Winkler, Ashraf A. Kassim
GLOBECOM
2007
IEEE
15 years 1 months ago
Resource Efficient Survivable Clustering for Wireless Sensor Networks
Abstract-- In this paper, we address both lifetime and survivability issues in wireless sensor networks (WSNs). We present an easy-to-implement clustering method called DED (distri...
Mohammad Masud Hasan, Jason P. Jue
CAV
2005
Springer
104views Hardware» more  CAV 2005»
15 years 3 months ago
Expand, Enlarge and Check... Made Efficient
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
Gilles Geeraerts, Jean-François Raskin, Lau...
DASFAA
2010
IEEE
169views Database» more  DASFAA 2010»
14 years 7 months ago
Fires on the Web: Towards Efficient Exploring Historical Web Graphs
Abstract. Discovery of evolving regions in large graphs is an important issue because it is the basis of many applications such as spam websites detection in the Web, community lif...
Zhenglu Yang, Jeffrey Xu Yu, Zheng Liu, Masaru Kit...