3552 search results - page 476 / 711 » Proof theory in the abstract |
170
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...
153
click to vote
ICONIP
2008
15 years 8 months ago
2008
Abstract. While injecting weight noise during training has been proposed for more than a decade to improve the convergence, generalization and fault tolerance of a neural network, ...
184
click to vote
CADUI
2004
15 years 8 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
184
click to vote
GEOINFO
2004
15 years 8 months ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
214
click to vote
DICTA
2003
15 years 8 months ago
2003
Abstract. In this paper we solve the problem of computing exact continuous optimal curves and surfaces for image segmentation and 3D reconstruction, using a maximal flow approach ...