9387 search results - page 1591 / 1878 » An Optimal Process Model for a Real Time Process |
146
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
281
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Keyword queries enjoy widespread usage as they represent an intuitive way of specifying information needs. Recently, answering keyword queries on graph-structured data has emerged ...
139
click to vote
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper we introduce a novel line detection algorithm based on a weighted minimum mean square error (MSE) formulation. This algorithm has been developed to enable an autonom...
169
click to vote
ICA
2010
Springer
15 years 6 months ago
2010
Springer
We study a sparse coding learning algorithm that allows for a simultaneous learning of the data sparseness and the basis functions. The algorithm is derived based on a generative m...
254
click to vote
ICDE
2003
IEEE
16 years 6 months ago
2003
IEEE
In moving object environments, it is infeasible for the database tracking the movement of objects to store the exact locations of objects at all times. Typically, the location of a...