Sciweavers

3690 search results - page 221 / 738
» Computation with classical sequents
Sort
View
FOCS
2002
IEEE
15 years 5 months ago
Covering Problems with Hard Capacities
We consider the classical vertex cover and set cover problems with the addition of hard capacity constraints. This means that a set (vertex) can only cover a limited number of its...
Julia Chuzhoy, Joseph Naor
IWINAC
2009
Springer
15 years 5 months ago
Results of an Adaboost Approach on Alzheimer's Disease Detection on MRI
Abstract. In this paper we explore the use of the Voxel-based Morphometry (VBM) detection clusters to guide the feature extraction processes for the detection of Alzheimer's d...
Alexandre Savio, Maite García-Sebasti&aacut...
EMMCVPR
2001
Springer
15 years 5 months ago
Designing the Minimal Structure of Hidden Markov Model by Bisimulation
Hidden Markov Models (HMMs) are an useful and widely utilized approach to the modeling of data sequences. One of the problems related to this technique is finding the optimal stru...
Manuele Bicego, Agostino Dovier, Vittorio Murino
RANDOM
1998
Springer
15 years 5 months ago
On-Line Bin-Stretching
We are given a sequence of items that can be packed into m unit size bins. In the classical bin packing problem we x the size of the bins and try to pack the items in the minimum ...
Yossi Azar, Oded Regev
94
Voted
VISUALIZATION
1996
IEEE
15 years 4 months ago
BLaC-Wavelets: A Multiresolution Analysis With Non-Nested Spaces
In the last ve years, there has been numerous applications of wavelets and multiresolution analysis in many elds of computer graphics as di erent as geometric modelling, volume vi...
Georges-Pierre Bonneau, Stefanie Hahmann, Gregory ...