Sciweavers

4325 search results - page 467 / 865
» Incremental computation with names
Sort
View
ISMIS
2003
Springer
16 years 1 days ago
Logic for Multi-path Message Forwarding Networks for Mobile Agents
We discuss how mobile agents, moving in the Internet from node to node, can communicate with each other by forwarding messages in a robust way. As a solution, we present the genera...
Masahito Kurihara, Masanobu Numazawa
ITNG
2010
IEEE
15 years 12 months ago
Functional Implementation Specification for a Service-Oriented Geographic Intelligence
This paper is the second on a series of four papers and presents the functional systematization implementation specification of a subsystem with integrative function based on a Se...
Valdevino Siqueira Campos Neto, Fernando Maciel Li...
ICPR
2002
IEEE
15 years 11 months ago
Neighborhood Coherence and Edge Based Approaches to Film Scene Extraction
In order to enable high-level semantics-based video annotation and interpretation, we tackle the problem of automatic decomposition of motion pictures into meaningful story units,...
Ba Tu Truong, Svetha Venkatesh, Chitra Dorai
ICRA
2002
IEEE
126views Robotics» more  ICRA 2002»
15 years 11 months ago
Uniform Monte Carlo Localization - Fast and Robust Self-Localization Method for Mobile Robots
In this paper, we describe a novel self-localizationalgorithm. Self-Localizationmethods are required for to lowercomputational costand handling vague sensordata. Thus, we propose ...
Ryuichi Ueda, Takeshi Fukase, Yuichi Kobayashi, Ta...
INFOCOM
2002
IEEE
15 years 11 months ago
Scheduling Algorithms for a Cache Pre-Filling Content Distribution Network
Abstract—Cache pre-filling is emerging as a new concept for increasing the availability of popular web items in cache servers. According to this concept, web items are sent by a...
Reuven Cohen, Liran Katzir, Danny Raz