713 search results - page 85 / 143 » Reasoning with Projected Contours |
APSEC
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...
100
click to vote
HICSS
1996
IEEE
15 years 5 months ago
1996
IEEE
Simulation of landscape ecosystems with high realism demands computing power greatly exceeding that of current workstation technology. However, the prospects are excellent that mo...
145
click to vote
HPDC
1994
IEEE
15 years 5 months ago
1994
IEEE
Finding genes unequivocally in DNA sequences is one of the key goals of the Human Genome project. The human genome is a 9 billion character long DNA sequence and is estimated to c...
102
Voted
IBPRIA
2007
Springer
15 years 5 months ago
2007
Springer
Shape elongation is one of the basic shape descriptors that has a very clear intuitive meaning. That is reason for its applicability in many shape classification tasks. In this pap...
117
click to vote
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an alternate approach to the problem of structure from motion (SfM) with noisy point measurements. With no information available about the joint density of three-dimens...