Sciweavers

2536 search results - page 90 / 508
» Constructing Optimal Highways
Sort
View
TPHOL
2007
IEEE
15 years 6 months ago
Extracting Purely Functional Contents from Logical Inductive Types
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
David Delahaye, Catherine Dubois, Jean-Fréd...
FFA
2007
56views more  FFA 2007»
14 years 11 months ago
Optical orthogonal codes and arcs in PG(d, q)
We present a new construction for (n, w, λ)-optical orthogonal codes (OOCs). The construction is pleasingly simple, where codewords correspond to arcs, specifically normal ratio...
T. L. Alderson
ICIP
2002
IEEE
16 years 1 months ago
Optimal detector structure for DCT and subband domain watermarking
Most of the watermarking schemes that have been proposed until now employ a correlator in the detection stage. The current paper proposes a new detector scheme that can be applied...
Athanasios Nikolaidis, Ioannis Pitas
AINA
2009
IEEE
15 years 6 months ago
Optimization of iSCSI Remote Storage Access through Multiple Layers
iSCSI has a problem of drastic performance deterioration in the case of longer-latency. Thus, we have optimized iSCSI remote storage access through multiple layers. As a result, w...
Reika Higa, Kosuke Matsubara, Takao Okamawari, San...
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
15 years 5 months ago
Optimal Design, Evaluation, and Analysis of AGV Transportation Systems Based on Various Transportation Demands
— In this paper, two designs for optimal Automated Guided Vehicle (AGV) transportation systems are presented. One is vertical and the other, horizontal. For these systems, the hy...
Satoshi Hoshino, Jun Ota, Akiko Shinozaki, Hideki ...