12015 search results - page 346 / 2403 » Interactive Algorithms 2005 |
113
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This article deals with a monocular vision system for grasping gesture acquisition. This system could be used for medical diagnostic, robot or game control. We describe a...
142
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
133
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
117
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
The paper analyses and compares alternative iterative and recursive implementations of FPGA circuits for various problems. Two types of recursive calls have been examined, namely ...
117
click to vote
ICARIS
2005
Springer
15 years 9 months ago
2005
Springer
An exact Markov chain model of the B-cell algorithm (BCA) is constructed via a novel possible transit method. The model is used to formulate a proof that the BCA is convergent abso...