972 search results - page 68 / 195 » Intersection types and computational effects |
ACMSE
2007
ACM
14 years 1 months ago
2007
ACM
Classification and change detection of land cover types in the remotely sensed images is one of the major applications in remote sensing. This paper presents a hierarchical framew...
ICDCS
2002
IEEE
14 years 1 months ago
2002
IEEE
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
CHI
2011
ACM
13 years 16 days ago
2011
ACM
Phishers are fraudsters that mimic legitimate websites to steal user’s credential information and exploit that information for identity theft and other criminal activities. Vari...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Non-blind deconvolution is a key component in image deblurring systems. Previous deconvolution methods assume a linear blur model where the blurred image is generated by a linear ...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...