3994 search results - page 253 / 799 » A Linear Logical Framework |
161
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Information usually has many sources and is often incomplete and / or uncertain, this leads to many inconsistencies. Revision is the operation which consists in identifyi...
183
click to vote
ICA
2004
Springer
2004
Springer
Using Kernel PCA for Initialisation of Variational Bayesian Nonlinear Blind Source Separation Method
16 years 19 hour ago
The variational Bayesian nonlinear blind source separation method introduced by Lappalainen and Honkela in 2000 is initialised with linear principal component analysis (PCA). Becau...
199
click to vote
AIPS
2006
15 years 8 months ago
2006
Markov decision processes (MDPs) with discrete and continuous state and action components can be solved efficiently by hybrid approximate linear programming (HALP). The main idea ...
157
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
194
Voted
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
For scene classification, patch-level linear features do not always work as well as handcrafted features. In this paper, we present a new model to greatly improve the usefulness ...