Sciweavers

3954 search results - page 41 / 791
» Image-based Model Completion
Sort
View
JSYML
2010
107views more  JSYML 2010»
15 years 10 days ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
IJFCS
2006
111views more  IJFCS 2006»
15 years 1 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
MICCAI
2010
Springer
15 years 9 days ago
Probabilistic Anatomical Connectivity Using Completion Fields
Abstract. Diffusion magnetic resonance imaging has led to active research in the analysis of anatomical connectivity in the brain. Many approaches have been proposed to model the ...
Parya MomayyezSiahkal, Kaleem Siddiqi
ACSC
2004
IEEE
15 years 5 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
JMLR
2008
135views more  JMLR 2008»
15 years 1 months ago
Complete Identification Methods for the Causal Hierarchy
We consider a hierarchy of queries about causal relationships in graphical models, where each level in the hierarchy requires more detailed information than the one below. The hie...
Ilya Shpitser, Judea Pearl