9626 search results - page 385 / 1926 » Invariant Based Programming |
143
click to vote
IJCV
2008
15 years 6 months ago
2008
The popularly used DLT method sometimes fails to give reliable camera parameter estimation. It is therefore important to detect the unreliability and provide the corresponding solu...
181
click to vote
JLP
2008
15 years 6 months ago
2008
Currently known sequent systems for temporal logics such as linear time temporal logic and computation tree logic either rely on a cut rule, an invariant rule, or an infinitary ru...
153
click to vote
IVC
2006
15 years 6 months ago
2006
When space points and camera optical center lie on a twisted cubic, no matter how many pairs there are used from the space points to their image points, camera parameters cannot b...
150
Voted
ENGL
2007
15 years 6 months ago
2007
– This paper analyses the results obtained when different topologies of 1-Dimensional Kohonen Networks where used to classify color pictures taken to Popocatépetl Volcano (locat...
160
Voted
TCS
2008
15 years 6 months ago
2008
We present exact and complete algorithms based on precomputed Sturm-Habicht sequences, discriminants and invariants, that classify, isolate with rational points and compare the re...