Sciweavers

6757 search results - page 402 / 1352
» Knowledge Analysis on Process Models
Sort
View
FTRTFT
1998
Springer
15 years 11 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
AIPS
2004
15 years 8 months ago
Optimal Resource Allocation and Policy Formulation in Loosely-Coupled Markov Decision Processes
The problem of optimal policy formulation for teams of resource-limited agents in stochastic environments is composed of two strongly-coupled subproblems: a resource allocation pr...
Dmitri A. Dolgov, Edmund H. Durfee
IMAGING
2003
15 years 8 months ago
Group Theoretical Invariants in Color Image Processing
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
Reiner Lenz, Linh Viet Tran, Thanh Hai Bui
3DIM
2011
IEEE
14 years 6 months ago
Human Body Shape Prediction and Analysis Using Predictive Clustering Tree
—Predictive modeling aims at constructing models that predict a target property of an object based on its descriptions. In digital human modeling, it can be applied to predicting...
Pengcheng Xi, Hongyu Guo, Chang Shu
VISUALIZATION
1996
IEEE
15 years 11 months ago
BLaC-Wavelets: A Multiresolution Analysis With Non-Nested Spaces
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...
Georges-Pierre Bonneau, Stefanie Hahmann, Gregory ...