Sciweavers

1075 search results - page 110 / 215
» simulation 2002
Sort
View
JOLLI
2002
141views more  JOLLI 2002»
15 years 12 days ago
Naming Worlds in Modal and Temporal Logic
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
Dov M. Gabbay, G. Malod
JSS
2002
138views more  JSS 2002»
15 years 12 days ago
Architectural design and evaluation of an efficient Web-crawling system
This paper presents an architectural design and evaluation result of an efficient Web-crawling system. The design involves a fully distributed architecture, a URL allocating algor...
Hongfei Yan, Jianyong Wang, Xiaoming Li, Lin Guo
MONET
2002
95views more  MONET 2002»
15 years 11 days ago
On Improving the Performance of Cache Invalidation in Mobile Environments
Many cache management schemes designed for mobile environments are based on invalidation reports (IRs). However, IR-based approach suffers from long query latency and it cannot eff...
Guohong Cao
MTA
2002
110views more  MTA 2002»
15 years 11 days 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...
102
Voted
MVA
2002
177views Computer Vision» more  MVA 2002»
15 years 11 days ago
Global Motion Estimation Based on the Constrained Spatio-temporal Gradient Method in Model-Based Coding
For global motion estimation in model-based coding, this paper proposes a constrained spatio-temporal gradient method using contour information. To overcome the local minimum prob...
Young Wook Sohn, Doo-Hyun Kim, Dong-O Kim, Rae-Hon...