Sciweavers

13383 search results - page 2398 / 2677
» Abstractions from proofs
Sort
View
193
Voted
RAID
2004
Springer
16 years 2 days ago
On the Design and Use of Internet Sinks for Network Abuse Monitoring
Abstract. Monitoring unused or dark IP addresses offers opportunities to significantly improve and expand knowledge of abuse activity without many of the problems associated with ...
Vinod Yegneswaran, Paul Barford, David Plonka
SPW
2004
Springer
16 years 2 days ago
Privacy Is Linking Permission to Purpose
Abstract Fabio Massacci1 and Nicola Zannone1 Department of Information and Communication Technology University of Trento - Italy {massacci,zannone} at dit.unitn.it The last years h...
Fabio Massacci, Nicola Zannone
ECCV
2010
Springer
16 years 2 days ago
3D Point Correspondence by Minimum Description Length in Feature Space
Abstract. Finding point correspondences plays an important role in automatically building statistical shape models from a training set of 3D surfaces. For the point correspondence ...
COOPIS
2003
IEEE
16 years 20 hour ago
Static Type-Inference for Trust in Distributed Information Systems
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
Premkumar T. Devanbu, Michael Gertz, Brian Toone
HICSS
2003
IEEE
102views Biometrics» more  HICSS 2003»
16 years 16 hour ago
Prototype-Matching System for Allocating Conference Papers
Conferences on applied research require more complicated taxonomy than traditional organization of conferences by tracks. A topic of a paper, submitted to a conference on the appl...
Antonina Kloptchenko, Barbro Back, Hannu Vanharant...
« Prev « First page 2398 / 2677 Last » Next »