1847 search results - page 214 / 370 » Hybrid Functional Interpretations |
178
click to vote
CN
2008
15 years 6 months ago
2008
This paper deals with a congestion control framework for elastic and real-time traffic, where the user's application is associated with a utility function. We allow users to ...
161
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
For logic programs with arithmetic predicates, showing termination is not easy, since the usual order for the integers is not well-founded. A new method, easily incorporated in th...
326
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
164
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Correlation is a very effective way to align intensity images. We extend the correlation technique to point set registration using a method we call kernel correlation. Kernel corre...
178
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we propose an alternative interpretation of Bayesian learning based on maximal evidence principle. We establish a notion of local evidence which can be viewed as a c...