Sciweavers

494 search results - page 71 / 99
» Optimal Carpet Cutting
Sort
View
MICCAI
2005
Springer
16 years 21 days ago
Cross Entropy: A New Solver for Markov Random Field Modeling and Applications to Medical Image Segmentation
This paper introduces a novel solver, namely cross entropy (CE), into the MRF theory for medical image segmentation. The solver, which is based on the theory of rare event simulati...
Jue Wu, Albert C. S. Chung
ICML
2004
IEEE
16 years 19 days ago
Support vector machine learning for interdependent and structured output spaces
Learning general functional dependencies is one of the main goals in machine learning. Recent progress in kernel-based methods has focused on designing flexible and powerful input...
Ioannis Tsochantaridis, Thomas Hofmann, Thorsten J...
CADE
2009
Springer
16 years 13 days ago
Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
Sean McLaughlin, Frank Pfenning
ICIAP
2003
ACM
15 years 12 months ago
Automatic segmentation of MR images based on adaptive anisotropic filtering
A novel approach to the detection of multiple sclerosis (MS) lesions is presented, which uses an adaptive formulation of the anisotropic diffusion and fuzzy-c-means (FCM) clusteri...
Edoardo Ardizzone, Roberto Pirrone, Orazio Gambino
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
15 years 8 months ago
Boolean factoring and decomposition of logic networks
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
Alan Mishchenko, Robert K. Brayton, Satrajit Chatt...