Sciweavers

2869 search results - page 356 / 574
» The Inference Problem: A Survey
Sort
View
ICFP
2005
ACM
16 years 7 months ago
Qualified types for MLF
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
Andres Löh, Daan Leijen
MICCAI
2009
Springer
16 years 4 months ago
ECOC Random Fields for Lumen Segmentation in Radial Artery IVUS Sequences
The measure of lumen volume on radial arteries can be used to evaluate the vessel response to different vasodilators. In this paper, we present a framework for automatic lumen segm...
Francesco Ciompi, Oriol Pujol, Eduard Ferná...
ALT
2007
Springer
16 years 4 months ago
Learning Rational Stochastic Tree Languages
Abstract. We consider the problem of learning stochastic tree languages, i.e. probability distributions over a set of trees T(F), from a sample of trees independently drawn accordi...
François Denis, Amaury Habrard
CVPR
2010
IEEE
16 years 3 months ago
Detecting and Parsing Architecture at City Scale from Range Data
We present a method for detecting and parsing buildings from unorganized 3D point clouds into a compact, hierarchical representation that is useful for high-level tasks. The input...
Alexander Toshev, Philippos Mordohai, Ben Taskar
ICPR
2010
IEEE
16 years 2 months ago
Probabilistic Modeling of Dynamic Traffic Flow across Non-Overlapping Camera Views
In this paper, we propose a probabilistic method to model the dynamic traffic flow across nonoverlapping camera views. By assuming the transition time of object movement follows a...
Ching-Chun Huang, Wei-Chen Chiu, Sheng-Jyh Wang, J...