2162 search results - page 340 / 433 » A Meta-Notation for Protocol Analysis |
165
click to vote
Publication
We propose a scheme for congestion avoidance in networks using a connectionless protocol at the network layer. The scheme uses a minimal amount of feedback from the network to the ...
DAC
2005
ACM
15 years 10 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
The presence of Rician noise in magnetic resonance imaging (MRI) introduces systematic errors in diffusion tensor imaging (DTI) measurements. This paper evaluates gradient directio...
IPMI
1999
Springer
15 years 10 months ago
1999
Springer
One of the major drawbacks of Magnetic Resonance Imaging (MRI) has been the lack of a standard and quantifiable interpretation of image intensities. This causes many difficulties i...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
To what extent can social interactions augment people's natural search experiences? What factors influence the decision to turn to a friend for help? Our paper presents the p...