Sciweavers

2152 search results - page 150 / 431
» A Comparative Study of 2QBF Algorithms
Sort
View
MTA
2002
110views more  MTA 2002»
15 years 4 months ago
Fundamentals of Scheduling and Performance of Video Tape Libraries
Robotic tape libraries are popular for applications with very high storage requirements, such as video servers. Here, we study the throughput of a tape library system, we design a...
Costas Georgiadis, Peter Triantafillou, Christos F...
LATINCRYPT
2010
15 years 3 months ago
Accelerating Lattice Reduction with FPGAs
We describe an FPGA accelerator for the Kannan–Fincke– Pohst enumeration algorithm (KFP) solving the Shortest Lattice Vector Problem (SVP). This is the first FPGA implementati...
Jérémie Detrey, Guillaume Hanrot, Xa...
176
Voted
TKDE
2010
160views more  TKDE 2010»
15 years 2 months ago
Using Proximity Search to Estimate Authority Flow
—Authority flow and proximity search have been used extensively in measuring the association between entities in data graphs, ranging from the Web to relational and XML database...
Vagelis Hristidis, Yannis Papakonstantinou, Ramakr...
WCNC
2010
IEEE
15 years 2 months ago
A Sender-Side TCP Enhancement for Startup Performance in High-Speed Long-Delay Networks
—Many previous studies have shown that traditional TCP slow-start algorithm suffers performance degradation in high-speed and long-delay networks. This paper presents a sender-si...
Xiao Lu, Ke Zhang, Cheng Peng Fu, Chuan Heng Foh
138
Voted
IAT
2010
IEEE
15 years 2 months ago
Design and Evaluation of Explainable BDI Agents
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...