Sciweavers

2646 search results - page 132 / 530
» Local Type Inference
Sort
View
ENTCS
2006
125views more  ENTCS 2006»
15 years 4 months ago
Estimating the Cost of Native Method Calls for Resource-bounded Functional Programming Languages
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...
Stephen T. Gilmore, Olha Shkaravska
CPAIOR
2006
Springer
15 years 8 months ago
Duality in Optimization and Constraint Satisfaction
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...
John N. Hooker
CVPR
2009
IEEE
16 years 11 months ago
Convexity and Bayesian Constrained Local Models
The accurate localization of facial features plays a fundamental role in any face recognition pipeline. Constrained local models (CLM) provide an effective approach to localizati...
Ulrich Paquet (Imense Ltd)
WIMOB
2009
IEEE
15 years 11 months ago
Exploiting RF-Scatter: Human Localization with Bistatic Passive UHF RFID-Systems
—In ubiquitous computing, localization of users in indoor environments is a challenging issue. On the one hand, localization data needs to have fine granularity to provide reaso...
Dominik Lieckfeldt, Jiaxi You, Dirk Timmermann
IROS
2009
IEEE
126views Robotics» more  IROS 2009»
15 years 11 months ago
Hierarchical appearance-based classifiers for qualitative spatial localization
—This paper presents a novel appearance-based technique for qualitative spatial localization. A vocabulary of visual words is built automatically, representing local features tha...
Ehsan Fazl Ersi, James H. Elder, John K. Tsotsos