Sciweavers

4103 search results - page 616 / 821
» Some results on the Collatz problem
Sort
View
ICML
2003
IEEE
16 years 7 months ago
Testing Exchangeability On-Line
The majority of theoretical work in machine learning is done under the assumption of exchangeability: essentially, it is assumed that the examples are generated from the same prob...
Vladimir Vovk, Ilia Nouretdinov, Alexander Gammerm...
SIGSOFT
2008
ACM
16 years 7 months ago
Using assertions to help end-user programmers create dependable web macros
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothe...
SIGSOFT
2001
ACM
16 years 7 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
ISBI
2004
IEEE
16 years 7 months ago
Multi-Channel Registration of Diffusion Tensor Images Using Directional Information
The problem of registering Diffusion Tensor (DT) images is considered. We describe a novel intensity based registration method capable of performing affine and nonlinear registrat...
Gustavo K. Rohde, Sinisa Pajevic, Carlo Pierpaoli
ISBI
2006
IEEE
16 years 7 months ago
Joint texture and topography estimation for extended depth of field in brightfield microscopy
Brightfield microscopy often suffers from limited depth of field, which prevents thick specimens from being imaged entirely in-focus. By optically sectioning the specimen, the inf...
François Aguet, Dimitri Van De Ville, Micha...