8828 search results - page 1306 / 1766 » Formal methods in practice |
212
click to vote
LR
2011
15 years 2 months ago
2011
This paper suggests a routing method for automated guided vehicles in port terminals that uses the Q-learning technique. One of the most important issues for the efficient operati...
208
click to vote
SADM
2011
15 years 2 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
256
click to vote
JDCTA
2010
15 years 1 months ago
2010
Hand detection is a fundamental step in many practical applications as gesture recognition, video surveillance, and multimodal machine interface and so on. The aim of this paper i...
211
Voted
TCOM
2010
15 years 1 months ago
2010
In this paper, we construct nonbinary quasi-cyclic low-density parity-check (QC-LDPC) codes whose parity check matrices consist of an array of square sub-matrices which are either ...
209
Voted
TITB
2010
15 years 1 months ago
2010
Katsevich reconstruction algorithm represents a breakthrough for helical cone-beam computed tomography (CT) reconstruction, because it is the first exact cone-beam reconstruction a...