Sciweavers

523 search results - page 85 / 105
» Hierarchical Mixture Models for Nested Data Structures
Sort
View
MICCAI
1998
Springer
14 years 20 days ago
Multi-modal Volume Registration Using Joint Intensity Distributions
Abstract. The registration of multimodal medical images is an important tool in surgical applications, since different scan modalities highlight complementary anatomical structures...
Michael E. Leventon, W. Eric L. Grimson
ALIFE
1999
13 years 8 months ago
An Approach to Biological Computation: Unicellular Core-Memory Creatures Evolved Using Genetic Algorithms
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
Hikeaki Suzuki
ICCV
2005
IEEE
14 years 10 months ago
A Multi-Scale Hybrid Linear Model for Lossy Image Representation
This paper introduces a simple and efficient representation for natural images. We partition an image into blocks and treat the blocks as vectors in a high-dimensional space. We t...
Wei Hong, John Wright, Kun Huang, Yi Ma
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
14 years 3 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
NPIV
1999
ACM
142views Visualization» more  NPIV 1999»
14 years 24 days ago
ALMOST: Exploring Program Traces
We built a tool to visualize and explore program execution traces. Our goal was to help programmers without any prior knowledge of a program, quickly get enough knowledge about it...
Manos Reniers, Steven P. Reis