103 search results - page 8 / 21 » Visible or invisible links |
JSYML
2000
13 years 8 months ago
2000
We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and ...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a new formulation to multi-view stereo that treats the problem as probabilistic 3D segmentation. Previous work has used the stereo photo-consistency criterion as a dete...
RAID
2007
Springer
14 years 2 months ago
2007
Springer
Honeypot has been an invaluable tool for the detection and analysis of network-based attacks by either human intruders or automated malware in the wild. The insights obtained by de...
GROUP
2003
ACM
14 years 1 months ago
2003
ACM
Although the Internet provides powerful tools for social interactions, many tasks—for example, information-seeking—are undertaken as solitary activities. Information seekers a...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Abstract— We investigate the secure connectivity of wireless sensor networks under the pairwise key distribution scheme of Chan et al.. Unlike recent work which was carried out u...