Sciweavers

3073 search results - page 468 / 615
» Real World Verification
Sort
View
IJCAI
2003
13 years 11 months ago
Definition and Complexity of Some Basic Metareasoning Problems
In most real-world settings, due to limited time or other resources, an agent cannot perform all potentially useful deliberation and information gathering actions. This leads to t...
Vincent Conitzer, Tuomas Sandholm
IMAMS
2003
93views Mathematics» more  IMAMS 2003»
13 years 11 months ago
Vector Transport for Shape-from-Shading
In this paper we describe a new shape-from-shading method. We show how the parallel transport of surface normals can be used to impose curvature consistency and also to iterativel...
Fabio Sartori, Edwin R. Hancock
ISCAPDCS
2003
13 years 11 months ago
Job Management in Grids of MOSIX Clusters
EnFuzion and MOSIX are two packages that represent different approaches to cluster management. EnFuzion is a user-level queuing system that can dispatch a predetermined number of ...
David Abramson, Amnon Barak, Colin Enticott
PDPTA
2003
13 years 11 months ago
Queryball: A New Model for Querying in Immersive VR Systems
— In this paper, we propose a powerful and convenient querying model, "Queryball", for users to query in immersive VR systems. In immersive VR systems, users expect int...
Chiemi Watanabe, Ayumi Osugi, Yoshifumi Masunaga, ...
SCANGIS
2003
13 years 11 months ago
Matching of Datasets
A multiple representation database contains several geographic datasets defined at different resolutions covering the same area. Objects within the different datasets that repre...
Mats Dunkars