Sciweavers

1847 search results - page 217 / 370
» Hybrid Functional Interpretations
Sort
View
ICRA
2008
IEEE
150views Robotics» more  ICRA 2008»
16 years 27 days ago
Rigorously Bayesian range finder sensor model for dynamic environments
— This paper proposes and experimentally validates a Bayesian network model of a range finder adapted to dynamic environments. The modeling rigorously explains all model assumpt...
Tinne De Laet, Joris De Schutter, Herman Bruyninck...
LICS
2008
IEEE
16 years 25 days ago
Focusing on Binding and Computation
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
Daniel R. Licata, Noam Zeilberger, Robert Harper
WECWIS
2008
IEEE
90views ECommerce» more  WECWIS 2008»
16 years 25 days ago
License-Aware Service Selection
The distribution of services spanning across organizational boundaries raises problems related to intellectual value that are less explored in current service oriented research. B...
G. R. Gangadharan, Marco Comerio, Hong Linh Truong...
ICC
2007
IEEE
120views Communications» more  ICC 2007»
16 years 23 days ago
Dynamic Network Selection using Kernels
—We present a new algorithm for vertical handover and dynamic network selection, based on a combination of multiattribute utility theory, kernel learning and stochastic gradient ...
Eric van den Berg, Praveen Gopalakrishnan, Byungsu...
ICIP
2007
IEEE
16 years 23 days ago
Classification by Cheeger Constant Regularization
This paper develops a classification algorithm in the framework of spectral graph theory where the underlying manifold of a high dimensional data set is described by a graph. The...
Hsun-Hsien Chang, José M. F. Moura