5604 search results - page 273 / 1121 » Becoming Increasingly Reliable |
176
click to vote
IFIP
2004
Springer
16 years 16 hour ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
152
click to vote
PCM
2004
Springer
16 years 5 hour ago
2004
Springer
The object boundary of an image plays an important role for image analysis and interpretation. The watershed algorithm and the region growing algorithm are popularly employed for i...
217
click to vote
AVBPA
2003
Springer
15 years 12 months ago
2003
Springer
The performance of fingerprint matching algorithm relies heavily on the accuracy of fingerprint alignment. Falsely aligning two feature sets extracted from two finger images of a f...
170
click to vote
DRM
2003
Springer
15 years 12 months ago
2003
Springer
We investigate the darknet – a collection of networks and technologies used to share digital content. The darknet is not a separate physical network but an application and protoc...
175
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...