6693 search results - page 662 / 1339 » Methods of Automatic Algorithm Generation |
229
click to vote
CORIA
2008
15 years 9 months ago
2008
Semantic interoperability between heterogeneous sources of information is significant problems because of the number growing of sources of information available on the Web. The use...
192
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper we present an overview of the uses of the TAMPR transformation system and present experience with using transformation in industrial applications. TAMPR is a fully a...
257
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We propose a new generative model, and a new image similarity kernel based on a linked hierarchy of probabilistic segmentations. The model is used to efficiently segment ...
224
click to vote
ENVSOFT
2010
15 years 7 months ago
2010
The SHETRAN physically-based distributed rainfall-runoff modelling system gives detailed simulations in time and space of water flow and sediment and solute transport in river cat...
232
Voted
ENTCS
2006
15 years 7 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...