9626 search results - page 154 / 1926 » Invariant Based Programming |
124
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Constraint programming offers powerful problem solving capabilities, but experienced and skilled developers are needed to maximise the benefits it offers. We introduce...
147
Voted
PST
2008
15 years 7 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
161
click to vote
TROB
2008
15 years 6 months ago
2008
Sampling-based nonholonomic and kinodynamic planning iteratively constructs solutions with sampled controls. A constructed trajectory is returned as an acceptable solution if its &...
160
click to vote
ACIVS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper addresses the problem of self-calibration and motion recovery for turntable sequences. Previous works exploited silhouette correspondences induced by epipolar ...
149
Voted
NN
2008
Springer
15 years 6 months ago
2008
Springer
Currently, there is a lack of general-purpose in-place learning networks that model feature layers in the cortex. By "general-purpose" we mean a general yet adaptive hig...