4266 search results - page 209 / 854 » Search for More Declarativity |
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
157
click to vote
CVIU
2004
15 years 6 months ago
2004
We present a novel ``dynamic learning'' approach for an intelligent image database system to automatically improve object segmentation and labeling without user interven...
187
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In the paper, the global optimization problem of a multidimensional “black-box” function satisfying the Lipschitz condition over a hyperinterval with an unknown Lipschitz const...
189
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
Telecenters, libraries and internet cafés are often credited as being important venues for making information and communication technologies (ICTs) more widely available for peop...
201
click to vote
ACHI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—One of the first Multi-Language Information Retrieval (MLIR) systems was implemented in 1969 by Gerard Salton who enhanced his SMART system to retrieve multilingual doc...