Sciweavers

1106 search results - page 116 / 222
» A Process View Framework for Artifact-Centric Business Proce...
Sort
View
DAGM
2006
Springer
15 years 10 months ago
Dense Stereo by Triangular Meshing and Cross Validation
Dense depth maps can be estimated in a Bayesian sense from multiple calibrated still images of a rigid scene relative to a reference view [1]. This well-established probabilistic f...
Peter Wey, Bernd Fischer, Herbert Bay, Joachim M. ...
ICCS
2005
Springer
15 years 11 months ago
A Visual Interactive Framework for Formal Derivation
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
Paul Agron, Leo Bachmair, Frank Nielsen
WEBI
2005
Springer
15 years 11 months ago
The WebCAT Framework - Automatic Generation of Meta-Data for Web Resources
Automated methods for resource annotation are a clear necessity, as the success of the Semantic Web depends on the availability of Web resources with meta-data conforming to known...
Bruno Martins, Mário J. Silva
IGARSS
2009
15 years 3 months ago
GPU-based Framework for Distributed Interactive 3D Visualization of Multimodal Remote Sensing data
Interactive visualization of remote sensing data allows the user to explore the full scope of the data sets. Combining and comparing different modalities can give additional insig...
Martin Lambers, Andreas Kolb
SCAM
2008
IEEE
16 years 18 days ago
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
Nuno F. Rodrigues, Luís Soares Barbosa