6693 search results - page 986 / 1339 » Methods of Automatic Algorithm Generation |
130
click to vote
ICCSA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A progressive curve representation based on reverse subdivision is introduced. This consists of three main components. First, multi-resolution structures for some common ...
139
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
When a purely rotating camera observes a general scene, overlapping views are related by a parallax-free warp which can be estimated by direct image alignment methods that iterate ...
162
click to vote
BIBE
2009
IEEE
15 years 9 months ago
2009
IEEE
Gene and protein structural and functional annotations expressed through controlled terminologies and ontologies are paramount especially for the aim of inferring new biomedical k...
155
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In the segmentation of natural images, most algorithms rely on the concept of occlusion. In x-ray images, however, this assumption is violated, since x-ray photons penetrate most ...
141
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...