6608 search results - page 242 / 1322 » On the Completeness of Model Checking |
149
click to vote
IJFCS
2006
15 years 5 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
131
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
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 ...
166
Voted
ACSC
2004
IEEE
15 years 9 months ago
2004
IEEE
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 ...
170
click to vote
JMLR
2008
15 years 5 months ago
2008
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...
197
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We present novel approaches for fully automated extraction of tree-like tubular structures from 3-D image stacks. A 4-D Open-Curve Active Contour (Snake) model is proposed for sim...