1199 search results - page 144 / 240 » Robust inference of trees |
117
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
We propose a method for simultaneous detection, localization and segmentation of objects of a known category. We show that this is possible by using segments as features. To this ...
248
Voted
ECOOP
2009
Springer
16 years 4 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...
123
Voted
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
97
Voted
AIMSA
1990
Springer
15 years 7 months ago
1990
Springer
: Automated deduction systems can considerably be improved by replacing axioms with special purpose inference mechanisms. For example replacing in resolution based systems certain ...
158
Voted
POPL
1991
ACM
15 years 7 months ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...