Sciweavers

15485 search results - page 644 / 3097
» Computing Optimal Subsets
Sort
View
CG
2006
Springer
15 years 7 months ago
From spline to Class-A curves through multi-scale analysis filtering
This paper reports the work on a novel wavelet-based multi-scale filtering application used to generate very smooth subset of profiles known as Class-A curves. The multi-scale rep...
Giancarlo Amati, Alfredo Liverani, Gianni Caligian...
IJIS
2008
42views more  IJIS 2008»
15 years 7 months ago
An efficient triplet-based algorithm for evidential reasoning
Linear-time computational techniques have been developed for combining evidence which is available on a number of contending hypotheses. They offer a means of making the computati...
Yaxin Bi
210
Voted
CG
2007
Springer
15 years 7 months ago
A 2D-3D visualization support for human-centered rule mining
On account of the enormous amounts of rules that can be produced by data mining algorithms, knowledge post-processing is a difficult stage in an association rule discovery process....
Julien Blanchard, Bruno Pinaud, Pascale Kuntz, Fab...
ENTCS
2007
107views more  ENTCS 2007»
15 years 7 months ago
Formal Translation of Bytecode into BoogiePL
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
Hermann Lehner, Peter Müller
SIAMCOMP
2008
78views more  SIAMCOMP 2008»
15 years 7 months ago
I/O-Efficient Planar Separators
We present a new algorithm to compute a subset S of vertices of a planar graph G whose removal partitions G into O(N/h) subgraphs of size O(h) and with boundary size O( h) each. ...
Anil Maheshwari, Norbert Zeh