Sciweavers

19892 search results - page 3486 / 3979
» The POSTGRES Data Model
Sort
View
150
Voted
COSIT
2009
Springer
134views GIS» more  COSIT 2009»
16 years 1 months ago
Evaluating the Effectiveness and Efficiency of Visual Variables for Geographic Information Visualization
We propose an empirical, perception-based evaluation approach for assessing the effectiveness and efficiency of longstanding cartographic design principles applied to 2D map displa...
Simone Garlandini, Sara Irina Fabrikant
176
Voted
CSL
2009
Springer
16 years 1 months ago
Nested Hoare Triples and Frame Rules for Higher-Order Store
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
Jan Schwinghammer, Lars Birkedal, Bernhard Reus, H...
209
Voted
DAGM
2009
Springer
16 years 1 months ago
Markerless 3D Face Tracking
We present a novel algorithm for the markerless tracking of deforming surfaces such as faces. We acquire a sequence of 3D scans along with color images at 40Hz. The data is then re...
Christian Walder, Martin Breidt, Heinrich H. B&uum...
192
Voted
ECOWS
2009
Springer
16 years 1 months ago
Remote Batch Invocation for Web Services: Document-Oriented Web Services with Object-Oriented Interfaces
—The Web Service Description Language defines a service as a procedure whose inputs and outputs are structured XML data values, sometimes called documents. In this paper we argu...
Ali Ibrahim, Marc Fisher II, William R. Cook, Eli ...
EMMCVPR
2009
Springer
16 years 1 months ago
Tracking as Segmentation of Spatial-Temporal Volumes by Anisotropic Weighted TV
Abstract. Tracking is usually interpreted as finding an object in single consecutive frames. Regularization is done by enforcing temporal smoothness of appearance, shape and motio...
Markus Unger, Thomas Mauthner, Thomas Pock, Horst ...
« Prev « First page 3486 / 3979 Last » Next »