6438 search results - page 285 / 1288 » A Parameterised Search System |
206
click to vote
CORR
2010
Springer
15 years 7 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"...
172
click to vote
IPM
2006
15 years 7 months ago
2006
In recent years, small screen devices have seen widespread increase in their acceptance and use. Combining mobility with increased technological advances many such devices can now...
219
click to vote
JMLR
2008
15 years 7 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
211
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
Using a strongly typed functional programming language for genetic programming has many advantages, but evolving functional programs with variables requires complex genetic operat...
181
click to vote
CVIU
2004
15 years 7 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...