Sciweavers

351 search results - page 48 / 71
» Logics Capturing Local Properties
Sort
View
SGAI
2007
Springer
14 years 2 months ago
Extending Jess to Handle Uncertainty
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
David Corsar, Derek H. Sleeman, Anne McKenzie
JLP
2008
134views more  JLP 2008»
13 years 8 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
PODS
2008
ACM
110views Database» more  PODS 2008»
14 years 9 months ago
Static analysis of active XML systems
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
Serge Abiteboul, Luc Segoufin, Victor Vianu
ICCV
2001
IEEE
14 years 10 months ago
Learning Inhomogeneous Gibbs Model of Faces by Minimax Entropy
In this paper we propose a novel inhomogeneous Gibbs model by the minimax entropy principle, and apply it to face modeling. The maximum entropy principle generalizes the statistic...
Ce Liu, Song Chun Zhu, Heung-Yeung Shum
VMV
2008
190views Visualization» more  VMV 2008»
13 years 10 months ago
GPU-Based Streamlines for Surface-Guided 3D Flow Visualization
Visualizing 3D flow fields intrinsically suffers from problems of clutter and occlusion. A common practice to alleviate these issues is to restrict the visualization to feature su...
Markus Üffinger, Thomas Klein, Magnus Strenge...