1687 search results - page 267 / 338 » Light Functional Interpretation |
133
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
122
click to vote
ECAI
1990
Springer
15 years 8 months ago
1990
Springer
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
146
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
132
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a novel prototype hierarchy based clustering (PHC) framework for the organization of web collections. It solves simultaneously the problem of categorizing web ...
133
click to vote
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...