3941 search results - page 377 / 789 » Computational Efficiency of Batching Methods |
117
click to vote
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
122
Voted
CF
2008
ACM
15 years 5 months ago
2008
ACM
Power consumption has become a very important metric and challenging research topic in the design of microprocessors in the recent years. The goal of this work is to improve power...
166
click to vote
ACII
2005
Springer
15 years 5 months ago
2005
Springer
Hand tracking is a challenging problem due to the complexity of searching in a 20+ degrees of freedom (DOF) space for an optimal estimation of hand configuration. This paper repres...
140
click to vote
EUC
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we propose a range-free cooperative localization algorithm for mobile sensor networks by combining hop distance measurements and particle filtering. In the hop dist...
157
Voted
BIOCOMP
2006
15 years 4 months ago
2006
Computation of multiple sequence alignments is one of the major open problems in computational molecular biology. The purpose of this study was to provide a new method, PAC (Progre...