2496 search results - page 250 / 500 » On covering by translates of a set |
206
click to vote
WETICE
2007
IEEE
16 years 29 days ago
2007
IEEE
Skype is a popular peer-to-peer (P2P) voice over IP (VoIP) application evolving quickly since its launch in 2003. However, the ability to traverse network address translation (NAT...
169
click to vote
CSFW
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
171
click to vote
ICIP
2005
IEEE
16 years 9 days ago
2005
IEEE
Image Cube Trajectory (ICT) Analysis is a new and robust method to estimate the 3D structure of a scene from a set of 2D images. For a moving camera each 3D point is represented b...
202
click to vote
MICCAI
2005
Springer
16 years 5 days ago
2005
Springer
Dynamic contrast-enhanced 4-D MR renography has the potential for broad clinical applications, but suffers from respiratory motion that limits analysis and interpretation. Since ea...
181
click to vote
NLDB
2005
Springer
16 years 5 days ago
2005
Springer
For most English words, dictionaries give various senses: e.g., “bank” can stand for a financial institution, shore, set, etc. Automatic selection of the sense intended in a gi...