Sciweavers

3954 search results - page 42 / 791
» Image-based Model Completion
Sort
View
CVPR
2011
IEEE
14 years 9 months ago
Novel 4-D Open-Curve Active Contour and Curve Completion Approach for Automated Tree Structure Extraction
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...
Yu Wang, Arunachalam Narayanaswamy, Badri Roysam
TBILLC
2007
Springer
15 years 8 months ago
Implicatures of Irrelevant Answers and the Principle of Optimal Completion
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...
Anton Benz
96
Voted
CONCUR
1993
Springer
15 years 6 months ago
Modular Completeness for Communication Closed Layers
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...
Maarten M. Fokkinga, Mannes Poel, Job Zwiers
EUROCAST
2009
Springer
116views Hardware» more  EUROCAST 2009»
15 years 5 months ago
Complete Sets of Hamiltonian Circuits for Classification of Documents
The calculation of Hamiltonian Circuits is an NP-complete task. This paper uses slightly modified complete sets of Hamiltonian circuits for the classification of documents. The sol...
Bernd Steinbach, Christian Posthoff
106
Voted
JANCL
2007
70views more  JANCL 2007»
15 years 1 months ago
Expressivity and completeness for public update logics via reduction axioms
In this paper, we present several extensions of epistemic logic with update operators modelling public information change. Next to the well-known public announcement operators, we ...
Barteld P. Kooi