Sciweavers

3804 search results - page 176 / 761
» From Here to There
Sort
View
IWPEC
2009
Springer
16 years 1 months ago
An Exact Algorithm for the Maximum Leaf Spanning Tree Problem
Given an undirected graph with n nodes, the Maximum Leaf Spanning Tree problem is to find a spanning tree with as many leaves as possible. When parameterized in the number of leav...
Henning Fernau, Joachim Kneis, Dieter Kratsch, Ale...
SCIA
2009
Springer
140views Image Analysis» more  SCIA 2009»
16 years 1 months ago
Fast Prototype Based Noise Reduction
This paper introduces a novel method for noise reduction in medical images based on concepts of the Non-Local Means algorithm. The main objective has been to develop a method that ...
Kajsa Tibell, Hagen Spies, Magnus Borga
FUZZIEEE
2007
IEEE
16 years 24 days ago
A Feature Selection Method Based on Choquet Integral and Typicality Analysis
— An iterative feature selection method based on feature typicality and interactivity analysis is presented in this paper. The aim is to enhance model interpretability by selecti...
Cyril Mazaud, Jan Rendek, Vincent Bombardier, Laur...
ICALP
1998
Springer
15 years 10 months ago
A Hierarchy of Equivalences for Asynchronous Calculi
We generate a natural hierarchy of equivalences for asynchronous name-passing process calculi from simple variations on Milner and Sangiorgi's definition of weak barbed bisim...
Cédric Fournet, Georges Gonthier
CAD
2005
Springer
15 years 6 months ago
Deployment of an AEC industry sector product model
CIMsteel Integration Standard, Version 2 (CIS/2) is an industry-developed product model based on ISO-STEP technology that has been widely adopted within the steel construction ind...
Charles M. Eastman, F. Wang, S.-J. You, D. Yang