7393 search results - page 304 / 1479 » Synthesis-for-testability using transformations |
145
click to vote
GREC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for symbol recognition using structural signatures and a Galois Lattice as classifier. The structural signatures are based on top...
116
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper investigates the use of ontologies in processes of collaborative learning and knowledge generation. The creation and use of ontologies is analysed from an acti...
144
Voted
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
139
Voted
GEOINFO
2004
15 years 6 months ago
2004
: This work is on development of a method for automatic registration of satellite images acquired on different dates, for both geometric and radiometric correction with respect to ...
139
Voted
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
In this paper, we present a technique for automatic color image inpainting, the art of modifying an image-region in a non-detectable form. The main algorithm is based on the theor...