Sciweavers

1333 search results - page 145 / 267
» Not a Number of Floating Point Problems
Sort
View
MICCAI
2002
Springer
16 years 4 months ago
Regularized Stochastic White Matter Tractography Using Diffusion Tensor MRI
The development of Diffusion Tensor MRI has raised hopes in the neuro-science community for in vivo methods to track fiber paths in the white matter. A number of approaches have be...
Mats Björnemo, Anders Brun, Ron Kikinis, Carl...
ICML
2005
IEEE
16 years 4 months ago
Predictive low-rank decomposition for kernel methods
Low-rank matrix decompositions are essential tools in the application of kernel methods to large-scale learning problems. These decompositions have generally been treated as black...
Francis R. Bach, Michael I. Jordan
ICML
2005
IEEE
16 years 4 months ago
Robust one-class clustering using hybrid global and local search
Unsupervised learning methods often involve summarizing the data using a small number of parameters. In certain domains, only a small subset of the available data is relevant for ...
Gunjan Gupta, Joydeep Ghosh
CADE
2007
Springer
16 years 4 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
ICCAD
2002
IEEE
154views Hardware» more  ICCAD 2002»
16 years 26 days ago
Concurrent flip-flop and repeater insertion for high performance integrated circuits
For many years, CMOS process scaling has allowed a steady increase in the operating frequency and integration density of integrated circuits. Only recently, however, have we reach...
Pasquale Cocchini