4155 search results - page 651 / 831 » Topic-Specific Optimization and Structuring |
128
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
115
click to vote
DCC
2006
IEEE
16 years 1 months ago
2006
IEEE
In this work we consider the problem of universal prediction of individual sequences where the universal predictor is a deterministic finite state machine, with a fixed, relativel...
104
click to vote
DCC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper addresses the problem of bit allocation among frames in a predictively encoded video sequence. Finding optimal solutions to this problem potentially requires making an ...
110
click to vote
MICCAI
2009
Springer
2009
Springer
DISCO: A Coherent Diffeomorphic Framework for Brain Registration under Exhaustive Sulcal Constraints
15 years 11 months ago
Abstract. Neuroimaging at the group level requires spatial normalization of individual structural data. We propose a geometric approach that consists in matching a series of cortic...
106
click to vote
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
1 - This paper presents an efficient design exploration environment for high-end core processors. The heart of the proposed design exploration framework is a two-level simulation e...