4962 search results - page 750 / 993 » Stochastic Model Checking |
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
An algorithm for estimating the pose, i.e., translation and rotation, of an extended target object is introduced. Compared to conventional methods, where pose estimation is perfor...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Intensity based registration methods, such as the mutual information (MI), do not commonly consider the spatial geometric information and the initial correspondences are ...
NETCOOP
2009
Springer
14 years 3 months ago
2009
Springer
There are moves in the Internet architecture community to add multipath capabilities to TCP, so that end-systems will be able to shift their traffic away from congested parts of th...
ASPDAC
2009
ACM
14 years 3 months ago
2009
ACM
— Recent advances in statistical timing analysis (SSTA) achieve great success in computing arrival times under variations by extending sum and maximum operations to random variab...
ICDCS
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper, we propose a novel duty cycling algorithm for large-scale dense wireless sensor networks. The proposed algorithm is based on a social behavior of nodes in the se...